F_p
x
^×
どうなってる?
subgp (1+x)^a (a in Z_p) が気になったところから