A structure theorem for abelian quasi-ordered groups (Q1739164): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Primitive Permutation Groups with Primitive Jordan Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relations related to betweenness: their structure and automorphisms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4440915 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Closed asymptotic couples / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(H\)-fields and their Liouville extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Liouville closed \(H\)-fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3110191 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abelian \(C\)-minimal valued groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasi-ordered fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5509706 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Canonical forms for definable subsets of algebraically closed and real closed valued fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4865880 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ordered exponential fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Valuation Difference Rank of a Quasi-Ordered Difference Field / rank
 
Normal rank
Property / cites work
 
Property / cites work: On variants of \(o\)-minimality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definable Sets in Ordered Structures. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3223453 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Value Group of a Differential Valuation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differential valuations / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Value Group of a Differential Valuation II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hardy fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Rank of a Hardy Field / rank
 
Normal rank

Latest revision as of 01:18, 19 July 2024

scientific article
Language Label Description Also known as
English
A structure theorem for abelian quasi-ordered groups
scientific article

    Statements

    A structure theorem for abelian quasi-ordered groups (English)
    0 references
    0 references
    25 April 2019
    0 references
    The notion of a compatible quasi-ordered groups is introduced which unifies valued and ordered abelian groups. The following results are proved. Theorem (Structure theorem). Let $(G, \precsim)$ be a quasi ordered abelian ggroup (q.o.a.g.) Then $\precsim$ is compatible with $+$ if and only if $G$ admits a subgroup $H$ satisfying the following properties: \begin{itemize} \item[(1)] $H$ is an initial segment of $G$. \item[(2)] $(H, \precsim)$ is an ordered abelian group. \item[(3)] There exists a valuation $v$ on $G$ such that $v(H) > v(G \backslash H)$ and $g \precsim h \Leftrightarrow v(g) \geq v(h)$ for every $g, h$ in $G \backslash H$. \end{itemize} Theorem (Structure theorem, third version). Let $(G, \precsim)$ be a q.o.a.g. Then $\precsim$ is compatible with $+$ if and only if it is the lifting of a valuational q.o by a group order. The notion of compatible Hahn product is introduced. A generalization of Hahn's embedding theorem for compatible q.o.a.g's is proved. It is also shown that the compatible product of an ordered group by a valued group preserves elementary equivalence. The following proposition is proved. Proposition. $(G, \precsim)$ be a torsion-free compatible q.o.a.g. The relation $\precsim_{arch}$ is a q.o on $G$. Moreover, it is the finest $\mathbb{Z}$-module-valuational coarsening of $\precsim$. Hahn's embedding theorem for ordered groups is generalized to quasi-ordered groups in the following form. Theorem. Let $(G, \precsim)$ be a divisible torsion-free compatible q.o.a.g. and let $v_{arch}$ be the archimedean valuation associated to $\precsim$. Let $(\Gamma, (B_\gamma)_{\gamma \in \Gamma})$ be the skeleton of $(G, v_{arch})$ and let $\precsim_\gamma$ be the q.o induced by $\precsim$ on $B_\gamma$. Then there exists an embedding of quasi-ordered groups from $(G, \precsim)$ into the compatible Hahn product $H_{\gamma \in \Gamma}(B_\gamma, \precsim_{\gamma})_{\gamma}.$ Theorem. Let $G^o$ be an $o$-minimal group and $H$ a finite valuationally quasi-ordered group. Then $G :=G^o \overleftarrow{\times} H$ is $C$-minimal An example of a $C$-minimal group which is neither ordered nor valued is given.
    0 references
    valued groups
    0 references
    ordered groups
    0 references
    quasi-orders
    0 references
    C-minimality
    0 references

    Identifiers

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