The total angular momentum operators can be shown to satisfy the very same commutation relations, [ J k , J l ] = i ℏ ℏ ε ε k l m J m , where k, l, m ∈ { x, y, z }. Indeed, the preceding construction is the standard method for constructing an action of a Lie algebra on a tensor product representation.