Let be an Artinian local ring. If , then every ideal of is principal. The Nakayama lemma gives , and nilpotence gives a finite chain
For a nonzero ideal , choose the largest for which and take . Writing , one has , so is a unit and .

Articles by others on the same topic (0)

There are currently no matching articles.