レイの数学メモ

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