Solution (source code)

= Solution

Matrix multiplication gives
$$
[J_i,J_j]=\epsilon_{ijk}J_k,
\qquad [J_i,K_j]=\epsilon_{ijk}K_k,
\qquad [K_i,K_j]=-\epsilon_{ijk}J_k.
$$
For example, $[J_1,J_2]=J_3$, $[K_1,K_2]=-J_3$, and $[J_1,K_2]=K_3$. Over $\mathbb C$, define
$$
A_i=\frac12(J_i+iK_i),
\qquad B_i=\frac12(J_i-iK_i).
$$
Then $[A_i,A_j]=\epsilon_{ijk}A_k$, $[B_i,B_j]=\epsilon_{ijk}B_k$, and $[A_i,B_j]=0$. This proves the <chiral decomposition of the complex Lorentz algebra>. Its finite-dimensional irreducible representations are tensor products of irreducible representations of the two factors and are labelled by pairs $(j_L,j_R)$ of nonnegative half-integers.