Search results for “commutative algebra”

A complete local ring with a finitely generated maximal ideal is Noetherian. Drop completeness and it fails: an ultraproduct construction gives a non-Noetherian local ring whose maximal ideal is principal.