Regular ring: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Aleksander Stos
m (Regular Ring moved to Regular ring: convention)
mNo edit summary
 
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
==Definition==
{{subpages}}
A ''regular ring'' is a [[Noetherian ring]] such that the localisation at every prime is a [[Regular Local Ring|regular local ring]].  
In mathematics, a '''regular ring''' is a [[Noetherian ring]] such that the [[localisation]] at every [[prime ideal]] is a [[Regular Local Ring|regular local ring]]: that is, every such localization has the property that the minimal number of generators of its maximal ideal is equal to its [[Krull dimension]].


[[Category:CZ Live]]
[[Jean-Pierre Serre]] defines a regular ring as a commutative noetherian ring of finite [[global homological dimension]] and shows that this is equivalent to the definition above.  For regular rings, Krull dimension agrees with global homological dimension.
[[Category:Mathematics Workgroup]]
 
[[Category:Stub Articles]]
Examples of regular rings include fields (of dimension zero) and [[Dedekind domain]]s.  If ''A'' is regular then so is ''A''[''X''], with dimension one greater than that of ''A''.
 
==See also==
* [[von Neumann regular ring]], a different concept with a similar name.
 
==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

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematics, a regular ring is a Noetherian ring such that the localisation at every prime ideal is a regular local ring: that is, every such localization has the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension.

Jean-Pierre Serre defines a regular ring as a commutative noetherian ring of finite global homological dimension and shows that this is equivalent to the definition above. For regular rings, Krull dimension agrees with global homological dimension.

Examples of regular rings include fields (of dimension zero) and Dedekind domains. If A is regular then so is A[X], with dimension one greater than that of A.

See also

References