以下の命題は「体とガロア理論」§3.3 定理3.16が相当する。 Prop (1)$K \subset L_1, L_2 \subset \bar{K}$ とする。 $L_1/K$ および $L_2/K$ がともにガロア拡大であり、 $K$ 上線型無関連とする。この時、以下は同型写像となる: \begin{array}{cccc} \varp…