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!