Difference between revisions of "Element structure of dihedral group:D8"

From Groupprops
Jump to: navigation, search
(Order and power information)
Line 15: Line 15:
 
! Conjugacy class !! Size of conjugacy class !! Order of elements in conjugacy class !! Centralizer of first element of class
 
! Conjugacy class !! Size of conjugacy class !! Order of elements in conjugacy class !! Centralizer of first element of class
 
|-
 
|-
| <math>\{ e \}</math> || 1 || 1 || whole group
+
| <math>\! \{ e \}</math> || 1 || 1 || whole group
 
|-
 
|-
| <math>\{ a^2 \}</math> || 1 || 2 || whole group
+
| <math>\! \{ a^2 \}</math> || 1 || 2 || whole group
 
|-
 
|-
| <math>\{ x,a^2x \}</math> || 2 || 2 || <math>\{ e, a^2, x, a^2x \}</math> -- one of the [[Klein four-subgroups of dihedral group:D8]]
+
| <math>\! \{ x,a^2x \}</math> || 2 || 2 || <math>\{ e, a^2, x, a^2x \}</math> -- one of the [[Klein four-subgroups of dihedral group:D8]]
 
|-
 
|-
| <math>\{ ax, a^3x \}</math> || 2 || 2 || <math>\{ e, a^2, ax, a^3x \}</math> -- one of the [[Klein four-subgroups of dihedral group:D8]]
+
| <math>\! \{ ax, a^3x \}</math> || 2 || 2 || <math>\{ e, a^2, ax, a^3x \}</math> -- one of the [[Klein four-subgroups of dihedral group:D8]]
 
|-
 
|-
| <math>\{ a, a^3 \}</math> || 2 || 4 ||<math>\{ e, a, a^2, a^3 \}</math> -- the [[cyclic maximal subgroup of dihedral group:D8]]
+
| <math>\! \{ a, a^3 \}</math> || 2 || 4 ||<math>\{ e, a, a^2, a^3 \}</math> -- the [[cyclic maximal subgroup of dihedral group:D8]]
 
|}
 
|}
  
Line 31: Line 31:
 
! Equivalence class under automorphisms !! Size of equivalence class !! Number of conjugacy classes in it !! Size of each conjugacy class
 
! Equivalence class under automorphisms !! Size of equivalence class !! Number of conjugacy classes in it !! Size of each conjugacy class
 
|-
 
|-
| <math>\{ e \}</math> || 1 || 1 || 1
+
| <math>\! \{ e \}</math> || 1 || 1 || 1
 
|-
 
|-
| <math>\{ a^2 \}</math> || 1 || 1 || 1
+
| <math>\! \{ a^2 \}</math> || 1 || 1 || 1
 
|-
 
|-
| <math>\{ x, ax, a^2x, a^3x \}</math> || 4 || 2 || 2
+
| <math>\! \{ x, ax, a^2x, a^3x \}</math> || 4 || 2 || 2
 
|-
 
|-
| <math>\{ a, a^3 \}</math> || 2 || 1 || 2
+
| <math>\! \{ a, a^3 \}</math> || 2 || 1 || 2
 
|}
 
|}
  
Line 69: Line 69:
 
! Number !! Elements of order exactly that number !! Number of such elements !! Number of conjugacy classes of such elements !! Number of elements whose order divides that number !! Number of conjugacy classes whose element order divides that number
 
! Number !! Elements of order exactly that number !! Number of such elements !! Number of conjugacy classes of such elements !! Number of elements whose order divides that number !! Number of conjugacy classes whose element order divides that number
 
|-
 
|-
| 1 || <math>\{ e \}</math> || 1 || 1 || 1 || 1
+
| 1 || <math>\! \{ e \}</math> || 1 || 1 || 1 || 1
 
|-
 
|-
| 2 || <math>\{ a^2, x, ax, a^2x, a^3x \}</math> || 5 || 3 || 6 || 4
+
| 2 || <math>\! \{ a^2, x, ax, a^2x, a^3x \}</math> || 5 || 3 || 6 || 4
 
|-
 
|-
| 4 || <math>\{ a, a^3 \}</math> || 2 || 1 || 8 || 5
+
| 4 || <math>\! \{ a, a^3 \}</math> || 2 || 1 || 8 || 5
 
