Schur’s Lemma
Now that we know that images and kernels of –morphisms between –modules are -modules as well, we can bring in a very general result.
Remember that we call a -module irreducible or “simple” if it has no nontrivial submodules. In general, an object in any category is simple if it has no nontrivial subobjects. If a morphism in a category has a kernel and an image — as we’ve seen all -morphisms do — then these are subobjects of the source and target objects.
So now we have everything we need to state and prove Schur’s lemma. Working in a category where every morphism has both a kernel and an image, if is a morphism between two simple objects, then either is an isomorphism or it’s the zero morphism from to . Indeed, since is simple it has no nontrivial subobjects. The kernel of is a subobject of , so it must either be itself, or the zero object. Similarly, the image of must either be itself or the zero object. If either or then is the zero morphism. On the other hand, if and we have an isomorphism.
To see how this works in the case of -modules, every time I say “object” in the preceding paragraph replace it by “-module”. Morphisms are -morphisms, the zero morphism is the linear map sending every vector to , and the zero object is the trivial vector space . If it feels more comfortable, walk through the preceding proof making the required substitutions to see how it works for -modules.
In terms of matrix representations, let’s say and are two irreducible matrix representations of , and let be any matrix so that for all . Then Schur’s lemma tells us that either is invertible — it’s the matrix of an isomorphism — or it’s the zero matrix.
[…] is the identity matrix. The matrix commutes with for every complex scalar , and so Schur’s lemma will apply to all of […]
Pingback by Endomorphism and Commutant Algebras « The Unapologetic Mathematician | October 1, 2010 |
[…] we can apply Schur’s lemma to all of them. In the middle two equations, we see that both and must be either be invertible or […]
Pingback by Some Commutant Algebras « The Unapologetic Mathematician | October 4, 2010 |
[…] time, Schur’s lemma tells us that each is an intertwinor between and itself. And so we conclude that each of the […]
Pingback by More Commutant Algebras « The Unapologetic Mathematician | October 5, 2010 |
[…] What I do want to get into right now, is calculating the center of the matrix algebra . The answer is reminiscent of Schur’s lemma: […]
Pingback by The Center of an Algebra « The Unapologetic Mathematician | October 6, 2010 |
[…] this point, Schur’s lemma kicks in to tell us that if then is the zero matrix, while if then is a scalar times the […]
Pingback by Irreducible Characters are Orthogonal « The Unapologetic Mathematician | October 22, 2010 |
[…] straightforward concept: it’s a module such that its only submodules are and . As usual, Schur’s lemma tells us that any morphism between two irreducible modules is either or an isomorphism. And, as […]
Pingback by Irreducible Modules « The Unapologetic Mathematician | September 15, 2012 |