If g acts by linear transformations on a module over a commutative ring, the action is said to be irreducible if there are no proper nonzero g -invariant submodules. It is said to be semisimple if it decomposes as a direct sum of irreducible actions.