Groupprops, The Group Properties Wiki (pre-alpha)
Visit the subject wikis reference guide for links to more subject wikis.

From Groupprops

Contents 1 Definition 1.1 Definition by presentation 1.2 Geometric definition 1.3 Definition as a permutation group 1.4 Multiplication table 1.5 Other definitions 2 Position in classifications 3 Elements 3.1 Upto conjugacy 3.2 Upto automorphism 4 Arithmetic functions 4.1 Lists of numerical invariants 4.2 Action-based/automorphism group realization invariants 5 Group properties 6 Subgroups 6.1 Normal subgroups 6.2 Characteristic subgroups 7 Quotient groups 8 Subgroup-defining functions 9 Quotient-defining functions 10 Other associated constructs 11 In larger groups 11.1 Occurrence as a subgroup 11.2 Occurrence as a quotient 12 Distinguishing features 12.1 Smallest of its kind 12.2 Different from others of the same order 13 GAP implementation 13.1 Group ID 13.2 Short descriptions 13.3 Description using a presentation 13.4 Long descriptions 14 Internal links

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 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

Definition by presentation

The dihedral group D₈, sometimes called D₄, also called the dihedral group of order eight or the dihedral group of degree four (since its natural action is on four elements), is defined by the following presentation:

Here, the element a is termed the rotation or the generator of the cyclic piece and x is termed the reflection. An alternative presentation is:

In terms of the previous presentation, we can set a = a,b = ax.

Geometric definition

The dihedral group D₈ (also called D₄) is defined as the group of all symmetries of the square (the regular 4-gon). This has a cyclic subgroup comprising rotations (which is the cyclic subgroup generated by a) and has four reflections each being an involution: reflections about lines joining midpoints of opposite sides, and reflections about diagonals.

Definition as a permutation group

The group is (up to isomorphism) the subgroup of the symmetric group on {1,2,3,4} given by:

This can be related to the geometric definition by thinking of 1,2,3,4 as the vertices of the square and considering an element of D₈ in terms of its induced action on the vertices. It relates to the presentation via setting a = (1,2,3,4) and x = (1,3).

Multiplication table

Here, e denotes the identity element, a is an element of order 4, and x is an element of order two that isn't equal to a², as in the above presentation.

Element

Other definitions

The dihedral group can be described in the following ways:

1. The dihedral group of order eight.
2. The generalized dihedral group corresponding to the cyclic group of order four.
3. The holomorph of the cyclic group of order four.
4. The external wreath product of the cyclic group of order two with the cyclic group of order two, acting via the regular action.
5. The 2-Sylow subgroup of the symmetric group on four letters.
6. The 2-Sylow subgroup of the symmetric group on five letters.
7. The 2-Sylow subgroup of the alternating group on six letters.
8. The 2-Sylow subgroup of PSL(3,2).

Position in classifications

Type of classification	Name in that classification
GAP ID	(8,3), i.e., the third among the groups of order 8
Hall-Senior number	4 among groups of order 8
Hall-Senior symbol	8Γ2a1

Elements

Upto conjugacy

There are five conjugacy classes of elements of the dihedral group:

1. The identity element
2. The rotation by π, which is given as a² in the presentation
3. The two-element conjugacy class comprising rotations by , namely a and a³
4. The two-element conjugacy class comprising the two reflections: x,xa²
5. The two-element conjugacy class comprising the two reflections: ax,a³x (note that ax = xa³ and a³x = xa).

Upto automorphism

Under the equivalence relation of automorphisms, the last two conjugacy classes merge into one. There are thus four equivalence classes under the actions of automorphisms, of sizes 1, 1, 2 and 4.

Arithmetic functions

Want to compare and contrast arithmetic function values with other groups of the same order? Check out groups of order 8#Arithmetic functions

