Graduierung/Diagonalisierbare Gruppe/Invariantenring/Zusammenhang/K algebraisch abgeschlossen Charakteristik 0/Fakt/Beweis
Beweis
Beide Ringe sind durch Monome erzeugt. Es sei , ,
umgekehrt:
Es sei
Es gibt dann auch einen Charakter mit .
d.h. ist nicht invariant.