Definition
Subrepresentation and Invariant Subspace
Given a $G$-representation $(V, \rho)$ (Definition~Group Representation), a subspace $W \subseteq V$ is $G$-invariant (a subrepresentation) if $\rho(g)w \in W$ for all $g \in G$, $w \in W$.
The restriction $\rho|_W$ then defines a representation of $G$ on $W$.
Depends on
Dependency Graph
flowchart LR
classDef current fill:#6366f1,color:#fff,stroke:#4f46e5
nca6bd350["Representation"]
n45f1bf4d["Subrepresentation and Invariant Subspace"]:::current
na8ec3e23["Irreducible Representation"]
nc8a0881e["Irreducible Representation"]
na4ca6986["Complete Reducibility"]
nca6bd350 --> n45f1bf4d
n45f1bf4d --> na8ec3e23
n45f1bf4d --> nc8a0881e
n45f1bf4d --> na4ca6986
click nca6bd350 "../objects/ca6bd350.html" "_self"
click na8ec3e23 "../objects/a8ec3e23.html" "_self"
click nc8a0881e "../objects/c8a0881e.html" "_self"
click na4ca6986 "../objects/a4ca6986.html" "_self"