定义

我们已经多次讨论了以下的问题:设 指数 - 图1 那么,必有正整数 指数 - 图2 使得指数 - 图3
指数 - 图4 是使式 (1) 成立的最小正整数 指数 - 图5 则对任意的使式 (1) 成立的正整数 指数 - 图6 必有 指数 - 图7指数 - 图8

Fermat-Eular 定理证明了:对任意的 指数 - 图9指数 - 图10 时式 (1) 必成立。对给定的模 指数 - 图11指数 - 图12 是由 指数 - 图13 唯一确定的,是 指数 - 图14 的函数

指数

指数 - 图15 则使式 (1) 成立的最小正整数 指数 - 图16 称为 指数 - 图17 对模 指数 - 图18指数(或阶),把它记作 指数 - 图19

原根

指数 - 图20 时,称 指数 - 图21指数 - 图22 的原根

性质

  1. 指数 - 图23指数 - 图24
  2. 若式 (1) 成立,则有 指数 - 图25指数 - 图26
  3. 指数 - 图27指数 - 图28
  4. 指数 - 图29指数 - 图30 则有 指数 - 图31
  5. 指数 - 图32指数 - 图33指数 - 图34 个数对模 指数 - 图35 两两不同余。特别地,当 指数 - 图36 是模 指数 - 图37 的原根时,这 指数 - 图38 个数是模 指数 - 图39 的一组既约剩余系
  6. 指数 - 图40指数 - 图41 对模 指数 - 图42 的逆,则 指数 - 图43
  7. 指数 - 图44 是非负整数,则有指数 - 图45此外,在模 指数 - 图46 的一个既约剩余系中,至少有 指数 - 图47 个数对模 指数 - 图48 的指数等于 指数 - 图49
  8. 指数 - 图50 的充要条件是 指数 - 图51
  9. 指数 - 图52 则有 指数 - 图53指数 - 图54 则有指数 - 图55
  10. 指数 - 图56 那么,对任意的 指数 - 图57 必有 指数 - 图58 使得 指数 - 图59
  11. 对任意的 指数 - 图60 一定存在 指数 - 图61 使得 指数 - 图62
  12. 指数 - 图63 存在原根的必要条件是指数 - 图64其中 指数 - 图65 是奇素数

证明