Es sei m ∈ N {\displaystyle {}m\in \mathbb {N} } und sei K {\displaystyle {}K} ein Körper, der eine m {\displaystyle {}m} -te primitive Einheitswurzel enthält. Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine Kummererweiterung zum Exponenten m {\displaystyle {}m} .
Dann ist K ⊆ L {\displaystyle {}K\subseteq L} eine Radikalerweiterung.
