Invariantentheorie/Gemischte Satzabfrage/1/Aufgabe/Lösung
- Es sei
eine Operation einer Gruppe auf einem kommutativen Ring durch Ringautomorphismen. Es seien konjugierte Untergruppen. Dann sind die Invariantenringe und in natürlicher Weise
isomorph. - Es sei ein Körper, eine endlich erzeugte kommutative -Algebra, auf der eine endliche Gruppe durch -Algebraautomorphismen operiere. Dann ist der Invariantenring eine endlich erzeugte -Algebra.
- Es sei ein
algebraisch abgeschlossener Körper der
Charakteristik null. Die
endliche Gruppe
operiere linear und
treu auf dem
-Vektorraum . Dann sind folgende Aussagen äquivalent.
- ist eine Reflektionsgruppe.
- Der Invariantenring ist ein Polynomring.