Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Where do I foul up?

In (e.g.) $SU(3)=A_2$ the tensor product $(1,0)\otimes (1,0)=(2,0)+(0,1)$. No $(0,0)$. But on the other hand still $(1,0)\otimes (0,0)=(1,0)$. This immediately begs the question

  1. what happened to Schur's lemma and
  2. imagine some 6j symbol $(ABC|DEF)$ where $A=B=(1,0)$, $C=(0,0)$. Is $ABC$ no admissible triangle and the 6j vanishes?

My only idea is that the Dynkin diagram is symmetric and you first must symmetrize/antisymmetrize over the reps to get the correct ones, i.e. the proper irreps in this case would be $((1,0)+(0,1))/V2$ and $((1,0)-(0,1))/V2$. (And what does this do to the dimensions? Same as $(1,0)$ and $(0,1)$, I think.)

share|cite|improve this question
I'm not familiar with the notation, but in general there's no reason that, for a representation $V$, $V \otimes V$ will contain a copy of the trivial representation. (It is true that $V \otimes V^{\vee} \simeq V \otimes \overline{V}$ will, though.) – Akhil Mathew Aug 29 '12 at 15:02
I don't think your question is comprehensible. Could you at least cite Schur's lemma and explain why it has any bearing on this question. – Marc van Leeuwen Aug 30 '12 at 9:01

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.