Reducedness is detected by prime localizations
ID: reducedness-is-detected-by-prime-localizations
If a nonzero nilpotent element existed in , its proper annihilator would lie in a maximal ideal . No element outside annihilates , so is nonzero in the localization at a prime ideal . Conversely, if in a localization, some in the multiplicative subset satisfies . Then , so reducedness of gives and hence .
New to topics? Read the docs here!