Dihedral Groups A mathematical investigation

2. INTRODUCTION
A group (G,∗) is a set G together with a
law of composition (a,b) → 𝑎 ∗ 𝑏 that satisfies
the associative law, identity law, and inverses
law. The group (G,∗) is abelian if ∗ satisfy the
commutative law. A symmetry of a geometric
figure is a rearrangement of the figure
preserving the arrangement of its sides and
vertices as well as its distances and angles.

3. The aim of this investigation is to describe
the symmetries of a square and prove that the
set of the symmetries is a group. The symmetry
group of the square is denoted by D4 (dihedral
group). If D4 is a group, then we will determine
whether the group is abelian or nonabelian and
whether the group is cyclic or not. If it is cyclic,
then we will look for its generator. The
subgroups of D4 will also be examine in this
investigation. To solve this, I will do the
following:

4. 1. Describe the symmetries of a square
2. Give a Cayley’s Table for the
symmetries
3. Determine if D4 is closed under
operation ∗
4. List all the subgroups of D4
5. Classify each subgroups if it is cyclic
or non-cyclic.

5. MATHEMATICAL WORKING
Consider the square with vertices denoted by 1,
2, 3 and 4. We shall be concerned with all rigid motions
(rotations and reflections) such that the square will
look the same after the motion as before.
1
4 3
2

6. Clockwise Rotation
r0 :
r1 :
1
1
1
1
2
2
2
2
3
3
3
34
4 4
4

7. Clockwise Rotation
r2 :
r3 :
1
1
1
1
2
2
2
2
3
3 3
3
4
4
4
4

8. Reflections
m1 :
m2 :
1
1
1
1
2
2
2
2
3
3
3
34
4
4
4

9. Reflections
d1 :
d2 :
1
1
1
1
2
2
2
2
3
3
3
34
4 4
4

10. To make the table
Example: r1 ∗ d1 = m1
 Let’s start with the position of r1 instead of
r0 . Then, flip it just like how you did to
obtain d1 .
= m1
1
2 3
4
12
3 4

11. R1 ∗ D1
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r1
r2
r3
m1
m2
d1
d2

12. R1 ∗ D1 = M1
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r1
m1
r2
r3
m1
m2
d1
d2

13. SYMMETRIES OF A SQUARE
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

14. TEST IF IT IS CLOSED UNDER OPERATION ∗
For commutativity
1. m2 ∗ r3 = r3 ∗ m2
d1 ≠ d2
2. d1 ∗ m1 = m1 ∗ d1
r3 ≠ r1

15. For associativity
1. ( d2 ∗ r1 ) ∗ m1 = d2 ∗ ( r1 ∗ m1 )
m1 ∗ m1 = d2 ∗ d2
r0 = r0
2. ( r0 ∗ d2 ) ∗ d1 = r0 ∗ ( d2 ∗ d1 )
d2 ∗ d1 = r0 ∗ r2
r2 = r2
3. ( m2 ∗ r2 ) ∗ d2 = m2 ∗ ( r2 ∗ d2 )
m1 ∗ d2 = m2 ∗ d1
r3 = r3

16. SYMMETRIES OF A SQUARE
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

17. For Identity
The identity element is r0 .
r0 ∗ r0 = r0
r1 ∗ r0 = r1
r2 ∗ r0 = r2
r3 ∗ r0 = r3
m1 ∗ r0 = m1
m2 ∗ r0 = m2
d1 ∗ r0 = d1
d2 ∗ r0 = d2

18. FOR INVERSES LAW
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

19. FOR INVERSES LAW
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

20. FOR INVERSES LAW
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

21. FOR INVERSES LAW
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

22. FOR INVERSES LAW
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

23. FOR INVERSES LAW
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

24. FOR INVERSES LAW
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

25. FOR INVERSES LAW
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

26. For Inverses Law
r0 ∗ r0 = r0
r1 ∗ r3 = r0
r2 ∗ r2 = r0
r3 ∗ r1 = r0
m1 ∗ m1 = r0
m2 ∗ m2 = r0
d1 ∗ d1 = r0
d2 ∗ d2 = r0

27. SUBGROUPS
A subset H of a group G is a group if:
 It’s closed under the operation
Its identity is the identity of G
 Each element of the subset has an
inverse that’s also in the subset.

28. LAGRANGE THEOREM
The order of each subgroup of a finite
group G is a divisor of the order G.
Order – is the number of element in a set.
D4 is order 8
The subgroups of D4 are of orders 1, 2, 4, 8.

