原根概念及相关问题

在正题之前，我们需要群论的相关知识，实际上对某个数取模构成的集合就是一个群。

群是一个特殊的集合，所以首先它是一个集合，其次，在集合之上构成群的条件就是，集合里面的元素之间存在一个二元运算，会生成其他在集合里的任意元素。
设$S$为一个群，$\oplus$为一个二元运算。
则严格定义:
封闭性：${\forall}a，b\in S，a\oplus b\in S$
单位元：$\exists e \in S,对于{\forall}a\in S，有a\oplus e=a$
结合律：${\forall}a，b,c\in S，(a\oplus b)\oplus c=a\oplus(b\oplus c)$
逆元：${\forall}a\in S,唯一\exists b\in S，满足a\oplus b=b\oplus a=e$
满足以上4个条件，我们称为$(S,\oplus)$为一个群。

群有有限和无限之分，就是看群里面的元素数量的个数啦，这个很简单。

我们定义$*_{n}$为在模$n$意义下的乘法运算。
那么我们可以构造出一种群（也是我们接下要讨论的）。
设

$$Z_n^*=\{a <n:gcd(a,n)=1\}$$
显然这个集合就是一个群，其数量就等于$\phi(n)$（就是欧拉函数的定义啊…）。
例如$Z_{15}=\{1,2,4,7,8,11,13,14\}$,这个可以自行验证。易知$|Z_n^*|=\phi(n)$
子群：如果$S^{'}\subset S,并且(S^{'},\oplus)也是个群，则(S^{'},\oplus)是(S,\oplus)的子群$
定理1：如果$(S^{'},\oplus)是(S,\oplus)的子群$，则$|S^{'}|整除|S|$

由一个元素生成的子群：我们有一个方法来生成一个子群，就是我们从原群里取出一个数设$a$。
我们定义：

$$a^{(k)}=\oplus_{i=1}^ka=a\oplus a\oplus...\oplus a$$
在$k$不同取值的情况下所构成的集合，我们定义为子群$<a>=\{a^{(k)}:k>=1\}$
所以显然在模$n$乘法意义下，$a^{(k)}=a^k\ mod\ n$

那么一个问题就是这个群有多少个元素？
在群$S$中，元素a的阶定义为 $a^{(t)}=e$的最小正整数$t$,用$ord(a)$表示。
定理2：$|<a>|=ord(a)$
由此产生的推论是:

$$设有a^x \equiv 1\ (mod\ p),则满足ord(a)整除 x$$
所以易知 $ord(a)整除\phi(p)$
则有 $$a^{\phi(p)} \equiv 1\ (mod\ p)(传说中的欧拉定理？)$$
定义：若 $ord(a)=|Z_n^*|,则a是n的一个$ 原根 $，如果Z_n^*$有至少一个原根，那么称这个群是 循环的。
下一个问题：任意 $n$都有原根么？
定理3：$Z_n^*$是循环的，当n的值为 $2,4,p^e,2p^e,(p是所有大于2的质数，e是所有正整数)$
那么显然有的结论：
$若g是Z_n^*的一个原根，a是这个群里的任意元素，那么必然存在唯一的x使得g^x\equiv a(mod\ n)$
我们称 $x为对模n到基g上的a的一个$ 离散对数，记为 $x=ind_{n,g}(a)$
定理4（离散对数定理）： $如果g是Z_n^*的一个原根，则当且仅当x\equiv y(mod\ \phi(n))成立$，有 $g^x\equiv g^y(mod\ n)$

好了，就先到这了