Function	Value	Similar groups	Explanation for function value
underlying prime of p-group	2
order	8	groups with same order	As a semidirect product of and : the order is the product of the orders of and , which is As a wreath product of and : the order is
prime-base logarithm of order	3	groups with same prime-base logarithm of order
max-length of a group	3		max-length of a group equals prime-base logarithm of order for group of prime power order
chief length	3		chief length equals prime-base logarithm of order for group of prime power order
composition length	3		composition length equals prime-base logarithm of order for group of prime power order
exponent	4	groups with same order and exponent | groups with same exponent	As a dihedral group: the dihedral group of order 2n has exponent equal to .
prime-base logarithm of exponent	2
nilpotency class	2	groups with same order and nilpotency class | groups with same prime-base logarithm of order and nilpotency class | groups with same nilpotency class
derived length	2	groups with same order and derived length | groups with same prime-base logarithm of order and derived length | groups with same derived length
Frattini length	2	groups with same order and Frattini length | groups with same prime-base logarithm of order and Frattini length | groups with same Frattini length
Fitting length	1		All groups of prime power order are nilpotent, hence have Fitting length 1.
minimum size of generating set	2	groups with same order and minimum size of generating set | groups with same prime-base logarithm of order and minimum size of generating set | groups with same minimum size of generating set	Generator of cyclic subgroup of order four and element of order two outside.
subgroup rank of a group	2	groups with same order and subgroup rank of a group | groups with same prime-base logarithm of order and subgroup rank of a group | groups with same subgroup rank of a group	All proper subgroups are cyclic or Klein four-groups.
rank of a p-group	2	groups with same order and rank of a p-group | groups with same prime-base logarithm of order and rank of a p-group | groups with same rank of a p-group	There exist Klein four-subgroups.
normal rank of a p-group	2	groups with same order and normal rank of a p-group | groups with same prime-base logarithm of order and normal rank of a p-group | groups with same normal rank of a p-group	There exist normal Klein four-subgroups.
characteristic rank of a p-group	1	groups with same order and characteristic rank of a p-group | groups with same prime-base logarithm of order and characteristic rank of a p-group | groups with same characteristic rank of a p-group	All abelian characteristic subgroups are cyclic.
number of subgroups	10	groups with same order and number of subgroups | groups with same prime-base logarithm of order and number of subgroups | groups with same number of subgroups	As a dihedral group number of subgroups is , where d is the divisor count function and σ is the divisor sum function. See subgroup structure of dihedral group:D8, subgroup structure of dihedral groups
number of conjugacy classes	5	groups with same order and number of conjugacy classes | groups with same prime-base logarithm of order and number of conjugacy classes | groups with same number of conjugacy classes	As a dihedral group D2n, n even: number of conjugacy classes is . See element structure of dihedral groups and element structure of dihedral group:D8
number of conjugacy classes of subgroups	7	groups with same order and number of conjugacy classes of subgroups | groups with same prime-base logarithm of order and number of conjugacy classes of subgroups | groups with same number of conjugacy classes of subgroups	See subgroup structure of dihedral groups, subgroup structure of dihedral group:D8

Lists of numerical invariants

List	Value	Explanation/comment
conjugacy class sizes	1,1,2,2,2	Two central elements, all others in conjugacy classes of size two.
order statistics		Of the five elements of order two, one is central. The other four are automorphic to each other.
degrees of irreducible representations	1,1,1,1,2	See linear representation theory of dihedral group:D8
orders of subgroups	1,2,2,2,2,2,4,4,4,8	See subgroup structure of dihedral group:D8

Numerical invariants arising from subgroup series-defining functions:

List	Value	Explanation/comment
prime-base logarithms of orders of successive quotient groups of upper central series	1,2
prime-base logarithms of orders of successive quotient groups of lower central series	2,1
prime-base logarithms of orders of successive quotient groups of derived series	2,1
prime-base logarithms of orders of successive quotient groups of Frattini series	2,1

Action-based/automorphism group realization invariants

Function	Value	Explanation
minimum degree of faithful representation	2
minimum degree of nontrivial irreducible representation	2
smallest size of set with faithful action	4
smallest size of set with faithful transitive action	4
symmetric genus	?

Group properties

Want to compare and contrast group properties with other groups of the same order? Check out groups of order 8#Group properties

