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.