原始元定理
E ⊇ F {\displaystyle E\supseteq F} を有限次分離拡大とする。このときある α ∈ E {\displaystyle \alpha \in E} に対して E = F ( α ) {\displaystyle E=F(\alpha )} である。
系は代数体、すなわち有理数体 Q の有限拡大に応用する、なぜならば Q は標数 0 ゆえ任意の拡大が分離的だからである。