VOOZH about

URL: https://mathworld.wolfram.com/CyclicGroup.html

โ‡ฑ Cyclic Group -- from Wolfram MathWorld


๐Ÿ‘ Image

Cyclic Group


๐Ÿ‘ DOWNLOAD Mathematica Notebook
Download Wolfram Notebook

A cyclic group is a group that can be generated by a single element ๐Ÿ‘ X
(the group generator). Cyclic groups are Abelian.

A cyclic group of finite group order ๐Ÿ‘ n
is denoted ๐Ÿ‘ C_n
, ๐Ÿ‘ Z_n
, ๐Ÿ‘ Z_n
, or ๐Ÿ‘ C_n
; Shanks 1993, p. 75), and its generator ๐Ÿ‘ X
satisfies

where ๐Ÿ‘ I
is the identity element.

The ring of integers ๐Ÿ‘ Z
form an infinite cyclic group under addition, and the integers 0, 1, 2, ..., ๐Ÿ‘ n-1
(๐Ÿ‘ Z_n
) form a cyclic group of order ๐Ÿ‘ n
under addition (mod ๐Ÿ‘ n
). In both cases, 0 is the identity element.

There exists a unique cyclic group of every order ๐Ÿ‘ n>=2
, so cyclic groups of the same order are always isomorphic (Scott 1987, p. 34; Shanks 1993, p. 74). Furthermore, subgroups of cyclic groups are cyclic, and all groups of prime group order are cyclic. In fact, the only simple Abelian groups are the cyclic groups of order ๐Ÿ‘ n=1
or ๐Ÿ‘ n
a prime (Scott 1987, p. 35).

The ๐Ÿ‘ n
th cyclic group is represented in the Wolfram Language as [n].

Examples of cyclic groups include ๐Ÿ‘ C_2
, ๐Ÿ‘ C_3
, ๐Ÿ‘ C_4
, ..., and the modulo multiplication groups ๐Ÿ‘ M_m
such that ๐Ÿ‘ m=2
, 4, ๐Ÿ‘ p^n
, or ๐Ÿ‘ 2p^n
, for ๐Ÿ‘ p
an odd prime and ๐Ÿ‘ n>=1
(Shanks 1993, p. 92).

Cyclic groups all have the same multiplication table structure. The table for ๐Ÿ‘ C_(20)
is illustrated above.

By computing the characteristic factors, any Abelian group can be expressed as a group direct product of cyclic subgroups, for example, finite group C2ร—C4 or finite group C2ร—C2ร—C2. It is common to combine the indices for the highest prime factors of the direct product representation of a group since this provides a shorter notation and no ambiguity arises. For example ๐Ÿ‘ C_2ร—C_3
is commonly written ๐Ÿ‘ C_6
.

The cycle index of the cyclic group ๐Ÿ‘ C_p
is given by

where ๐Ÿ‘ k|p
means ๐Ÿ‘ k
divides ๐Ÿ‘ p
and ๐Ÿ‘ phi(k)
is the totient function (Harary 1994, p. 184). The first few are given by


See also

Abelian Group, Characteristic Factor, Cyclic Group C2, Cyclic Group C3, Cyclic Group C4, Cyclic Group C5, Cyclic Group C6, Cyclic Group C7, Cyclic Group C8, Cyclic Group C9, Cyclic Group C10, Cyclic Group C11, Cyclic Group C12, Metacyclic Group, Modulo Multiplication Group, Simple Group Explore this topic in the MathWorld classroom

Explore with Wolfram|Alpha

References

Harary, F. In Graph Theory. Reading, MA: Addison-Wesley, pp. 181 and 184, 1994.Lomont, J. S. "Cyclic Groups." ยง3.10.A in Applications of Finite Groups. New York: Dover, p. 78, 1987.Scott, W. R. "Cyclic Groups." ยง2.4 in Group Theory. New York: Dover, pp. 34-35, 1987.Shanks, D. Solved and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, 1993.

Referenced on Wolfram|Alpha

Cyclic Group

Cite this as:

Weisstein, Eric W. "Cyclic Group." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/CyclicGroup.html

Subject classifications