Dedekind-Mertens lemma and content formulas in power series rings (Q1743015): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: Wikidata QID (P12): Q124802919, #quickstatements; #temporary_batch_1718112262472 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q124802919 / rank | |||
Normal rank |
Revision as of 14:27, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dedekind-Mertens lemma and content formulas in power series rings |
scientific article |
Statements
Dedekind-Mertens lemma and content formulas in power series rings (English)
0 references
12 April 2018
0 references
Let \(R\) be a commutative ring with identity. For a polynomial \(f\in R[X]\), the ideal of \(R\) generated by the coefficients of \(f\) is denoted by \(A_f\) and called the content of \(f\). The best form of the Dedekind-Mertens lemma states that if \(f,g\in R[X]\), then \(A_f^{k+1}A_g=A_f^kA_{fg}\) where \(k+1\) is the locally minimal number of generators of \(A_g\). In particular, \(A_{fg}=A_fA_g\) for all \(f,g\in R[X]\) if and only if \(R\) is a Prüfer domain and \((A_{fg})_v=(A_fA_g)_v\) for all nonzero \(f,g\in R[X]\) if and only if \(R\) is integrally closed, where \(v\) is the \(v-\)operation on \(R\). For \(f\in R[[X]]\) a power series, we define the content of \(f\) as the ideal of \(R\) generated by the coefficients of \(f\). in the present paper, the authors show that if \(R\) is a Prüfer domain then \((A_fA_g)^2=(A_fA_g)A_{fg}\) for all \(f,g\in R[[X]]\). In the particular case where \(A_g\) is locally finitely generated, we have \(A^2_fA_g=A_fA_{fg}\) for all \(f\in R[[X]]\). As a consequence, an integral domain \(R\) is completely integrally closed if and only if \((A_fA_g)_v=(A _{fg})_v\) for all nonzero \(f,g\in R[[X]]\). Other related questions are answered.
0 references
power series
0 references
Prüfer domain
0 references
Dedekind-Mertens lemma
0 references
completely integrally closed domain.
0 references