Language:   Search:   Contact
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

# Simple Search

Query:
Enter a query and click »Search«...
Format:
Display: entries per page entries
Zbl 0624.06021
Černák, Štefan; Jakubík, Ján
Completion of a cyclically ordered group.
(English)
[J] Czech. Math. J. 37(112), 157-174 (1987). ISSN 0011-4642; ISSN 1572-9141/e

A cyclically ordered set is a set G with a ternary relation C which satisfies \par (x,y,z)$\in C\Rightarrow (z,y,x)\not\in C$ (asymmetry), \par (x,y,z)$\in C\Rightarrow (y,z,x)\in C$ (cyclicity), \par (x,y,z)$\in C$, (x,z,u)$\in C\Rightarrow (x,y,u)\in C$ (transitivity), \par 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). \par 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. \par Let $(G,+)$, $(G\sb 1,+\sb 1)$ be cyclically ordered groups such that $G\sb 1\subseteq C(G)$ with the induced cyclic order and $(G,+)$ is a subgroup of $(G\sb 1,+\sb 1)$. Then $(G\sb 1,+\sb 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.
[V.Novák]
MSC 2000:
*06F15 Ordered groups
20F60 Ordered groups (group aspects)
06B23 Complete lattices

Keywords: cyclically ordered set; regular cuts; cyclically ordered groups; cyclic order; extensions; completion

Cited in: Zbl 1038.06008 Zbl 0748.06007

Highlights
Master Server