Definition 5
Tag 046R, permanent. Cite it as [Bourbaki, Tag 046R].
Commutative Algebra, chapter II, § 2. Rings and modules of fractions
A ring is called reduced if its nilradical is reduced to 0, in other words if no element of is nilpotent.
If is the nilradical of a ring , is reduced, for if the class mod. of an element is nilpotent in , this means that for some integer , hence for some integer and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.