reisr.hatenablog.com の続きで、$G$の生成元の和を求めます。 皆の投稿 - 原始根の和が0,-1,1のいずれかになることの証明 - 数学博物館 すうじあむ のように包除原理を使って直接求めるのが上手い気がしますが、円分多項式の係数と結びつけたのでその方向で…

$F_q$を位数$q$の有限体とします。$F_q$の標数を$p$とすれば、ある自然数$f$に対して、 $$q=p^f$$ を満たします。 $G$を$F_q$の乗法群(乗法逆元を持つような元全体からなる群)とすると、$G$の位数は$q-1$になります。 この辺のことは代数学の教科書見れば載…