19/10/24 00:19:10 raXhEItc.net
スレ主さんは論理式読めるの？
H sub gp of Gal(K/Q) ⇒ ∃k s.t. K/k Galois ext. Gal(K/k)=H
と
H sub gp of Gal(K/Q) ⇒ ∃k s.t. k/Q Galois ext. Gal(k/Q)=H
のちがいはわかりますか？
どちらかは確実に合っててどちらかは私の知る限り未解決問題なんですがどちらが正しくてどちらが未解決問題かわかりますか？
正しい方がわかるならもう一方が未解決問題の方です。