Math 2.0

Group theory and generalizations Example

The dihedral group of order 8

Builds on Dihedral groupCentre of a group

Example

The dihedral group D4D_4 is the group of the symmetries of a square, and it has order 88. Let rr be the rotation by 9090 degrees and let ss be a reflection in a line of symmetry. Then D4={e,r,r2,r3,s,rs,r2s,r3s}D_4 = \{e, r, r^2, r^3, s, rs, r^2s, r^3s\}, with r4=er^4 = e, s2=es^2 = e and srs−1=r−1srs^{-1} = r^{-1}. The elements rr and r3r^3 have order 44, and the other five elements different from ee have order 22. The centre of D4D_4 is {e,r2}\{e, r^2\}, because the rotation by 180180 degrees commutes with each symmetry. The rotation subgroup ⟨r⟩\langle r \rangle is normal of index 22. The subgroup {e,s}\{e, s\} is not normal, because rsr−1=r2sr s r^{-1} = r^2 s. Numbering the vertices 1,2,3,41, 2, 3, 4 gives an injective homomorphism from D4D_4 into S4S_4, and its image is a Sylow 22-subgroup of S4S_4.

Reading path

To understand this page from the ground up, read these 9 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Group concept
  2. Symmetry group concept
  3. Centre of a group definition
  4. Subgroup definition
  5. Subgroup criterion statement
  6. Intersection of subgroups is a subgroup statement
  7. Subgroup generated by a subset definition
  8. Dihedral group definition
  9. The dihedral group of order 8 example

Further reading

  1. Web https://en.wikipedia.org/wiki/Dihedral_group_of_order_8, lead section
  2. Web https://en.wikipedia.org/wiki/Dihedral_group_of_order_8, Symmetries of a square
  3. Web https://en.wikipedia.org/wiki/Dihedral_group_of_order_8, Normal subgroups
About this page
Tag054SBCQ93T
URIm2://054SBCQ93T
Kindexample
WritingW2 usable
MSC20B25, 20D15
Instance ofDihedral group
UsesDihedral group, Centre of a group
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W3

  • a person confirmed each agent-written section: rule P04 (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.