Gruppe/Raum/Vollständig reduzible Darstellung/Definition

Vollständig reduzible Darstellung

Eine Darstellung

$\rho \colon G\longrightarrow \operatorname {GL} _{}{\left(V\right)}$

einer Gruppe ${}G$ in einem ${}K$-Vektorraum ${}V$ heißt vollständig reduzibel, wenn ${}V$ die direkte Summe aus ${}G$-invarianten Untervektorräumen ist, die jeweils irreduzibel sind.