前回の復習

• $p$ が素数ならば $\znzc{p}$ は巡回群である。 すなわち、生成元と呼ばれる元 $g \in \znzc{p}$ が存在して、 $g$ のべき乗で $\znzc{p}$ の全ての要素が作れる $\langle\, g \,\rangle =\{\,g^0, g^1, g^2, \cdots\,\}=\znzc{p}.$
• $y \in \znzc{p}$ に対し、 $g^x = y$ を満たすべき指数 $x$ を $x = \log_g y$ と表し、 $\bmod\ p$ での底 $g$ に対する $y$ の離散対数と呼ぶ。
• $x = \log_g y$ は $\bmod\ (p-1)$ の数である。