“Complete intersection ring”的意思、由来-开放百科全书

词条

Complete intersection ring

释义

Definition
Examples
References

In commutative algebra, a complete intersection ring is a commutative ring similar to the coordinate rings of varieties that are complete intersections. Informally, they can be thought of roughly as the local rings that can be defined using the "minimum possible" number of relations.

For Noetherian local rings, there is the following chain of inclusions:

Definition

A local complete intersection ring is a Noetherian local ring whose completion is the quotient of a regular local ring by an ideal generated by a regular sequence. Taking the completion is a minor technical complication caused by the fact that not all local rings are quotients of regular ones. For rings that are quotients of regular local rings, which covers most local rings that occur in algebraic geometry, it is not necessary to take completions in the definition.

There is an alternative intrinsic definition that does not depend on embedding the ring in a regular local ring.

If R is a Noetherian local ring with maximal ideal m, then the dimension of m/m² is called the embedding dimension emb dim (R) of R. Define a graded algebra H(R) as the homology of the Koszul complex with respect to a minimal system of generators of m/m²; up to isomorphism this only depends on R and not on the choice of the generators of m. The dimension of H₁(R) is denoted by ε₁ and is called the first deviation of R; it vanishes if and only if R is regular.

A Noetherian local ring is called a complete intersection ring if its

embedding dimension is the sum of the dimension and the first deviation:

emb dim(R) = dim(R) + ε₁(R).

There is also a recursive characterization of local complete intersection rings that can be used as a definition, as follows. Suppose that R is a complete Noetherian local ring. If R has dimension greater than 0 and x is an element in the maximal ideal that is not a zero divisor then R is a complete intersection ring if and only if R/(x) is. (If the maximal ideal consists entirely of zero divisors then R is not a complete intersection ring.) If R has dimension 0, then {{harvtxt|Wiebe|1969}} showed that it is a complete intersection ring if and only if the Fitting ideal of its maximal ideal is non-zero.

Examples

Regular local rings are complete intersection rings, but the converse is not true: the ring is a 0-dimensional complete intersection ring that is not regular.
Complete intersection local rings are Gorenstein rings, but the converse is not true: the ring is a 0-dimensional Gorenstein ring that is not a complete intersection ring.
An example of a locally complete intersection ring which is not a complete intersection ring is given by which has length 3 since it is isomorphic as a vector space to .^[1]

References

1. ^{{Cite web|url=http://mathoverflow.net/a/122874/78824|title=Example of locally complete intersection varieties which are not smooth and not complete intersection|website=mathoverflow.net|access-date=2017-01-04}}

{{Citation | last1=Bruns | first1=Winfried | last2=Herzog | first2=Jürgen | title=Cohen–Macaulay rings | url=https://books.google.com/books?id=LF6CbQk9uScC | publisher=Cambridge University Press | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-41068-7 |mr=1251956 | year=1993 | volume=39}}
{{Citation | last1=Tate | first1=John | author1-link=John Tate | title=Homology of Noetherian rings and local rings | url= http://projecteuclid.org/euclid.ijm/1255378502 |mr=0086072 | year=1957 | journal=Illinois Journal of Mathematics | issn=0019-2082 | volume=1 | pages=14–27}}
{{Citation | last1=Wiebe | first1=Hartmut | title=Über homologische Invarianten lokaler Ringe | doi=10.1007/BF01350771 |mr=0255531 | year=1969 | journal=Mathematische Annalen | issn=0025-5831 | volume=179 | pages=257–274}}

1 : Commutative algebra

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。