Gaussian elements of a semicontent algebra

Ideals and multiplicative ideal theory in commutative rings (13A15) Extension theory of commutative rings (13B02) Polynomials over commutative rings (13B25) Completion of commutative rings (13B35) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05)

Abstract: The connection between a univariate polynomial having locally principal content and the content function acting like a homomorphism (the so-called Gaussian property) has been explored by many authors. In this work, we extend several such results to the contexts of multivariate polynomials, power series over a Noetherian ring, and base change of affine

K

-algebras by separable algebraically closed field extensions. We do so by using the framework of the Ohm-Rush content function. The correspondence is particularly strong in cases where the base ring is approximately Gorenstein or the element of the target ring is regular.

Review text

Given an associative commutative unitary ring \(R\), an \(R\)-module \(M\) and \(x\in M\), the (Ohm-Rush) \textit{content ideal} \(\text{c}(x)\) of \(x\) in \(M\), is the intersection of all right ideals \(A\) for which \(x\in AM\). Let \(S\) be an \(R\)-algebra and \(f\in S\). The following question is studied: when \(f\) satisfies the equality \(c(fg)=c(f)c(g)\) for each \(g\in S\)? When \(S=R[x]\) is the polynomial ring in one inderminate, there are already some well known results which are recalled in this paper. Other results are obtained when \(S\neq R[x]\) in this article. The authors summarize these new results in the following way: Main Results. Let \(R\) be a commutative ring, and let \(S\) be an \(R\)-algebra and \(f\in S\) as below. Then under any of the following conditions, \(c(f)\) is locally principal if and only if is \(c(fg)=c(f)c(g)\) for every \(g\in S\): I. \(R\) is Noetherian and approximately Gorenstein, and \(S = R[x_1,\;\dots,\;x_n]\) or any other affine semigroup algebra over \(R\). II. \(R\) is locally Noetherian, \(S = R[x_1,\;\dots,\;x_n]\) or any other affine semigroup algebra over \(R\), and \(f\) is regular. III. \(R\) is Noetherian and approximately Gorenstein, and \(S = Rx_1,\;\dots,\;x_n\). IV. \(R\) is a finitely generated artinian Gorenstein \(K\)-algebra, where \(K\) is a field, \(L = K(y_1,\;\dots,\;y_t)\) is a purely transcendental field extension, and \(S = R \otimes_K L\), where ``content is with respect to the field variables \(y_j\) . V. \(R\) is a finitely generated \(K\)-algebra, where \(K\) is an algebraically closed field, \(L/K\) is any field extension, \(f\) is regular, and \(S = R \otimes_K L\), where ``content`` is with respect to a vector space basis of \(L\) over \(K\). where a Noetherian local ring (\(R, {\mathbf m}\)) is called \textit{approximately Gorenstein} if for any positive integer \(N\), there is an \({\mathbf m}\)-primary ideal \(I\) such that \(I \subseteq {\mathbf m}N\) and \(R/I\) is a Gorenstein ring; and a ring \(R\) is \textit{locally approximately Gorenstein} if \(R_{\mathbf m}\) is approximately Gorenstein for every maximal ideal \({\mathbf m}\) of \(R\).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Gaussian elements of a semicontent algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1635338)