Cyclic group

Last updated

In abstract algebra, a cyclic group or monogenous group is a group, denoted Cn (also frequently n or Zn, not to be confused with the commutative ring of p-adic numbers), that is generated by a single element. [1] 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. [1]

Contents

Every infinite cyclic group is isomorphic to the additive group of Z, the integers. Every finite cyclic group of order  n is isomorphic to the additive group of Z/nZ, the integers modulo  n. Every cyclic group is an abelian group (meaning that its group operation is commutative), and every finitely generated abelian group is a direct product of cyclic groups.

Every cyclic group of prime order is a simple group, which cannot be broken down into smaller groups. In the classification of finite simple groups, one of the three infinite classes consists of the cyclic groups of prime order. The cyclic groups of prime order are thus among the building blocks from which all groups can be built.

Definition and notation

The six 6th complex roots of unity form a cyclic group under multiplication. Here, z is a generator, but z is not, because its powers fail to produce the odd powers of z. Cyclic group.svg
The six 6th complex roots of unity form a cyclic group under multiplication. Here, z is a generator, but z is not, because its powers fail to produce the odd powers of z.

For any element g in any group G, one can form the subgroup that consists of all its integer powers: g⟩ = { gk | kZ }, called the cyclic subgroup generated by g. The order of g is |⟨g⟩|, the number of elements in g⟩, conventionally abbreviated as |g|, as ord(g), or as o(g). That is, the order of an element is equal to the order of the cyclic subgroup that it generates.

A cyclic group is a group which is equal to one of its cyclic subgroups: G = ⟨g for some element g, called a generator of G.

For a finite cyclic group G of order n we have G = {e, g, g2, ... , gn−1}, where e is the identity element and gi = gj whenever ij (mod  n); in particular gn = g0 = e, and g−1 = gn1. An abstract group defined by this multiplication is often denoted Cn, and we say that G is isomorphic to the standard cyclic group Cn. Such a group is also isomorphic to Z/nZ, the group of integers modulo n with the addition operation, which is the standard cyclic group in additive notation. Under the isomorphism χ defined by χ(gi) = i the identity element e corresponds to 0, products correspond to sums, and powers correspond to multiples.

For example, the set of complex 6th roots of unity:

forms a group under multiplication. It is cyclic, since it is generated by the primitive root that is, G = ⟨z⟩ = { 1, z, z2, z3, z4, z5 } with z6 = 1. Under a change of letters, this is isomorphic to (structurally the same as) the standard cyclic group of order 6, defined as C6 = ⟨g⟩ = { e, g, g2, g3, g4, g5 } with multiplication gj · gk = gj+k(mod 6), so that g6 = g0 = e. These groups are also isomorphic to Z/6Z = {0, 1, 2, 3, 4, 5} with the operation of addition modulo 6, with zk and gk corresponding to k. For example, 1 + 2 ≡ 3 (mod 6) corresponds to z1 · z2 = z3, and 2 + 5 ≡ 1 (mod 6) corresponds to z2 · z5 = z7 = z1, and so on. Any element generates its own cyclic subgroup, such as ⟨z2⟩ = { e, z2, z4 } of order 3, isomorphic to C3 and Z/3Z; and ⟨z5⟩ = { e, z5, z10 = z4, z15 = z3, z20 = z2, z25 = z } = G, so that z5 has order 6 and is an alternative generator of G.

Instead of the quotient notations Z/nZ, Z/(n), or Z/n, some authors denote a finite cyclic group as Zn, but this clashes with the notation of number theory, where Zp denotes a p-adic number ring, or localization at a prime ideal.

Infinite cyclic groups
p1, (*∞∞)p11g, (22∞)
Frieze group 11.png Frieze group 1g.png
Frieze example p1.png
Frieze hop.png
Frieze example p11g.png
Frieze step.png
Two frieze groups are isomorphic to Z. With one generator, p1 has translations and p11g has glide reflections.

On the other hand, in an infinite cyclic groupG = ⟨g, the powers gk give distinct elements for all integers k, so that G = { ... , g2, g1, e, g, g2, ... }, and G is isomorphic to the standard group C = C and to Z, the additive group of the integers. An example is the first frieze group. Here there are no finite cycles, and the name "cyclic" may be misleading. [2]

