07.01.12 · representation-theory / foundations

Frobenius-Schur indicator

shipped3 tiersLean: none

Anchor (Master): Frobenius-Schur 1906; Curtis-Reiner §11; Goodman-Wallach §3.1; Schur-Weyl duality

Intuition [Beginner]

Some representations are "more real" than others. Every representation in this strand uses complex vector spaces, but some arise from real vector spaces (they can be written using only real matrices), some are genuinely complex (they need complex numbers), and a third type comes from the quaternions. The Frobenius-Schur indicator is a single number — 1, 0, or $- 1$ — that tells you which type you have.

Think of it as a colour test: dip the representation in a chemical solution and it turns gold (real type, indicator $+ 1$ ), silver (complex type, indicator $0$ ), or blue (quaternionic type, indicator $- 1$ ). The test is computed directly from the character table, without needing to look at the actual matrices.

Why does this concept exist? The indicator captures whether a representation carries a symmetric bilinear form, an antisymmetric bilinear form, or no invariant bilinear form at all. This classification governs how tensor products decompose and whether the representation descends to a real vector space.

Visual [Beginner]

A diagram showing three irreducible representations of a finite group, each labelled with its Frobenius-Schur indicator: a representation with a symmetric bilinear form (indicator +1, "real"), one with no invariant bilinear form (indicator 0, "complex"), and one with an antisymmetric form (indicator -1, "quaternionic").

Worked example [Beginner]

Take $G = S_{3}$ . The character table of $S_{3}$ has three rows:

	$e$	$(12)$	$(123)$
$χ_{1}$	1	1	1
$χ_{sgn}$	1	$- 1$	1
$χ_{std}$	2	0	$- 1$

Step 1. For each irreducible character $χ$ , compute the indicator: average the values $χ (g^{2})$ over all group elements. Compute $g^{2}$ for each conjugacy class: $e^{2} = e$ , $(12)^{2} = e$ , $(123)^{2} = (132)$ .

Step 2. For $χ_{1}$ : $ν = \frac{1}{6} (1 \cdot 1 + 3 \cdot 1 + 2 \cdot 1) = \frac{6}{6} = 1$ .

Step 3. For $χ_{sgn}$ : $ν = \frac{1}{6} (1 \cdot 1 + 3 \cdot 1 + 2 \cdot 1) = \frac{6}{6} = 1$ .

Step 4. For $χ_{std}$ : $ν = \frac{1}{6} (1 \cdot 2 + 3 \cdot 2 + 2 \cdot (- 1)) = \frac{1}{6} (2 + 6 - 2) = 1$ .

What this tells us: all three representations of $S_{3}$ have indicator $+ 1$ , so they are all real type. Every irreducible representation of $S_{3}$ can be written over the real numbers.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $G$ be a finite group and $χ$ an irreducible character of $G$ . The Frobenius-Schur indicator of $χ$ is

ν (χ) = \frac{1}{∣ G ∣} g \in G \sum χ (g^{2}) .

Theorem (Frobenius-Schur classification). For an irreducible character $χ$ of a finite group $G$ , the indicator $ν (χ)$ takes one of three values:

$ν (χ) = 1$ : $χ$ is real (orthogonal) type. There exists a representation $ρ : G \to GL (V)$ affording $χ$ with $V$ a real vector space, equivalently $ρ$ is equivalent to a representation by real matrices.
$ν (χ) = 0$ : $χ$ is complex type. The character $χ$ is not real-valued; $χ \neq = \overset{χ}{ˉ}$ .
$ν (χ) = - 1$ : $χ$ is quaternionic (symplectic) type. $χ$ is real-valued but the representation cannot be written over $R$ ; instead it has a $G$ -invariant antisymmetric bilinear form.

Equivalent characterisations. For an irreducible representation $V$ with character $χ$ :

$ν (χ) = 1$ if and only if $V$ carries a non-degenerate $G$ -invariant symmetric bilinear form.
$ν (χ) = 0$ if and only if $V \neq ≅ V^{*}$ (the dual representation is not isomorphic to $V$ ).
$ν (χ) = - 1$ if and only if $V$ carries a non-degenerate $G$ -invariant antisymmetric bilinear form.

Counterexamples to common slips

