>>183
> 1 の m 乗根で原始的であるものの一つを ζ とし、
>既約剰余類群 (Z/mZ)^× を円分拡大 Q(ζ)/Q のガロア群と見れば
>φ(m) が円の m 分多項式の次数に等しいことも従う

スレ60 https://rio2016.5ch.net/test/read.cgi/math/1549182453/173
http://ikagawashii-hitorigoto.blogspot.com/2017/
い加川しいhitorigoto 加川貴章
(抜粋)
20171114
ノイキルヒのゼミ。で今は Q(ζn) の整数環が Z[ζn] であることの証明だったが、n が素数の冪の場合で沈没したらしく、「一般の場合は来週にします」とのことだった。
で40分くらいで終了。円分体の整数環の決定って、何でこんなに難しいんだろう？そもそも [Q(ζn)：Q]＝φ(n) であることも、一般の場合は実に難しい。ちゃんと証明読んでない人も多いんではないかと想像するが、いかがだろうか？
小生？ちゃんと読みましたよ、何種類か。でもその中で特に腑に落ちる証明があったわけではない。これからも学生に色々本を読ませながら、腑に落ちる証明探しの旅を続けよう。
(引用終り)

前スレのこの話しでね
円分体にシフトしようと思いますので、あしからずご了承ください。（＾＾；