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
