Regular local ring: Difference between revisions
No edit summary |
|||
| Line 5: | Line 5: | ||
===Symbol-free definition=== | ===Symbol-free definition=== | ||
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]] over the ring) by as many elements as the [[Krull dimension]] of the ring. | ||
==Relation with other properties== | ==Relation with other properties== | ||
Revision as of 21:51, 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 over the ring) 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