Es sei K {\displaystyle {}K} ein Körper, D {\displaystyle {}D} eine endliche kommutative Gruppe und K ⊆ L {\displaystyle {}K\subseteq L} eine D {\displaystyle {}D} -graduierte Körpererweiterung
