\(g^{p-1}=1+kp^m\:\:(m\geq2)\)\(\mr{gcd}(k,p)=1\)と表されているとする。2のべき乗の既約剰余類群(25F)2のべき乗の既約剰余類群は、\((\bs{Z}/2^n\bs{Z})^{*}\cong(\bs{Z}/2\bs{Z})\times(\bs{Z}/2^{n-2}\bs{Z})\)である。2つの巡回群の直積に同型である。巡回群の直積に同型である。\:\mr{deg}\:a(x)\)のものが存在する。\:\mr{deg}\:a(x)\)のものが存在する。上で既約な多項式という。上で(=有理数係数の多項式で)因数分解できれば、整数係数でも因数分解できる。