Proposition 17
Tag 046S, permanent. Cite it as [Bourbaki, Tag 046S].
Commutative Algebra, chapter II, § 2. Rings and modules of fractions
Let be a ring and its nilradical. For every multiplicative subset of , is the nilradical of . In particular, if is reduced, then is reduced.
If , satisfy , there exists such that (no. 1, Remark 3) and a fortiori , hence and ; the converse is immediate.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.