指数 (初等整数論)
以下、g を整数 n を法とする原始根として任意に選んで固定しておく。また、a や b は n とは互いに素であるとする。
定義: g Ind g  ( a ) ≡ a ( mod n ) . {\displaystyle g^{\operatorname {Ind} _{g}(a)}\equiv a{\pmod {n}}.}
a ≡ b (mod n) であることと Indg(a) ≡ Indg(b) (mod φ(n)) であることとは同値である。
Indg(1) ≡ 0 (mod φ(n))
Indg(g) ≡ 1 (mod φ(n))
Indg(ab) ≡ Indg(a) + Indg(b) (mod φ(n))
Indg(a) ≡ k * Indg(a) (mod φ(n))