|}
 
|}
  
Line 87: Line 87:
 
| 4 || -- || 0 || 0 || 1 || 1
 
| 4 || -- || 0 || 0 || 1 || 1
 
|-
 
|-
| 8 || <math>\{ e \}</math> || 1 || 1 || 1 || 1
+
| 8 || <math>\! \{ e \}</math> || 1 || 1 || 1 || 1
 
|}
 
|}
  

Revision as of 15:12, 9 August 2010

This article gives specific information, namely, element structure, about a particular group, namely: dihedral group:D8.
View element structure of particular groups | View other specific information about dihedral group:D8

We denote the identity element by e.


Conjugacy class structure

FACTS TO CHECK AGAINST FOR CONJUGACY CLASS SIZES AND STRUCTURE:
Divisibility facts: size of conjugacy class divides order of group | size of conjugacy class divides index of center | size of conjugacy class equals index of centralizer
Bounding facts: size of conjugacy class is bounded by order of derived subgroup
Counting facts: number of conjugacy classes equals number of irreducible representations | class equation of a group
Conjugacy class Size of conjugacy class Order of elements in conjugacy class Centralizer of first element of class
\! \{ e \} 1 1 whole group
\! \{ a^2 \} 1 2 whole group
\! \{ x,a^2x \} 2 2 \{ e, a^2, x, a^2x \} -- one of the Klein four-subgroups of dihedral group:D8
\! \{ ax, a^3x \} 2 2 \{ e, a^2, ax, a^3x \} -- one of the Klein four-subgroups of dihedral group:D8
\! \{ a, a^3 \} 2 4 \{ e, a, a^2, a^3 \} -- the cyclic maximal subgroup of dihedral group:D8

The equivalence classes up to automorphisms are:

Equivalence class under automorphisms Size of equivalence class Number of conjugacy classes in it Size of each conjugacy class
\! \{ e \} 1 1 1
\! \{ a^2 \} 1 1 1
\! \{ x, ax, a^2x, a^3x \} 4 2 2
\! \{ a, a^3 \} 2 1 2

Convolution algebra on conjugacy classes

\{ e \} \{ a^2 \} \{ x,a^2x \} \{ ax, a^3x \} \{ a, a^3 \}
\{ e \} \{ e \} \{ a^2 \} \{ x,a^2x \} \{ ax, a^3x \} \{ a, a^3 \}
\{ a^2 \} \{ a^2 \} \{ e \} \{ x,a^2x \} \{ ax, a^3x \} \{ a, a^3 \}
\{ x,a^2x \} \{ x,a^2x \} \{ x,a^2x \} 2 \{ e \} + 2 \{ a^2 \} 2 \{ a,a^3 \} 2 \{ ax, a^3x \}
\{ ax, a^3x \} \{ ax, a^3x \} \{ ax, a^3x \} 2 \{ a,a^3 \} 2\{ e \} + 2 \{ a^2 \} 2 \{ x, a^2 x \}
\{ a,a^3 \} \{ a,a^3 \} \{ a,a^3 \} 2\{ ax, a^3x \} 2 \{ x,a^2x \} 2 \{ e \} + 2 \{ a^2 \}

Order and power information

Directed power graph

Below is a trimmed version of the directed power graph of the group. There is an arrow from one vertex to another if the latter is the square of the former. We do not draw a loop at the identity element.

D8directedpowergraphtrimmed.png

Order statistics

Number Elements of order exactly that number Number of such elements Number of conjugacy classes of such elements Number of elements whose order divides that number Number of conjugacy classes whose element order divides that number
1 \! \{ e \} 1 1 1 1
2 \! \{ a^2, x, ax, a^2x, a^3x \} 5 3 6 4
4 \! \{ a, a^3 \} 2 1 8 5

Power statistics

Number d d^{th} powers that are not k^{th} powers for any larger divisor k of the group order Number of such elements Number of conjugacy classes of such elements Number of d^{th} powers Number of conjugacy classes of d^{th} powers
1 \! \{ a, a^3, x, ax, a^2x, a^3x \} 6 3 8 5
2 \! \{ a^2 \} 1 1 2 2
4 -- 0 0 1 1
8 \! \{ e \} 1 1 1 1

Order-cum-power statistics

Bruhat ordering

Bruhatond8.png