Regular local ring: Difference between revisions

From Commalg
Line 15: Line 15:
* [[Local Cohen-Macaulay ring]]
* [[Local Cohen-Macaulay ring]]
* [[Local domain]]
* [[Local domain]]
* [[Unique factorization domain]]
* [[Integral domain]]: {{proofat|[[Regular local ring implies integral domain]]}}
* [[Integral domain]]: {{proofat|[[Regular local ring implies integral domain]]}}

Revision as of 12:48, 17 March 2008

This article defines a property that can be evaluated for a local ring
View other properties of local rings

Definition

Symbol-free definition

A local commutative unital ring is said to be regular if its unique maximal ideal is generated (as a module over the ring) by as many elements as the Krull dimension of the ring.

Relation with other properties

Stronger properties

Weaker properties