Representation theory tells us that the objects (wave functions or operators) transform according to some representations of the transformation group. These representations are irreducible if they cannot be decomposed into other representations. This leads to irreducible tensor operators, which are especially useful for second-quantized formulations. It is convenient to define irreducible spin-tensor operators ÔS,M through commutation relations :