Lineare Gruppenoperation/Polynomring/Relative Invarianten zu Charakter/Definition

Relative Invarianten

Es sei ${}K$ ein Körper, ${}V$ ein ${}K$-Vektorraum und

$G\times V\longrightarrow V$

eine lineare Operation einer Gruppe ${}G$ auf ${}V$. Es sei

$\chi \colon G\longrightarrow K^{\times }$

ein Charakter. Dann nennt man

${}K[V]_{\chi }^{G}:={\left\{f\in K[V]\mid f\sigma =\chi (\sigma )\cdot f{\text{ für alle }}\sigma \in G\right\}}\,$

die ${}\chi$-relativen Invarianten oder Semiinvarianten.