Corollary
Tag 05HM, permanent. Cite it as [Bourbaki, Tag 05HM].
Algebra, chapter I, § 8. Rings
Let be a ring and a two-sided ideal of . (a) Every left (resp. right, two-sided) ideal of can be written uniquely in the form , where is a left (resp. right, two-sided) ideal of containing . (b) If is two-sided, the composite homomorphism defines when passing to the quotient an isomorphism of onto .
It suffices to apply Proposition 5 to the canonical morphism of onto .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.