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