Graduierte endliche Körpererweiterung/Besetzt/Definition

Graduierte Körpererweiterung

Es sei ${}K$ ein Körper und ${}D$ eine endliche kommutative Gruppe. Unter einer ${}D$-graduierten Körpererweiterung versteht man eine Körpererweiterung  ${}K\subseteq L$,  bei der auf ${}L$ eine ${}D$-Graduierung  ${}L=\bigoplus _{d\in D}L_{d}$  mit  ${}L_{0}=K$  und  ${}L_{d}\neq 0$  für alle ${}d\in D$ gegeben ist.