Definition
Complete Reducibility
A representation $V$ (Definition~Group Representation) is completely reducible (semisimple) if it decomposes as a direct sum (Definition~Direct Sum of Representations) of irreducible subrepresentations (Definition~Irreducible Representation, Definition~Subrepresentation).
Depends on
Dependency Graph
flowchart LR
classDef current fill:#6366f1,color:#fff,stroke:#4f46e5
nca6bd350["Representation"]
n36d19f67["Direct Sum of Representations"]
nc8a0881e["Irreducible Representation"]
n45f1bf4d["Subrepresentation and Invariant Subspace"]
na4ca6986["Complete Reducibility"]:::current
n692f1650["Maschke's Theorem for Compact Groups"]
nca6bd350 --> na4ca6986
n36d19f67 --> na4ca6986
nc8a0881e --> na4ca6986
n45f1bf4d --> na4ca6986
na4ca6986 --> n692f1650
click nca6bd350 "../objects/ca6bd350.html" "_self"
click n36d19f67 "../objects/36d19f67.html" "_self"
click nc8a0881e "../objects/c8a0881e.html" "_self"
click n45f1bf4d "../objects/45f1bf4d.html" "_self"
click n692f1650 "../objects/692f1650.html" "_self"