Math 2.0

example

The dihedral group of order 8

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.

What this node 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 node is. They do not measure its truth.

What this needs

To read this node, read these 9 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • 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

Sources

  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