Noncomplete intersection prime ideals in dimension 3 (Q2354138)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Noncomplete intersection prime ideals in dimension 3 |
scientific article |
Statements
Noncomplete intersection prime ideals in dimension 3 (English)
0 references
10 July 2015
0 references
As mentioned by the authors, a problem posed by Y. Shimoda that whether a Noetherian local ring such that all its prime ideals different from the maximal ideal are complete intersections, has Krull dimension at most \(2\)? This problem is still open in its full generality. It is a partial version of a more general question of J. Sally, namely, that the existence of a uniform bound on the minimal number of generators of all its prime ideals is equivalent to the dimension of the ring being at most \(2\). Let \((R,\mathfrak{m}, k)\) be a \(3\) dimensional Cohen-Macaulay local ring and \(x,y,z\), a system of parameters of \(R\), which generates a minimal reduction of \(\mathfrak{m}\). Let \(I\) be the ideal generated by the \(2\times 2\) minors of the matrix \(\mathcal{M}\), as defined in the article. The authors study about the minimal primary decomposition of \(I\) and prove that if \(R\) is a Gorenstein Nagata local ring of dimension \(3\) and multiplicity at most \(3\), \(k\) is infinite, \(\mathcal{S}(I)\) not contained in any symmetric semigroup \(\mathcal{S}\) with mult\((\mathcal{S})=m_1\), then either \(I\) is prime or it has a minimal prime ideal of height \(2\), minimally generated by \(3\) elements, which is not a complete intersection (Theorem 3.1). The main theorem gives the existence of prime ideals of height \(2\) and minimally generated by at least three elements in \(R\), which is related to the problem of Y. Shimoda, as mentioned above. The article ends with examples describing the main results. The main results of this paper generalizes their previous results in [\textit{S. Goto} et al., Nagoya Math. J. 211, 137--161 (2013; Zbl 1278.13021)].
0 references
Gorenstein ring
0 references
Nagata ring
0 references
complete intersection
0 references
multiplicity
0 references
numerical semigroup
0 references