Symmetric group:S4

From Groupprops

Jump to: navigation, search

This article is about a particular group, viz a group unique upto isomorphism[SHOW MORE]

View a complete list of particular groups
VIEW FACTS ABOUT THIS GROUP: All facts
VIEW DEFINITIONS USING THIS AS EXAMPLE: All terms | Subgroup properties|
VIEW FACTS USING THIS AS EXAMPLE: All facts | Group property non-implications | Subgroup property non-implications | Subgroup metaproperty dissatisfactions
View specific information (such as linear representation theory, subgroup structure) about this group

Definition

Verbal definition

The symmetric group $S 4$ or $\operatorname{Sym}(4)$ , also termed the symmetric group of degree four, is defined in the following equivalent ways:

The group of all permutations, i.e., the symmetric group on a set of size four. In particular, it is a symmetric group of prime power degree.
The triangle group (not the von Dyck group, but its double) $Δ(3,3,2)$ . In other words, it has the presentation:

$\langle s_1, s_2, s_3 \mid s_1^2 = s_2^2 = s_3^2 = e, (s_1s_2)^3 = (s_2s_3)^3 = (s_1s_3)^2 = e \rangle$ .

where $e$ is the identity element.

In particular, it is a Coxeter group.

The full tetrahedral group: The group of all (not necessarily orientation-preserving) symmetries of the regular tetrahedron. This is denoted as $T h$ .
The von Dyck group with parameters $(4,3,2)$ . In other words, it has the presentation:

$\langle a,b,c \mid a^4 = b^3 = c^2 = abc = e \rangle$ .

The octahedral group or cube group: group of orientation-preserving symmetries of the cube (or equivalently, the octahedron). This is denoted as $O$ .
The projective general linear group of degree two over the field of three elements: $P G L (2,3)$ .
The general affine group of degree two over the field of two elements: $G A (2,2)$ .

Families

Generic name for family member	Definition	Parametrization of family	Parameter value(s) for this member	Other members	Comments
symmetric group on finite set	group of all permutations on a finite set	by a nonnegative integer, denoting size of set acted on	4	click here for a list
Coxeter group	has a presentation of a particular form	Coxeter matrix describing the presentation		click here for a list	symmetric groups on finite sets are Coxeter groups
von Dyck group	$\langle a,b,c \mid a^p = b^q = c^r = abc = e \rangle$	$(p, q, r)$	(4,3,2)	click here for a list	$S 4$ is a spherical von Dyck group, i.e., it occurs as a finite subgroup of $SO(3,\R)$ . In particular, this makes it a Coxeter group. Further information: Classification of finite subgroups of SO(3,R)
triangle group	$\langle s_1,s_2,s_3 \mid s_1^2 = s_2^2 = s_3^2 = (s_1s_2)^p = (s_2s_3)^q = (s_3s_1)^r = e \rangle$	$(p, q, r)$	(3,3,2)	click here for a list	$S 4$ is a spherical triangle group
projective general linear group	projective general linear group of given degree over a given field	name of field, degree	field:F3 (size three), degree two

Arithmetic functions

Single-valued functions

