I want to prove that:
[J_1,G_1] = 0
Where J is the rotation operator and G is the boost operator (subscript refers to the axis).
I am using the Jacobi identity:
[[J_1,J_2],G_3] = [[G_3,J_2],J_1] +[[J_1,G_3],J_2]
Using other identities, I got:
[J_3,G_3] = [G_2,J_2] - [G_1,J_1]...