Commutative domains large in their \({\mathfrak M}\)-adic completions (Q2563961): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Indecomposable Modules Over Nagata Valuation Domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5563439 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3338360 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Every Countable Reduced Torsion-Free Ring is an Endomorphism Ring / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4784966 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5735274 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The rank of a completion of a dedekind domain / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5581748 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On endomorphism algebras over admissible Dedekind domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the completion of a valuation ring / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kurosch invariants for torsion-free modules over Nagata valuation domains / rank
 
Normal rank

Latest revision as of 09:01, 27 May 2024

scientific article
Language Label Description Also known as
English
Commutative domains large in their \({\mathfrak M}\)-adic completions
scientific article

    Statements

    Commutative domains large in their \({\mathfrak M}\)-adic completions (English)
    0 references
    0 references
    0 references
    16 January 1997
    0 references
    Let \(R\) be an integral domain, \(J\subseteq R\) be a maximal ideal such that \(\bigcap_{n \in\mathbb{N}} J^n= \{0\}\) and \(\widehat R_J\) be a completion of \(R\) in the \(J\)-adic topology. The article under review investigates the question whether an element \(a\in \widehat R_J\) is algebraic over the ring \(R\), and of what degree. It is proved, in particular, that if \(R\) is a noetherian, non local integral domain, then for every \(n\in\mathbb{N}\) there exists an element, \(a\in \widehat R_J\) algebraic over \(R\), of degree \(d\), \(d>n\). Except that it is proved that if \(T\) is a local integral domain, is not a field and \(A\subseteq T\) is a maximal ideal, then there exists such a non local ring \(R\subseteq T\) that \(J= A\cap R\) is a maximal ideal in \(R\) and \(T\) is a localization of \(R\) by \(J\). In the case when \(T\) is complete in \(A\)-adic topology \(T= \widehat R_J\).
    0 references
    adic topology
    0 references
    algebraicity of element
    0 references
    integral domain
    0 references
    completion
    0 references

    Identifiers