Conversation

@mathmathniconico
#類体論へ至る道
定理12.4
$M$を体$K$の拡大体とし、$δ$を$M/K$の共役写像とすると$δ$は$K$の代数的閉包$\overline{K}$の$K$自己同型写像に延長できる。
（証明）
$K-M_1-F_1-…-F_{max}-L_1$
　|　 　$↓$　　　　　　　　　　　　$↓$
　|　　$φ$　　　　　　　　　　　　$ψ$
　|　　$↓$　　　　　　　　　　　　$↓$
$K-M_2————————L_2$