This action might not be possible to undo. Are you sure you want to continue?

1

Schur's lemma

In mathematics, Schur's lemma[1] is an elementary but extremely useful statement in representation theory of groups and algebras. In the group case it says that if M and N are two finite-dimensional irreducible representations of a group G and φ is a linear map from M to N that commutes with the action of the group, then either φ is invertible, or φ = 0. An important special case occurs when M = N and φ is a self-map. The lemma is named after Issai Schur who used it to prove Schur orthogonality relations and develop the basics of the representation theory of finite groups. Schur's lemma admits generalisations to Lie groups and Lie algebras, the most common of which is due to Jacques Dixmier.

**Formulation in the language of modules
**

If M and N are two simple modules over a ring R, then any homomorphism f: M → N of R-modules is either invertible or zero. In particular, the endomorphism ring of a simple module is a division ring.[2] The condition that f is a module homomorphism means that

The group version is a special case of the module version, since any representation of a group G can equivalently be viewed as a module over the group ring of G. Schur's lemma is frequently applied in the following particular case. Suppose that R is an algebra over the field C of complex numbers and M = N is a finite-dimensional simple module over R. Then Schur's lemma says that the endomorphism ring of the module M is a division ring; this division ring contains C in its center, is finite-dimensional over C and is therefore equal to C. Thus the endomorphism ring of the module M is "as small as possible". More generally, this result holds for algebras over any algebraically closed field and for simple modules that are at most countably-dimensional. When the field is not algebraically closed, the case where the endomorphism ring is as small as possible is of particular interest: A simple module over k-algebra is said to be absolutely simple if its endomorphism ring is isomorphic to k. This is in general stronger than being irreducible over the field k, and implies the module is irreducible even over the algebraic closure of k.

Matrix form

Let G be a complex matrix group. This means that G is a set of square matrices of a given order n with complex entries and G is closed under matrix multiplication and inversion. Further, suppose that G is irreducible: there is no subspace V other than 0 and the whole space which is invariant under the action of G. In other words,

Schur's lemma, in the special case of a single representation, says the following. If A is a complex matrix of order n that commutes with all matrices from G then A is a scalar matrix. If G is not irreducible, then this is not true. For example, if one takes the subgroup D of diagonal matrices inside of GL(n,C), then the center of D is D, which contains non scalar matrices. As a simple corollary, every complex irreducible representation of Abelian groups is one-dimensional. See also Schur complement.

Schur's lemma

2

**Generalization to non-simple modules
**

The one module version of Schur's lemma admits generalizations involving modules M that are not necessarily simple. They express relations between the module-theoretic properties of M and the properties of the endomorphism ring of M. A module is said to be strongly indecomposable if its endomorphism ring is a local ring. For the important class of modules of finite length, the following properties are equivalent (Lam 2001, §19): • A module M is indecomposable; • M is strongly indecomposable; • Every endomorphism of M is either nilpotent or invertible. In general, Schur's lemma cannot be reversed: there exist modules that are not simple, yet their endomorphism algebra is a division ring. Such modules are necessarily indecomposable, and so cannot exist over semi-simple rings such as the complex group ring of a finite group. However, even over the ring of integers, the module of rational numbers has an endomorphism ring that is a division ring, specifically the field of rational numbers. Even for group rings, there are examples when the characteristic of the field divides the order of the group: the Jacobson radical of the projective cover of the one-dimensional representation of the alternating group on five points over the field with three elements has the field with three elements as its endomorphism ring.

Notes

[1] Issai Schur (1905) "Neue Begründung der Theorie der Gruppencharaktere" (http:/ / books. google. com/ books?id=KwUoAAAAYAAJ& pg=PA406& #v=onepage& q& f=false) (New foundation for the theory of group characters), Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin, pages 406-432. [2] Lam (2001), p. 33 (http:/ / books. google. com/ books?id=f15FyZuZ3-4C& pg=PA33& dq="Schur's+ Lemma").

References

• David S. Dummit, Richard M. Foote. Abstract Algebra. 2nd ed., pg. 337. • Lam, Tsit-Yuen (2001), A First Course in Noncommutative Rings, Berlin, New York: Springer-Verlag, ISBN 978-0-387-95325-0

Article Sources and Contributors

3

**Article Sources and Contributors
**

Schur's lemma Source: http://en.wikipedia.org/w/index.php?oldid=528219236 Contributors: Arcfrk, Artie p, Bodera, Charles Matthews, Cwkmail, David Eppstein, FelixP, Fistel, Fropuff, Gauge, Giftlite, Helder.wiki, JackSchmidt, Joriki, Keyi, Laurentius, MarSch, MathMartin, Mbw314, Michael Hardy, Michael Shulman, NoldorinElf, P.wormer, PV=nRT, R'n'B, TakuyaMurata, 12 anonymous edits

License

Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/

- Weber Test
- Tantra Sam Gra Ha
- The Hay Wain
- Achromatic Lens
- Cassini Oval
- Regiomontanus' Angle Maximization Problem
- Yttrium
- PURCHASE ONLYTableau économique
- PURCHASE ONLYVertumnus and Pomona
- PURCHASE ONLYSystema Naturae
- PURCHASE ONLYIl giorno
- PURCHASE ONLYMelencolia I
- Voltages
- PURCHASE ONLYBursa of Fabricius
- PURCHASE ONLYThe Four Evangelists
- PURCHASE ONLYRubaiyat of Omar Khayyam
- Enclosures
- PURCHASE ONLYVaccination
- Starters
- PURCHASE ONLYWitch of Agnesi
- CCRs
- PURCHASE ONLYL'Incoronazione Di Poppea
- OCPDs
- PURCHASE ONLYMr and Mrs Andrews
- Motors

Sign up to vote on this title

UsefulNot usefulSchur's lemma

Schur's lemma

- Michel 2
- Notes Final
- Mathieu Dutour Sikiric- Crystallographic groups
- M507_HW_10
- Permutation
- MATH3175 Fa10 Practice6 Sol
- Brent
- Rep n Control
- algtop
- notes8[1]
- J.H. Conway, R.T. Curtis, S.P. Norton, R.A. Parker and R.A. Wilson - Atlas of Finite Groups
- gj jg
- Algebra Abstrata Ufrj Luciane
- Homology Notes
- Grp Examples
- Suzuki Groups
- Algebraic Homogeneous Spaces of Algebraic Groups
- AppendixC_Grouptheory
- Representation Theory of Algebraic Groups
- 75_1-3_183
- Lecture Notes on Lie Algebras
- Glossary of Semisimple Groups
- Algebraic Groups
- Topology Exercises and Sol1
- Rigid Transformations
- Picard Group
- Sub Group
- spinor
- Lie Groups
- Lectures on N-categories and Cohomology
- Schur's lemma

Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

We've moved you to where you read on your other device.

Get the full title to continue

Get the full title to continue reading from where you left off, or restart the preview.

scribd