 Invariant direct-sum decomposition

An invariant direct-sum decomposition splits a space into nonzero subspaces preserved by the operator.