zbMATH — the first resource for mathematics

On completion of cyclically ordered sets. (English) Zbl 0636.06004
A cyclic order on a set G is a ternary relation C on G, which is: (i) asymmetric, i.e. (x,y,z)\(\in C\) implies (z,y,x)\({\bar \in}C\), (ii) cyclic, i.e. (x,y,z)\(\in C\) implies (y,z,x)\(\in C\), and (iii) transitive, i.e. (x,y,z)\(\in C\) and (x,z,u)\(\in C\) together imply (x,y,u)\(\in C.\)
If, moreover, card \(G\geq 3\), and for any three pairwise different elements either (x,y,z)\(\in C\) or (z,y,x)\(\in C\) then C is linear, and (G,C) is called a linearly cyclically ordered set or a cycle. Earlier [Czech. Math. J. 34(109), 322-333 (1984; Zbl 0551.06002)] the first author has constructed a completion of cycles by means of cuts. In this note the authors give another construction of a completion, which can be applied to a larger class of monodimensional cyclically ordered sets.
Reviewer: S.Gacsályi

06A06 Partial orders, general
06B23 Complete lattices, completions
Full Text: EuDML
[1] Birkhoff G.: Generalized arithmetic. Duke Math. Journ. 9 (1942), 283-302. · Zbl 0060.12609
[2] Birkhoff G.: Lattice Theory. Providence, Rhode Island, 1967. · Zbl 0153.02501
[3] Hausdorff F.: Grundzüge der Mengenlehre. Leipzig, 1914. · JFM 45.0123.01
[4] Mac Neille H. M.: Partially ordered sets. Trans. Am. Math. Soc. 42 (1937), 416-460. · JFM 63.0833.04
[5] Novák V.: Cyclically ordered sets. Czechoslovak Math. Journ. 32 (107) (1982), 460-473. · Zbl 0515.06003
[6] Novák V.: Cuts in cyclically ordered sets. Czechoslovak Math. Journ. 34 (109) (1984), 322-333. · Zbl 0551.06002
[7] Novák V., Novotný M.: Dimension theory for cyclically and cocyclically ordered sets. Czechoslovak Math. Journ. 33 (108) (1983), 647-653. · Zbl 0538.06002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.