正規拡大
L を体 K の拡大とすると、
L が K の正規拡大で E が中間体(すなわち L ⊃ E ⊃ K)であれば、L は E の正規拡大である。E は K の正規拡大とは限らない。
E と F が L に含まれる K の正規拡大であれば、合成体 EF および共通部分 E ∩ F も K の正規拡大である。