*(English)*Zbl 0624.06021

A cyclically ordered set is a set G with a ternary relation C which satisfies

(x,y,z)$\in C\Rightarrow (z,y,x)\notin C$ (asymmetry),

(x,y,z)$\in C\Rightarrow (y,z,x)\in C$ (cyclicity),

(x,y,z)$\in C$, (x,z,u)$\in C\Rightarrow (x,y,u)\in C$ (transitivity),

x,y,z$\in G$, $x\ne y\ne z\ne x\Rightarrow either$ (x,y,z)$\in C$ or (z,y,x)$\in C$ (linearity).

A cyclically ordered group is a group $(G,+)$ such that G is a cyclically ordered set and it holds $(x,y,z)\in C\Rightarrow (a+x+b,a+y+b,a+z+b)\in C$ for any a,b$\in G$. A cut on a cyclically ordered set G is a linear order $<$ on G such that $x<y<z\Rightarrow (x,y,z)\in C$. Such a cut is called regular if $(G,<)$ either contains a least element or has neither a least nor a greatest element. The set C(G) of all regular cuts on G with naturally defined cyclic order is called a completion of G.

Let $(G,+)$, $({G}_{1},{+}_{1})$ be cyclically ordered groups such that ${G}_{1}\subseteq C\left(G\right)$ with the induced cyclic order and $(G,+)$ is a subgroup of $({G}_{1},{+}_{1})$. Then $({G}_{1},{+}_{1})$ is called an extension of $(G,+)$. The set of all extensions of $(G,+)$ is (partially) ordered by set inclusion; its greatest element is called a completion of $(G,+)$. The authors give a (challenging) construction of a completion of a cyclically ordered group. Also, they derive necessary and sufficient conditions under which a given cut belongs to a completion of a cyclically ordered group $(G,+)$, and a necessary and sufficient condition for a cyclically group $(G,+)$ to be complete i.e. equal to its completion.