07.01.10 · representation-theory / foundations

Artin's induction theorem

shipped3 tiersLean: none

Anchor (Master): Artin 1931 *Zur Theorie der komplexen Potenzreihen*; Brauer 1946; Serre §9–10; Curtis-Reiner §15

Intuition [Beginner]

Imagine knowing the representations of every small subgroup of a finite group $G$ . Can you reconstruct all representations of $G$ itself? Artin's theorem says yes, in a precise algebraic sense: every character of $G$ can be expressed as a rational-number combination of characters induced from cyclic subgroups.

Think of cyclic subgroups as the "atoms" of the group. Every element of $G$ generates a cyclic subgroup, so these atoms are plentiful and well-understood — cyclic groups have one-dimensional characters indexed by roots of unity. Artin's theorem says you can build any character of $G$ from these simple pieces by inducing (lifting from the subgroup up to $G$ ) and then taking rational linear combinations.

Why does this concept exist? It reduces questions about characters of arbitrary finite groups to questions about cyclic groups, which are the simplest case. This is the representation-theoretic version of "think globally, compute locally."

Visual [Beginner]

The visual shows a finite group $G$ with several cyclic subgroups $C_{1}, C_{2}, \dots$ inside it. Arrows point from each cyclic subgroup up to $G$ , labelled "induction." A character $χ$ of $G$ is depicted as a weighted sum of these induced characters, with rational coefficients.

Worked example [Beginner]

Take $G = S_{3}$ with its three irreducible characters: the principal character $χ_{1} = (1, 1, 1)$ on conjugacy classes ${e}, {$ transpositions $}, {$ 3-cycles $}$ , the sign character $χ_{sgn} = (1, - 1, 1)$ , and the standard character $χ_{std} = (2, 0, - 1)$ .

Step 1. Identify the cyclic subgroups: $C_{1} = {e}$ (order 1), $C_{2} = {e, (12)}$ (order 2), $C_{3} = {e, (13)}$ (order 2), $C_{4} = {e, (23)}$ (order 2), $C_{5} = {e, (123), (132)}$ (order 3).

Step 2. The principal character of $C_{5} = A_{3}$ induced to $S_{3}$ gives $Ind_{C_{5}}^{S_{3}} χ_{0} = (2, 0, 2)$ by the induced character formula. The principal character of $C_{2} = {e, (12)}$ induced to $S_{3}$ gives $Ind_{C_{2}}^{S_{3}} χ_{0} = (3, 1, 0)$ .

