Cyclically ordered group

Last updated

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.

Contents

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.

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.

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. 1 2 3 Świerczkowski 1959a, pp. 161–162.
  4. Hölder 1901, cited after Hofmann & Lawson 1996 , pp. 19, 21, 37
  5. Gluschankof 1993, p. 261.

Related Research Articles

<span class="mw-page-title-main">Cyclic group</span> Mathematical group that can be generated as the set of powers of a single element

In abstract algebra, a cyclic group or monogenous group is a group, denoted Cn, that is generated by a single element. That is, it is a set of invertible elements with a single associative binary operation, and it contains an element g such that every other element of the group may be obtained by repeatedly applying the group operation to g or its inverse. Each element can be written as an integer power of g in multiplicative notation, or as an integer multiple of g in additive notation. This element g is called a generator of the group.

In abstract algebra, a branch of mathematics, an Archimedean group is a linearly ordered group for which the Archimedean property holds: every two positive group elements are bounded by integer multiples of each other. The set R of real numbers together with the operation of addition and the usual ordering relation between pairs of numbers is an Archimedean group. By a result of Otto Hölder, every Archimedean group is isomorphic to a subgroup of this group. The name "Archimedean" comes from Otto Stolz, who named the Archimedean property after its appearance in the works of Archimedes.

<span class="mw-page-title-main">Cyclic order</span> Alternative mathematical ordering

In mathematics, a cyclic order is a way to arrange a set of objects in a circle. Unlike most structures in order theory, a cyclic order is not modeled as a binary relation, such as "a < b". One does not say that east is "more clockwise" than west. Instead, a cyclic order is defined as a ternary relation [a, b, c], meaning "after a, one reaches b before c". For example, [June, October, February], but not [June, February, October], cf. picture. A ternary relation is called a cyclic order if it is cyclic, asymmetric, transitive, and connected. Dropping the "connected" requirement results in a partial cyclic order.

Noncommutative logic is an extension of linear logic that combines the commutative connectives of linear logic with the noncommutative multiplicative connectives of the Lambek calculus. Its sequent calculus relies on the structure of order varieties, and the correctness criterion for its proof nets is given in terms of partial permutations. It also has a denotational semantics in which formulas are interpreted by modules over some specific Hopf algebras.

<span class="mw-page-title-main">Schur multiplier</span>

In mathematical group theory, the Schur multiplier or Schur multiplicator is the second homology group of a group G. It was introduced by Issai Schur in his work on projective representations.

<span class="mw-page-title-main">Vojtěch Jarník</span> Czech mathematician

Vojtěch Jarník was a Czech mathematician. He worked for many years as a professor and administrator at Charles University, and helped found the Czechoslovak Academy of Sciences. He is the namesake of Jarník's algorithm for minimum spanning trees.

<span class="mw-page-title-main">Otakar Borůvka</span> Czech academic and mathematician

Otakar Borůvka was a Czech mathematician best known today for his work in graph theory.

Brauer's theorem on induced characters, often known as Brauer's induction theorem, and named after Richard Brauer, is a basic result in the branch of mathematics known as character theory, within representation theory of a finite group.

<span class="mw-page-title-main">Algebraic connectivity</span> Second-smallest eigenvalue of a graph Laplacian

The algebraic connectivity of a graph G is the second-smallest eigenvalue of the Laplacian matrix of G. This eigenvalue is greater than 0 if and only if G is a connected graph. This is a corollary to the fact that the number of times 0 appears as an eigenvalue in the Laplacian is the number of connected components in the graph. The magnitude of this value reflects how well connected the overall graph is. It has been used in analyzing the robustness and synchronizability of networks.

In mathematics, a nilmanifold is a differentiable manifold which has a transitive nilpotent group of diffeomorphisms acting on it. As such, a nilmanifold is an example of a homogeneous space and is diffeomorphic to the quotient space , the quotient of a nilpotent Lie group N modulo a closed subgroup H. This notion was introduced by Anatoly Mal'cev in 1949.

In mathematics, a ternary relation or triadic relation is a finitary relation in which the number of places in the relation is three. Ternary relations may also be referred to as 3-adic, 3-ary, 3-dimensional, or 3-place.

<span class="mw-page-title-main">Lattice of subgroups</span>

In mathematics, the lattice of subgroups of a group is the lattice whose elements are the subgroups of , with the partial ordering being set inclusion. In this lattice, the join of two subgroups is the subgroup generated by their union, and the meet of two subgroups is their intersection.

In mathematics, the corona theorem is a result about the spectrum of the bounded holomorphic functions on the open unit disc, conjectured by Kakutani (1941) and proved by Lennart Carleson.

Tibor Šalát was a Slovak mathematician, professor of mathematics, and Doctor of Mathematics who specialized in number theory and real analysis. He was the author and co-author of undergraduate and graduate textbooks in mathematics, mostly in Slovak. And most of his scholarly papers have been published in various scientific journals.

In abstract algebra, every subgroup of a cyclic group is cyclic. Moreover, for a finite cyclic group of order n, every subgroup's order is a divisor of n, and there is exactly one subgroup for each divisor. This result has been called the fundamental theorem of cyclic groups.

In chemical graph theory, the Wiener index introduced by Harry Wiener, is a topological index of a molecule, defined as the sum of the lengths of the shortest paths between all pairs of vertices in the chemical graph representing the non-hydrogen atoms in the molecule.

In mathematics, in the field of group theory, the Baer–Specker group, or Specker group, named after Reinhold Baer and Ernst Specker, is an example of an infinite Abelian group which is a building block in the structure theory of such groups.

Ladislav Svante Rieger (1916–1963) was a Czechoslovak mathematician who worked in the areas of algebra, mathematical logic, and axiomatic set theory. He is considered to be the founder of mathematical logic in Czechoslovakia, having begun his work around 1957.

In mathematics, a partial cyclic order is a ternary relation that generalizes a cyclic order in the same way that a partial order generalizes a linear order.

Věra Šedivá-Trnková was a Czech mathematician known for her work in topology and in category theory.

References

Further reading