Cyclically ordered group

Cyclically ordered group

In mathematics, a cyclically ordered group is a set with both a group structure and a cyclic order, such that left and right multiplication both preserve the cyclic order.

Cyclically ordered groups were first studied in depth by Ladislav Rieger in 1947.[1] They are a generalization of cyclic groups: the infinite cyclic group Z and the finite cyclic groups Z/n. Since a linear order induces a cyclic order, cyclically ordered groups are also a generalization of linearly ordered groups: the rational numbers Q, the real numbers R, and so on. Some of the most important cyclically ordered groups fall into neither previous category: the circle group T and its subgroups, such as the subgroup of rational points.

Contents

Quotients of linear groups

It is natural to depict cyclically ordered groups as quotients: one has Zn = Z/nZ and T = R/Z. Even a once-linear group like Z, when bent into a circle, can be thought of as Z2 / Z. Rieger (1946, 1947, 1948) showed that this picture is a generic phenomenon. For any ordered group L and any central element z that generates a cofinal subgroup Z of L, the quotient group L / Z is a cyclically ordered group. Moreover, every cyclically ordered group can be expressed as such a quotient group.[2]

The circle group

Świerczkowski (1959a) built upon Rieger's results in another direction. Given a cyclically ordered group K and an ordered group L, the product K × L is a cyclically ordered group. In particular, if T is the circle group and L is an ordered group, then any subgroup of T × L is a cyclically ordered group. Moreover, every cyclically ordered group can be expressed as a subgroup of such a product with T.[3]

By analogy with an Archimedean linearly ordered group, one can define an Archimedean cyclically ordered group as a group that does not contain any pair of elements x, y such that [e, xn, y] for every positive integer n.[3] Since only positive n are considered, this is a stronger condition than its linear counterpart. For example, Z no longer qualifies, since one has [0, n, −1] for every n.

As a corollary to Świerczkowski's proof, every Archimedean cyclically ordered group is a subgroup of T itself.[3] This result is analogous to Otto Hölder's 1901 theorem that every Archimedean linearly ordered group is a subgroup of R.[4]

Topology

Every compact cyclically ordered group is a subgroup of T.

Generalizations

Related structures

Gluschankof (1993) showed that a certain subcategory of cyclically ordered groups, the "projectable Ic-groups with weak unit", is equivalent to a certain subcategory of MV-algebras, the "projectable MV-algebras".[5]

Notes

  1. ^ Pecinová-Kozáková 2005, p. 194.
  2. ^ Świerczkowski 1959a, p. 162.
  3. ^ a b c Świerczkowski 1959a, pp. 161–162.
  4. ^ Hölder 1901, cited after Hofmann & Lawson 1996, pp. 19, 21, 37
  5. ^ Gluschankof 1993, p. 261.

References

Further reading


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Cyclic group — Group theory Group theory …   Wikipedia

  • Cyclic order — In mathematics, a cyclic order is a way to arrange a set of objects in a circle.[nb] Unlike most structures in order theory, a cyclic order cannot be modeled as a binary relation a < b . One does not say that east is more clockwise than west.… …   Wikipedia

  • Polyhedron — Polyhedra redirects here. For the relational database system, see Polyhedra DBMS. For the game magazine, see Polyhedron (magazine). For the scientific journal, see Polyhedron (journal). Some Polyhedra Dodecahedron (Regular polyhedron) …   Wikipedia

  • Cyclic category — In mathematics, the cyclic category or cycle category or category of cycles is a category of finite cyclically ordered sets and degree 1 maps between them. It was introduced by Connes (1983). Contents 1 Definition 2 Properties 3 Cyclic sets …   Wikipedia

  • Set theory (music) — Example of Z relation on two pitch sets analyzable as or derivable from Z17 (Schuijer 2008, p.99), with intervals between pitch classes labeled for ease of comparison between the two sets and their common interval vector, 212320. Musical set… …   Wikipedia

  • Nielsen transformation — In mathematics, especially in the area of abstract algebra known as combinatorial group theory, Nielsen transformations, named after Jakob Nielsen, are certain automorphisms of a free group which are a non commutative analogue of row reduction… …   Wikipedia

  • calendar — calendrical /keuh len dri keuhl/, calendric, calendarial /kal euhn dair ee euhl/, calendarian, calendaric, adj. /kal euhn deuhr/, n. 1. a table or register with the days of each month and week in a year: He marked the date on his calendar. 2. any …   Universalium

  • Theosophy — This article is about the philosophy introduced by Helena Blavatsky and the Theosophical Society. See Theosophy (history of philosophy) for other uses. The emblem of the Theosophical Society Theosophy, in its modern presentation, is a spiritual… …   Wikipedia

  • Serial module — Chain ring redirects here. For the bicycle part, see Chainring. In abstract algebra, a uniserial module M is a module over a ring R, whose submodules are totally ordered by inclusion. This means simply that for any two submodules N1 and N2 of M,… …   Wikipedia

  • sleep — sleepful, adj. sleeplike, adj. /sleep/, v., slept, sleeping, n. v.i. 1. to take the rest afforded by a suspension of voluntary bodily functions and the natural suspension, complete or partial, of consciousness; cease being awake. 2. Bot. to… …   Universalium

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”