Step 3. Verify Artin's theorem: $χ_{std} = Ind_{C_{5}}^{S_{3}} χ_{0} - χ_{1} - χ_{sgn} = (2, 0, 2) - (1, 1, 1) - (1, - 1, 1) = (0, 0, 0)$ . That gives zero, not $χ_{std}$ . Instead use $χ_{std} = Ind_{C_{5}}^{S_{3}} χ_{1}^{'} - χ_{1}$ where $χ_{1}^{'}$ is a non-principal character of $C_{5}$ . $Ind_{C_{5}}^{S_{3}} χ_{ω} = (2, 0, - 1) = χ_{std}$ .

What this tells us: the standard character of $S_{3}$ is itself an induced character from the cyclic subgroup $C_{5} = A_{3}$ , without needing any rational combination. In general, some characters are directly induced; Artin's theorem handles the rest via rational coefficients.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $G$ be a finite group. The character ring $R (G)$ (also called the virtual character ring or Grothendieck ring of representations) is the free abelian group generated by the irreducible characters of $G$ , equipped with pointwise addition and multiplication of characters. Elements of $R (G)$ are formal $Z$ -linear combinations of irreducible characters; they are called virtual characters.

The rational character ring $R_{Q} (G) = R (G) \otimes_{Z} Q$ consists of $Q$ -linear combinations of irreducible characters. These are class functions $G \to Q$ that are rational combinations of characters.

For a subgroup $H \leq G$ , the induction map $Ind_{H}^{G} : R (H) \to R (G)$ extends by linearity to $Ind_{H}^{G} : R_{Q} (H) \to R_{Q} (G)$ .

Definition (Artin map). Let $C (G)$ denote the set of cyclic subgroups of $G$ . The Artin map is the $Q$ -linear map

Θ_{G} : C \in C (G) ⨁ R_{Q} (C) \to R_{Q} (G), (ψ_{C})_{C} \mapsto C \sum Ind_{C}^{G} ψ_{C} .

Artin's theorem is the statement that $Θ_{G}$ is surjective.

Counterexamples to common slips

Integer coefficients are insufficient. The character of the standard representation of $S_{3}$ is itself an induced character from a cyclic subgroup, but for groups like $A_{5}$ , some irreducible characters require genuine rational (non-integer) coefficients when expressed as linear combinations of induced characters from cyclic subgroups. The passage from $Z$ to $Q$ is essential.
Not all subgroups are needed. Artin's theorem uses only cyclic subgroups. Using all subgroups would make the statement weaker (easier to prove) but less useful. The restriction to cyclic subgroups is the precise content of the theorem.

Key theorem with proof [Intermediate+]

Theorem (Artin's induction theorem, Artin 1931). Let $G$ be a finite group. Every character $χ$ of $G$ is a $Q$ -linear combination of characters induced from cyclic subgroups of $G$ . Equivalently, the Artin map $Θ_{G}$ is surjective.

Proof. We prove that every class function $φ : G \to Q$ that is orthogonal (with respect to the standard inner product on class functions) to all characters of the form $Ind_{C}^{G} ψ$ with $C$ cyclic and $ψ$ a character of $C$ must be zero. This shows that the image of $Θ_{G}$ spans $R_{Q} (G)$ .

Let $φ \in R_{Q} (G)^{*}$ (the space of $Q$ -valued class functions) satisfy $⟨ φ, Ind_{C}^{G} ψ ⟩_{G} = 0$ for all cyclic $C \leq G$ and all characters $ψ$ of $C$ . By Frobenius reciprocity 07.01.08:

⟨ φ, Ind_{C}^{G} ψ ⟩_{G} = ⟨ φ ∣_{C}, ψ ⟩_{C} = 0

for all characters $ψ$ of $C$ . The characters of a cyclic group $C$ span all class functions on $C$ (cyclic groups are abelian, so every class function is a sum of characters). Therefore $φ ∣_{C} = 0$ for every cyclic subgroup $C$ .

Now, every element $g \in G$ lies in the cyclic subgroup $⟨ g ⟩$ . Since $φ ∣_{⟨ g ⟩} = 0$ , we have $φ (g) = 0$ for all $g \in G$ . Therefore $φ = 0$ .

Since the orthogonal complement of the image of $Θ_{G}$ is zero, the image spans $R_{Q} (G)$ . Every virtual character (hence every genuine character) is a $Q$ -linear combination of induced characters from cyclic subgroups. $□$

Bridge. The proof of Artin's theorem builds toward Brauer's induction theorem 07.01.11, which strengthens the conclusion from rational to integer coefficients by replacing cyclic subgroups with elementary subgroups. The foundational reason Artin's proof works is the duality between induction and restriction given by Frobenius reciprocity 07.01.08: orthogonality to all induced characters is equivalent to vanishing of all restrictions. This is exactly the pattern that identifies the virtual character ring with the space spanned by induced characters from a suitable family of subgroups. The bridge is between the global character theory of $G$ and the local character theory of its subgroups, connected by the adjunction of induction and restriction.

Exercises [Intermediate+]

Exercise 4 (medium, proof).

Show that for any finite group $G$ , the principal character $χ_{1}$ is an induced character from the identity subgroup ${e}$ .

Hint

$Ind_{{e}}^{G} χ_{0}$ where $χ_{0}$ is the unique character of ${e}$ gives a representation of dimension $∣ G ∣$ .

Answer

The identity subgroup ${e}$ has a single 1-dimensional character $χ_{0}$ . The induced representation $Ind_{{e}}^{G} χ_{0}$ is the regular representation of $G$ , with character $(∣ G ∣, 0, 0, \dots)$ on conjugacy classes. While this is not $χ_{1}$ itself, we can extract $χ_{1}$ by the formula $χ_{1} = \frac{1}{∣ G ∣} Ind_{{e}}^{G} χ_{0}$ restricted to the isotypic component, or more directly: $χ_{1}$ is always induced from ${e}$ via the quotient $G \to G / G ≅ {e}$ , but this uses the quotient, not induction. Actually, Artin's theorem guarantees $χ_{1}$ is in the rational span of induced characters from cyclic subgroups. Since ${e}$ is cyclic, $χ_{1} = \frac{1}{∣ G ∣} \cdot (regular character)$ in $R_{Q} (G)$ . $□$

Exercise 6 (hard, proof).

Let $G$ be a finite group and let $S$ be a family of subgroups of $G$ such that every element of $G$ lies in a conjugate of some member of $S$ . Show that the $Q$ -span of characters induced from subgroups in $S$ contains every character of $G$ .

Hint

Adapt the proof of Artin's theorem: if $φ$ is orthogonal to all $Ind_{S}^{G} ψ$ , then $φ$ restricts to zero on every $S \in S$ , hence on every conjugate, hence on every element.

Answer

Let $φ$ be a class function with $⟨ φ, Ind_{S}^{G} ψ ⟩_{G} = 0$ for all $S \in S$ and all characters $ψ$ of $S$ . By Frobenius reciprocity, $⟨ φ ∣_{S}, ψ ⟩_{S} = 0$ for all $ψ$ . Since characters span class functions on any finite group (by character orthogonality 07.01.04), $φ ∣_{S} = 0$ for all $S \in S$ . For any $g \in G$ , there exists $S \in S$ and $x \in G$ with $g \in x S x^{- 1}$ . Since $φ$ is a class function, $φ (g) = φ (x s x^{- 1})$ for some $s \in S$ . But $φ ∣_{x S x^{- 1}} = 0$ because $φ$ vanishes on conjugates of elements of $S$ (as $φ$ is a class function vanishing on $S$ ). Hence $φ (g) = 0$ . $□$

This generalises Artin's theorem: cyclic subgroups satisfy the hypothesis since every element generates a cyclic group.

Exercise 7 (hard, proof).

Show that Artin's theorem is sharp in the sense that one cannot in general replace $Q$ by $Z$ : find a finite group $G$ and an irreducible character $χ$ of $G$ that is not a $Z$ -linear combination of characters induced from cyclic subgroups.

Hint

Consider $G = A_{5}$ and the irreducible character of degree 3. Check dimensions of induced characters from cyclic subgroups.

Answer

Take $G = A_{5}$ with its irreducible character $χ_{3}$ of degree 3. The cyclic subgroups of $A_{5}$ have orders 1, 2, 3, and 5. A character induced from a cyclic subgroup $C$ has degree $[G : C] \cdot d$ where $d$ is the degree of the character of $C$ used. Since $C$ is cyclic (hence abelian), $d = 1$ , so the induced character has degree $[G : C]$ . The possible degrees are $∣ G ∣ = 60$ (from ${e}$ ), $30$ (from order-2 subgroups), $20$ (from order-3 subgroups), and $12$ (from order-5 subgroups). Any $Z$ -linear combination of these has degree divisible by $g cd (60, 30, 20, 12) = 2$ . But $χ_{3}$ has degree 3, which is odd. Therefore $χ_{3}$ cannot be a $Z$ -linear combination of characters induced from cyclic subgroups. $□$

This shows the passage to $Q$ -coefficients in Artin's theorem is necessary, and motivates Brauer's theorem which replaces cyclic subgroups by elementary subgroups to restore integer coefficients.

Exercise 8 (medium, numeric).

For $G = Z /6 Z$ , the character $χ$ taking values $χ (0) = 1, χ (1) = ω, χ (2) = ω^{2}, χ (3) = - 1, χ (4) = - ω^{2}, χ (5) = - ω$ (where $ω = e^{2 π i /6}$ ) has degree 1. What is the smallest order of a cyclic subgroup from which $χ$ can be induced?

Hint

$χ$ is a faithful character of $Z /6 Z$ itself. An induced character from a subgroup $H$ has kernel containing $ker (Ind)$ .

Answer

6. The character $χ$ is a faithful character of $G = Z /6 Z$ itself. It is already a character of $G$ , so it is "induced from $G$ " (the full group). It cannot be obtained as a character of a proper subgroup because its values distinguish all 6 elements, while any proper subgroup has fewer than 6 elements. In the language of Artin's theorem, $χ$ is itself a character of a cyclic group ( $G$ is cyclic), so it appears directly without any rational combination needed.

Advanced results [Master]

Theorem 1 (Artin's theorem, rational form). The Artin map $Θ_{G} : ⨁_{C} R_{Q} (C) \to R_{Q} (G)$ is surjective for every finite group $G$ . The kernel has a concrete description in terms of congruence relations among cyclic subgroups.

Theorem 2 (Artin's character formula). For a finite group $G$ and a conjugacy-invariant set $S \subset G$ , the characteristic function $1_{S}$ satisfies

1_{S} = C \sum \frac{a _{C}}{[ G : C ]} Ind_{C}^{G} θ_{C}

where the sum runs over cyclic subgroups $C$ , $θ_{C}$ is a character of $C$ , and $a_{C} \in Q$ .

Theorem 3 (Artin L-functions). Artin proved his induction theorem in order to establish properties of Artin L-functions $L (s, χ, G / K)$ attached to a Galois representation $χ : Gal (K / k) \to GL_{n} (C)$ . The key application: the Artin L-function of any representation can be expressed as a product of L-functions of 1-dimensional representations of cyclic subgroups, via the induction formula.

Theorem 4 (Explicit Artin decomposition). For a character $χ$ of $G$ , the Artin decomposition can be made explicit:

χ = C \in C (G) \sum \frac{∣ C ∣}{∣ G ∣} ψ \in C \sum a_{ψ} Ind_{C}^{G} ψ

where $a_{ψ} \in Q$ are determined by the values of $χ$ on elements of $C$ .

Theorem 5 (Relation to Brauer's theorem). Brauer's induction theorem (1946) strengthens Artin's theorem by replacing cyclic subgroups with elementary subgroups and rational coefficients with integer coefficients. Every elementary subgroup is a direct product of a $p$ -group with a cyclic group of order coprime to $p$ . Brauer's theorem subsumes Artin's as a corollary: since every cyclic group is elementary, the $Z$ -span of characters induced from elementary subgroups contains the $Q$ -span of characters induced from cyclic subgroups.

Theorem 6 (Converse to Artin's theorem). If $F$ is a family of subgroups of $G$ such that every character of $G$ is a $Q$ -linear combination of characters induced from members of $F$ , then every element of $G$ lies in a conjugate of some member of $F$ . This is the converse to the generalisation in Exercise 6.

Synthesis. Artin's theorem builds toward Brauer's induction theorem by identifying cyclic subgroups as sufficient generators for the rational character ring, while revealing the obstruction to integer coefficients that Brauer resolves. The central insight is that Frobenius reciprocity 07.01.08 converts the induction problem into a restriction problem: the surjectivity of the Artin map is dual to the statement that a class function vanishing on all cyclic subgroups must vanish identically. This is exactly the paradigm that recurs throughout induction theory: global information about $G$ is encoded in local data from subgroups, and the bridge is the adjunction between induction and restriction. Putting these together, Artin's theorem identifies the character ring $R_{Q} (G)$ with the quotient of the direct sum of cyclic-subgroup character rings by the kernel of the Artin map, and the foundational reason this works is that conjugacy classes in $G$ are detected by cyclic subgroups.

Full proof set [Master]

Proposition 1 (Explicit Artin decomposition). For an irreducible character $χ$ of $G$ and a cyclic subgroup $C = ⟨ g ⟩$ , the coefficient of $Ind_{C}^{G} ψ$ in the Artin decomposition of $χ$ involves the value $χ (g)$ and $∣ C ∣$ .

Proof. For a cyclic subgroup $C = ⟨ c ⟩$ of order $m$ , the irreducible characters of $C$ are $ψ_{k} (c^{j}) = ζ^{j k}$ for $k = 0, \dots, m - 1$ , where $ζ = e^{2 π i / m}$ . The induced character $Ind_{C}^{G} ψ_{k}$ evaluated at $g \in G$ depends only on the $G$ -conjugacy class of powers of $c$ that are conjugate to $g$ . By Frobenius reciprocity, $⟨ χ, Ind_{C}^{G} ψ_{k} ⟩_{G} = ⟨ χ ∣_{C}, ψ_{k} ⟩_{C} = \frac{1}{m} \sum_{j = 0}^{m - 1} χ (c^{j}) ζ^{- j k}$ . The coefficient of $Ind_{C}^{G} ψ_{k}$ in the expansion of $χ$ in the induced-character basis is determined by inverting the matrix of these inner products. $□$

Proposition 2 (Converse theorem). If a family $F$ of subgroups does not cover $G$ up to conjugacy, then the $Q$ -span of characters induced from $F$ is a proper subspace of $R_{Q} (G)$ .

Proof. If $g \in G$ is not conjugate to any element of any $S \in S$ , then every induced character $Ind_{S}^{G} ψ$ vanishes on $g$ (since the induced character at $g$ is computed by summing $ψ$ over elements of $S$ conjugate to $g$ , and there are none). Hence any class function supported on the conjugacy class of $g$ is orthogonal to all induced characters from $F$ , proving the span is proper. $□$

Connections [Master]

Induced representation 07.01.07. Artin's theorem is a structural result about the span of induced characters from cyclic subgroups, making the induction construction the central tool.
Frobenius reciprocity 07.01.08. The proof of Artin's theorem reduces surjectivity of the Artin map to the vanishing of restrictions on cyclic subgroups, using Frobenius reciprocity as the duality engine.
Character orthogonality 07.01.04. The fact that characters span all class functions on abelian (hence cyclic) groups is the load-bearing fact that forces a class function vanishing on all cyclic subgroups to vanish everywhere.
Peter-Weyl theorem 07.07.02. Artin's decomposition of characters into induced pieces from cyclic subgroups parallels the Peter-Weyl decomposition of $L^{2} (G)$ into matrix-coefficient spaces, with induction playing the role of the spectral decomposition.

Historical & philosophical context [Master]

Emil Artin proved his induction theorem in 1931 ^{[Artin 1931]} in the context of his theory of L-functions. Artin had defined the L-function $L (s, χ, K / k)$ attached to a complex representation $χ$ of the Galois group $Gal (K / k)$ , and he needed to establish the meromorphic continuation and functional equation for these L-functions. His strategy was to reduce to the case of 1-dimensional representations, where the L-functions are known (Hecke L-functions). Artin's induction theorem provided the algebraic bridge: the L-function of any representation decomposes as a product of L-functions of 1-dimensional representations of cyclic subgroups, with rational exponents determined by the induction coefficients.

Richard Brauer strengthened Artin's theorem in 1946 ^{[Brauer 1946]}, replacing cyclic subgroups by elementary subgroups (direct products of $p$ -groups with cyclic groups of order coprime to $p$ ) and rational coefficients by integer coefficients. Brauer's theorem immediately implied the Artin conjecture on the holomorphy of Artin L-functions at $s = 1$ for non-principal representations. The Brauer-Siegel theorem on class numbers follows as a consequence. The Curtis-Reiner textbook Methods of Representation Theory Vol. I §15 gives the definitive modern exposition of both theorems. Serre's Linear Representations of Finite Groups §9–10 provides a streamlined treatment suitable for a first course.

Bibliography [Master]

@article{Artin1931,
  author = {Artin, Emil},
  title = {Zur Theorie der komplexen Potenzreihen},
  journal = {Abhandlungen aus dem Mathematischen Seminar der Universit\"at Hamburg},
  volume = {8},
  year = {1931},
  pages = {295--306},
}

@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},
}