有限拡大
K の有限拡大 L は有限純非分離拡大 L/E と有限分離拡大 E/K に分解する。