Nilradical of a commutative Artinian ring
ID: nilradical-of-a-commutative-artinian-ring
The nilradical of a commutative Artinian ring is a nilpotent ideal. Its powers stabilize, say . If , choose an ideal minimal subject to , and then with . Minimality and give , so for some . Since is nilpotent, is a unit, contradicting and .
New to topics? Read the docs here!