Regular local ring: Difference between revisions
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
A [[local ring|local]] [[commutative unital ring]] is said to be '''regular''' if its unique [[maximal ideal]] is generated (as a module) by as many elements as the [[Krull dimension]] of the ring. | A [[local ring|local]] [[commutative unital ring]] is said to be '''regular''' if its unique [[maximal ideal]] is generated (as a module) by as many elements as the [[Krull dimension]] of the ring. | ||
==Relation with other properties== | |||
===Stronger properties=== | |||
===Weaker properties=== | |||
* [[Local ring]] | |||
* [[Local domain]] | |||
* [[Integral domain]]: {{proofat|[[Regular local ring implies integral domain]]}} | |||
Revision as of 20:06, 5 January 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) by as many elements as the Krull dimension of the ring.
Relation with other properties
Stronger properties
Weaker properties
- Local ring
- Local domain
- Integral domain: For full proof, refer: Regular local ring implies integral domain