G\\ to\\ text (V) be a linear representation and let W be a G-invariant subspace of V. Then the complement\\ textstyle W ^ 0 of W exists in V and is G-invariant.
G\\ to\\ text (V) be a linear representation where V is a vector space over a field of characteristic zero. Let W be a G-invariant subspace of V. Then the complement W ^ 0 of W exists in V and is G-invariant.