العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolCOHEN-MACAULAY RING
(Redirected from Cohen-Macaulay)
In mathematics, a 'Cohen-Macaulay ring' is a particular type of commutative ring possessing some of the algebraic-geometric properties of a collection of nonsingular points, such as local equidimensionality.
They are named for Francis Sowerby Macaulay, who proved the unmixedness theorem for polynomial rings in Macaulay (1916), and for Irvin S. Cohen, who proved the unmixedness theorem for formal power series rings in Cohen (1946). (All Cohen-Macaulay rings have the unmixedness property.)
A 'local Cohen-Macaulay ring' is defined as a commutative noetherian local ring with Krull dimension equal to its depth. The depth is always bounded above by the Krull dimension; equality provides some interesting regularity conditions on the ring, enabling some powerful theorems to be proven in this rather general setting.
A non-local ring is called 'Cohen-Macaulay' if all of its localizations at prime ideals are Cohen-Macaulay.
# Every regular local ring is Cohen-Macaulay.
# A field is a particular example of a regular local ring, so it is Cohen-Macaulay.
# A local ring is Cohen-Macaulay if and only if its completion is Cohen-Macaulay.
# A ring R is Cohen-Macaulay if and only if the polynomial ring R[x] is Cohen-Macaulay.
# If ''K'' is a field, then the formal power series ring in one variable ''K''''x'' is a regular local ring and so is Cohen-Macaulay, but is not a field.
# Any Gorenstein ring is Cohen-Macaulay. In particular, complete intersection rings are Cohen-Macaulay.
# Rational singularities are Cohen-Macaulay but not necessarily Gorenstein.
# Any Artinian ring is Cohen-Macaulay.
# Following the last idea, if ''K'' is a field and ''X'' is an indeterminate, the ring ''K''[''x'']/(''x''2) is a local Artinian ring and so is Cohen-Macaulay, but it is not regular.
# If ''K'' is a field, then the formal power series ring ''K''''t''2, ''t''3, where ''t'' is an indeterminate, is an example of a 1-dimensional local ring which is not regular but is Gorenstein, so is Cohen-Macaulay.
# If ''K'' is a field, then the formal power series ring ''K''''t''3, ''t''4, ''t''5, where ''t'' is an indeterminate, is an example of a 1-dimensional local ring which is not Gorenstein but is Cohen-Macaulay.
# More generally, any 1-dimensional Noetherian integral domain is Cohen-Macaulay.
One meaning of the Cohen-Macaulay condition is seen in coherent duality theory, where it corresponds to the ''dualizing object'', which ''a priori'' lies in a derived category, being represented by a single module (coherent sheaf). The finer ''Gorenstein'' condition is then expressed by this module being projective (an invertible sheaf). Non-singularity (regularity) is still stronger— it corresponds to the notion of smoothness of a geometric object at a particular point. Thus, in a geometric sense, the notions of Gorenstein and Cohen-Macaulay capture increasingly larger sets of points than the smooth ones, points which are not necessarily smooth but behave in many ways like smooth points.
An ideal ''I'' of a Noetherian ring ''A'' is called 'unmixed' if ht(''I'')= ht(''P'') for any associated prime ''P'' of ''A''/''I''. The 'unmixedness theorem' is said to hold for the ring ''A'' if every ideal ''I'' generated by ht(''I'') elements is unmixed. A Noetherian ring is Cohen-Macaulay if and only if the unmixedness theorem holds for it.
★ Winfried Bruns; Jürgen Herzog, ''Cohen-Macaulay rings''. Cambridge Studies in Advanced Mathematics, 39. Cambridge University Press, Cambridge, 1993. xii+403 pp. ISBN 0-521-41068-1
★ I.S. Cohen, On the structure and ideal theory of complete local rings'' Trans. Amer. Math. Soc. , 59 (1946) pp. 54–106
★
★ David Eisenbud, ''Commutative Algebra with a View Toward Algebraic Geometry'' (Springer), ISBN 0-387-94268-8 (hardcover), ISBN 0-387-94269-6 (soft cover)
★ F.S. Macaulay, ''The algebraic theory of modular systems'' , Cambridge Univ. Press (1916)
★ MathWorld page
In mathematics, a 'Cohen-Macaulay ring' is a particular type of commutative ring possessing some of the algebraic-geometric properties of a collection of nonsingular points, such as local equidimensionality.
They are named for Francis Sowerby Macaulay, who proved the unmixedness theorem for polynomial rings in Macaulay (1916), and for Irvin S. Cohen, who proved the unmixedness theorem for formal power series rings in Cohen (1946). (All Cohen-Macaulay rings have the unmixedness property.)
| Contents |
| Formal definition |
| Examples |
| Consequences of the condition |
| The unmixedness theorem |
| References |
| External link |
Formal definition
A 'local Cohen-Macaulay ring' is defined as a commutative noetherian local ring with Krull dimension equal to its depth. The depth is always bounded above by the Krull dimension; equality provides some interesting regularity conditions on the ring, enabling some powerful theorems to be proven in this rather general setting.
A non-local ring is called 'Cohen-Macaulay' if all of its localizations at prime ideals are Cohen-Macaulay.
Examples
# Every regular local ring is Cohen-Macaulay.
# A field is a particular example of a regular local ring, so it is Cohen-Macaulay.
# A local ring is Cohen-Macaulay if and only if its completion is Cohen-Macaulay.
# A ring R is Cohen-Macaulay if and only if the polynomial ring R[x] is Cohen-Macaulay.
# If ''K'' is a field, then the formal power series ring in one variable ''K''''x'' is a regular local ring and so is Cohen-Macaulay, but is not a field.
# Any Gorenstein ring is Cohen-Macaulay. In particular, complete intersection rings are Cohen-Macaulay.
# Rational singularities are Cohen-Macaulay but not necessarily Gorenstein.
# Any Artinian ring is Cohen-Macaulay.
# Following the last idea, if ''K'' is a field and ''X'' is an indeterminate, the ring ''K''[''x'']/(''x''2) is a local Artinian ring and so is Cohen-Macaulay, but it is not regular.
# If ''K'' is a field, then the formal power series ring ''K''''t''2, ''t''3, where ''t'' is an indeterminate, is an example of a 1-dimensional local ring which is not regular but is Gorenstein, so is Cohen-Macaulay.
# If ''K'' is a field, then the formal power series ring ''K''''t''3, ''t''4, ''t''5, where ''t'' is an indeterminate, is an example of a 1-dimensional local ring which is not Gorenstein but is Cohen-Macaulay.
# More generally, any 1-dimensional Noetherian integral domain is Cohen-Macaulay.
Consequences of the condition
One meaning of the Cohen-Macaulay condition is seen in coherent duality theory, where it corresponds to the ''dualizing object'', which ''a priori'' lies in a derived category, being represented by a single module (coherent sheaf). The finer ''Gorenstein'' condition is then expressed by this module being projective (an invertible sheaf). Non-singularity (regularity) is still stronger— it corresponds to the notion of smoothness of a geometric object at a particular point. Thus, in a geometric sense, the notions of Gorenstein and Cohen-Macaulay capture increasingly larger sets of points than the smooth ones, points which are not necessarily smooth but behave in many ways like smooth points.
The unmixedness theorem
An ideal ''I'' of a Noetherian ring ''A'' is called 'unmixed' if ht(''I'')= ht(''P'') for any associated prime ''P'' of ''A''/''I''. The 'unmixedness theorem' is said to hold for the ring ''A'' if every ideal ''I'' generated by ht(''I'') elements is unmixed. A Noetherian ring is Cohen-Macaulay if and only if the unmixedness theorem holds for it.
References
★ Winfried Bruns; Jürgen Herzog, ''Cohen-Macaulay rings''. Cambridge Studies in Advanced Mathematics, 39. Cambridge University Press, Cambridge, 1993. xii+403 pp. ISBN 0-521-41068-1
★ I.S. Cohen, On the structure and ideal theory of complete local rings'' Trans. Amer. Math. Soc. , 59 (1946) pp. 54–106
★
★ David Eisenbud, ''Commutative Algebra with a View Toward Algebraic Geometry'' (Springer), ISBN 0-387-94268-8 (hardcover), ISBN 0-387-94269-6 (soft cover)
★ F.S. Macaulay, ''The algebraic theory of modular systems'' , Cambridge Univ. Press (1916)
External link
★ MathWorld page
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
