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.