Regular local ring: Difference between revisions
m (6 revisions) |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 10: | Line 10: | ||
===Stronger properties=== | ===Stronger properties=== | ||
* [[Discrete valuation ring]] | |||
===Weaker properties=== | ===Weaker properties=== | ||
| Line 15: | Line 17: | ||
* [[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]]}} | ||
Latest revision as of 16:34, 12 May 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.