Algebraische Invariantentheorie/Invariantes Polynom zu endlicher Gruppe/Definition

Invariant

Sei

eine Untergruppe mit der natürlichen Operation auf dem Polynomring . Dann heißt ein Polynom

{{{1}}} oder -{{{1}}}, wenn für alle Punkte die Gleichheit

gilt.