Es sei ${\displaystyle {}K}$ ein Körper, ${\displaystyle {}V}$ ein endlichdimensionaler ${\displaystyle {}K}$-Vektorraum, auf dem eine Gruppe ${\displaystyle {}G}$ linear operiere. Es sei

${\displaystyle K[V]\times G\longrightarrow K[V]}$

die zugehörige Operation auf dem Polynomring ${\displaystyle {}K[V]}$ und

${\displaystyle G\times \operatorname {Spek} {\left(K[V]\right)}\longrightarrow \operatorname {Spek} {\left(K[V]\right)}}$

Dann liegt über die natürliche Einbettung ${\displaystyle {}V\subseteq \operatorname {Spek} {\left(K[V]\right)}}$ eine Fortsetzung der Operation vor.