Zq={0, 1,2, ... , q - 1}
を剰余類 (residue class)という.Zq* = {a1, a2, ... , aφ(q)}
を既約剰余類という.φ(n) = n (1- 1/p1) (1 - 1/p2) ・・・ (1 - 1/pj)
φ(d1) + φ(d2) + ・・・+ φ(dr) = n
が成立つ.φ(1) + φ(3) + φ(5) + φ(15) = 1 + 2 + 4 + 8 = 15
r := a mod m.
余り r は,0 ≦ r < m を満たさなければならない.11 mod 8 = 3
7 mod 9 = 7
-2 mod 11 = 9
12 mod 12 = 0
x ≡ y (mod m)
x と y の合同性は次と同値である.Zm = {0, 1, ..., m - 1}
Zm に対する加算,減算,乗算は,対応する整数の演算であり,法 m による還元が行われる. a + b mod m = a + b a + b < mの場合,
= a + b - m 上記以外.
a - b mod m = a - b a - b ≧ 0 の場合,
= m + a - b 上記以外.
a・b mod m = r (a・b = q・m + r), 0 ≦ r < m
a-1 mod m = a' (a・a' = q・m + 1)
3 = 6 + 4
5 = 1 - 3
6 = 4 × 5.
となる.g h-1 (mod m)
で定義される.a p-1 ≡ 1 (mod p)
が成立つ.a p ≡ a (mod p)
を得る.これはすべての整数 a に対して成立つ (p の倍数である a に対しても成立つため).aφ(q) ≡ 1 (mod q)
が成り立つ. q が素数 p のとき,φ(p) = p - 1 でありフェルマーの小定理になる.aφ(q)- 1 ≡ a-1 (mod q)
により逆元が求まる.a x ≡ b (mod m)
(a, m) = d とする.合同式 ax ≡ b (mod m) は,b が d で割り切れない場合には成立しない.d の倍数である b に対しては,この合同式は d 個の解をもつ.a1 x ≡ b1 (mod m1)
となる.この合同式は,(a1, m1) = 1 より1つの解 x1 をもつ.a1 x0 + m1 y0 = 1
なる x0, y0 が拡張ユークリッドの互除法により求められる.両辺を b1 倍して,a1(b1x0) + m1(b1y0) = b1
となることからa1(b1x0) ≡ b1 (mod m1)
となり,x1 = b1 x0 となる. このとき,法 m に対する解は,x1, x1 + m1, x1 + 2m1, ・・・, x1 + (d - 1)m1
で与えられる.x2 ≡ a (mod q)
が解を持つとき a を q を法とする平方剰余という. 解を持たないとき平方非剰余という. (a / p) = 1 (a: 平方剰余),
= -1 (a: 平方非剰余).
(a / p) ≡ a(p-1)/2 mod p
Legendre記号は,a ≡ b (mod p) のとき次の関係が成立つ.(q / p) ≡ (-1)(p-1)/2・(q-1)/2 (p / q)
q = p1m1 p2m2・・・ pnmn
であるとき(pi は異なる素数),(a / q) ≡ (a / p1)m1 (a / p2)m2 ・・・ (a / pn)mn
をJacobi記号という.(p / q)(q / p) ≡ (-1)(p-1)/2・ (q-1)/2
(-1 / p) ≡ (-1)(p-1)/2
(2 / p) ≡ (-1)(p2-1)/8
(a / p) = a(p - 1)/2 mod p
a, a2, a3, ・・・ , am-2, am-1 (mod m)
g(c/q1) ≡ 1 (mod m), g(c/q2) ≡ 1 (mod m),・・・, g(c/qk) ≡ 1 (mod m)
を一つも満足しないことが必要十分である.