以下の補題は「体とガロア理論」§3.3 補題3.2が相当する。 Lemma $K \subset L_1,L_2 \subset \bar{K}$ とし、 $L_1/K$: 有限次ガロア拡大とする。 $K^\prime = L_1 \cap L_2$ とおく。 この時、 $L_1 L_2 / L_2$: 有限次ガロア拡大であり、 $\mathrm{Gal}(L…