the group $(\mathrm{C}_2 \times \mathrm{C}_6) \rtimes \mathrm{C}_2$
- GAP SmallGroup id
- $[24, 8]$
- order
- $24$
- structure
- $(\mathrm{C}_{6} \times \mathrm{C}_{2}) \rtimes \mathrm{C}_{2}$
- presentation
- $\langle g_{1}, g_{2}, g_{3}, g_{4} \mid g_{1}^{2},\; g_{2}^{-1}g_{1}^{-1}g_{2}g_{1}g_{3}^{-1},\; g_{3}^{-1}g_{1}^{-1}g_{3}g_{1},\; g_{4}^{-1}g_{1}^{-1}g_{4}g_{1}g_{4}^{-1},\; g_{2}^{2},\; g_{3}^{-1}g_{2}^{-1}g_{3}g_{2},\; g_{4}^{-1}g_{2}^{-1}g_{4}g_{2},\; g_{3}^{2},\; g_{4}^{-1}g_{3}^{-1}g_{4}g_{3},\; g_{4}^{3} \rangle$
character table
Columns are the conjugacy classes: order is the order of a class representative, size the number of elements in the class. Rows $\chi_i$ are the irreducible characters.
| order | 1 | 2 | 2 | 2 | 3 | 4 | 6 | 6 | 6 |
|---|---|---|---|---|---|---|---|---|---|
| size | 1 | 6 | 2 | 1 | 2 | 6 | 2 | 2 | 2 |
| $\chi_{ 1 }$ | $1$ | $1$ | $1$ | $1$ | $1$ | $1$ | $1$ | $1$ | $1$ |
| $\chi_{ 2 }$ | $1$ | $-1$ | $1$ | $1$ | $1$ | $-1$ | $1$ | $1$ | $1$ |
| $\chi_{ 3 }$ | $1$ | $1$ | $-1$ | $1$ | $1$ | $-1$ | $-1$ | $1$ | $-1$ |
| $\chi_{ 4 }$ | $1$ | $-1$ | $-1$ | $1$ | $1$ | $1$ | $-1$ | $1$ | $-1$ |
| $\chi_{ 5 }$ | $2$ | $0$ | $0$ | $-2$ | $2$ | $0$ | $0$ | $-2$ | $0$ |
| $\chi_{ 6 }$ | $2$ | $0$ | $2$ | $2$ | $-1$ | $0$ | $-1$ | $-1$ | $-1$ |
| $\chi_{ 7 }$ | $2$ | $0$ | $-2$ | $2$ | $-1$ | $0$ | $1$ | $-1$ | $1$ |
| $\chi_{ 8 }$ | $2$ | $0$ | $0$ | $-2$ | $-1$ | $0$ | $2\zeta_{3} + 1$ | $1$ | $-2\zeta_{3} - 1$ |
| $\chi_{ 9 }$ | $2$ | $0$ | $0$ | $-2$ | $-1$ | $0$ | $-2\zeta_{3} - 1$ | $1$ | $2\zeta_{3} + 1$ |
hyperelliptic quotients
- dimension 4, representation $\operatorname{diag}(1, 1, 1, -1)$$\operatorname{diag}(1, 1, 1, -1)$$\operatorname{diag}(1, 1, -1, -1)$$\operatorname{diag}(1, 1, \zeta_{3}, \zeta_{3}^{2})$ with $q = 2$, $\operatorname{ord} \omega_X = 2$, moduli $4$
- dimension 4, representation $\operatorname{diag}(1, 1, -1, -1)$$\operatorname{diag}(1, 1, 1, -1)$$\operatorname{diag}(1, 1, -1, -1)$$\operatorname{diag}(1, 1, \zeta_{3}, \zeta_{3}^{2})$ with $q = 1$, $\operatorname{ord} \omega_X = 2$, moduli $2$
- dimension 4, representation $\operatorname{diag}(1, 1, 1, -1)$$\operatorname{diag}(1, 1, -1, -1)$$\operatorname{diag}(1, 1, -1, -1)$$\operatorname{diag}(1, 1, \zeta_{3}, \zeta_{3}^{2})$ with $q = 1$, $\operatorname{ord} \omega_X = 2$, moduli $2$
- dimension 4, representation $\operatorname{diag}(1, 1, -1, -1)$$\operatorname{diag}(1, 1, -1, -1)$$\operatorname{diag}(1, 1, -1, -1)$$\operatorname{diag}(1, 1, \zeta_{3}, \zeta_{3}^{2})$ with $q = 1$, $\operatorname{ord} \omega_X = 1$, moduli $2$
- dimension 4, representation $\operatorname{diag}(1, -1, -1, -1)$$\operatorname{diag}(1, 1, -1, -1)$$\operatorname{diag}(1, 1, -1, -1)$$\operatorname{diag}(1, 1, \zeta_{3}, \zeta_{3}^{2})$ with $q = 0$, $\operatorname{ord} \omega_X = 2$, moduli $2$