29. LIST ALL THE SUBGROUPS OF D4
Order 1 - r0
Order 2 - {r0 , r2 }, {r0 , m1 }, {r0 , m2 }, {r0 , d1 },
{r0 , d2 }
Order 4 - {r0 , r1 , r2 , r3 } , {r0 , r2 , m1 , m2 } ,
{r0 , r2 , d1 , d2 }

30. D4 = {R0 , R1 , R2 , R3 , M1 , M2 , D1 , D2 }
{r0 , r2 , m1 , m2 } {r0 , r2 , d1 , d2 }{r0 , r1 , r2 , r3 }
{r0 , m1 } {r0 , m2 } {r0 , r2 } {r0 , d2 }
r0
{r0 , d1 }

31. ∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

32. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0

33. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Commutativity
r0 ∗ m1 = m1 ∗ r0

34. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Commutativity
r0 ∗ m1 = m1 ∗ r0
m1 =

35. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Commutativity
r0 ∗ m1 = m1 ∗ r0
m1 =

36. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Commutativity
r0 ∗ m1 = m1 ∗ r0
m1 =

37. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Commutativity
r0 ∗ m1 = m1 ∗ r0
m1 = m1

38. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Associativity
(r2 ∗ m1) ∗ m2 = r2 ∗ (m1 ∗ m2 )

39. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Associativity
(r2 ∗ m1) ∗ m2 = r2 ∗ (m1 ∗ m2 )
m2 ∗ m2 =

40. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Associativity
(r2 ∗ m1) ∗ m2 = r2 ∗ (m1 ∗ m2 )
m2 ∗ m2 =

41. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Associativity
(r2 ∗ m1) ∗ m2 = r2 ∗ (m1 ∗ m2 )
m2 ∗ m2 =
r0 =

42. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Associativity
(r2 ∗ m1) ∗ m2 = r2 ∗ (m1 ∗ m2 )
m2 ∗ m2 = r2 ∗
r0 =

43. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Associativity
(r2 ∗ m1) ∗ m2 = r2 ∗ (m1 ∗ m2 )
m2 ∗ m2 = r2 ∗ r2
r0 =

44. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Associativity
(r2 ∗ m1) ∗ m2 = r2 ∗ (m1 ∗ m2 )
m2 ∗ m2 = r2 ∗ r2
r0 =

45. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Associativity
(r2 ∗ m1) ∗ m2 = r2 ∗ (m1 ∗ m2 )
m2 ∗ m2 = r2 ∗ r2
r0 = r0

46. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Identity Law
r0 ∗ r0 = r0
r2 ∗ r0 = r2
m1 ∗ r0 = m1
m2 ∗ r0 = m2
Identity Element = r0

47. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Inverses Law
r0 ∗ r0 =

48. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Inverses Law
r0 ∗ r0 = r0

49. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Inverses Law
r2 ∗ r2 =

50. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Inverses Law
r0 ∗ r0 = r0
r2 ∗ r2 = r0

51. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Inverses Law
r0 ∗ r0 = r0
r2 ∗ r2 = r0
m1 ∗ m1 =

52. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Inverses Law
r0 ∗ r0 = r0
r2 ∗ r2 = r0
m1 ∗ m1 = r0

53. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Inverses Law
r0 ∗ r0 = r0
r2 ∗ r2 = r0
m1 ∗ m1 = r0
m2 ∗ m2 =

54. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Inverses Law
r0 ∗ r0 = r0
r2 ∗ r2 = r0
m1 ∗ m1 = r0
m2 ∗ m2 = r0

55. {R0 , R2 , M1 , M2 }
∗ r0 r2 m1 m2
r0 r0 r2 m1 m2
r2 r2 r0 m2 m1
m1 m1 m2 r0 r2
m2 m2 m1 r2 r0
For Inverses Law
r0 ∗ r0 = r0
r2 ∗ r2 = r0
m1 ∗ m1 = r0
m2 ∗ m2 = r0

56. ∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0
{r0 , r2 , d1 , d2 }

57. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0

58. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Commutativity
r2 ∗ d2 = d2 ∗ r2

59. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Commutativity
r2 ∗ d2 = d2 ∗ r2
d1 =

60. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Commutativity
r2 ∗ d2 = d2 ∗ r2
d1=

61. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Commutativity
r2 ∗ d2 = d2 ∗ r2
d1= d1

62. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Associativity
(r2 ∗ d1) ∗ d2 = r2 ∗ (d1 ∗ d2)

63. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Associativity
(r2 ∗ d1) ∗ d2 = r2 ∗ (d1 ∗ d2)
d2 ∗ d2 =

64. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Associativity
(r2 ∗ d1) ∗ d2 = r2 ∗ (d1 ∗ d2)
d2 ∗ d2 =

65. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Associativity
(r2 ∗ d1) ∗ d2 = r2 ∗ (d1 ∗ d2)
d2 ∗ d2 =
r0 =

66. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Associativity
(r2 ∗ d1) ∗ d2 = r2 ∗ (d1 ∗ d2)
d2 ∗ d2 = r2 ∗ r2
r0 =

67. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Associativity
(r2 ∗ d1) ∗ d2 = r2 ∗ (d1 ∗ d2)
d2 ∗ d2 = r2 ∗ r2
r0 = r0

68. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Identity Law
r0 ∗ r0 = r0
r2 ∗ r0 = r2
d1 ∗ r0 = d1
d2 ∗ r0 = d2

69. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Inverses Law
r0 ∗ r0 = r0

70. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Inverses Law
r0 ∗ r0 = r0
r2 ∗ r2 = r0

71. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Inverses Law
r0 ∗ r0 = r0
r2 ∗ r2 = r0
d1 ∗ d1 = r0

72. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Inverses Law
r0 ∗ r0 = r0
r2 ∗ r2 = r0
d1 ∗ d1 = r0
d2 ∗ d2 = r0

73. {R0 , R2 , D1 , D2 }
∗ r0 r2 d1 d2
r0 r0 r2 d1 d2
r2 r2 r0 d2 d1
d1 d1 d2 r0 r2
d2 d2 d1 r2 r0
For Inverses Law
r0 ∗ r0 = r0
r2 ∗ r2 = r0
d1 ∗ d1 = r0
d2 ∗ d2 = r0

74. CYCLIC SUBGROUPS
If G is a group and g ∈ G is an
element, the cyclic subgroup generated
by g is defined
< g > = gk
∶ k ∈ Z

75. Cyclic Subgroups of D4
<r0 > = r0 trivial subgroups
<r1 > = {r0 , r1 , r2 , r3 } = < r3 >
<r2 > = {r0 , r2 }
<m1>= {r0 , m1 }
<m2>= {r0 , m2 }
<d1> = {r0 , d1 }
<d2> = {r0 , d2 }

76. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

77. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2

78. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For commutativity
r1 ∗ r3 = r3 ∗ r1
=

79. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For commutativity
r1 ∗ r3 = r3 ∗ r1
r0 =

80. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For commutativity
r1 ∗ r3 = r3 ∗ r1
r0 =

81. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For commutativity
r1 ∗ r3 = r3 ∗ r1
r0 = r0

82. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For commutativity
r2 ∗ r3 = r3 ∗ r2
=

83. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For commutativity
r2 ∗ r3 = r3 ∗ r2
r1=

84. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For commutativity
r2 ∗ r3 = r3 ∗ r2
r1=

85. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For commutativity
r2 ∗ r3 = r3 ∗ r2
r1= r1

86. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For associativity
(r1 ∗ r2) ∗ r3 = r1 ∗ (r2 ∗ r3)
∗ r3 =
=

87. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For associativity
(r1 ∗ r2) ∗ r3 = r1 ∗ (r2 ∗ r3)
r3 ∗ r3 =
=

88. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For associativity
(r1 ∗ r2) ∗ r3 = r1 ∗ (r2 ∗ r3)
r3 ∗ r3 =
=

89. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For associativity
(r1 ∗ r2) ∗ r3 = r1 ∗ (r2 ∗ r3)
r3 ∗ r3 =
r2 =

90. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For associativity
(r1 ∗ r2) ∗ r3 = r1 ∗ (r2 ∗ r3)
r3 ∗ r3 = r1 ∗
r2 =

91. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For associativity
(r1 ∗ r2) ∗ r3 = r1 ∗ (r2 ∗ r3)
r3 ∗ r3 = r1 ∗ r1
r2 =

92. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For associativity
(r1 ∗ r2) ∗ r3 = r1 ∗ (r2 ∗ r3)
r3 ∗ r3 = r1 ∗ r1
r2 =

93. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For associativity
(r1 ∗ r2) ∗ r3 = r1 ∗ (r2 ∗ r3)
r3 ∗ r3 = r1 ∗ r1
r2 = r2

94. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
For associativity
(r0 ∗ r1) ∗ r3 = r0 ∗ (r1 ∗ r3)
r1 ∗ r3 = r0 ∗ r0
r0 = r0

95. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
Identity element = r0

96. <R1 > = {R0 , R1 , R2 , R3 } = < R3 >
∗ r0 r1 r2 r3
r0
r0 r1 r2 r3
r1
r1 r2 r3 r0
r2
r2 r3 r0 r1
r3
r3 r0 r1 r2
Identity element = r0
Inverses
r0 = r0
r1 = r3
r2 = r2
r3 = r1

97. <R2 > = {R0 , R2 }
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

98. <R2 > = {R0 , R2 }
∗ r0 r2
r0
r0 r2
r2
r2 r0

99. <R2 > = {R0 , R2 }
∗ r0 r2
r0
r0 r2
r2
r2 r0
For commutativity
r0 ∗ r2 = r2 ∗ r0
r2 = r2
Identity element = r0
Inverses
r0 = r0
r2 = r2

100. <M1>= {R0 , M1 }
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

101. <M1>= {R0 , M1 }
∗ r0 m1
r0
r0 m1
m1
m1 r0

102. <M1>= {R0 , M1 }
∗ r0 m1
r0
r0 m1
m1
m1 r0
For Commutativity
r0 ∗ m1 = m1 ∗ r0
m1 = m1
Identity element = r0
Inverses
r0 = r0
m1 = m1

103. <M2>= {R0 , M2 }
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

104. <M2>= {R0 , M2 }
∗ r0 m2
r0
r0 m2
m2
m2 r0

105. <M2>= {R0 , M2 }
∗ r0 m2
r0
r0 m2
m2
m2 r0
For Commutativity
r0 ∗ m2 = m2 ∗ r0
m2 = m2
Identity element = r0
Inverses
r0 = r0
m2 = m2

106. <D1> = {R0 , D1 }
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

107. <D1> = {R0 , D1 }
∗ r0 d1
r0
r0 d1
d1
d1 r0

108. <D1> = {R0 , D1 }
∗ r0 d1
r0
r0 d1
d1
d1 r0
For Commutativity
r0 ∗ d1 = d1 ∗ r0
d1 = d1
Identity element = r0
Inverses
r0 = r0
d1 = d1

109. <D2> = {R0 , D2 }
∗ r0 r1 r2 r3 m1 m2 d1 d2
r0
r0 r1 r2 r3 m1 m2 d1 d2
r1
r1 r2 r3 r0 d2 d1 m1 m2
r2
r2 r3 r0 r1 m2 m1 d2 d1
r3
r3 r0 r1 r2 d1 d2 m2 m1
m1
m1 d1 m2 d2 r0 r2 r1 r3
m2
m2 d2 m1 d1 r2 r0 r3 r1
d1
d1 m2 d2 m1 r3 r1 r0 r2
d2
d2 m1 d1 m2 r1 r3 r2 r0

110. <D2> = {R0 , D2 }
∗ r0 d2
r0
r0 d2
d2
d2 r0

111. <D2> = {R0 , D2 }
∗ r0 d2
r0
r0 d2
d2
d2 r0
For Commutativity
r0 ∗ d2 = d2 ∗ r0
d2 = d2
Identity element = r0
Inverses
r0 = r0
d2 = d2

112. CONCLUSION
The elements of the group of the
symmetries of a square are the rotations and
reflections. Call this set D4 :
r = rotation 360°
r1 = rotate 90°
r2 = rotate 180°
r3 = rotate 270°
m1= reflect around vertical axis
m2= reflect around horizontal axis
d1 = reflect around x=y diagonal
d2 = reflect around x=-y diagonal

113. CONCLUSION
Set D4 = {r0 , r1 , r2 , r3 , m1 , m2 , d1 , d2 }
together with a law of composition satisfies the
associative law, identity law, and inverses law. The
identity element of D4 is r0 and every element of set
D4 has unique inverses. Therefore, (D4 , ∗) is a
group. This group is nonabelian and also not a
cyclic group because it did not satisfy the
commutative law. Clearly, every cyclic group is
abelian.

114. CONCLUSION
D4 is of order 8 and its subgroups are of
order 1, 2 and 4. It has 9 subgroups. It has two
non-cyclic subgroups ({r0 , r2 , m1 , m2 } , {r0 , r2 ,
d1 , d2 }) and seven cyclic subgroups ( r0 , {r0 ,
r2 }, {r0 , m1 }, {r0 , m2 }, {r0 , d1 }, {r0 , d2 }, {r0 , r1
, r2 , r3 }. Even though D4 is not a cyclic group, it
does not mean that it has no cyclic subgroups.