19/02/11 00:01:13.30 qyW7buAe.net
>>523
つづき
（参考）
URLﾘﾝｸ(sun.ac.jp)
永野 哲也研 長崎県立大
URLﾘﾝｸ(sun.ac.jp)
第16回
(抜粋)
２．円分多項式
URLﾘﾝｸ(sun.ac.jp)
１の8乗根を単位円周上に図示すると以下のような z1、z2、z3、z4、z5、z6、z7、z8 である。
z1、z3、z5、z7 が１の原始8乗根である。
z4 は原始2乗根、z2、z6 は原始4乗根、z8 はもちろん原始1乗根である。
URLﾘﾝｸ(ja.wikipedia.org)
円分体
(抜粋)
性質
・3 以上の整数 m に対して、円分体 Q (ζm) の拡大次数 [ Q (ζm): Q ]は、φ (m)である。
但し、φ (n)はオイラー関数である。
・任意の円分体は、ガロア拡大体であり、ガロア群は、アーベル群である。
・3 以上の整数 m に対して、 m=p_1^e_1・・・ p_r^e_r ( p_1,・・・ ,\ p_r は、相異なる素数、 e_1,・・・ ,e_r >= 1) と素因数分解すると、
Q (ζm) は、 Q (ζp_1^e_1),・・・ ,Q (ζp_R^e_r) の合成体であり、
Gal ( Q (ζm)/ Q )～＝ ( {Z} /m {Z} )^x～＝ ( {Z} /p_1^{e_1} {Z} )^x X ・・・ X ( {Z} /p_r^{e_r} {Z} )^x
が成立する。
・ Q(ζm)∩ R= Q(ζm +1/ζm) である。この Q (ζm +1/ζm)を、最大実部分体または実円分体という。
(引用終わり)
以上