Unter einer D {\displaystyle {}D} -graduierten Körpererweiterung versteht man eine Körpererweiterung K ⊆ L {\displaystyle {}K\subseteq L} , bei der auf L {\displaystyle {}L} eine D {\displaystyle {}D} -Graduierung L = ⨁ d ∈ D L d {\displaystyle {}L=\bigoplus _{d\in D}L_{d}} mit L 0 = K {\displaystyle {}L_{0}=K} und L d ≠ 0 {\displaystyle {}L_{d}\neq 0} für alle d ∈ D {\displaystyle {}d\in D} gegeben ist.
