Linear representation theory of groups of order 16

This article gives specific information, namely, linear representation theory, about a family of groups, namely: groups of order 16.
View linear representation theory of group families | View linear representation theory of groups of a particular order |View other specific information about groups of order 16

Group	GAP ID second part	Hall-Senior number	Linear representation theory page
cyclic group:Z16	1	5	See linear representation theory of cyclic groups
direct product of Z4 and Z4	2	3	See linear representation theory of finite abelian groups
SmallGroup(16,3)	3	9	linear representation theory of SmallGroup(16,3)
nontrivial semidirect product of Z4 and Z4	4	10	linear representation theory of nontrivial semidirect product of Z4 and Z4
direct product of Z8 and Z2	5	4	See linear representation theory of finite abelian groups
M16	6	11	linear representation theory of M16
dihedral group:D16	7	12	linear representation theory of dihedral group:D16
semidihedral group:SD16	8	13	linear representation theory of semidihedral group:SD16
generalized quaternion group:Q16	9	14	linear representation theory of generalized quaternion group:Q16
direct product of Z4 and V4	10	2	See linear representation theory of finite abelian groups
direct product of D8 and Z2	11	6	?
direct product of Q8 and Z2	12	7	?
central product of D8 and Z4	13	8	?
elementary abelian group:E16	14	1	?

Degrees of irreducible representations

FACTS TO CHECK AGAINST FOR DEGREES OF IRREDUCIBLE REPRESENTATIONS OVER SPLITTING FIELD:
Divisibility facts: degree of irreducible representation divides group order | degree of irreducible representation divides index of abelian normal subgroup
Size bounds: order of inner automorphism group bounds square of degree of irreducible representation| degree of irreducible representation is bounded by index of abelian subgroup| maximum degree of irreducible representation of group is less than or equal to product of maximum degree of irreducible representation of subgroup and index of subgroup
Cumulative facts: sum of squares of degrees of irreducible representations equals order of group | number of irreducible representations equals number of conjugacy classes | number of one-dimensional representations equals order of abelianization

The following sets of degrees of irreducible representations works over any splitting field not of characteristic two.

See also nilpotency class and order determine degrees of irreducible representations for groups up to prime-fourth order. This says that for groups of order $p^k,0\le k\le 4$, the nilpotency class of the group, and the order, together determine the degrees of irreducible representations. In particular, for groups of order 16, there are three cases: the abelian case, where there are 16 of degree one, the class two case, where there are 8 of degree one and 2 of degree two, and the class three case, where there are 4 of degree one and 3 of degree two.

Group	GAP ID second part	Hall-Senior number	Hall-Senior symbol	Nilpotency class	Degrees as list	Number of irreps of degree 1	Number of irreps of degree 2	Total number of irreps
cyclic group:Z16	1	5	$(4)$	1	1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1	16	0	16
direct product of Z4 and Z4	2	3	$(2^2)$	1	1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1	16	0	16
SmallGroup(16,3)	3	9	${\mathrm{\Gamma }}_2{c}_1$	2	1,1,1,1,1,1,1,1,2,2	8	2	10
nontrivial semidirect product of Z4 and Z4	4	10	${\mathrm{\Gamma }}_2{c}_2$	2	1,1,1,1,1,1,1,1,2,2	8	2	10
direct product of Z8 and Z2	5	4	$(31)$	1	1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1	16	0	16
M16	6	11	${\mathrm{\Gamma }}_{2}d$	2	1,1,1,1,1,1,1,1,2,2	8	2	10
dihedral group:D16	7	12	${\mathrm{\Gamma }}_3{a}_1$	3	1,1,1,1,2,2,2	4	3	7
semidihedral group:SD16	8	13	${\mathrm{\Gamma }}_3{a}_2$	3	1,1,1,1,2,2,2	4	3	7
generalized quaternion group:Q16	9	14	${\mathrm{\Gamma }}_3{a}_3$	3	1,1,1,1,2,2,2	4	3	7
direct product of Z4 and V4	10	2	$(21^2)$	1	1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1	16	0	16
direct product of D8 and Z2	11	6	${\mathrm{\Gamma }}_2{a}_1$	2	1,1,1,1,1,1,1,1,2,2	8	2	10
direct product of Q8 and Z2	12	7	${\mathrm{\Gamma }}_2{a}_2$	2	1,1,1,1,1,1,1,1,2,2	8	2	10
central product of D8 and Z4	13	8	${\mathrm{\Gamma }}_{2}b$	2	1,1,1,1,1,1,1,1,2,2	8	2	10
elementary abelian group:E16	14	1	$(1^5)$	1	1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1	16	0	16

Here is the grouping by degrees of irreducible representations:

