Regular local ring: Difference between revisions
Jump to navigation
Jump to search
imported>Giovanni Antonio DiMatteo (→Definition: minor edit) |
mNo edit summary |
||
| (16 intermediate revisions by 7 users not shown) | |||
| Line 1: | Line 1: | ||
There are deep connections between algebraic (in fact, scheme-theoretic) notions of smoothness and regularity. | {{subpages}} | ||
There are deep connections between algebraic (in fact, scheme-theoretic) notions of smoothness and regularity. | |||
==Definition== | ==Definition== | ||
Let <math>A</math> be a [[Noetherian ring|Noetherian]] [[local ring]] with maximal ideal <math>m</math> and residual field <math>k=A/m</math>. The following conditions are equivalent: | |||
# The [[Krull dimension]] of <math>A</math> is equal to the dimension of the <math>k</math>-vector space <math>m/m^2</math>. | |||
And when these conditions hold, <math>A</math> is called a regular local ring. | |||
==Basic Results on Regular Local Rings== | |||
One important criterion for regularity is [[Serre's Criterion]], which states that a Noetherian local ring <math>A</math> is regular if and only if its [[global dimension]] is finite, in which case it is equal to the krull dimension of <math>A</math>. | |||
In a paper of Auslander and Buchsbaum published in 1959, it was shown that every regular local ring is a [[unique factorization domain]]. | |||
==Regular Rings== | |||
A [[regular ring]] is a Noetherian ring such that the [[localisation (ring theory)|localisation]] at every prime is a regular local ring. | |||
==References== | |||
* [[Jean-Pierre Serre]], ''Local algebra'', [[Springer-Verlag]], 2000, ISBN 3-540-66641-9. Chap.IV.D.[[Category:Suggestion Bot Tag]] | |||
Latest revision as of 06:00, 11 October 2024
There are deep connections between algebraic (in fact, scheme-theoretic) notions of smoothness and regularity.
Definition
Let be a Noetherian local ring with maximal ideal and residual field . The following conditions are equivalent:
- The Krull dimension of is equal to the dimension of the -vector space .
And when these conditions hold, is called a regular local ring.
Basic Results on Regular Local Rings
One important criterion for regularity is Serre's Criterion, which states that a Noetherian local ring is regular if and only if its global dimension is finite, in which case it is equal to the krull dimension of .
In a paper of Auslander and Buchsbaum published in 1959, it was shown that every regular local ring is a unique factorization domain.
Regular Rings
A regular ring is a Noetherian ring such that the localisation at every prime is a regular local ring.
References
- Jean-Pierre Serre, Local algebra, Springer-Verlag, 2000, ISBN 3-540-66641-9. Chap.IV.D.