素数p的本原根定义：如果a是素数p的本原根，则数a mod p, a^2 mod p, … , a^(p-1) mod p 是不同的并且包含1到p-1的整数的某种排列。
所谓“剩余系”，就是指对于某一个特定的正整数n，一个整数集中的数模n所得的余数域。
在与模n互质的全部剩余类中，从每一类中各任取一数所组成的数的集合，叫做模n的一个简化剩余系，也叫缩系。
