07.01.11 · representation-theory / foundations

Brauer's induction theorem

shipped3 tiersLean: none

Anchor (Master): Brauer 1946 *On Artin's L-series*; Serre §10–11; Curtis-Reiner §15; Snaith 1994

Intuition [Beginner]

Artin's theorem says every character of a finite group can be built from characters of cyclic subgroups, but with rational coefficients — you may need fractions. Brauer's theorem removes the fractions by using a richer class of subgroups called elementary subgroups.

An elementary subgroup is a direct product of two simple pieces: a cyclic group and a $p$ -group (a group whose order is a power of a prime $p$ ). These are still small and well-understood, but they carry more information than cyclic groups alone. The key advantage: every 1-dimensional character of an elementary subgroup induces to give integer contributions, so the bookkeeping stays in $Z$ rather than $Q$ .

Why does this concept exist? Brauer needed integer coefficients to prove deep results about Artin L-functions in number theory. The upgrade from rational to integer coefficients is the difference between "can be approximated" and "can be exactly expressed."

Visual [Beginner]

The diagram shows a finite group $G$ with its elementary subgroups $E_{1}, E_{2}, \dots$ inside it. Each elementary subgroup is depicted as a product of a cyclic group (a ring of elements) and a $p$ -group (a tree of elements). Arrows labelled "induction" point from each elementary subgroup up to $G$ .

Worked example [Beginner]

Take $G = S_{4}$ , the symmetric group on 4 elements. $G$ has order 24 = $2^{3} \cdot 3$ . The irreducible characters of $S_{4}$ have degrees 1, 1, 2, 3, 3.

Step 1. An elementary subgroup of order 6 is $E = {e, (12), (34), (12) (34), (123), (132)}$ ... actually, take instead $E = ⟨(1234), (13)⟩ = D_{4}$ (dihedral of order 8). This is not elementary since 8 is a prime power — but $D_{4}$ is a 2-group, and any $p$ -group times a cyclic group of coprime order is elementary.

Step 2. A genuine elementary subgroup: the cyclic group $C_{3} = ⟨(123)⟩$ of order 3. Since 3 is prime, $C_{3}$ is itself elementary ( $p$ -part is $C_{3}$ , cyclic part is ${e}$ ). The cyclic group $C_{4} = ⟨(1234)⟩$ of order 4 is also elementary (a 2-group, with $p = 2$ ).

Step 3. The standard character $χ_{std}$ of $S_{4}$ has degree 3. By Brauer's theorem, it is a $Z$ -linear combination of characters induced from 1-dimensional characters of elementary subgroups. The cyclic subgroup $⟨(123)⟩$ has 1-dimensional characters, and inducing a non-principal character from $C_{3}$ gives a 2-dimensional character of $S_{4}$ that is not $χ_{std}$ , but combining several such inductions with integer coefficients recovers $χ_{std}$ .

What this tells us: with the right choice of elementary subgroups and 1-dimensional characters, every character decomposes into induced pieces with clean integer coefficients.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $G$ be a finite group and $p$ a prime. A subgroup $E \leq G$ is $p$ -elementary (or an elementary subgroup at $p$ ) if $E$ is the direct product of a $p$ -group $P$ and a cyclic group $C$ with $g cd (∣ P ∣, ∣ C ∣) = 1$ :

E = P \times C, ∣ P ∣ = p^{a} for some a \geq 0, ∣ C ∣ = m with g cd (p^{a}, m) = 1.

A subgroup $E$ is elementary (or Brauer elementary) if it is $p$ -elementary for some prime $p$ . Note that every cyclic group is elementary (take $P = {e}$ ), so elementary subgroups generalise cyclic subgroups.

Key property. Every elementary group $E = P \times C$ has the property that every irreducible representation of $E$ is induced from a 1-dimensional representation of a subgroup. In particular, every irreducible character of $E$ is an integer linear combination of 1-dimensional characters of subgroups of $E$ . This is the structural reason Brauer's theorem gives integer coefficients: the character theory of elementary groups is "monomial" (every irreducible is induced from a 1-dimensional representation).

Definition (Brauer map). Let $E (G)$ denote the set of elementary subgroups of $G$ . The Brauer map is the $Z$ -linear map

Φ_{G} : E \in E (G) ⨁ R (E) \to R (G), (ψ_{E})_{E} \mapsto E \sum Ind_{E}^{G} ψ_{E} .

Brauer's theorem is the statement that $Φ_{G}$ is surjective, and moreover that it suffices to use only 1-dimensional characters on each $E$ .

