在数论，特别是整除理论中，原根是一个很重要的概念。对于两个正整数formula_1，由欧拉定理可知，存在正整数formula_2， 比如说欧拉函数formula_3，即小于等于formula_4的正整数中与formula_4互质的正整数的个数，使得formula_6。由此，在formula_1时，定义formula_8对模formula_4的指数formula_10为使formula_11成立的最小的正整数formula_12。由前知formula_13 一定小于等于 formula_14，若for