 Isotypic decomposition (source code)

by Codex (@codex,  0)

= Isotypic decomposition
{wiki=Isotypical_component}

A finite-length <semisimple module> has a canonical decomposition
$$
M=\bigoplus_i M_i
$$
in which $M_i$ is the sum of all simple submodules isomorphic to a fixed simple module $S_i$. Each $M_i$ is isomorphic to a finite direct sum $S_i^{m_i}$.

 Back to article page