A note on maximal non-Manis extensions
type: Item
instance of: scholarly article
title: A note on maximal non-Manis extensions
author: L. Paudel
author: Simplice Tchamna
published in: Beiträge zur Algebra und Geometrie
publication date: 2023-03-10T00:00:00Z
review text: For a commutative ring with identity \(S\) and a totally ordered additive abelian group \(\Gamma\), a \textit{valuation} \(v:S\to\Gamma\cup\{\infty\}\) is a map satisfying \(v(1)=0\), \(v(0)=\infty\) and, for all \(x,y\in S\), \(v(xy)=v(x)+v(y)\) and \(v(x+y)\ge\min\{v(x),v(y)\}\). Here, \(\infty\notin\Gamma\) is a quantity with \(g+\infty=\infty+g=\infty+\infty=\infty>g\) for every \(g\in\Gamma\). The \textit{valuation subring} of \(v\) is \(R=\{x\in S\mid v(x)\ge0\}\). \(v\) is called a \textit{Manis valuation} if \(v(S)\setminus\{\infty\}\) is a subgroup of \(\Gamma\). A \textit{Manis extension} is a ring extension \(R\subseteq S\) such that \(R\) is the valuation subring of some Manis valuation \(v:S\to\Gamma\cup\{\infty\}\), for a suitable \(\Gamma\). This is equivalent to \(R[X]\subseteq S[X]\) being a Manis extension, by Prop.\ 2.8 of the paper. If \(R(X)\) denotes the localization of \(R[X]\) with respect to the multiplicative subset consisting of the polynomials \(f\) with unit content ideal (i.e., the coefficients of \(f\) generate the ideal \(R\)), and \(S(X)\) is the equivalent for \(S\), then if \(R(X)\subseteq S(X)\) is Manis, so is \(R\subseteq S\). This is Prop.\ 2.10. A ring extension \(R\subseteq S\) is \textit{maximal non-Manis} if it is not Manis and, for every intermediate ring \(R\subsetneq R'\subsetneq S\), the extension \(R'\subseteq S\) \textit{is} Manis. The authors show (Th.\ 2.11) that if \(R\) is integrally closed in \(S\) and at least one maximal ideal \(\mathfrak{m}\) of \(R\) survives in \(S\), that is, \(\mathfrak{m}S\ne S\), then \(R\subseteq S\) is maximal non-Manis iff \(R[X]\subseteq S[X]\) is. And (Th.\ 2.12), under the same conditions, if the extension \(R\subseteq S\) is maximal non-Manis, so is \(R(X)\subseteq S(X)\). It is also shown that, under certain conditions, an extension that is the pullback of some ring extension along a surjective ring homomorphism is maximal non-Manis iff the pulled-back extension is. This is Th.\ …
reviewed by: Matthé van der Lee
Mathematics Subject Classification ID: 13A15
Mathematics Subject Classification ID: 13A18
Mathematics Subject Classification ID: 13B02
zbMATH DE Number: 7661895
zbMATH Keywords: valuation map
zbMATH Keywords: Manis extension
zbMATH Keywords: Prüfer extension
zbMATH Keywords: maximal non-Manis extension
MaRDI profile type: MaRDI publication profile
full work available at URL: s13366-021-00614-y
OpenAlex ID: W4205724581
cites work: On the Valuations Centered in a Local Domain
cites work: Multiplicative Ideal Theory in Commutative Algebra
cites work: Q4513600
cites work: Ideal theory in pullbacks
cites work: Q3137901
cites work: Manis valuations and Prüfer extensions. II
cites work: Manis valuations and Prüfer extensions. I: A new chapter in commutative algebra
cites work: Q5647004
cites work: Q3992979
cites work: Kronecker function rings of ring extensions
cites work: SOME PROPERTIES OF STAR OPERATIONS ON RING EXTENSIONS
cites work: Multiplicative canonical ideals of ring extensions
DOI: 10.1007/S13366-021-00614-Y
description: scientific article; zbMATH DE number 7661895