To avoid this confusion, Bourbaki introduced the term monogenous group for a group with a single generator and restricted "cyclic group" to mean a finite monogenous group, avoiding the term "infinite cyclic group". [note 1]

Examples

Examples of cyclic groups in rotational symmetry
Triangle.Scalene.svg Hubble2005-01-barred-spiral-galaxy-NGC1300.jpg The armoured triskelion on the flag of the Isle of Man.svg
C1 C2 C3
Circular-cross-decorative-knot-12crossings.svg Flag of Hong Kong.svg Olavsrose.svg
C4 C5 C6

Integer and modular addition

The set of integers  Z, with the operation of addition, forms a group. [1] It is an infinite cyclic group, because all integers can be written by repeatedly adding or subtracting the single number 1. In this group, 1 and −1 are the only generators. Every infinite cyclic group is isomorphic to Z.

For every positive integer n, the set of integers modulo  n, again with the operation of addition, forms a finite cyclic group, denoted Z/nZ. [1] A modular integer i is a generator of this group if i is relatively prime to n, because these elements can generate all other elements of the group through integer addition. (The number of such generators is φ(n), where φ is the Euler totient function.) Every finite cyclic group G is isomorphic to Z/nZ, where n = |G| is the order of the group.

The addition operations on integers and modular integers, used to define the cyclic groups, are the addition operations of commutative rings, also denoted Z and Z/nZ or Z/(n). If p is a prime, then Z/pZ is a finite field, and is usually denoted Fp or GF(p) for Galois field.

Modular multiplication

For every positive integer n, the set of the integers modulo n that are relatively prime to n is written as (Z/nZ)×; it forms a group under the operation of multiplication. This group is not always cyclic, but is so whenever n is 1, 2, 4, a power of an odd prime, or twice a power of an odd prime (sequence A033948 in the OEIS ). [4] [5] This is the multiplicative group of units of the ring Z/nZ; there are φ(n) of them, where again φ is the Euler totient function. For example, (Z/6Z)× = {1, 5}, and since 6 is twice an odd prime this is a cyclic group. In contrast, (Z/8Z)× = {1, 3, 5, 7} is a Klein 4-group and is not cyclic. When (Z/nZ)× is cyclic, its generators are called primitive roots modulo n.

For a prime number p, the group (Z/pZ)× is always cyclic, consisting of the non-zero elements of the finite field of order p. More generally, every finite subgroup of the multiplicative group of any field is cyclic. [6]

Rotational symmetries

The set of rotational symmetries of a polygon forms a finite cyclic group. [7] If there are n different ways of moving the polygon to itself by a rotation (including the null rotation) then this symmetry group is isomorphic to Z/nZ. In three or higher dimensions there exist other finite symmetry groups that are cyclic, but which are not all rotations around an axis, but instead rotoreflections.

The group of all rotations of a circle (the circle group, also denoted S1) is not cyclic, because there is no single rotation whose integer powers generate all rotations. In fact, the infinite cyclic group C is countable, while S1 is not. The group of rotations by rational angles is countable, but still not cyclic.

Galois theory

An nth root of unity is a complex number whose nth power is 1, a root of the polynomial xn − 1. The set of all nth roots of unity forms a cyclic group of order n under multiplication. [1] The generators of this cyclic group are the nth primitive roots of unity; they are the roots of the nth cyclotomic polynomial. For example, the polynomial z3 − 1 factors as (z − 1)(zω)(zω2), where ω = e2πi/3; the set {1, ω, ω2} = {ω0, ω1, ω2} forms a cyclic group under multiplication. The Galois group of the field extension of the rational numbers generated by the nth roots of unity forms a different group, isomorphic to the multiplicative group (Z/nZ)× of order φ(n), which is cyclic for some but not all n (see above).

A field extension is called a cyclic extension if its Galois group is cyclic. For fields of characteristic zero, such extensions are the subject of Kummer theory, and are intimately related to solvability by radicals. For an extension of finite fields of characteristic p, its Galois group is always finite and cyclic, generated by a power of the Frobenius mapping. [8] Conversely, given a finite field F and a finite cyclic group G, there is a finite field extension of F whose Galois group is G. [9]

Subgroups

