 Fixed-vector space

The fixed-vector space is $V^K=\{v:\pi (k)v=v\text{ for all }k\in K\}$. Conjugation gives an isomorphism $V^K\to V^{gK{g}^{-1}}$, $v\mapsto \pi (g)v$. If $K\subseteq L$, then $V^L\subseteq V^K$.