Corollary 2
Tag 0022, permanent. Cite it as [Bourbaki, Tag 0022].
Algebra, VIII, p. 29, § 2. The Structure of Modules of Finite Length
In a left Noetherian ring, every left or right invertible element is invertible.
Indeed, consider elements of a left Noetherian ring A such that . Denote by and , respectively, the endomorphisms and of the A-module . We have ; hence is surjective. By Corollary 1, a), is bijective. The endomorphism is then the inverse bijection of , and we have . The corollary follows.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.