>>518 & >>520 補足

ご存知かもしらんが、ここらを見ておくと参考になるよ（＾＾
http://www.epii.jp/articles/note/math/primitive_root
既約剰余類群と原始根 epii Last modified: 2016/05/16 22:31:02
(抜粋)
n がどのようなときに原始根が存在するのだろうか？という疑問に答えるのが本記事のゴールです。
はじめに議論を厳密にするために「既約剰余類群」と呼ばれる群を定義します。 それを用いて原始根の定義を厳密に与え、まずはじめに nn が素数の場合には必ず原始根を持つことを示します (定理 1) 。 最後に原始根を持つような nn の必要十分条件と、その証明を与えることで上の疑問の解答を与えます (定理 2) 。

1用語説明
1.1既約剰余類群
1.2原始根
2n が素数のときには原始根が必ず存在すること
3原始根の存在する必要十分条件
3.1十分であること
3.2必要であること