Bourbaki

Example 2

Tag 001S, permanent. Cite it as [Bourbaki, Tag 001S].

Algebra, VIII, p. 26, § 2. The Structure of Modules of Finite Length

Let A be a nonzero ring in which every element is invertible or nilpotent. Then A is a local ring. Indeed, if a∈Aa\in A is not invertible, then by assumption, there exists an integer n⩾0n\geqslant 0 such that an+1=0a^{n+1}= 0, and 1−a1-a has inverse 1+a+⋯+an1 +a+\cdots +a^n.

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

Cites

Nothing.

Transcribed from the printed edition, 2023, Springer Nature. Not translated.