Cyclic group:Z4

This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this group
View a complete list of particular groups (this is a very huge list!)[SHOW MORE]

VIEW FACTS ABOUT THIS GROUP: All factsGroup property satisfactionsSubgroup property satisfactionsGroup property dissatisfactionsSubgroup property satisfactions
VIEW DEFINITIONS USING THIS AS EXAMPLE: All terms |Group properties |Subgroup properties|
VIEW FACTS USING THIS AS EXAMPLE: All facts |Group property non-implications |Subgroup property non-implications |Group metaproperty dissatisfactionsSubgroup metaproperty dissatisfactions

This particular group is a finite group of order: 4 This particular group is the smallest (in terms of order): nontrivial non-simple group

Definition

Verbal definition

The cyclic group of order 4 is defined as a group with four elements $e=x^0,x^1,x^2,x^3$ where $x^l{x}^m=x^{l+m}$ where the exponent is reduced modulo $4$. In other words, it is the cyclic group whose order is four. It can also be viewed as:

• The quotient group of the group of integers by the subgroup comprising multiples of $4$.
• The multiplicative subgroup of the nonzero complex numbers under multiplication, generated by $i$ (a squareroot of $-1$).
• The group of rotational symmetries of the square.

Multiplication table

Element	$e$ (identity element)	$x$ (generator)	$x^2$	$x^3$ (generator)
$e$	$e$	$x$	$x^2$	$x^3$
$x$	$x$	$x^2$	$x^3$	$e$
$x^2$	$x^2$	$x^3$	$e$	$x$

Group properties

Property	Satisfied	Explanation	Comment
Group of prime power order	Yes	By definition
Cyclic group	Yes	By definition	Smallest cyclic group of composite order
Elementary abelian group	No	Not isomorphic to Klein-four group, which is elementary abelian of order four.
Abelian group	Yes	Cyclic implies abelian
Nilpotent group	Yes	Abelian implies nilpotent
Metacyclic group	Yes	Cyclic implies metacyclic
Supersolvable group	Yes	Cyclic implies supersolvable
Solvable group	Yes	Abelian implies solvable
T-group	Yes	Abelian groups are T-groups
Simple group	No	Has normal subgroup of order two	Smallest non-trivial non-simple group.
Characteristically simple group	No	Has characteristic subgroup of order two	Unique smallest non-trivial non-characteristically simple group.