Is this a good proof of Schur's Lemma?

  • Context: Undergrad 
  • Thread starter Thread starter kent davidge
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
SUMMARY

This discussion centers on the proof of Schur's Lemma, particularly focusing on the irreducible representation of a group denoted as ##D(g)##. The author presents a derivation involving the equation ##D(g)(A - \kappa I) v = 0##, concluding that if ##D(g)## annihilates vector ##v##, then ##A = \kappa I## must hold true. The conversation highlights the importance of specifying the context and definitions of the variables involved, such as ##A, D, v, g,## and ##\kappa##, to ensure clarity in the proof.

PREREQUISITES
  • Understanding of Schur's Lemma in representation theory
  • Familiarity with irreducible representations and their properties
  • Knowledge of linear operators and eigenvalues
  • Basic concepts of group theory
NEXT STEPS
  • Study the implications of Schur's Lemma in representation theory
  • Explore the properties of irreducible representations in detail
  • Learn about the relationship between linear operators and their eigenvalues
  • Investigate examples of group actions on vector spaces
USEFUL FOR

This discussion is beneficial for mathematicians, physicists, and students studying representation theory, particularly those interested in the applications and proofs related to Schur's Lemma.

kent davidge
Messages
931
Reaction score
56
There are plenty of proofs of Schur's lemma on the internet, but I find them hard to follow. Then I came up with my own result, but I'm not sure if it's good enough.

Consider ##A v = \kappa v## and ##A v=\kappa v ##. Operating with ##D(g)## the equation then becomes ##D(g)A v = \kappa D(g) v## or ##D(g)(A - \kappa I) v = 0##. But ##A## and ##D(g)## commute, so ##(A - \kappa I)D(g) v = 0##.

Then there would be two possibilites. The first is that the parenthetic quantity vanishes and the second ##D(g)## anihilates ##v##. But this is not true in general for any ##g##. Then the first case would hold, i.e., ##A = \kappa I##.
 
Physics news on Phys.org
Oops I should have said that ##D(g)## is irreducible representation. I guess it's completely possible for a reducible representation to map ##v## to the zero vector for any group element ##g##, that is anihilate it, that is let the space consisting of the zero vector invariant.
 
kent davidge said:
Oops I should have said that ##D(g)## is irreducible representation
You should also have stated which version of Schur's Lemma you are talking about, what ##A,D,v,g,\kappa## are, why ##A## commutes with ##D(g)## and why you can conclude that ##A-\kappa I = 0## only because it vanishes for a certain element ##w:=D(g)(v)## which you have specified by ##Av=\kappa v\,.##
 
  • Like
Likes   Reactions: jim mcnamara

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
2
Views
1K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K