Es sei A {\displaystyle {}A} eine Z {\displaystyle {}\mathbb {Z} } -graduierte R {\displaystyle {}R} -Algebra und k ∈ N + {\displaystyle {}k\in \mathbb {N} _{+}} .
Dann ist
eine ganze Ringerweiterung.