All subgroups and quotient groups of cyclic groups are cyclic. Specifically, all subgroups of Z are of the form ⟨m⟩ = mZ, with m a positive integer. All of these subgroups are distinct from each other, and apart from the trivial group {0} = 0Z, they all are isomorphic to Z. The lattice of subgroups of Z is isomorphic to the dual of the lattice of natural numbers ordered by divisibility. [10] Thus, since a prime number p has no nontrivial divisors, pZ is a maximal proper subgroup, and the quotient group Z/pZ is simple; in fact, a cyclic group is simple if and only if its order is prime. [11]

All quotient groups Z/nZ are finite, with the exception Z/0Z = Z/{0}. For every positive divisor d of n, the quotient group Z/nZ has precisely one subgroup of order d, generated by the residue class of n/d. There are no other subgroups.

Additional properties

Every cyclic group is abelian. [1] That is, its group operation is commutative: gh = hg (for all g and h in G). This is clear for the groups of integer and modular addition since r + ss + r (mod n), and it follows for all cyclic groups since they are all isomorphic to these standard groups. For a finite cyclic group of order n, gn is the identity element for any element g. This again follows by using the isomorphism to modular addition, since kn ≡ 0 (mod n) for every integer k. (This is also true for a general group of order n, due to Lagrange's theorem.)

For a prime power , the group is called a primary cyclic group. The fundamental theorem of abelian groups states that every finitely generated abelian group is a finite direct product of primary cyclic and infinite cyclic groups.

Because a cyclic group is abelian, each of its conjugacy classes consists of a single element. A cyclic group of order n therefore has n conjugacy classes.

If d is a divisor of n, then the number of elements in Z/nZ which have order d is φ(d), and the number of elements whose order divides d is exactly d. If G is a finite group in which, for each n > 0, G contains at most n elements of order dividing n, then G must be cyclic. [note 2] The order of an element m in Z/nZ is n/gcd(n,m).

If n and m are coprime, then the direct product of two cyclic groups Z/nZ and Z/mZ is isomorphic to the cyclic group Z/nmZ, and the converse also holds: this is one form of the Chinese remainder theorem. For example, Z/12Z is isomorphic to the direct product Z/3Z × Z/4Z under the isomorphism (k mod 12) → (k mod 3, k mod 4); but it is not isomorphic to Z/6Z × Z/2Z, in which every element has order at most 6.

If p is a prime number, then any group with p elements is isomorphic to the simple group Z/pZ. A number n is called a cyclic number if Z/nZ is the only group of order n, which is true exactly when gcd(n, φ(n)) = 1. [13] The sequence of cyclic numbers include all primes, but some are composite such as 15. However, all cyclic numbers are odd except 2. The cyclic numbers are:

1, 2, 3, 5, 7, 11, 13, 15, 17, 19, 23, 29, 31, 33, 35, 37, 41, 43, 47, 51, 53, 59, 61, 65, 67, 69, 71, 73, 77, 79, 83, 85, 87, 89, 91, 95, 97, 101, 103, 107, 109, 113, 115, 119, 123, 127, 131, 133, 137, 139, 141, 143, ... (sequence A003277 in the OEIS )

The definition immediately implies that cyclic groups have group presentation C = x | and Cn = x | xn for finite n. [14]

Associated objects

Representations

The representation theory of the cyclic group is a critical base case for the representation theory of more general finite groups. In the complex case, a representation of a cyclic group decomposes into a direct sum of linear characters, making the connection between character theory and representation theory transparent. In the positive characteristic case, the indecomposable representations of the cyclic group form a model and inductive basis for the representation theory of groups with cyclic Sylow subgroups and more generally the representation theory of blocks of cyclic defect.

Cycle graph

A cycle graph illustrates the various cycles of a group and is particularly useful in visualizing the structure of small finite groups. A cycle graph for a cyclic group is simply a circular graph, where the group order is equal to the number of nodes. A single generator defines the group as a directional path on the graph, and the inverse generator defines a backwards path. A trivial path (identity) can be drawn as a loop but is usually suppressed. Z2 is sometimes drawn with two curved edges as a multigraph. [15]

A cyclic group Zn, with order n, corresponds to a single cycle graphed simply as an n-sided polygon with the elements at the vertices.

Cycle graphs up to order 24
GroupDiagramMiniC1.svg GroupDiagramMiniC2.svg GroupDiagramMiniC3.svg GroupDiagramMiniC4.svg GroupDiagramMiniC5.svg GroupDiagramMiniC6.svg GroupDiagramMiniC7.svg GroupDiagramMiniC8.svg
Z1Z2Z3Z4Z5Z6 = Z3×Z2Z7Z8
GroupDiagramMiniC9.svg GroupDiagramMiniC10.svg GroupDiagramMiniC11.svg GroupDiagramMiniC12.svg GroupDiagramMiniC13.svg GroupDiagramMiniC14.svg GroupDiagramMiniC15.svg GroupDiagramMiniC16.svg
Z9Z10 = Z5×Z2Z11Z12 = Z4×Z3Z13Z14 = Z7×Z2Z15 = Z5×Z3Z16
GroupDiagramMiniC17.svg GroupDiagramMiniC18.svg GroupDiagramMiniC19.svg GroupDiagramMiniC20.svg GroupDiagramMiniC21.svg GroupDiagramMiniC22.svg GroupDiagramMiniC23.svg GroupDiagramMiniC24.svg
Z17Z18 = Z9×Z2Z19Z20 = Z5×Z4Z21 = Z7×Z3Z22 = Z11×Z2Z23Z24 = Z8×Z3

Cayley graph

The Paley graph of order 13, a circulant graph formed as the Cayley graph of Z/13 with generator set {1,3,4} Paley13.svg
The Paley graph of order 13, a circulant graph formed as the Cayley graph of Z/13 with generator set {1,3,4}

A Cayley graph is a graph defined from a pair (G,S) where G is a group and S is a set of generators for the group; it has a vertex for each group element, and an edge for each product of an element with a generator. In the case of a finite cyclic group, with its single generator, the Cayley graph is a cycle graph, and for an infinite cyclic group with its generator the Cayley graph is a doubly infinite path graph. However, Cayley graphs can be defined from other sets of generators as well. The Cayley graphs of cyclic groups with arbitrary generator sets are called circulant graphs. [16] These graphs may be represented geometrically as a set of equally spaced points on a circle or on a line, with each point connected to neighbors with the same set of distances as each other point. They are exactly the vertex-transitive graphs whose symmetry group includes a transitive cyclic group. [17]

Endomorphisms

The endomorphism ring of the abelian group Z/nZ is isomorphic to Z/nZ itself as a ring. [18] Under this isomorphism, the number r corresponds to the endomorphism of Z/nZ that maps each element to the sum of r copies of it. This is a bijection if and only if r is coprime with n, so the automorphism group of Z/nZ is isomorphic to the unit group (Z/nZ)×. [18]

Similarly, the endomorphism ring of the additive group of Z is isomorphic to the ring Z. Its automorphism group is isomorphic to the group of units of the ring Z, which is ({−1, +1}, ×) ≅ C2.

Several other classes of groups have been defined by their relation to the cyclic groups:

Virtually cyclic groups

A group is called virtually cyclic if it contains a cyclic subgroup of finite index (the number of cosets that the subgroup has). In other words, any element in a virtually cyclic group can be arrived at by multiplying a member of the cyclic subgroup and a member of a certain finite set. Every cyclic group is virtually cyclic, as is every finite group. An infinite group is virtually cyclic if and only if it is finitely generated and has exactly two ends; [note 3] an example of such a group is the direct product of Z/nZ and Z, in which the factor Z has finite index n. Every abelian subgroup of a Gromov hyperbolic group is virtually cyclic. [20]

Procyclic groups

A profinite group is called procyclic if it can be topologically generated by a single element. Examples of profinite groups include the profinite integers or the p-adic integers for a prime number p.

Locally cyclic groups

A locally cyclic group is a group in which each finitely generated subgroup is cyclic. An example is the additive group of the rational numbers: every finite set of rational numbers is a set of integer multiples of a single unit fraction, the inverse of their lowest common denominator, and generates as a subgroup a cyclic group of integer multiples of this unit fraction. A group is locally cyclic if and only if its lattice of subgroups is a distributive lattice. [21]

Cyclically ordered groups

A cyclically ordered group is a group together with a cyclic order preserved by the group structure. Every cyclic group can be given a structure as a cyclically ordered group, consistent with the ordering of the integers (or the integers modulo the order of the group). Every finite subgroup of a cyclically ordered group is cyclic. [22]

Metacyclic and polycyclic groups

A metacyclic group is a group containing a cyclic normal subgroup whose quotient is also cyclic. [23] These groups include the cyclic groups, the dicyclic groups, and the direct products of two cyclic groups. The polycyclic groups generalize metacyclic groups by allowing more than one level of group extension. A group is polycyclic if it has a finite descending sequence of subgroups, each of which is normal in the previous subgroup with a cyclic quotient, ending in the trivial group. Every finitely generated abelian group or nilpotent group is polycyclic. [24]

See also

Footnotes

Notes

  1. DEFINITION 15. A group is called monogenous if it admits a system of generators consisting of a single element. A finite monogenous group is called cyclic. [3]
  2. This implication remains true even if only prime values of n are considered. [12] (And observe that when n is prime, there is exactly one element whose order is a proper divisor of n, namely the identity.)
  3. If G has two ends, the explicit structure of G is well known: G is an extension of a finite group by either the infinite cyclic group or the infinite dihedral group. [19]

Citations

  1. 1 2 3 4 5 6 "Cyclic group", Encyclopedia of Mathematics , EMS Press, 2001 [1994]
  2. ( Lajoie & Mura 2000 , pp. 29–33).
  3. (Bourbaki 1998, p. 49) or Algebra I: Chapters 1–3 , p. 49, at Google Books.
  4. ( Motwani & Raghavan 1995 , p. 401).
  5. ( Vinogradov 2003 , pp. 105–132, § VI PRIMITIVE ROOTS AND INDICES).
  6. ( Rotman 1998 , p. 65).
  7. ( Stewart & Golubitsky 2010 , pp. 47–48).
  8. ( Cox 2012 , p. 294, Theorem 11.1.7).
  9. ( Cox 2012 , p. 295, Corollary 11.1.8 and Theorem 11.1.9).
  10. ( Aluffi 2009 , pp. 82–84, 6.4 Example: Subgroups of Cyclic Groups).
  11. ( Gannon 2006 , p. 18).
  12. (Gallian 2010, p. 84, Exercise 43).
  13. ( Jungnickel 1992 , pp. 545–547).
  14. ( Coxeter & Moser 1980 , p. 1).
  15. Weisstein, Eric W. "Cycle Graph". MathWorld .
  16. ( Alspach 1997 , pp. 1–22).
  17. ( Vilfred 2004 , pp. 34–36).
  18. 1 2 ( Kurzweil & Stellmacher 2004 , p. 50).
  19. (Stallings 1970, pp. 124–128). See in particular Groups of cohomological dimension one , p. 126, at Google Books.
  20. ( Alonso 1991 , Corollary 3.6).
  21. ( Ore 1938 , pp. 247–269).
  22. ( Fuchs 2011 , p. 63).
  23. A. L. Shmel'kin (2001) [1994], "Metacyclic group", Encyclopedia of Mathematics , EMS Press
  24. "Polycyclic group", Encyclopedia of Mathematics , EMS Press, 2001 [1994]

Related Research Articles

<span class="mw-page-title-main">Abelian group</span> Commutative group (mathematics)

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

In abstract algebra, a group isomorphism is a function between two groups that sets up a bijection between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished.

<span class="mw-page-title-main">Group (mathematics)</span> Set with associative invertible operation

In mathematics, a group is a set with an operation that satisfies the following constraints: the operation is associative and has an identity element, and every element of the set has an inverse element.

<span class="texhtml mvar" style="font-style:italic;">p</span>-group Group in which the order of every element is a power of p

In mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pn copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p.

<span class="mw-page-title-main">Subgroup</span> Subset of a group that forms a group itself

In group theory, a branch of mathematics, given a group G under a binary operation ∗, a subset H of G is called a subgroup of G if H also forms a group under the operation ∗. More precisely, H is a subgroup of G if the restriction of ∗ to H × H is a group operation on H. This is often denoted HG, read as "H is a subgroup of G".

<span class="mw-page-title-main">Symmetric group</span> Type of group in abstract algebra

In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group defined over a finite set of symbols consists of the permutations that can be performed on the symbols. Since there are such permutation operations, the order of the symmetric group is .

<span class="mw-page-title-main">Simple group</span> Group without normal subgroups other than the trivial group and itself

In mathematics, a simple group is a nontrivial group whose only normal subgroups are the trivial group and the group itself. A group that is not simple can be broken into two smaller groups, namely a nontrivial normal subgroup and the corresponding quotient group. This process can be repeated, and for finite groups one eventually arrives at uniquely determined simple groups, by the Jordan–Hölder theorem.

<span class="mw-page-title-main">Free group</span> Mathematics concept

In mathematics, the free groupFS over a given set S consists of all words that can be built from members of S, considering two words to be different unless their equality follows from the group axioms. The members of S are called generators of FS, and the number of generators is the rank of the free group. An arbitrary group G is called free if it is isomorphic to FS for some subset S of G, that is, if there is a subset S of G such that every element of G can be written in exactly one way as a product of finitely many elements of S and their inverses.

<span class="mw-page-title-main">Generating set of a group</span> Abstract algebra concept

In abstract algebra, a generating set of a group is a subset of the group set such that every element of the group can be expressed as a combination of finitely many elements of the subset and their inverses.

In number theory, the ideal class group of an algebraic number field K is the quotient group JK /PK where JK is the group of fractional ideals of the ring of integers of K, and PK is its subgroup of principal ideals. The class group is a measure of the extent to which unique factorization fails in the ring of integers of K. The order of the group, which is finite, is called the class number of K.

In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group can be uniquely expressed as an integer combination of finitely many basis elements. For instance the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1,0) and (0,1) as its basis. Free abelian groups have properties which make them similar to vector spaces, and may equivalently be called free-modules, the free modules over the integers. Lattice theory studies free abelian subgroups of real vector spaces. In algebraic topology, free abelian groups are used to define chain groups, and in algebraic geometry they are used to define divisors.

