Cyclically Ordered Group¶

Equip a group with a ternary cyclic order that is preserved by multiplication on both sides, making the algebraic translations act as orientation-preserving symmetries of a circle-like order.

Version: v1 · 2026-08-30 · History
Domain-specific #: 1612
Origin domain: mathematics
Subdomain: ordered group theory
Aliases: Cyclic ordered group, Circle-ordered group

Core Idea¶

A Cyclically Ordered Group is a group equipped with a cyclic order that is invariant under multiplication on both the left and the right. A cyclic order is a ternary relation recording that three distinct elements occur in a specified orientation around a circle. Unlike a linear order, it has no first or last point. Compatibility requires every algebraic translation to preserve this orientation: multiplying all three entries by the same group element, on either side, does not reverse or disrupt their cyclic arrangement.

Scope of Application¶

The home domain is ordered group theory, at the intersection of group theory and order theory. The concept is used to classify groups acting faithfully by orientation-preserving transformations of circular orders, relate linearly ordered and circularly ordered algebra, study completions and products, and connect group structure with circle topology.

Finite cyclic groups illustrate discrete circular order. The infinite cyclic group can carry a cyclic order induced from its usual linear order, though its Archimedean behavior in the cyclic sense differs from the linear case. The additive rationals and reals provide linearly ordered examples whose order induces a cyclic one.

Clarity¶

A cyclic order applies to triples, not pairs. On a circle, “a comes before b” is incomplete until a cut or third reference point is supplied. [a,b,c] means that following the chosen orientation one encounters b after a and before c, up to cyclic rotation of the triple.

Manages Complexity¶

The abstraction lets circular geometry and reversible composition be reasoned about in one language. Group operations provide translations and inverses; cyclic order provides orientation without an arbitrary origin. Compatibility guarantees that algebraic manipulation does not invalidate order statements.

The unwinding/quotient representation converts a circular problem into a linear one while recording full turns through a central element. This separates local orientation from winding count and imports tools from linearly ordered groups.

Abstract Reasoning¶

If [a,b,c] holds, left multiplying by any x preserves the orientation of the triple. 2. If right invariance fails, the structure is not a cyclically ordered group under the two-sided definition even if left translations preserve order. 3. If a group is abelian, the distinction between left and right translation disappears. 4. If a cyclic order is induced by a linear order, changing the arbitrary cut does not change the circular orientation relation.

Knowledge Transfer¶

The concept transfers literally within ordered algebra, group actions on circularly ordered sets, circle dynamics, and algebraic logic when the same group-plus-cyclic-order axioms are present. It does not transfer merely because a process repeats in cycles or a team is arranged in a circle.

The portable residue belongs to Group, Order, Symmetry, Quotient, and Covering Representation. The exact coupling of a ternary cyclic order with two-sided group translations remains mathematical and domain-specific.

Relationships to Other Abstractions¶

Current abstraction Cyclically Ordered Group Domain-specific

Parents (1) — more general patterns this builds on

Cyclically Ordered Group is a kind of Group Prime

the carrier has associative composition, identity, and inverses.

Neighborhood in Abstraction Space¶

Cyclically Ordered Group sits in a sparse region of the domain-specific corpus (66^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08