Real-valued does not imply real type. A character can be real-valued (all character values are real) yet have indicator $- 1$ (quaternionic type). The quaternion group $Q_{8}$ has an irreducible 2-dimensional character with all values real but indicator $- 1$ .
The indicator is defined for irreducible characters only. For a reducible character, the sum $\frac{1}{∣ G ∣} \sum χ (g^{2})$ gives the sum of the indicators of the irreducible constituents, weighted by multiplicity, but the three-way classification does not apply to reducible characters as a whole.

Key theorem with proof [Intermediate+]

Theorem (Frobenius-Schur indicator formula). Let $G$ be a finite group and $χ$ an irreducible character of $G$ . Then

ν (χ) = \frac{1}{∣ G ∣} g \in G \sum χ (g^{2}) = ⎩ ⎨ ⎧ 10 - 1 if V is real type, if V is complex type, if V is quaternionic type .

Proof. The proof analyses the tensor product $V \otimes V$ using the character formula from 07.01.06.

The character of $V \otimes V$ is $χ \cdot χ$ , and $V \otimes V = S^{2} V \oplus Λ^{2} V$ decomposes into symmetric and antisymmetric parts. The symmetric square $S^{2} V$ has character $\frac{1}{2} (χ (g)^{2} + χ (g^{2}))$ and the exterior square $Λ^{2} V$ has character $\frac{1}{2} (χ (g)^{2} - χ (g^{2}))$ .

A $G$ -invariant bilinear form on $V$ corresponds to a $G$ -fixed vector in $V^{*} \otimes V^{*}$ , or equivalently in $S^{2} V$ (symmetric form) or $Λ^{2} V$ (antisymmetric form). Since $V$ is irreducible, $dim Hom_{G} (C, S^{2} V) = ⟨ χ_{S^{2} V}, χ_{1} ⟩_{G}$ and $dim Hom_{G} (C, Λ^{2} V) = ⟨ χ_{Λ^{2} V}, χ_{1} ⟩_{G}$ .

Compute:

dim Hom_{G} (C, S^{2} V) = \frac{1}{∣ G ∣} g \sum \frac{1}{2} (χ (g)^{2} + χ (g^{2})) .

dim Hom_{G} (C, Λ^{2} V) = \frac{1}{∣ G ∣} g \sum \frac{1}{2} (χ (g)^{2} - χ (g^{2})) .

The difference is $ν (χ) = dim Hom_{G} (C, S^{2} V) - dim Hom_{G} (C, Λ^{2} V) = \frac{1}{∣ G ∣} \sum_{g} χ (g^{2})$ .

By Schur's lemma 07.01.02, $V^{*} ≅ V$ if and only if $\overset{χ}{ˉ} = χ$ (the character is real-valued). If $V \neq ≅ V^{*}$ , there are no invariant bilinear forms and both dimensions are 0, giving $ν = 0$ .

If $V ≅ V^{*}$ , there exists a unique (up to scalar) invariant bilinear form, so $dim Hom_{G} (C, V^{*} \otimes V^{*}) = 1$ . This form is either symmetric or antisymmetric, so exactly one of the two dimensions equals 1 and the other equals 0. The indicator is $+ 1$ if the form is symmetric, $- 1$ if antisymmetric. $□$

Bridge. The Frobenius-Schur indicator builds toward Schur-Weyl duality 07.05.04 by classifying the symmetry type of invariant bilinear forms on irreducible representations. The foundational reason the indicator is computed from the character values $χ (g^{2})$ is that squaring a group element detects the distinction between symmetric and antisymmetric invariant forms through the symmetric and exterior square decompositions. This is exactly the bridge between the character table (purely arithmetic data) and the representation's real structure (geometric data). The indicator appears again in the theory of compact Lie groups 07.07.01, where the same classification governs the relationship between complex and real Lie group representations. Putting these together, the pattern generalises: for any compact group, the Frobenius-Schur indicator distinguishes the three symmetry types of invariant forms on irreducible representations.

Exercises [Intermediate+]

Exercise 5 (medium, proof).

Prove that the number of irreducible representations of $G$ that are either real or quaternionic (i.e., with $ν (χ) \neq = 0$ ) equals the number of conjugacy classes $K$ of $G$ such that $K^{2} = {g^{- 1} : g \in K}$ is a conjugacy class equal to $K$ (self-inverse conjugacy classes).

Hint

Use the orthogonality relations. $\sum_{χ} ν (χ)^{2} = \sum_{χ} ∣ \frac{1}{∣ G ∣} \sum_{g} χ (g^{2}) ∣^{2}$ and relate to the number of $g$ with $g^{2}$ conjugate to something.

