Power series over Noetherian domains, Nagata rings, and Kronecker function rings (Q324234): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(D\) be an integral domain with quotient field \(K\) and \(F(D)\) be the set of nonzero fractional ideals of \(D\). A star operation on \(D\) is a mapping \(*:F(D)\longrightarrow F(D)\) such that for all \(I,J\in F(D)\) and \(x\in K\), (i) \((xD)^*=xD\), \((xI)^*=xI^*\) (ii) \(I\subseteq I^* \) and \(I\subseteq J\) implies \(I^*\subseteq J^*\), (iii) \( (I^*)^*=I^*\). Moreover \(*\) is said to be e.a.b. if for each \(A,B,C\in F(D)\) finitely generated \((AB)^*\subseteq (AC)^*\) implies \(B^*\subseteq C^*\). The paper contains many results about power series domains in infinite set of variables. But the more significant results are in the one variable case. For \(f\in D[[X]]\), its content \(c(f)\) is defined to be the ideal of \(D\) generated by its coefficients. Let \(D\) be a Noetherian domain and \(*\) a star operation on \(D\). The author proves that \(N_*=\{f\in D[[X]]; c(f)^*=D\}\) is a satureted multiplicative set of \(D[[X]]\) and if \(*\) is e.a.b. then \(Kr(D,*)=\{{f\over g};f,g\in D[[X]],g\not=0,c(f)\subseteq c(g)^*\}\) is a Bezout domain. Many ring-theoretic properties are studied in \(D[[X]]_{N^*}\) and \(Kr(D,*)\). For example, any invertible ideal of \(D[[X]]_{N^*}\) is principal, \(\dim Kr(D,b)=\dim_vD\). If \(V\) is a valuation overring of \(D\), \(\hat V=\{{f\over g}; f,g\in D[[X]], g\not=0,c(f)V\subseteq c(g)V\}\) is a valuation overring of \(D[[X]]\) and \(Kr(D,*)=\cap\hat V\), \(V\) is a \(*-\)valuation overring of \(D\). | |||
Property / review text: Let \(D\) be an integral domain with quotient field \(K\) and \(F(D)\) be the set of nonzero fractional ideals of \(D\). A star operation on \(D\) is a mapping \(*:F(D)\longrightarrow F(D)\) such that for all \(I,J\in F(D)\) and \(x\in K\), (i) \((xD)^*=xD\), \((xI)^*=xI^*\) (ii) \(I\subseteq I^* \) and \(I\subseteq J\) implies \(I^*\subseteq J^*\), (iii) \( (I^*)^*=I^*\). Moreover \(*\) is said to be e.a.b. if for each \(A,B,C\in F(D)\) finitely generated \((AB)^*\subseteq (AC)^*\) implies \(B^*\subseteq C^*\). The paper contains many results about power series domains in infinite set of variables. But the more significant results are in the one variable case. For \(f\in D[[X]]\), its content \(c(f)\) is defined to be the ideal of \(D\) generated by its coefficients. Let \(D\) be a Noetherian domain and \(*\) a star operation on \(D\). The author proves that \(N_*=\{f\in D[[X]]; c(f)^*=D\}\) is a satureted multiplicative set of \(D[[X]]\) and if \(*\) is e.a.b. then \(Kr(D,*)=\{{f\over g};f,g\in D[[X]],g\not=0,c(f)\subseteq c(g)^*\}\) is a Bezout domain. Many ring-theoretic properties are studied in \(D[[X]]_{N^*}\) and \(Kr(D,*)\). For example, any invertible ideal of \(D[[X]]_{N^*}\) is principal, \(\dim Kr(D,b)=\dim_vD\). If \(V\) is a valuation overring of \(D\), \(\hat V=\{{f\over g}; f,g\in D[[X]], g\not=0,c(f)V\subseteq c(g)V\}\) is a valuation overring of \(D[[X]]\) and \(Kr(D,*)=\cap\hat V\), \(V\) is a \(*-\)valuation overring of \(D\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ali Benhissi / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13E05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6636992 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
power series ring over Neotherian domain | |||
Property / zbMATH Keywords: power series ring over Neotherian domain / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Nagata ring | |||
Property / zbMATH Keywords: Nagata ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kronecker function ring | |||
Property / zbMATH Keywords: Kronecker function ring / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2016.07.040 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2511103522 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: When $(D \lbrack\lbrack X \rbrack\rbrack)_{P \lbrack\lbrack X \rbrack\rbrack$ is a Valuation Ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4149551 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Star-operations induced by overrings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two star-operations and their induced lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Content formulas for polynomials and power series and complete integral closure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formally integrally closed domains and the rings \(R((X))\) and \(R\{\{X\}\}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3933092 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Prüfer *-multiplication domains, Nagata rings, and Kronecker function rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uppers to Zero in Polynomial Rings and Prüfer-Like Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: When \(D((X))\) and \(D\{\{X\}\}\) are Prüfer domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THE RINGS $D((\mathcal{X}))_i$ AND $D\{\{\mathcal{X}\}\}_i$ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On <i>t</i>- Spec(<i>R</i>[[<i>X</i>]]) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3436764 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Power series rings over a Krull domain / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5661989 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Noetherian domains which admit only finitely many star operations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integral domains in which each t-ideal is divisorial / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On t-invertibility II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Prüfer v-multiplication domains and the ring \(R[X]_{N_ v}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4049183 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5647004 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: How Changing D[[ x ]] Changes Its Quotient Field / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:35, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Power series over Noetherian domains, Nagata rings, and Kronecker function rings |
scientific article |
Statements
Power series over Noetherian domains, Nagata rings, and Kronecker function rings (English)
0 references
10 October 2016
0 references
Let \(D\) be an integral domain with quotient field \(K\) and \(F(D)\) be the set of nonzero fractional ideals of \(D\). A star operation on \(D\) is a mapping \(*:F(D)\longrightarrow F(D)\) such that for all \(I,J\in F(D)\) and \(x\in K\), (i) \((xD)^*=xD\), \((xI)^*=xI^*\) (ii) \(I\subseteq I^* \) and \(I\subseteq J\) implies \(I^*\subseteq J^*\), (iii) \( (I^*)^*=I^*\). Moreover \(*\) is said to be e.a.b. if for each \(A,B,C\in F(D)\) finitely generated \((AB)^*\subseteq (AC)^*\) implies \(B^*\subseteq C^*\). The paper contains many results about power series domains in infinite set of variables. But the more significant results are in the one variable case. For \(f\in D[[X]]\), its content \(c(f)\) is defined to be the ideal of \(D\) generated by its coefficients. Let \(D\) be a Noetherian domain and \(*\) a star operation on \(D\). The author proves that \(N_*=\{f\in D[[X]]; c(f)^*=D\}\) is a satureted multiplicative set of \(D[[X]]\) and if \(*\) is e.a.b. then \(Kr(D,*)=\{{f\over g};f,g\in D[[X]],g\not=0,c(f)\subseteq c(g)^*\}\) is a Bezout domain. Many ring-theoretic properties are studied in \(D[[X]]_{N^*}\) and \(Kr(D,*)\). For example, any invertible ideal of \(D[[X]]_{N^*}\) is principal, \(\dim Kr(D,b)=\dim_vD\). If \(V\) is a valuation overring of \(D\), \(\hat V=\{{f\over g}; f,g\in D[[X]], g\not=0,c(f)V\subseteq c(g)V\}\) is a valuation overring of \(D[[X]]\) and \(Kr(D,*)=\cap\hat V\), \(V\) is a \(*-\)valuation overring of \(D\).
0 references
power series ring over Neotherian domain
0 references
Nagata ring
0 references
Kronecker function ring
0 references
0 references