Z-graduierter Ring/Veronese-Unterring/Ganzheit/Fakt/Beweis
Erscheinungsbild
Beweis
Nach Fakt genügt es, die Ganzheit für ein -Algebraerzeugendensystem von zu zeigen. Ein solches liegt in den homogenen Elementen von vor. Es sei also homogen. Dann ist , sodass eine (reine) Ganzheitsgleichung erfüllt.