Answer

The indicator $ν (χ) = \frac{1}{∣ G ∣} \sum_{g} χ (g^{2})$ . The number of irreducibles with $ν \neq = 0$ equals the number of real-valued irreducible characters, since $ν \neq = 0 \Leftrightarrow χ = \overset{χ}{ˉ}$ . A character is real-valued if and only if it is constant on each pair ${K, K^{- 1}}$ of conjugacy classes, where $K^{- 1} = {g^{- 1} : g \in K}$ . The number of real-valued irreducibles equals the number of self-inverse conjugacy classes (those with $K = K^{- 1}$ ) by the Galois-theoretic argument: the number of real-valued characters equals the number of conjugacy classes fixed by the Galois automorphism $z \mapsto \overset{z}{ˉ}$ , which are the self-inverse classes. $□$

Exercise 6 (hard, proof).

Let $V$ be an irreducible representation with character $χ$ and Frobenius-Schur indicator $ν (χ) = - 1$ . Show that $V \otimes V$ contains the principal representation with multiplicity 0 and the sign representation (in a suitable sense) with multiplicity 1 in the exterior square.

Hint

$ν (χ) = dim Hom_{G} (C, S^{2} V) - dim Hom_{G} (C, Λ^{2} V) = - 1$ . Since $V ≅ V^{*}$ , the total $dim Hom_{G} (C, V \otimes V) = 1$ .

Answer

Since $ν (χ) = - 1$ , we have $dim Hom_{G} (C, S^{2} V) - dim Hom_{G} (C, Λ^{2} V) = - 1$ . Because $V ≅ V^{*}$ (as $χ$ is real-valued), $dim Hom_{G} (C, V \otimes V) = dim Hom_{G} (V, V^{*}) = dim Hom_{G} (V, V) = 1$ by Schur's lemma. Since $V \otimes V = S^{2} V \oplus Λ^{2} V$ and the total multiplicity of the principal in $V \otimes V$ is $⟨ χ^{2}, χ_{1} ⟩ = ⟨ χ, \overset{χ}{ˉ} ⟩ = ⟨ χ, χ ⟩ = 1$ (using $\overset{χ}{ˉ} = χ$ ), we get $dim Hom_{G} (C, S^{2} V) + dim Hom_{G} (C, Λ^{2} V) = 1$ . Combining: $dim Hom_{G} (C, S^{2} V) = 0$ and $dim Hom_{G} (C, Λ^{2} V) = 1$ . So the principal representation appears in $Λ^{2} V$ with multiplicity 1 and does not appear in $S^{2} V$ . $□$

Exercise 8 (medium, numeric).

For $G = Q_{8}$ (quaternion group of order 8), the character table has 5 rows. Four characters are 1-dimensional and real-valued. The fifth irreducible character $χ_{5}$ has degree 2 with values $χ_{5} (\pm 1) = \mp 2$ and $χ_{5} (\pm i) = χ_{5} (\pm j) = χ_{5} (\pm k) = 0$ . Is $χ_{5}$ real type, complex type, or quaternionic type? Compute the indicator using the result of Exercise 4 and state the answer as $- 1$ , $0$ , or $1$ .

Hint

You already computed $ν (χ_{5}) = - 1$ in Exercise 4. The question asks for the type classification.

Answer

-1. From Exercise 4, $ν (χ_{5}) = - 1$ , so $χ_{5}$ is quaternionic type. The character is real-valued (all values are real: $2, - 2, 0$ ), yet the representation cannot be written over $R$ . This is the hallmark of quaternionic type: real-valued character but indicator $- 1$ .

Advanced results [Master]

Theorem 1 (Frobenius-Schur count formula). The number of involutions (elements of order 1 or 2) in $G$ equals $\sum_{χ} ν (χ) χ (1)$ , where the sum runs over all irreducible characters.

Theorem 2 (Real structure theorem). An irreducible representation $V$ over $C$ has real type if and only if there exists a real vector space $V_{0}$ and a homomorphism $ρ_{0} : G \to GL (V_{0})$ such that $V ≅ V_{0} \otimes_{R} C$ .

Theorem 3 (Quaternionic structure). An irreducible representation $V$ has quaternionic type if and only if $V$ carries a $G$ -invariant structure of a quaternionic vector space. Equivalently, $End_{G} (V) ⊋ C$ (the commutant is a quaternion algebra), or the representation factors through $GL (V)$ with an invariant symplectic form.

