A structure theorem for abelian quasi-ordered groups (Q1739164)

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.