いわゆるガロア拡大の推進定理についての質問なんですが
ガロア群Gal((M・N)/ N )をMに制限する写像π
π:Gal((M・N)/ N )→ Gal( M/(N∩M))
が全射になることの証明がわかりません。
Gal((M・N)/ (N∩M) )→ Gal( M/(N∩M))
が全射であることは言えそうですが
Gal((M・N)/ N )→ Gal((M・N)/ (N∩M) )
は全射ではなさそうなので詰んでいます。どなたがご教授願います・・。