Principal ideals in an Artinian local ring with one-dimensional cotangent space

ID: principal-ideals-in-an-artinian-local-ring-with-one-dimensional-cotangent-space

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 .

New to topics? Read the docs here!