Function	Value	Similar groups	Explanation for function value
order	24	groups with same order	As $\! S_k, k = 4:$ $\! k! = 4! = 4 \cdot 3 \cdot 2 \cdot 1 = 24$ as $\! PGL(2,q), q = 3:$ $\! (q^2 - 1)(q^2 - q)/(q - 1) = (3^2 - 1)(3^2 - 3)/2 = 24$ As $\! GA(2,q), q = 2:$ $\! q^2 \cdot (q^2 - 1) \cdot (q^2 - q) = 2^2 \cdot (2^2 - 1)(2^2 - 2) = 4 \cdot 3 \cdot 2 = 24$
exponent	12	groups with same order and exponent \| groups with same exponent	elements of order $2,3,4$ , their lcm is $12$
derived length	3	groups with same order and derived length \| groups with same derived length	Derived series goes through alternating group:A4 and Klein four-group of double transpositions.
nilpotency class	--		not a nilpotent group.
Frattini length	1	groups with same order and Frattini length \| groups with same Frattini length	Frattini-free group: intersection of maximal subgroups is trivial.
minimum size of generating set	2	groups with same order and minimum size of generating set \| groups with same minimum size of generating set	$(1,2),(1,2,3,4)$ ; see also symmetric group on a finite set is 2-generated
subgroup rank of a group	2	groups with same order and subgroup rank of a group \| groups with same subgroup rank of a group	All proper subgroups are cyclic or have generating set of size two (D8, Klein four-group, and A4)
max-length of a group	4	groups with same order and max-length of a group \| groups with same max-length of a group	Series for Sylow 2-subgroup followed by whole group, OR derived series refined at end.
composition length	4	groups with same order and composition length \| groups with same composition length
chief length	3	groups with same order and chief length \| groups with same chief length
number of subgroups	30	groups with same order and number of subgroups \| groups with same number of subgroups
number of conjugacy classes	5	groups with same order and number of conjugacy classes \| groups with same number of conjugacy classes	as $S k, k = 4:$ the number of conjugacy classes is $\! p(k) = p(4) = 5$ , where $p$ is the [[number of unordered integer partitions; see cycle type determines conjugacy class as $P G L (2, q), q = 3:$ the number of conjugacy classes is $q + 2 = 3 + 2 = 5$ ; see projective general linear group of degree two as $G A (2, q), q = 2:$ $\! q^2 + 1 = 2^2 + 1 = 5$
number of conjugacy classes of subgroups	11	groups with same order and number of conjugacy classes of subgroups \| groups with same number of conjugacy classes of subgroups

Order statistics

Lists of numerical invariants

List	Value	Explanation/comment
conjugacy class sizes	$1,3,6,6,8$	See element structure of symmetric group:S4, element structure of symmetric groups, cycle type determines conjugacy class
order statistics	$1 \mapsto 1, 2 \mapsto 9, 3 \mapsto 8, 4 \mapsto 6$
degrees of irreducible representations	$1,1,2,3,3$	See linear representation theory of symmetric group:S4, linear representation theory of symmetric groups

Group properties

COMPARE AND CONTRAST: Want to know more about how this group compares with symmetric groups of other degrees? Read contrasting symmetric groups of various degrees.

Property	Satisfied	Explanation	Comment
Abelian group	No	$(1,2)$ , $(1,3)$ don't commute	$S n$ is non-abelian, $n \ge 3$ .
Nilpotent group	No	Centerless: The center is trivial	$S n$ is non-nilpotent, $n \ge 3$ .
Metacyclic group	No	No cyclic normal subgroup	$S n$ is not metacyclic, $n \ge 4$ .
Supersolvable group	No	No cyclic normal subgroup	$S n$ is not supersolvable, $n \ge 4$ .
Solvable group	Yes	Length three, commutator subgroup is $A 4$ , its commutator is Klein four-group	Largest $n$ for which $S n$ is solvable.
T-group	No	Double transposition generates non-normal 2-subnormal subgroup	Only $n$ for which $S n$ isn't a T-group.
HN-group	No	Double transposition generates subnormal non-hypernormalized subgroup	Only $n$ for which $S n$ isn't hypernormalized.
Complete group	Yes	Centerless and every automorphism's inner	Symmetric groups are complete except the ones of degree $2,6$ .
Monolithic group	Yes	Monolith is the Klein four-group of double transpositions	All symmetric groups are monolithic; $n = 4$ is the only case the monolith is not the alternating group.
One-headed group	Yes	The alternating group is the unique maximal normal subgroup	True for all $n > 1$ .
Group having subgroups of all orders dividing the group order	Yes	(See subgroup list)	Largest $n$ for which this is true.
Rational-representation group	Yes	Symmetric groups are rational-representation
Rational group	Yes	Symmetric groups are rational	Also see classification of rational dihedral groups
Ambivalent group	Yes	Symmetric groups are ambivalent

Endomorphisms

Automorphisms

Since $S 4$ is a complete group, it is isomorphic to its automorphism group, where each element of $S 4$ acts on $S 4$ by conjugation.

Endomorphisms

$S 4$ admits four kinds of endomorphisms (that is, it admits more endomorphisms, but any endomorphism is equivalent via an automorphism to one of these four):

The endomorphism to the trivial group
The identity map
The retraction to a group of order two, given by the sign homomorphism.
The retraction to a symmetric group on three of the elements, with kernel being the Klein four-group comprising the identity element and the double transpositions. (Note that all such retractions are equivalent, and there are other equivalent endomorphisms obtained by composing such a retraction with an automorphism).

Elements

Further information: element structure of symmetric group:S4

Up to conjugacy

There are five conjugacy classes, corresponding to the cycle types, because cycle type determines conjugacy class. Further, each cycle type corresponds to a partition of $4$ .

Partition	Verbal description of cycle type	Elements with the cycle type	Size of conjugacy class	Formula for size	Even or odd? If even, splits? If splits, real in alternating group?	Element order
1 + 1 + 1 + 1	four cycles of size one each, i.e., four fixed points	$()$ -- the identity element	1	$\! \frac{4!}{(1)^4(4!)}$	even; no	1
2 + 1 + 1	one transposition (cycle of size two), two fixed points	$(1,2)$ , $(1,3)$ , $(1,4)$ , $(2,3)$ , $(2,4)$ , $(3,4)$	6	$\! \frac{4!}{(2)(1)^2(2!)}$	odd	2
2 + 2	double transposition: two cycles of size two	$(1,2)(3,4)$ , $(1,3)(2,4)$ , $(1,4)(2,3)$	3	$\! \frac{4!}{(2)^2(2!)}$	even; no	2
3 + 1	one 3-cycle, one fixed point	$(1,2,3)$ , $(1,3,2)$ , $(2,3,4)$ , $(2,4,3)$ , $(3,4,1)$ , $(3,1,4)$ , $(4,1,2)$ , $(4,2,1)$	8	$\! \frac{4!}{(3)(1)}$	even; yes; no	3
4	one 4-cycle, no fixed points	$(1,2,3,4)$ , $(1,2,4,3)$ , $(1,3,2,4)$ , $(1,3,4,2)$ , $(1,4,2,3)$ , $(1,4,3,2)$	6	$\! \frac{4!}{4}$	odd	4

Up to automorphism

Since $S 4$ is a complete group, all its automorphisms are inner automorphisms, and, in particular, the classification of elements up to conjugacy is the same as the classification up to automorphisms.

Subgroups

Further information: Subgroup structure of symmetric group:S4

Here is a complete list of subgroups. Note that since $S 4$ is a complete group, every automorphism is inner, so the classification of subgroups upto conjugacy is equivalent to the classification of subgroups upto automorphism.

The trivial subgroup. Isomorphic to trivial group.(1)
The two-element subgroup generated by a transposition, such as $(1,2)$ . Isomorphic to cyclic group of order two.(6)
The two-element subgroup generated by a double transposition, such as $(1,2)(3,4)$ . Isomorphic to cyclic group of order two. (3)
The four-element subgroup generated by two disjoint transpositions, such as $\langle (1,2) \ , \ (3,4) \rangle$ . Isomorphic to Klein four-group. (3)
The unique four-element subgroup comprising the identity and the three double transpositions. Isomorphic to Klein four-group. (1)
The four-element subgroup spanned by a 4-cycle. Isomorphic to cyclic group of order four.(3)
The eight-element subgroup spanned by a 4-cycle and a transposition that conjugates this cycle to its inverse. Isomorphic to dihedral group of order eight. (3)
The three-element subgroup spanned by a three-cycle. Isomorphic to cyclic group of order three.(4)
The six-element subgroup comprising all permutations that fix one element. Isomorphic to symmetric group on three elements. (4)
The alternating group: the subgroup of all even permutations. Isomorphic to alternating group:A4.(1)
The whole group.(1)

Normal subgroups

The only normal subgroups of $S 4$ are: the trivial subgroup (type (1)), the Klein four-group (type (5) -- note that type (4) are non-normal subgroups), the alternating group $A 4$ (type (10)), and the whole group (type (11)). It turns out that the characteristic subgroups, the fully characteristic subgroups, the permutable subgroups, and the retraction-invariant subgroups all coincide with the normal subgroups.

Sylow subgroups

The Sylow subgroups are as follows:

The $2$ -Sylow subgroups are dihedral groups of order eight, type (7) in the list.
The $3$ -Sylow subgroups are cyclic groups of order three, type (9) in the list.

Further information: Subgroup structure of symmetric group:S4

Subgroup-defining functions

Subgroup-defining function	Subgroup type in list	Isomorphism class	Comment
Center	(1)	Trivial group	The group is centerless
Commutator subgroup	(10)	Alternating group:A4
Frattini subgroup	(1)	Trivial group	The normal cores of the maximal subgroups of orders $6$ and $8$ intersect trivially.
Socle	(5)	Klein four-group	This subgroup is the unique minimal normal subgroup, i.e., the monolith, and the group is monolithic.

Supergroups

The symmetric group $S 4$ is contained in higher symmetric groups, most notably the symmetric group on five elements $S 5$ .

Extensions

These include $G L (2,3)$ whose inner automorphism group is $S 4$ (specifically $S 4$ is the quotient of $G L (2,3)$ by its scalar matrices).

Implementation in GAP

Group ID

This finite group has order 24 and has ID 12 among the group of order 24 in GAP's SmallGroup library. It can thus be defined using GAP's SmallGroup function as:

SmallGroup(24,12)

For instance, we can use the following assignment in GAP to create the group and name it $G$ :

gap> G := SmallGroup(24,12);

Conversely, to check whether a given group $G$ is in fact the group we want, we can use GAP's IdGroup function:

IdGroup(G) = [24,12]

or just do:

IdGroup(G)

to have GAP output the group ID, that we can then compare to what we want.

Short descriptions

Description	Functions used	Mathematical comment
`SymmetricGroup(4)`	SymmetricGroup	symmetric group of degree four (acting by default on ${1,2,3,4}$ . We can also specify a set on which we make the group act, e.g., `SymmetricGroup([1,2,4,8])`
`PGL(2,3)`	PGL	projective general linear group of degree two over the field of three elements

Facts about Symmetric group:S4RDF feed

Arithmetic function value	Order of a group (24) +, Exponent of a group (12) +, Derived length (3) +, Frattini length (1) +, Minimum size of generating set (2) +, Subgroup rank of a group (2) +, Max-length of a group (4) +, Composition length (4) +, Chief length (3) +, Number of subgroups (30) +, Number of conjugacy classes in a group (5) +, and Number of conjugacy classes of subgroups (11) +
Center	Trivial group +
Commutator subgroup	Alternating group:A4 +
Dissatisfies property	Abelian group +, Nilpotent group +, Metacyclic group +, Supersolvable group +, T-group +, and HN-group +
Frattini subgroup	Trivial group +
GAP ID	24 (12) +
Member of family	Symmetric group +, Symmetric group on finite set +, Symmetric group of prime power degree +, Triangle group +, Coxeter group +, Von Dyck group +, Projective general linear group +, Projective general linear group of degree two +, General affine group +, and General affine group of degree two +
Page class	Term +
Satisfies property	Solvable group +, Complete group +, Monolithic group +, One-headed group +, Group having subgroups of all orders dividing the group order +, Rational-representation group +, Rational group +, Ambivalent group +, and Finite group +
Socle	Klein four-group +
Subgroup	Trivial group +, Cyclic group:Z2 +, Klein four-group +, Cyclic group:Z4 +, Dihedral group:D8 +, Cyclic group:Z3 +, Symmetric group:S3 +, and Alternating group:A4 +

Symmetric group:S4

From Groupprops

Contents

Definition

Verbal definition

Families

Arithmetic functions

Single-valued functions

Order statistics

Lists of numerical invariants

Group properties

Endomorphisms

Automorphisms

Endomorphisms

Elements

Up to conjugacy

Up to automorphism

Subgroups

Normal subgroups

Sylow subgroups

Subgroup-defining functions

Supergroups

Extensions

Implementation in GAP

Group ID

Short descriptions

Personal tools

Namespaces

Variants

Views

Actions

Search

Navigation

lookup

Credits

Toolbox

request/feedback

subject wikis