Endliche Körpererweiterung/Gradformel/Fakt/Name/Inhalt

Die Gradformel besagt, dass ${}K\subseteq M$ eine endliche Körpererweiterung ist und dass

${}\operatorname {grad} _{K}M=\operatorname {grad} _{K}L\cdot \operatorname {grad} _{L}M\,$

gilt.