Theorem 4 (Tensor product criterion). For irreducible representations $V$ and $W$ with indicators $ν (V)$ and $ν (W)$ , the tensor product $V \otimes W$ contains the principal representation with multiplicity $\langle \chi_V \chi_W, \chi_1 \rangle = \delta_{V, W^} $. W h e n$ V = W$, the Frobenius-Schur indicator gives the symmetry type of the unique invariant bilinear form ^{[Frobenius-Schur 1906]}.*

Theorem 5 (Indicator and the representation ring). The Frobenius-Schur indicator extends to a ring homomorphism from the representation ring $R (G)$ (modulo the ideal generated by quaternionic representations) to $Z$ , providing a tool for computing tensor product decompositions.

Theorem 6 (Schur-Weyl duality connection). In Schur-Weyl duality 07.05.04, the decomposition of $(C^{n})^{\otimes k}$ under $GL_{n} (C) \times S_{k}$ is governed by the irreducible representations of $S_{k}$ . The Frobenius-Schur indicator of the Specht module $S^{λ}$ determines whether the corresponding $GL_{n}$ -representation is real, complex, or quaternionic, with the indicator computable from the Young diagram $λ$ ^{[James-Liebeck §13]}.

Synthesis. The Frobenius-Schur indicator builds toward the theory of real and quaternionic representations in Lie group theory 07.07.01 by providing the finite-group prototype of the real-structure classification. The central insight is that the single integer $ν (χ)$ captures three distinct pieces of information: the existence of a real form, the symmetry type of the invariant bilinear form, and whether the character is self-dual. This is exactly the data that governs how tensor products decompose: the indicator determines whether $V \otimes V$ contains the principal in its symmetric or antisymmetric part. The foundational reason this works is the duality between $V$ and $V^{*}$ mediated by the squaring map $g \mapsto g^{2}$ , which is the bridge between the character arithmetic and the bilinear-form geometry. Putting these together, the pattern generalises to compact Lie groups: the indicator classifies representations into the three symmetry types that govern invariant differential forms, Hodge theory, and index theorems. The Frobenius-Schur indicator appears again in the theory of spin representations and the classification of Clifford modules, where the same three-fold distinction between real, complex, and quaternionic structures recurs.

Full proof set [Master]

Proposition 1 (Characters of symmetric and exterior squares). For a representation $V$ with character $χ$ , the characters of $S^{2} V$ and $Λ^{2} V$ are $χ_{S^{2} V} (g) = \frac{1}{2} (χ (g)^{2} + χ (g^{2}))$ and $χ_{Λ^{2} V} (g) = \frac{1}{2} (χ (g)^{2} - χ (g^{2}))$ .

Proof. Choose a basis of $V$ in which $ρ (g)$ is diagonal with eigenvalues $λ_{1}, \dots, λ_{d}$ . The eigenvalues of $ρ (g) \otimes ρ (g)$ are $λ_{i} λ_{j}$ for all pairs $(i, j)$ . The symmetric square has eigenvalues $λ_{i} λ_{j}$ for $i \leq j$ and the exterior square has eigenvalues $λ_{i} λ_{j}$ for $i < j$ . The trace of $ρ (g) \otimes ρ (g)$ is $χ (g)^{2} = (\sum λ_{i})^{2}$ . The trace of $ρ (g^{2})$ is $\sum λ_{i}^{2}$ . Then $χ (g)^{2} + χ (g^{2}) = (\sum λ_{i})^{2} + \sum λ_{i}^{2} = 2 \sum_{i \leq j} λ_{i} λ_{j} = 2 χ_{S^{2} V} (g)$ , and $χ (g)^{2} - χ (g^{2}) = 2 \sum_{i < j} λ_{i} λ_{j} = 2 χ_{Λ^{2} V} (g)$ . $□$

Proposition 2 (Frobenius-Schur count formula). $\sum_{χ \in Irr (G)} ν (χ) χ (1) = ∣ {g \in G : g^{2} = e} ∣$ .

