Can the Direct Sum of Non-Commuting Lie Algebras be Used in L(SO(4))?

[deadringer]

We are asked to show that L(SO(4)) = L(SU(2)) (+) L(SU(2))

where L is the Lie algebra and (+) is the direct product.

We are given the hint to consider the antisymmetric 4 by 4 matrices where each row and column has a single 1/2 or -1/2 in it.

By doing this we generate four matrices, call them S1, S2, T1, T2
we can show that the commutator of S1, S2 generates another matrix S3 and that the same occurs for the T's. We can show that the 6 matrices form a general basis for L(SO(4))

we then get the following commutation relations:

[Sa, Sb] = epsilon(a,b,c) Sc
[Ta, Tb] = epsilon(a,b,c) Tc
and [Ta, Sb] = 0

We can then see that the S and T matrices form a basis for L(SU(2)) as they obey the correct commutation relations, and therefore the direct sum of these two Lie algebras forms the lie algebra for L(SO(4)).

My question is if we require the two L(SU(2))'s to commute (as they in this case do) in order use their direct sum, or is it okay to take a direct sum of two non-commuting lie algebras. thanks

 

[George Jones]

Let L_1 and L_2 be any Lie algebras. Since L_1 and L_2 are vector spaces, the external vector space direct sum L_1 \oplus L_2 can be formed. The underlying set for the vector space direct sum is

L_1 \times L_2 = \left\{ \left( x,y \right) | x \in L_1, y \in L_2 \right\}.

In order for this set to have vector space structure, scalar multiplication and addition of ordered pairs must be defined. This is done in a natural way:

c \left( x,y \right) := \left( cx,cy \right);

\left( x_1,y_1 \right) + \left( x_2,y_2 \right) := \left( x_1 + x_2,y_1 + y_2 \right).

Now in order to get a Lie algebra, a commutator must be defined on ordered pairs:

\left[\left( x_1,y_1 \right) , \left( x_2,y_2 \right)\right] := \left( \left[x_1,x_2\right] , \left[y_1,y_2\right]\right).

Note that

\left[\left( x , 0 \right) , \left( 0,y \right)\right] = \left( \left[x , 0\right] , \left[0,y\right \right)] = 0.

 

[deadringer]

thanks, I've got it now

 

[dextercioby]

How would you show those 6 matrices forma a basis in so(4) ?