Invariantentheorie/Gemischte Satzabfrage/5/Aufgabe/Lösung
Erscheinungsbild
- Es sei ein
Körper,
ein
endlichdimensionaler
-Vektorraum
und
eine lineare Operation einer Gruppe auf .
Dann ist der Fixring der induzierten Operation auf dem Polynomring ein -graduierter Unterring.
Dabei ist
die -te Stufe des Fixringes ist der Fixraum
der induzierten Operation auf der -ten Stufe des Polynomringes. - Es sei ein kommutativer Ring, ein Ideal und eine endliche Familie von Primidealen. Es gelte . Dann ist für ein .
- Es sei ein Körper und eine endliche Gruppe, deren Ordnung kein Vielfaches der Charakteristik von sei. Dann ist linear reduktiv.