${\rm pro-}l$ Johnson準同型 $\tau_m: \mbox{Gal}_k^{\rm Joh}(m) \to \mbox{Hom}_{Z_l}(H_{Z_l},\mbox{gr}^r_{m+1}(F_r^{{\rm pro-}l}))$ #てすと
\[1 \longrightarrow {\mathop{\pi_1(\overline{X})}_{_{_{_{_{\textstyle 幾何的基本群}}}}}} \longrightarrow {\mathop{\pi_1(X)}_{_{_{_{_{\textstyle 数論的基本群}}}}}} \longrightarrow {\mathop{G_K}_{_{_{_{_{_{\textstyle {\rm 絶対Galois群}}}}}}}} \longrightarrow 1\] #テスト