<span class="mw-page-title-main">Glossary of group theory</span>

A group is a set together with an associative operation that admits an identity element and such that there exists an inverse for every element.

<span class="mw-page-title-main">Finite group</span> Mathematical group based upon a finite number of elements

In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a finite number of structure-preserving transformations. Important examples of finite groups include cyclic groups and permutation groups.

<span class="mw-page-title-main">Finitely generated group</span>

In algebra, a finitely generated group is a group G that has some finite generating set S so that every element of G can be written as the combination of finitely many elements of S and of inverses of such elements.

In mathematics, the interplay between the Galois group G of a Galois extension L of a number field K, and the way the prime ideals P of the ring of integers OK factorise as products of prime ideals of OL, provides one of the richest parts of algebraic number theory. The splitting of prime ideals in Galois extensions is sometimes attributed to David Hilbert by calling it Hilbert theory. There is a geometric analogue, for ramified coverings of Riemann surfaces, which is simpler in that only one kind of subgroup of G need be considered, rather than two. This was certainly familiar before Hilbert.

Multiplicative group of integers modulo <i>n</i> Group of units of the ring of integers modulo n

In modular arithmetic, the integers coprime to n from the set of n non-negative integers form a group under multiplication modulo n, called the multiplicative group of integers modulo n. Equivalently, the elements of this group can be thought of as the congruence classes, also known as residues modulo n, that are coprime to n. Hence another name is the group of primitive residue classes modulo n. In the theory of rings, a branch of abstract algebra, it is described as the group of units of the ring of integers modulo n. Here units refers to elements with a multiplicative inverse, which, in this ring, are exactly those coprime to n.

In group theory, a subfield of abstract algebra, a cycle graph of a group is an undirected graph that illustrates the various cycles of that group, given a set of generators for the group. Cycle graphs are particularly useful in visualizing the structure of small finite groups.

<span class="mw-page-title-main">Elementary abelian group</span> Commutative group in which all nonzero elements have the same order

In mathematics, specifically in group theory, an elementary abelian group is an abelian group in which all elements other than the identity have the same order. This common order must be a prime number, and the elementary abelian groups in which the common order is p are a particular kind of p-group. A group for which p = 2 is sometimes called a Boolean group.

<span class="mw-page-title-main">Prüfer group</span>

In mathematics, specifically in group theory, the Prüfer p-group or the p-quasicyclic group or p-group, Z(p), for a prime number p is the unique p-group in which every element has p different p-th roots.

In mathematics, a class formation is a topological group acting on a module satisfying certain conditions. Class formations were introduced by Emil Artin and John Tate to organize the various Galois groups and modules that appear in class field theory.

References

Further reading