Complete local ring

From Commalg
Jump to: navigation, search
This article defines a property that can be evaluated for a local ring
View other properties of local rings

Definition

A complete local ring is a local ring that is complete with respect to its unique maximal ideal. More explicitly, the natural embedding into its completion with respect to its unique maximal ideal is an isomorphism.

Relation with other properties

Weaker properties