Chevalley-Shephard-Todd/Fakt

Der Satz von Chevalley-Shephard-Todd

Es sei ${}K$ ein algebraisch abgeschlossener Körper der Charakteristik null. Die endliche Gruppe ${}G$ operiere linear und treu auf dem ${}K$ -Vektorraum ${}V$ . Dann sind folgende Aussagen äquivalent.

${}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}$ ist eine Reflektionsgruppe.

Der Invariantenring ${}K[X_{1},\ldots ,X_{n}]^{G}$ ist (isomorph zu einem) ein Polynomring (in ${}n$ Variablen).

Einen Beweis erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.