Schur's Lemma — Mathematics Knowledge System

Overview

Schur's lemma is a foundational result in representation theory stating that a G-equivariant map between irreducible representations is either zero or an isomorphism, and over an algebraically closed field every G-equivariant endomorphism of an irreducible representation is a scalar multiple of the identity. This deceptively simple statement has far-reaching consequences: it underpins the orthogonality of irreducible characters, the block-diagonal structure of the group algebra, and the representation theory of algebras.

Intuition

A G-equivariant map φ: V → W must send G-invariant subspaces of V to G-invariant subspaces of W. If V is irreducible, ker(φ) is either 0 or V; if W is irreducible, Im(φ) is either 0 or W. So either φ = 0 or φ is an isomorphism. Over ℂ, a G-equivariant endomorphism must have an eigenvalue (since ℂ is algebraically closed), and the eigenspace is G-stable — irreducibility then forces it to be all of V.

Formal Definition

Definition

Let G be a group and V, W irreducible representations over a field k.

\phi \in \mathrm{Hom}_G(V, W) \implies \phi = 0 \text{ or } \phi \text{ is an isomorphism}

Schur's Lemma — Part 1 (any field)

\mathrm{End}_G(V) \cong k \cdot \mathrm{id}_V \quad \text{if } k \text{ is algebraically closed}

Schur's Lemma — Part 2 (algebraically closed field)

\mathrm{Hom}_G(V, W) = \begin{cases} k & V \cong W \\ 0 & V \not\cong W \end{cases} \quad (k \text{ algebraically closed})

Consequence: intertwining space dimension

Notation

Notation	Meaning
$\mathrm{Hom}_G(V,W)$	Space of G-equivariant (intertwining) maps from V to W
$\mathrm{End}_G(V)$	G-equivariant endomorphisms of V

Properties

Schur's lemma for algebras

Schur's lemma holds for modules over any ring: if M, N are simple modules and f: M → N is a module map, then f = 0 or f is an isomorphism.

Division ring structure

\mathrm{End}_G(V) \text{ is always a division ring (Schur's lemma for any field)}

Theorems

Theorem 1: Schur's Lemma

If V and W are irreducible G-representations and \phi : V \to W is G-equivariant, then \phi = 0 or \phi is an isomorphism. If k is algebraically closed, \mathrm{End}_G(V) = k \cdot \mathrm{id}.

Theorem 2: Wedderburn consequence

For a finite group G over k algebraically closed with char(k) \nmid |G|: kG \cong \prod_{V_i \in \mathrm{Irr}(G)} \mathrm{Mat}_{\dim V_i}(k)

Worked Examples

1
Let φ: V → W be a non-zero G-equivariant map. ker(φ) is a G-invariant subspace of V.
$\ker \phi \text{ is G-stable}$
2
Since V is irreducible, ker(φ) = 0 (as φ ≠ 0) or ker(φ) = V. Since φ ≠ 0, ker(φ) = 0, so φ is injective.
$\ker \phi = 0 \implies \phi \text{ injective}$
3
Im(φ) is a non-zero G-invariant subspace of W. Since W is irreducible, Im(φ) = W, so φ is surjective.
$\mathrm{Im}\,\phi = W \implies \phi \text{ surjective}$

✓ Answer

φ is both injective and surjective, hence an isomorphism.

Practice Problems

Mediumproof writing

Show that every irreducible representation of an abelian group over ℂ is 1-dimensional using Schur's lemma.

Mediumfree response

Explain why Schur's lemma fails to give End_G(V) = k over ℝ, and give an example.

Common Mistakes

Common Mistake

Assuming Schur's lemma forces End_G(V) = k over any field

Part 2 requires k to be algebraically closed. Over ℝ, for example, End_G(V) can be ℂ or ℍ (quaternions), since these are the only finite-dimensional division algebras over ℝ.

Common Mistake

Thinking Schur's lemma applies only to finite groups

Schur's lemma holds for any group, algebra, or ring: it is a statement about simple modules. It applies equally to Lie algebra representations, module categories, and abstract algebra.

Quiz

Schur's Lemma says a non-zero G-equivariant map between irreducibles is:

A projectionAn isomorphismA zero mapA scalar multiple of the identity

Over an algebraically closed field, End_G(V) for irreducible V is isomorphic to:

The group algebra kGk (scalars)GL(V)The zero ring

Historical Background

Issai Schur proved this lemma in his 1905 dissertation 'Über eine Klasse von Matrizen'. The result provided the key to unlocking character orthogonality and the structure of the group algebra as a product of matrix algebras (Wedderburn's theorem). The lemma's simplicity belies its power: in the hands of subsequent mathematicians it became one of the most-used tools in algebra, from finite group theory to infinite-dimensional representation theory.

1905
Schur proves the lemma in his dissertation on matrix classes
Issai Schur
1907
Wedderburn structure theorem (related via Schur's lemma)
Joseph Wedderburn
1920s
Weyl applies Schur's lemma to classify irreps of compact Lie groups
Hermann Weyl

Summary

Schur's Lemma Part 1: a non-zero G-equivariant map between irreducible representations is an isomorphism.
Schur's Lemma Part 2: over an algebraically closed field, End_G(V) = k·id for irreducible V.
Consequence: Hom_G(V, W) = k if V ≅ W, and 0 otherwise (over algebraically closed k).
Schur's lemma implies the orthogonality of characters and the Wedderburn decomposition of the group algebra.
The lemma generalises to simple modules over any ring.

References

BookSerre, J.-P. — Linear Representations of Finite Groups (1977), §1.4
BookLang, S. — Algebra, 3rd ed. (2002), Chapter XVIII §1
WebsiteWikipedia — Schur's lemma
WebsiteMathWorld — Schur's Lemma