Finite cyclic group

From Groupprops
Jump to: navigation, search
This page describes a group property obtained as a conjunction (AND) of two (or more) more fundamental group properties: finite group and cyclic group
View other group property conjunctions OR view all group properties

Definition

A finite cyclic group is a group satisfying the following equivalent conditions:

Metaproperties

Metaproperty name Satisfied? Proof Statement with symbols
subgroup-closed group property Yes Follows from cyclicity is subgroup-closed If G is a finite cyclic group and H is a subgroup of G, then H is also a finite cyclic group.
quotient-closed group property Yes Follows from cyclicity is quotient-closed If G is a finite cyclic group and H is a normal subgroup of G, then the quotient group G/H is also a finite cyclic group.
finite direct product-closed group property No See next column It is possible to have finite cyclic groups G_1, G_2 such that the external direct product G_1 \times G_2 is not cyclic. In fact, any choice of nontrivial finite cyclic G_1, G_2 works.
lattice-determined group property Yes See next column If G_1,G_2 have isomorphic lattices of subgroups, either both are finite cyclic or neither is. The explicit condition on the lattice of subgroups is that it must be finite and distributive.

Relation with other properties

Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
group of prime order has order equal to a prime number. This automatically makes it cyclic. Cyclic group of prime power order|FULL LIST, MORE INFO
cyclic group of prime power order cyclic of order equal to a prime power. |FULL LIST, MORE INFO

Weaker properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
finite abelian group finite and an abelian group, or equivalently, a direct product of finitely many finite cyclic groups |FULL LIST, MORE INFO
cyclic group generated by a single element; either finite cyclic or isomorphic to the group of integers. |FULL LIST, MORE INFO
finite nilpotent group finite and a nilpotent group, or equivalently, direct product of its Sylow subgroups Finite abelian group|FULL LIST, MORE INFO
finite supersolvable group finite and a supersolvable group |FULL LIST, MORE INFO
finite solvable group finite and a solvable group |FULL LIST, MORE INFO

Arithmetic functions

This lists arithmetic functions for the cyclic group of order n:

Function Value Explanation
order n
exponent n
number of subgroups d(n), the divisor count function of n For every divisor d of n, there is a subgroup of order d.
number of conjugacy classes of subgroups d(n) Same as number of subgroups, since all subgroups are normal.
number of conjugacy classes n Same as number of elements, since the group is abelian.
derived length 1 Abelian group.
nilpotency class 1 Abelian group.
Frattini length Maximum of exponents of all primes dividing n
Fitting length 1 Abelian group.