Complete local ring
This article defines a property that can be evaluated for a local ring
View other properties of local rings
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.