Lemma 1
Tag 00AQ, permanent. Cite it as [Bourbaki, Tag 00AQ].
Algebra, VIII, p. 159, § 9. Radical
Let be an element of a ring A such that is nilpotent. There exists a polynomial P in such that is idempotent in A.
Let be a strictly positive integer such that . Set P(X) = . The polynomial P(X) is a multiple of , and the polynomial is a multiple of , so is a multiple of , and we have . Moreover, is a multiple of X and , hence a multiple of .
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.