Number of irreps of degree 1	Number of irreps of degree 2	Total number of irreps	Total number of groups	Nilpotency class(es) attained by these	Description of groups	List of groups	List of GAP IDs (ascending order)	List of Hall-Senior numbers (ascending order)	List of Hall-Senior symbols/families
16	0	16	5	1	all the abelian groups of order 16	cyclic group:Z16, direct product of Z4 and Z4, direct product of Z8 and Z2, direct product of Z4 and V4, elementary abelian group:E16	1, 2, 5, 10, 14	1--5	${\mathrm{\Gamma }}_1$
8	2	10	6	2	all the groups of class exactly two, order 16	SmallGroup(16,3), nontrivial semidirect product of Z4 and Z4, M16, direct product of D8 and Z2, direct product of Q8 and Z2, central product of D8 and Z4	3, 4, 6, 11, 12, 13	6--11	${\mathrm{\Gamma }}_2$
4	3	7	3	3	all the maximal class groups	dihedral group:D16, semidihedral group:SD16, generalized quaternion group:Q16	7, 8, 9	12--14	${\mathrm{\Gamma }}_3$

Field of realization (characteristic zero)

Smallest field of realization

Note that for the abelian cases, the smallest field of realization of representations is the same as the field generated by the character values, because the irreducible representations are all one-dimensional and can be identified with their character values.

Key shorthands in this table:

• $\mathbb{Q}(i)$ stands for $\mathbb{Q}(\sqrt{-1})=\mathbb{Q}[t]/(t^2+1)$
• $\mathbb{Q}(i,\sqrt{2})$ stands for $\mathbb{Q}(\sqrt{-1},\sqrt{-2})=\mathbb{Q}(e^{\pi i/4})$
• $\mathbb{Q}(\sqrt{2})$ is the same as $\mathbb{Q}[t]/(t^2-2)$
• $\mathbb{Q}(\sqrt{-2})$ is the same as $\mathbb{Q}(\sqrt{2}i)=\mathbb{Q}[t]/(t^2+2)$

Group	GAP ID	Hall-Senior number	Field generated by character values	Degree of extension over $\mathbb{Q}$	Smallest field of realization (i.e., minimal splitting field) in characteristic zero	Degree of extension over $\mathbb{Q}$	Minimal sufficiently large field	Degree of extension over $\mathbb{Q}$	Comment
cyclic group:Z16	1	5	$\mathbb{Q}(e^{\pi i/8})$	8	$\mathbb{Q}(e^{\pi i/8})$	8 $\mathbb{Q}(e^{\pi i/8})$	8	all same, because abelian
direct product of Z4 and Z4	2	3	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i))$	2	all same, because abelian
SmallGroup(16,3)	3	9	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i)$	2
nontrivial semidirect product of Z4 and Z4	4	10	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i)$	2
direct product of Z8 and Z2	5	4	$\mathbb{Q}(i,\sqrt{2})$	4	$\mathbb{Q}(i,\sqrt{2})$	4	$\mathbb{Q}(i,\sqrt{2})$	4	all same, because abelian
M16	6	11	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i,\sqrt{2})$	4	splitting not implies sufficiently large
dihedral group:D16	7	12	$\mathbb{Q}(\sqrt{2})$	2	$\mathbb{Q}(\sqrt{2})$	2	$\mathbb{Q}(i,\sqrt{2})$	4	splitting not implies sufficiently large, minimal splitting field need not be cyclotomic
semidihedral group:SD16	8	13	$\mathbb{Q}(\sqrt{-2})$	2	$\mathbb{Q}(\sqrt{2}i)=\mathbb{Q}(\sqrt{-2})$	2	$\mathbb{Q}(i,\sqrt{2})$	4	splitting not implies sufficiently large, minimal splitting field need not be cyclotomic
generalized quaternion group:Q16	9	14	$\mathbb{Q}(\sqrt{2})$	2	$\mathbb{Q}(i,\sqrt{2})$ (and possibly others)	4	$\mathbb{Q}(i,\sqrt{2})$	4
direct product of Z4 and V4	10	2	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i))$	2	$\mathbb{Q}(i)$	2	all same, because abelian
direct product of D8 and Z2	11	6	$\mathbb{Q}$	1	$\mathbb{Q}$	1	$\mathbb{Q}(i)$	2
direct product of Q8 and Z2	12	7	$\mathbb{Q}$	1	$\mathbb{Q}(i)$ or $\mathbb{Q}(\sqrt{-2})$ or $\mathbb{Q}(\sqrt{-m^2-1})$ where $m\in \mathbb{Q}$	2	$\mathbb{Q}(i)$	2	minimal splitting field need not be unique, minimal splitting field need not be cyclotomic, splitting not implies sufficiently large
central product of D8 and Z4	13	8	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i)$	2	$\mathbb{Q}(i))$	2	$\mathbb{Q}(i)$	2
elementary abelian group:E16	14	1	$\mathbb{Q}$	1	$\mathbb{Q}$	1	$\mathbb{Q}$	1	all same, because abelian