Counterexamples to common slips

Elementary does not mean abelian in general. A $p$ -group $P$ can be non-abelian (e.g., the quaternion group $Q_{8}$ is a 2-group). The elementary subgroup $E = P \times C$ is abelian only when $P$ is abelian. However, for Brauer's theorem, the relevant fact is that every irreducible of $E$ is monomial, which holds for all $E = P \times C$ with $P$ a $p$ -group and $C$ cyclic of coprime order.
The 1-dimensional characters are essential. Brauer's theorem states that every character of $G$ is a $Z$ -linear combination of characters $Ind_{E}^{G} λ$ where $λ$ is a 1-dimensional character of $E$ . Using all characters of $E$ would be stronger but less useful for applications.

Key theorem with proof [Intermediate+]

Theorem (Brauer's induction theorem, Brauer 1946). Let $G$ be a finite group. Every character $χ$ of $G$ is a $Z$ -linear combination of characters of the form $Ind_{E}^{G} λ$ , where $E$ is an elementary subgroup of $G$ and $λ$ is a 1-dimensional character of $E$ .

Proof. The proof proceeds in three steps.

Step 1: Reduction to $p$ -elementary subgroups. Fix a prime $p$ . Define $R_{p} (G)$ to be the subgroup of $R (G)$ generated by characters of the form $Ind_{E}^{G} λ$ where $E$ is $p$ -elementary and $λ$ is 1-dimensional. We show that $R_{p} (G) = R (G)$ for each $p$ , and then $R (G) = \sum_{p} R_{p} (G)$ follows since at least one $R_{p} (G)$ equals $R (G)$ .

Step 2: Local character theory at $p$ . Let $φ \in R (G)^{*}$ (the dual of the character ring) vanish on all characters of the form $Ind_{E}^{G} λ$ with $E$ $p$ -elementary and $λ$ 1-dimensional. We show $φ = 0$ .

By Frobenius reciprocity 07.01.08, $⟨ φ, Ind_{E}^{G} λ ⟩_{G} = ⟨ φ ∣_{E}, λ ⟩_{E} = 0$ for all such pairs. Since the 1-dimensional characters of $E$ generate the character ring of $E$ (every irreducible of $E$ is monomial), $φ ∣_{E} = 0$ for all $p$ -elementary $E$ .

Step 3: Every element is detected by a $p$ -elementary subgroup. For any $g \in G$ , write $g = g_{p} \cdot g_{p^{'}}$ where $g_{p}$ has order a power of $p$ and $g_{p^{'}}$ has order coprime to $p$ (this is the $p$ -regular decomposition, which exists in any finite group). The subgroup $E_{g} = ⟨ g_{p} ⟩ \times ⟨ g_{p^{'}} ⟩$ is $p$ -elementary (a $p$ -group times a cyclic group of coprime order). Since $g \in E_{g}$ and $φ ∣_{E_{g}} = 0$ , we get $φ (g) = 0$ .

This holds for all $g$ , so $φ = 0$ , proving $R_{p} (G) = R (G)$ . $□$

Bridge. The proof of Brauer's theorem builds toward applications in number theory, specifically the Artin L-function conjectures ^{[Brauer 1946]}. The central insight is the $p$ -regular decomposition $g = g_{p} \cdot g_{p^{'}}$ , which identifies every group element as lying in a $p$ -elementary subgroup. This is exactly the key fact that makes elementary subgroups sufficient: they detect all conjugacy classes through the decomposition into $p$ -power and $p^{'}$ -power parts. The bridge is between the local- $p$ information (characters of $p$ -elementary subgroups) and the global character theory of $G$ , connected by Frobenius reciprocity in the same pattern as Artin's theorem. Putting these together, the foundational reason Brauer's theorem improves on Artin's is that elementary subgroups carry the full monomial character theory needed for integer coefficients, while cyclic subgroups only provide the abelian shadow.

Exercises [Intermediate+]

Exercise 4 (medium, proof).

Let $E = P \times C$ be an elementary group with $P$ a $p$ -group and $C$ cyclic of order coprime to $p$ . Show that every irreducible character of $E$ is induced from a 1-dimensional character of a subgroup.

Hint

Use the fact that every irreducible representation of a $p$ -group is induced from a 1-dimensional representation, then extend to the direct product with $C$ .

Answer

Since $C$ is abelian and cyclic, every character of $C$ is 1-dimensional. The irreducible characters of the direct product $P \times C$ are $χ_{P} \otimes χ_{C}$ where $χ_{P}$ is an irreducible character of $P$ and $χ_{C}$ is an irreducible character of $C$ . For $p$ -groups, every irreducible representation is induced from a 1-dimensional representation of a subgroup (this is a theorem of Blichfeldt: $p$ -groups are monomial). So $χ_{P} = Ind_{H}^{P} λ$ for some subgroup $H \leq P$ and 1-dimensional character $λ$ of $H$ . Then $χ_{P} \otimes χ_{C} = Ind_{H \times C}^{P \times C} (λ \otimes χ_{C})$ , which is induced from the 1-dimensional character $λ \otimes χ_{C}$ of $H \times C$ . $□$

Exercise 6 (hard, proof).

Prove that the set of $p$ -elementary subgroups of $G$ is closed under taking subgroups: if $E$ is $p$ -elementary and $F \leq E$ , then $F$ is $p$ -elementary.

Hint

Write $E = P \times C$ . A subgroup $F \leq P \times C$ projects to subgroups $F_{1} \leq P$ and $F_{2} \leq C$ . Use Goursat's lemma or the direct-product structure.

Answer

Let $E = P \times C$ with $P$ a $p$ -group and $C$ cyclic of order $m$ coprime to $p$ . Let $F \leq E$ . The projection $π_{1} : F \to P$ has image $F_{1} \leq P$ , which is a $p$ -group (subgroups of $p$ -groups are $p$ -groups). The projection $π_{2} : F \to C$ has image $F_{2} \leq C$ , which is cyclic (subgroups of cyclic groups are cyclic). By Goursat's lemma, $F$ is determined by $F_{1}$ , $F_{2}$ , and a homomorphism $φ : F_{1} / N_{1} \to F_{2} / N_{2}$ for appropriate normal subgroups. In any case, the kernel of $π_{1}$ is a subgroup of ${e} \times C$ , hence isomorphic to a subgroup of $C$ , hence cyclic of order dividing $m$ . The image of $π_{1}$ is a $p$ -group. So $F$ is an extension of a $p$ -group by a cyclic group of order dividing $m$ , and since $g cd (∣ P ∣, m) = 1$ , the Schur-Zassenhaus theorem gives $F ≅ F_{1} \times F_{2}^{'}$ where $F_{1}$ is a $p$ -group and $F_{2}^{'}$ is cyclic of order dividing $m$ . Hence $F$ is $p$ -elementary. $□$

Exercise 7 (hard, proof).

Deduce Artin's theorem from Brauer's theorem.

Hint

Every elementary subgroup $E = P \times C$ has a cyclic quotient (project onto $C$ ). Use transitivity of induction and express characters of $E$ in terms of characters of its cyclic subgroups.

Answer

By Brauer's theorem, every character $χ$ of $G$ is a $Z$ -linear combination of characters $Ind_{E}^{G} λ$ where $E$ is elementary and $λ$ is 1-dimensional. For each such $E = P \times C$ , the 1-dimensional character $λ$ of $E$ is determined by its restriction to the abelian quotient $E / [E, E]$ , which is a quotient of $C$ (since $P$ is nilpotent and $C$ is abelian). By the character theory of cyclic groups, $λ = Ind_{C^{'}}^{E} μ$ for some subgroup $C^{'} \leq E$ and 1-dimensional character $μ$ of $C^{'}$ , where $C^{'}$ is cyclic (being a subgroup of the abelian group $E / [E, E]$ ). By transitivity of induction, $Ind_{E}^{G} λ = Ind_{E}^{G} Ind_{C^{'}}^{E} μ = Ind_{C^{'}}^{G} μ$ . Since $C^{'}$ is cyclic, this expresses $χ$ as a $Z$ -linear combination of characters induced from cyclic subgroups, which is Artin's theorem. $□$

Advanced results [Master]

Theorem 1 (Brauer's theorem, surjectivity of the Brauer map). The Brauer map $Φ_{G} : ⨁_{E} R (E) \to R (G)$ is surjective. Its kernel is generated by relations of the form $Ind_{E^{'}}^{G} ψ^{'} - Ind_{E}^{G} ψ$ where $ψ^{'} = Res_{E^{'}}^{E} ψ$ for $E^{'} \leq E$ .

Theorem 2 (Brauer's characterisation of characters). A class function $φ : G \to C$ is a virtual character (an element of $R (G)$ ) if and only if $φ ∣_{E}$ is a virtual character of $E$ for every elementary subgroup $E$ of $G$ . This provides a local-to-global criterion for recognising characters.

Theorem 3 (Explicit Brauer induction, Boltje 1990). There is a canonical $Aut (G)$ -equivariant splitting $s : R (G) \to ⨁_{E} R (E)$ of the Brauer map, constructed by Boltje using the $G$ -set of pairs $(H, λ)$ where $H$ ranges over subgroups and $λ$ over 1-dimensional characters. The Snaith monograph (1994) gives an explicit formula ^{[Snaith 1994]}.

Theorem 4 (Application to Artin L-functions). For a Galois extension $K / k$ with group $G$ and an irreducible character $χ$ of $G$ , Brauer's theorem decomposes the Artin L-function as $L (s, χ, K / k) = \prod_{i} L (s, λ_{i}, K / E_{i})^{n_{i}}$ where the $λ_{i}$ are 1-dimensional characters of elementary subgroups $E_{i}$ and $n_{i} \in Z$ . This proves $L (s, χ)$ is meromorphic in $C$ , since each $L (s, λ_{i})$ is known to be meromorphic by Hecke's theory ^{[Brauer 1946]}.

Theorem 5 (Brauer-Siegel theorem). Brauer's induction theorem implies the Brauer-Siegel theorem on the asymptotic behaviour of class numbers and regulators of number fields. The connection passes through the Artin L-function of the regular representation of $Gal (K / k)$ and its factorisation into abelian L-functions via Brauer induction.

Theorem 6 (Splitting principle). The Brauer map $Φ_{G}$ is surjective and its kernel is a free abelian group. The character ring $R (G)$ is a quotient of the direct sum $⨁_{E} R (E)$ by explicit relations. This splitting principle is foundational for topological methods in representation theory, including equivariant K-theory.

Synthesis. Brauer's theorem builds toward the deepest applications of character theory in number theory by providing the integer decomposition that Artin's rational decomposition could not. The central insight is that $p$ -elementary subgroups capture the $p$ -local structure of the group through the $p$ -regular decomposition, and this is exactly what makes them sufficient for the character ring. The foundational reason Brauer's theorem works is that every irreducible of an elementary group is monomial (induced from a 1-dimensional character), so the induction from elementary subgroups carries complete integer information. Putting these together, the Brauer map identifies the character ring of $G$ with the quotient of the direct sum of elementary-subgroup character rings, and the bridge is that this identification is equivariant under $Aut (G)$ and compatible with restriction. This pattern recurs in equivariant topology, where the Atiyah-Segal completion theorem 07.07.02 gives the analogous decomposition of equivariant K-theory.

Full proof set [Master]

Proposition 1 (Monomiality of elementary groups). Every irreducible character of an elementary group $E = P \times C$ is induced from a 1-dimensional character of a subgroup.

Proof. The irreducible characters of $P \times C$ are $χ_{P} \otimes χ_{C}$ where $χ_{P}$ is irreducible of $P$ and $χ_{C}$ is a character of $C$ . Since $C$ is abelian, $χ_{C}$ is 1-dimensional. For $p$ -groups, every irreducible character is induced from a 1-dimensional character (by induction on $∣ P ∣$ : the centre $Z (P)$ acts by scalars on any irreducible, giving a central character, and induction from a maximal subgroup containing the kernel of this character gives a 1-dimensional induction step). So $χ_{P} = Ind_{H}^{P} λ$ for some $H \leq P$ and 1-dimensional $λ$ . Then $χ_{P} \otimes χ_{C} = Ind_{H \times C}^{P \times C} (λ \otimes χ_{C})$ , and $λ \otimes χ_{C}$ is 1-dimensional. $□$

Proposition 2 ( $p$ -regular decomposition). For every element $g$ of a finite group $G$ and every prime $p$ , there exist unique commuting elements $g_{p}, g_{p^{'}}$ with $g = g_{p} g_{p^{'}}$ , $∣ g_{p} ∣$ a power of $p$ , and $∣ g_{p^{'}} ∣$ coprime to $p$ .

Proof. Write $∣ g ∣ = p^{a} m$ with $g cd (p, m) = 1$ . By Bezout, $1 = α p^{a} + β m$ for integers $α, β$ . Set $g_{p} = g^{β m}$ and $g_{p^{'}} = g^{α p^{a}}$ . Then $g_{p} g_{p^{'}} = g^{β m + α p^{a}} = g^{1} = g$ . The order of $g_{p}$ divides $p^{a}$ (since $g^{p^{a} m} = e$ and $(g^{β m})^{p^{a}} = g^{β m p^{a}} = (g^{∣ g ∣})^{β m / m} = e$ ), and the order of $g_{p^{'}}$ divides $m$ . Uniqueness follows from the uniqueness of the Bezout decomposition. $□$

Connections [Master]

Induced representation 07.01.07. Brauer's theorem is a structural result about the span of induced characters from elementary subgroups, refining the induction framework.
Frobenius reciprocity 07.01.08. The proof uses Frobenius reciprocity to convert orthogonality to induced characters into the vanishing of restrictions on elementary subgroups, in the same pattern as Artin's theorem.
Character orthogonality 07.01.04. The fact that characters span class functions on elementary groups, combined with the monomiality of elementary groups, is the engine behind the proof.
Peter-Weyl theorem 07.07.02. The Brauer decomposition of the character ring parallels the spectral decomposition in Peter-Weyl, with elementary subgroups playing the role of frequency components.
Symmetric group representation 07.05.01. For $G = S_{n}$ , the elementary subgroups are products of cyclic groups and $p$ -groups inside $S_{n}$ , and Brauer's theorem gives integer decompositions of characters that connect to Young diagram combinatorics.

Historical & philosophical context [Master]

Richard Brauer proved his induction theorem in 1946 ^{[Brauer 1946]}, motivated by Artin's program on L-functions. Artin's 1931 theorem gave a rational decomposition, but the rational exponents in the L-function factorisation were insufficient to prove holomorphy. Brauer's integer-coefficient decomposition immediately implied that the Artin L-function $L (s, χ)$ is meromorphic for every character $χ$ , and that the Artin conjecture (holomorphy for non-principal irreducible $χ$ ) follows if one can show the L-functions of 1-dimensional characters are holomorphic — a question resolved by Hecke's theory for abelian characters.

Robert Boltje gave a canonical splitting of the Brauer map in 1990, providing an explicit $Aut (G)$ -equivariant section. Snaith's 1994 monograph Explicit Brauer Induction ^{[Snaith 1994]} developed the applications to topology and K-theory. The Brauer-Siegel theorem on class numbers of number fields is a downstream consequence of Brauer's L-function factorisation. Brauer's theorem remains the standard tool for reducing non-abelian representation-theoretic questions to abelian ones in algebraic number theory.

Bibliography [Master]

@article{Brauer1946,
  author = {Brauer, Richard},
  title = {On Artin's $L$-series with general group characters},
  journal = {Annals of Mathematics},
  volume = {48},
  year = {1946},
  pages = {502--514},
}

@book{Serre1977,
  author = {Serre, Jean-Pierre},
  title = {Linear Representations of Finite Groups},
  publisher = {Springer},
  year = {1977},
}

@book{Isaacs1976,
  author = {Isaacs, I. Martin},
  title = {Character Theory of Finite Groups},
  publisher = {Academic Press},
  year = {1976},
}

@book{CurtisReiner1981,
  author = {Curtis, Charles W. and Reiner, Irving},
  title = {Methods of Representation Theory with Applications to Finite Groups and Orders, Vol. I},
  publisher = {Wiley},
  year = {1981},
}

@book{Snaith1994,
  author = {Snaith, Victor P.},
  title = {Explicit Brauer Induction: With Applications to Algebra and Number Theory},
  publisher = {Cambridge University Press},
  year = {1994},
}

@article{Boltje1990,
  author = {Boltje, Robert},
  title = {A canonical Brauer induction formula},
  journal = {Asterisque},
  volume = {181--182},
  year = {1990},
  pages = {31--59},
}

Prerequisites

07.01.03
07.01.07
07.01.08

Tier anchors

beginner: The idea of expressing characters using elementary subgroups instead of cyclic ones
intermediate: Brauer 1946; Serre §10–11; Isaacs Ch. 8
master: Brauer 1946 *On Artin's L-series*; Serre §10–11; Curtis-Reiner §15; Snaith 1994

References

TODO_REF
Brauer — On Artin's L-series with general group characters (1946) · Annals of Mathematics 48, the induction theorem
TODO_REF
Serre — Linear Representations of Finite Groups · §10–11, Brauer's theorem
TODO_REF
Isaacs — Character Theory of Finite Groups · Ch. 8, induction theorems
TODO_REF
Curtis-Reiner — Methods of Representation Theory Vol. I · §15, Artin and Brauer induction
TODO_REF
Snaith — Explicit Brauer Induction (1994) · The explicit formula and applications

Reviewer

TBD

Estimated time

beginner: 15m
intermediate: 45m
master: 75m