The four constructed submodules have the distinct shapes , , and , so they are pairwise nonisomorphic irreducible characteristic-zero modules. Complete reducibility therefore makes their sum direct. The given decomposition of and the dimension identity in (a) show their dimensions sum to . Their direct sum is consequently the whole module:

Articles by others on the same topic (0)

There are currently no matching articles.