Property	Satisfied	Explanation	Comment
group of prime power order	Yes
nilpotent group	Yes	prime power order implies nilpotent
supersolvable group	Yes	via nilpotent: nilpotent implies supersolvable
solvable group	Yes	via nilpotent: nilpotent implies solvable
abelian group	No	a and x don't commute	Smallest non-abelian group of prime power order
T-group	No	, which is normal, but is not normal	Smallest example for normality is not transitive.
monolithic group	Yes	Unique minimal normal subgroup of order two
one-headed group	No	Three distinct maximal normal subgroups of order four
SC-group	No
ACIC-group	Yes	Every automorph-conjugate subgroup is characteristic
ambivalent group	Yes	dihedral groups are ambivalent	Also see generalized dihedral groups are ambivalent
rational group	Yes	Any two elements that generate the same cyclic group are conjugate	Thus, all characters are integer-valued.
rational-representation group	Yes	All representations over characteristic zero are realized over the rationals.	Contrast with quaternion group, that is rational but not rational-representation.
extraspecial group	Yes	The center, derived subgroup, and Frattini subgroup all coincide and are cyclic of prime order
special group	Yes	(via extraspecial): the center, derived subgroup, and Frattini subgroup all coincide
Frattini-in-center group	Yes	(via extraspecial): the Frattini subgroup is contained in the center
group of nilpotency class two	Yes	(via special): the derived subgroup is contained in the center
UL-equivalent group	Yes	(via special): the upper central series and lower central series coincide
maximal class group	Yes
Frobenius group	No	Frobenius groups are centerless, and this group isn't
Camina group	Yes	extraspecial implies Camina
Every element is automorphic to its inverse	Yes	Follows from being an ambivalent group
any two elements generating the same cyclic subgroup are automorphic	Yes
every element is order-automorphic	No
directly indecomposable group	Yes
centrally indecomposable group	Yes
splitting-simple group	No

Subgroups

Further information: subgroup structure of dihedral group:D8

The dihedral group has ten subgroups:

1. The trivial subgroup (1)
2. The center, which is the unique minimal normal subgroup, and is a two-element subgroup generated by a². This is isomorphic to the cyclic group of order two. (1) Further information: Center of dihedral group:D8
3. The two-element subgroups generated by x, ax, a²x and a³x. All of these are isomorphic to the cyclic group of order two.These are in two conjugacy classes: the subgroups generated by x and by a²x form one conjugacy class; the subgroups generated by ax and a³x form another conjugacy class. (4) Further information: 2-subnormal subgroups of dihedral group:D8
4. The four-element subgroups and . Both are normal, related by an outer automorphism, and isomorphic to the Klein four-group. (2) Further information: Klein four-subgroups of dihedral group:D8
5. The four-element subgroup generated by a. This is normal and is isomorphic to the cyclic group of order four. (1) Further information: Cyclic maximal subgroup of dihedral group:D8
6. The whole group. (1)

Normal subgroups

All subgroups except those in header (3) above, are normal. The subgroups in header (3), which are two-element subgroups generated by some aⁿx, are 2-subnormal, as each of these is contained in a Klein four-group. Of the subgroups in header (3), there are two conjugacy classes: one comprising the subgroups generated by x and by a²x, and the other comprising the subgroups generated by ax and by a³x. (These conjugacy classes are related by an outer automorphism).

Characteristic subgroups

The subgroups in headers (1), (2), (5) and (6) are characteristic. The subgroups in header (4) are normal but not characteristic, and in fact, the two subgroups are automorphs of each other.

Quotient groups

1. The group itself: this is obtained as the quotient by the trivial subgroup. (1)
2. The Klein four-group, which is obtained as the quotient by the center. (1)
3. The cyclic group:Z2, which is obtained as the quotient by either of the two Klein four-subgroups. (2)
4. The cyclic group:Z2, which is obtained as the quotient by the cyclic maximal subgroup. (1)
5. The trivial group, which is obtained as the quotient by the group itself. (1)

Subgroup-defining functions

Subgroup-defining function	Subgroup type in list	Page on subgroup embedding	Isomorphism class	Comment
Center	(2)	Center of dihedral group:D8	Cyclic group:Z2	Prime power order implies not centerless
Commutator subgroup	(2)	Center of dihedral group:D8	Cyclic group:Z2
Frattini subgroup	(2)	Center of dihedral group:D8	Cyclic group:Z2	The three maximal subgroups of order four intersect here.
Socle	(2)	Center of dihedral group:D8	Cyclic group:Z2	This subgroup is the unique minimal normal subgroup, i.e.,the monolith, and the group is monolithic. Also, minimal normal implies central in nilpotent.
Join of abelian subgroups of maximum order	(6)	--	whole group	The group is generated by abelian subgroups of maximum order.
ZJ-subgroup	(2)	Center of dihedral group:D8	Cyclic group:Z2	Since the group equals the join of abelian subgroups of maximum order, the ZJ-subgroup equals the center.
Join of abelian subgroups of maximum rank	(6)	--	whole group	The group is generated by abelian subgroups of maximum rank.
Join of elementary abelian subgroups of maximum order	(6)	--	whole group	The group is generated by abelian subgroups of maximum rank.

