Let be an Artinian local ring. If , then every ideal of is principal. The Nakayama lemma gives , and nilpotence gives a finite chainFor 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
There are currently no matching articles.