Es sei K {\displaystyle {}K} ein Körper, D {\displaystyle {}D} eine kommutative Gruppe und A {\displaystyle {}A} eine D {\displaystyle {}D} -graduierte kommutative K {\displaystyle {}K} -Algebra.
Dann gibt es einen Gruppenhomomorphismus
der Charaktergruppe von D {\displaystyle {}D} in die (homogene) K {\displaystyle {}K} -Automorphismengruppe von A {\displaystyle {}A} .
Wenn alle A d ≠ 0 {\displaystyle {}A_{d}\neq 0} sind, so ist diese Zuordnung injektiv.