Proof. $\sum_{χ} ν (χ) χ (1) = \sum_{χ} \frac{χ ( 1 )}{∣ G ∣} \sum_{g} χ (g^{2}) = \frac{1}{∣ G ∣} \sum_{g} \sum_{χ} χ (1) \overline{χ_{1} (g^{2})} \cdot χ_{1} (g^{2}) / χ_{1} (g^{2})$ . By the second orthogonality relation 07.01.04, $\sum_{χ} χ (1) χ (h) = 0$ for $h \neq = e$ and $= ∣ G ∣$ for $h = e$ . Setting $h = g^{2}$ : the sum $\sum_{χ} χ (1) χ (g^{2})$ is $∣ G ∣$ if $g^{2} = e$ and $0$ otherwise. Hence $\frac{1}{∣ G ∣} \sum_{g} \sum_{χ} χ (1) χ (g^{2}) = \frac{1}{∣ G ∣} \sum_{g : g^{2} = e} ∣ G ∣ = ∣ {g : g^{2} = e} ∣$ . $□$

Connections [Master]

Character of a representation 07.01.03. The Frobenius-Schur indicator is computed entirely from the character table values $χ (g^{2})$ , making it a character-theoretic invariant that does not require knowledge of the actual representation matrices.
Tensor product of representations 07.01.06. The proof of the indicator formula uses the decomposition $V \otimes V = S^{2} V \oplus Λ^{2} V$ and the character formulas for symmetric and exterior squares.
Schur-Weyl duality 07.05.04. The Frobenius-Schur indicator of Specht modules determines the real/complex/quaternionic type of the corresponding $GL_{n}$ -representations in the Schur-Weyl decomposition.
Compact Lie group representation 07.07.01. The three-fold classification into real, complex, and quaternionic types extends from finite groups to compact Lie groups, where the indicator governs the relationship between complex and real representations.

Historical & philosophical context [Master]

Ferdinand Frobenius and Issai Schur introduced the indicator in their 1906 paper Über die reellen Darstellungen der endlichen Gruppen ^{[Frobenius-Schur 1906]}. They classified the irreducible representations of finite groups into the three types (real, complex, quaternionic) and showed that the indicator $\frac{1}{∣ G ∣} \sum_{g} χ (g^{2})$ distinguishes them. This was one of the last major contributions of Frobenius to representation theory before his death in 1917.

Schur further developed the theory in connection with what is now called Schur-Weyl duality 07.05.04, where the indicator of the Specht module $S^{λ}$ of the symmetric group determines the real structure of the corresponding irreducible representation of $GL_{n}$ . The quaternionic type (indicator $- 1$ ) was particularly significant: its existence showed that not every real-valued character comes from a real representation, requiring the richer quaternionic framework. The Goodman-Wallach textbook Symmetry, Representations, and Invariants (1998) gives the modern treatment connecting the indicator to invariant theory and duality ^{[Goodman-Wallach 1998]}. The Curtis-Reiner textbook Methods of Representation Theory §11 contains the definitive algebraic treatment of the indicator and its applications to the Schur index and splitting fields.

Bibliography [Master]

@article{FrobeniusSchur1906,
  author = {Frobenius, Ferdinand Georg and Schur, Issai},
  title = {Über die reellen Darstellungen der endlichen Gruppen},
  journal = {Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin},
  year = {1906},
  pages = {186--208},
}

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

@book{JamesLiebeck2001,
  author = {James, Gordon and Liebeck, Martin},
  title = {Representations and Characters of Groups},
  publisher = {Cambridge University Press},
  year = {2001},
  edition = {2nd},
}

@book{GoodmanWallach1998,
  author = {Goodman, Roe and Wallach, Nolan R.},
  title = {Representations and Invariants of the Classical Groups},
  publisher = {Cambridge University Press},
  year = {1998},
}

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

Prerequisites

07.01.03
07.01.04
07.01.06

Tier anchors

beginner: Classifying representations as real, complex, or quaternionic — a three-way colour test
intermediate: Frobenius-Schur 1906; Isaacs Ch. 4; James-Liebeck §13
master: Frobenius-Schur 1906; Curtis-Reiner §11; Goodman-Wallach §3.1; Schur-Weyl duality

References

TODO_REF
Frobenius, Schur — Über die reellen Darstellungen der endlichen Gruppen (1906) · Sitzungsberichte, the Frobenius-Schur indicator and classification
TODO_REF
Isaacs — Character Theory of Finite Groups · Ch. 4, the Frobenius-Schur indicator
TODO_REF
James-Liebeck — Representations and Characters of Groups · §13, real, complex and quaternionic representations
TODO_REF
Goodman-Wallach — Symmetry, Representations, and Invariants · §3.1, Frobenius-Schur indicator and duality

Reviewer

TBD

Estimated time

beginner: 15m
intermediate: 40m
master: 70m