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
    0 references
    0 references
    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
    0 references
    power series
    0 references
    Prüfer domain
    0 references
    Dedekind-Mertens lemma
    0 references
    completely integrally closed domain.
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references