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 is not invertible, then by assumption, there exists an integer such that , and has inverse .
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.