15/10/01 01:27:44.93 OrTFDs5M.net
ζnが生成する乗法群をΜnとすれば、Μnは巡回群Cnと同型。
よって、Gal(K(ζ,n√a )/K(ζ))からΜnへの群同型写像を構成してやればよい。
15/10/01 01:27:44.93 OrTFDs5M.net
ζnが生成する乗法群をΜnとすれば、Μnは巡回群Cnと同型。
よって、Gal(K(ζ,n√a )/K(ζ))からΜnへの群同型写像を構成してやればよい。
15/10/01 01:27:44.93 OrTFDs5M.net
ζnが生成する乗法群をΜnとすれば、Μnは巡回群Cnと同型。
よって、Gal(K(ζ,n√a )/K(ζ))からΜnへの群同型写像を構成してやればよい。