Invariant direct-sum decomposition (source code)

= Invariant direct-sum decomposition
{wiki}

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