Projective generation of maximal ideals in polynomial rings (Q2266744): Difference between revisions
From MaRDI portal
Latest revision as of 17:21, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Projective generation of maximal ideals in polynomial rings |
scientific article |
Statements
Projective generation of maximal ideals in polynomial rings (English)
0 references
1984
0 references
Let R be a Noetherian ring containing the rational numbers. Let R[X] be the polynomial ring in one variable and let M be a maximal ideal of R[X]. \textit{E. D. Davis} and \textit{A. V. Geramita} [Trans. Am. Math. Soc. 231, 497-505 (1977; Zbl 0365.13008)] have proved that M can be generated by \(\dim_{R[X]/M}(M/M^ 2)\) elements when \(R[X]_ M\) is not regular or when \(M\cap R\) is a maximal ideal of R; they also have shown that this needs not be the case when \(R[X]_ M\) is regular by giving a counter- example with a, necessarily not normal, one-dimensional domain. In this interesting paper, the author shows that in any case, there exists a projective R[X]-module P of rank equal to \(\dim_{R[X]/M}(M/M^ 2)\) which maps surjectively onto M; he also constructs a normal two- dimensional domain R and a maximal ideal M of R[X] that cannot be generated by \(\dim_{R[X]/M}(M/M^ 2)\) elements. Finally, when (R,m) is a d-dimensional regular local ring containing a field of characteristic zero K such that R/m is finite over K, the author obtains that every maximal ideal of R[X] is a complete intersection since, by a result of \textit{H. Lindel} [Math. Ann. 250, 99-108 (1980; Zbl 0435.13006)] in these conditions all projective R[X]-modules of rank d are free.
0 references
projective module over polynomial ring
0 references
number of generators of a maximal ideal of polynomial ring
0 references
complete intersection
0 references