While almost all accessible references indicate/demonstrate that group SO(4) = SU(2)⊗SU(2), I've come across two references that state the relationship as SO(4) = SU(2)⊕SU(2).

Is the latter equation referring to the Lie algebra? Or is it a typo?

Clarification appreciated.

  • 1
    $\begingroup$ Could you give a reference saying that $SO(4)=SU(2)\otimes SU(2)$? What is true is that $$(SU(2)\times SU(2))/{\Bbb Z_2}\cong SO(4).$$ The $\oplus$ is for vector spaces, i.e., for Lie algebras. $\endgroup$ – Dietrich Burde Mar 1 at 12:21
  • $\begingroup$ @DietrichBurde Sure: arxiv.org/pdf/quant-ph/0608186v2.pdf . And if the + is for the Lie Algebras, that answers my question. Many thanks $\endgroup$ – iSeeker Mar 1 at 12:24
  • 1
    $\begingroup$ Is this the tensor product considered as representations? For the other isomorphism see here. $\endgroup$ – Dietrich Burde Mar 1 at 12:42
  • $\begingroup$ @DietrichBurde It could also just be physicists using different notation (I have seen them use $\otimes$ for direct product before at least). $\endgroup$ – Tobias Kildetoft Mar 1 at 12:58
  • $\begingroup$ @TobiasKildetoft I see. But then, how to deal with the non-trivial kernel $\Bbb Z_2$? $\endgroup$ – Dietrich Burde Mar 1 at 13:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.