Catenarity of formal power series rings over a pullback (Q1192249): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Corrigendum to ``Integral domains of finite \(t\)-character'' [J. Algebra 396 (2013) 169-183] / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pairs of Rings with the Same Prime Ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universally Catenarian Domains of D + M Type / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5576163 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Krull Dimension in Power Series Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3931523 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Catenarian Property of Power Series Rings Over a Prufer Domain / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universally catenarian integral domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3698910 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lying-Over Pairs of Commutative Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universally going-down homomorphisms of commutative rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topologically defined classes of commutative rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integral dependence in power series rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: The catenarian property of power series rings over a globalized pseudo- valuation domain / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5602063 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dimension de Krull des anneaux de séries formelles sur un produit fibré. (Krull dimension of formal power series rings on a fibre product) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Catenarian property in a domain of formal power series / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strong S-domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5611879 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Going Down in Polynomial Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sur la catenarite des anneaux de series formelles sur un anneau de prüfer / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finitely generated rings over a valuation ring / rank
 
Normal rank

Revision as of 11:30, 16 May 2024

scientific article
Language Label Description Also known as
English
Catenarity of formal power series rings over a pullback
scientific article

    Statements

    Catenarity of formal power series rings over a pullback (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    27 September 1992
    0 references
    Let \((T,M,K)\) be a quasi local domain with maximal ideal \(M\) and residue class field \(K\). If \(\varphi\) is the natural surjection of \(T\) on \(K\), for any subring \(D\) of \(K\), \(\varphi^{-1}(D)=R\) is called the pull back. The main interest of the authors is in finding conditions for \(R[[X_ 1,\dots,X_ n]]\) catenarian. Theorem 2.6 shows that for the case \(n=1\), \(R[[X]]\) is catenarian if and only if both \(T[[X]]\) and \(D[[X]]\) are catenarian. Examples are given to show that the above fails when \(n>1\). For \(n>1\), some additional hypothesis is required. Thus if \(k\) is a subfield of \(K\), then the condition is \((*)\) ``the contraction map from \(\text{spec }K[[X_ 1,\dots,X_ n]]\) to \(\text{spec }k[[X_ 1,\dots,X_ n]]\) is a homeomorphism for each \(n>1\)''. If this is satisfied then \(R[[X,\dots,X]]\) is catenarian whenever \(T[[X_ 1,\dots,X_ n]]\) is catenarian and conversely. The condition \((*)\) is fulfilled whenever \(K\) is a purely inseparable extension of fields of characteristic \(p>0\) and is of finite exponent. In corollary 4.7 the authors show that conversely if \(k\) is a proper subfield of \(K\) such that \(k\subset K\), satisfies \((*)\), then \(K\) is purely inseparable. This is arrived from the theorem (4.6) which says that if \(\text{spec }K[[X_ 1,\dots,X_ n]]\to\text{spec }k[[X_ 1,\dots,X_ n]]\) is an injection for some integer \(n\geq 2\), then \(K\) is purely inseparable over \(k\).
    0 references
    power series ring
    0 references
    catenarian pull back
    0 references
    purely inseparable extension of fields
    0 references
    0 references

    Identifiers