On cyclically ordered groups (Q5891677)

The notion of a cyclically ordered group was introduced by Rieger as a group \(C\) endowed with a ternary relation \(R\) satisfying the conditions:{\parindent=7mm \begin{itemize}\item[(1)] \(R(a,b,c) \Rightarrow a\neq b\neq c\neq a,\) \item[(2)] \(R(a,b,c) \Rightarrow R(b,c,a),\) \item[(3)] for every \(c\in C\), \(R(c,\cdot,\cdot)\) defines a linearly ordered relation on \(C\setminus \{c\},\) \item[(4)] \(R(\cdot,\cdot,\cdot)\) is compatible, i.e., \(R(a,b,c)\Rightarrow R(uav,ubv,ucv)\), \end{itemize}} for all \((a,b,c,u,v)\in C^5\). The paper under review investigates special properties of cyclically ordered groups, such as: {\parindent = 5mm \begin{itemize}\item[{\(-\)}] lexicographic product; \item[{\(-\)}] a group \(G\) is cycle-orderabe if and only its center \(Z(G)\) is orderable; \item[{\(-\)}] if \((C, R)\) is a cyclically ordered abelian group and \(H\) is a \(c\)-convex subgroup of \(C\), then \(C, R)\) is the lexcographic product of \((C/H)\) and \(H\); \item[{\(-\)}] properties regarding the minimality; \item[{\(-\)}] rings of formal power series with exponents in a cyclically ordered group; \item[{\(-\)}] cyclically valued groups;\item[{\(-\)}] cyclically ultrametric spaces. \end{itemize}}