Projective generation of maximal ideals in polynomial rings (Q2266744): Difference between revisions

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.