Group of prime order
This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions
Contents
Definition
Verbal definition in terms of the prime
A group of prime order, or cyclic group of prime order, is any of the following equivalent things:
- It is a cyclic group whose order is a prime number.
- It is isomorphic to the quotient of the group of integers by a subgroup generated by a prime number.
- It is the additive group of a finite prime field (note that we have to say finite because "prime field" also includes the field of rational numbers, the prime field of characteristic zero).
If denotes the order of the group, then the cyclic group of order
is denoted
,
,
or
.
Verbal definition independent of the prime
A group of prime order is a nontrivial group satisfying the following equivalent conditions:
- It has exactly two distinct subgroups: the trivial subgroup and the whole group.
- It is a simple abelian group.
Equivalence of definitions
Further information: Equivalence of definitions of group of prime order
Endomorphisms
Endomorphisms
Any endomorphism of the additive group of a prime field is described completely by where it sends the generator. If the generator, say , goes to
, then any
must go to
.
Thus, the endomorphisms are parametrized by elements of the prime field. A composition of two endomorphisms is given by their product via the multiplication in the prime field.
In symbols, any element gives the endomorphism:
The composite of the endomorphisms induced by and
is the endomorphism induced by their product
.
Automorphisms
The automorphism group is given by those endomorphisms that are given by multiplication by nonzero elements. Thus, the automorphism group is the multiplicative group of nonzero elements in . It turns out that this automorphism group is a cyclic group. This follows from the more general fact that any finite subgroup of the multiplicative group of a field is cyclic. Further information: finite subgroup of multiplicative group of field is cyclic
Elements
Up to conjugacy
Since the group is Abelian, every element forms its own conjugacy class.
Up to automorphism
The automorphism group acts transitively on non-identity elements: any non-identity element can be sent to another non-identity element via an automorphism (namely, via multiplication by a suitable number). Thus, there are two classes of elements upto automorphism: the identity element (denoted 0 in the additive notation) and the class of non-identity elements, that has size .
Subgroups
There are only two subgroups: the trivial subgroup and the whole group. Any nontrivial element generates the whole group.
Quotients
There are only two quotients: the trivial quotient and the whole group.
In larger groups
Occurrence as a subgroup
The group of order , for any prime
, occurs as a subgroup (in possibly many ways) in any group whose order is a multiple of
. This result is known as Cauchy's theorem. It can be proved directly or by combining Sylow's theorem and the fact that a group of prime power order contains subgroups of every order dividing the group's order.
Occurrence as a normal subgroup
The cyclic group of prime order may occur as a normal subgroup in some groups, though this is a rare occurrence. When the prime is very small, the chances are high that a normal subgroup of that order is actually a central subgroup: it lies inside the center. In fact, a normal subgroup whose order is the smallest prime dividing the order of the group, must be central.
One case where this happens is for the general linear group over a field whose order is a prime (or prime power) , where
. Here, the cyclic group of order
occurs as a subgroup of the group of scalar matrices in the general linear group, which is cyclic of order
.
Occurrence as a quotient group
The cyclic group of prime order often occurs as a quotient. In fact, any normal subgroup of prime index must have as its quotient the cyclic group of prime order. The smaller the prime, the larger the probability that a subgroup of that prime index is normal. For instance, any subgroup of index two is normal and any subgroup of least prime index is normal.
Metaproperties
Metaproperty name | Satisfied? | Proof | Statement with symbols |
---|---|---|---|
lattice-determined group property | Yes | Given two groups ![]() |
Relation with other properties
Weaker properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
cyclic group of prime power order | cyclic, and prime power order | |FULL LIST, MORE INFO | ||
abelian group of prime power order | abelian, and prime power order | Cyclic group of prime power order|FULL LIST, MORE INFO | ||
group of prime power order | order is a power of a prime | |FULL LIST, MORE INFO | ||
finite simple group | finite, and no proper nontrivial normal subgroup | |FULL LIST, MORE INFO | ||
finite cyclic group | Cyclic group of prime power order|FULL LIST, MORE INFO | |||
finite abelian group | Finite cyclic group|FULL LIST, MORE INFO | |||
finite nilpotent group | Finite cyclic group|FULL LIST, MORE INFO | |||
finite solvable group | Finite cyclic group|FULL LIST, MORE INFO |