Artin's theorem on induced characters explained

In representation theory, a branch of mathematics, Artin's theorem, introduced by E. Artin, states that a character on a finite group is a rational linear combination of characters induced from all cyclic subgroups of the group.

There is a similar but somehow more precise theorem due to Brauer, which says that the theorem remains true if "rational" and "cyclic subgroup" are replaced with "integer" and "elementary subgroup".

Statement

In Linear Representation of Finite Groups Serre states in Chapter 9.2, 17 ^[1] the theorem in the following, more general way:

Let

G finite group, X family of subgroups.

Then the following are equivalent:

G = \cup _{g\in} g ^{-1} Hg \forall \chi characterof G \exists \chi _{H,} H \in X, d \in \N : d \chi = \sum _{H\in} Ind ^{G(\chi} _{H)}

This in turn implies the general statement, by choosing

X as all cyclic subgroups of G .

References

1. Book: Serre, Jean-Pierre . Linear Representations of Finite Groups . 1977 . Springer New York . 978-1-4684-9458-7 . New York, NY . 853264255.

Further reading

• http://www.math.toronto.edu/murnaghan/courses/mat445/artinbrauer.pdf
• https://math.stackexchange.com/questions/4854649/artins-theorem-for-the-linear-representation-of-finite-groups/4854696#4854696