PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Schur's lemma (Theorem)

Schur's lemma is a fundamental result in representation theory, an elementary observation about irreducible modules, which is nonetheless noteworthy because of its profound applications.

Lemma 1 (Schur's lemma)   Let $G$ be a finite group and let $V$ and $W$ be irreducible $G$ -modules. Then, every $G$ -module homomorphism $f: V \to W$ is either invertible or the trivial zero map.
Proof. Note that both the kernel, $\ker f$ , and the image, $\image f$ , are $G$ -submodules of $V$ and $W$ , respectively. Since $V$ is irreducible, $\ker f$ is either trivial or all of $V$ . In the former case, $\image f$ is all of $W$ -- also because $W$ is irreducible -- and hence $f$ is invertible. In the latter case, $f$ is the zero map. $ \qedsymbol$

One of the most important consequences of Schur's lemma is the following.

Corollary 1   Let $V$ be a finite-dimensional, irreducible $G$ -module taken over an algebraically closed field. Then, every $G$ -module homomorphism $f: V \to V$ is equal to a scalar multiplication.
Proof. Since the ground field is algebraically closed, the linear transformation $f: V\to V$ has an eigenvalue; call it $\lambda$ . By definition, $f - \lambda 1$ is not invertible, and hence equal to zero by Schur's lemma. In other words, $f = \lambda$ , a scalar. $ \qedsymbol$




"Schur's lemma" is owned by rmilson. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: group representation, dense ring of linear transformations

Log in to rate this entry.
(view current ratings)

Cross-references: words, eigenvalue, linear transformation, ground field, multiplication, scalar, field, algebraically closed, finite-dimensional, consequences, image, kernel, zero map, invertible, homomorphism, finite group, applications, irreducible modules, representation, Schur's Lemma
There is 1 reference to this entry.

This is version 19 of Schur's lemma, born on 2002-11-04, modified 2006-06-12.
Object id is 3570, canonical name is SchursLemma.
Accessed 10313 times total.

Classification:
AMS MSC20C99 (Group theory and generalizations :: Representation theory of groups :: Miscellaneous)
 20C15 (Group theory and generalizations :: Representation theory of groups :: Ordinary representations and characters)

Pending Errata and Addenda
None.
[ View all 5 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)