Quotient-defining functions

Quotient-defining function	Isomorphism class	Comment
Inner automorphism group	Klein four-group	It is the quotient by the center, which is of order two.
Abelianization	Klein four-group	It is the quotient by the commutator subgroup, which is cyclic of order two.
Frattini quotient	Klein four-group	It is the quotient by the Frattini subgroup, which is cyclic of order two.

Other associated constructs

Associated construct	Isomorphism class	Comment
Automorphism group	dihedral group:D8
Outer automorphism group	cyclic group:Z2
Holomorph	holomorph of D8
Inner holomorph	inner holomorph of D8
Extended automorphism group	direct product of D8 and Z2
Quasiautomorphism group	direct product of D8 and Z2
1-automorphism group	direct product of S4 and Z2

In larger groups

Occurrence as a subgroup

Further information: Supergroups of dihedral group:D8

The dihedral group of order eight occurs as a subgroup in bigger groups. Here are some examples:

1. It is a subgroup in a dihedral group of order 2n where n is a multiple of 4.
2. It occurs as a Sylow subgroup in a number of groups: for instance, in the symmetric group on four letters.

Occurrence as a quotient

The dihedral group of order eight also occurs as a quotient; for instance, it is a quotient of the dicyclic group of order 16, by its center (which has order two).

Distinguishing features

Smallest of its kind

• This is the unique non-T-group of smallest order, i.e., the unique smallest example of a group in which normality is not transitive.
• This is a non-abelian nilpotent group of smallest order, though not the only one. The other such group is the quaternion group.

Different from others of the same order

• It is the only group of its order that is isomorphic to its automorphism group.
• It is the only group of its order that is not a T-group.
• It is the only group of its order having two Klein four-subgroups. In particular, it gives an example of a situation where the number of elementary abelian subgroups of order p² is neither zero nor 1 modulo p. Contrast this with the case of odd p, where we have the elementary abelian-to-normal replacement theorem for prime-square order.

GAP implementation

Group ID

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

SmallGroup(8,3)

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

gap> G := SmallGroup(8,3);

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

IdGroup(G) = [8,3]

or just do:

IdGroup(G)

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

Short descriptions

Description	GAP functions used	Mathematical translation of description
DihedralGroup(8)	DihedralGroup	dihedral group of order 8, degree 4
WreathProduct(CyclicGroup(2),CyclicGroup(2))	WreathProduct, CyclicGroup	external wreath product of two copies of cyclic group of order two
ExtraspecialGroup(2^3,'+')	ExtraspecialGroup	extraspecial group of '+' type for the prime 2 and order 23
SylowSubgroup(SymmetricGroup(4),2)	SylowSubgroup and SymmetricGroup	The 2-Sylow subgroup of the symmetric group of degree four
SylowSubgroup(GL(3,2),2)	SylowSubgroup, GL	The 2-Sylow subgroup of GL(3,2)

Description using a presentation

Here is the code:

gap> G := F/[F.1^4, F.2^2, F.2 * F.1 * F.2 * F.1];
<fp group on the generators [ f1, f2 ]>
gap> G := F/[F.1^4, F.2^2, F.2 * F.1 * F.2 * F.1];
<fp group on the generators [ f1, f2 ]>

The group G constructed here is the dihedral group of order 8. The first generator F.1 maps to the rotation element of order four and the second generator F.2 maps to a reflection element of order two.

Long descriptions

It can be described as the holomorph of the cyclic group of order four. For this, first define C to be the cyclic group of order four (using CyclicGroup), and then use SemidirectProduct and AutomorphismGroup:

C := CyclicGroup(4);
G := SemidirectProduct(AutomorphismGroup(C),C);

Here, G is the dihedral group of order eight. We can also construct it as a semidirect product of the Klein four-group and an automorphism of order two.

K := DirectProduct(CyclicGroup(2),CyclicGroup(2));
A := AutomorphismGroup(K);
S := SylowSubgroup(A,2);
G := SemidirectProduct(S,K);

Then, G is isomorphic to the dihedral group of order eight.

Internal links

• Linear representation theory of dihedral group:D8
• Galois extensions for dihedral group:D8
• Subgroup structure of dihedral group:D8
• Fusion systems for dihedral group:D8
• Supergroups of dihedral group:D8