Die Restklassengruppe G / H {\displaystyle {}G/H} operiert auf R H {\displaystyle {}R^{H}} durch
und es ist
![{\displaystyle {}f[\sigma ]:=f\sigma \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8938310c3c799bb0264b12bf8f38987c42605555)
