整数論における合同
📂整数論整数論における合同
定義
整数 a≡b(modm), ⟺, a, b, m に対して、a=b+mk を満たす整数 k が存在する。
定理
a1≡b1(modm) と a2≡b2(modm) が成り立つとしよう。
- [1] 加算: a1+a2≡b1+b2(modm)
- [2] 減算: a1−a2≡b1−b2(modm)
- [3] 乗算: a1a2≡b1b2(modm)
- [4] 除算: gcd(c,m)=1 の場合、
ac≡bc(modm)⟹a≡b(modm)
- [5] モジュロ同士の乗算: gcd(m1,m2)=1 の場合、
{a≡b(modm1)a=b(modm2)⟹a≡b(modm1m2)
- [6] モジュロのべき乗: a≡b(modmn) の場合は a≡b(modm)
- [7] モジュロを含む約分: ax≡ay(modam)⟺x≡y(modm)
説明
式 a≡b(modm) を合同式と呼び、法(モジュロ)m で a は b に合同であるという。ただし、方程式の中で (mod) がそのまま使われているので、モジュロ m と発音する方が一般的だ。
定理 [4]で、gcd(c,m)=1 という条件がない場合、両辺から c を割ることはできない。例えば 8≡20(mod12) は成り立つが、両辺から 4 を割った 2≡5(mod12) は成り立たない。
通常、簡単な整数論の問題を扱う場合は m を素数とするが、複雑になると m を合成数とする。したがって、合同方程式全体を大きく見て、その性質も理解しておく必要がある。
証明
[5]
a≡b(modm1) であるから、次を満たす整数 n1 が存在する。
a=b+n1m1
a≡b(modm2) であるから、次を満たす整数 n2 が存在する。
a=b+n2m2
m1 と m2 は互いに素であるため、二つの式が同時に成り立つには、n1 は m2 の倍数であり、n2 は m1 の倍数でなければならない。したがって、次を満たす整数 n3 が存在する。
a=b+n3m1m2
すると、合同式の定義により
a≡b(modm1m2)
■
[6]
a≡b(modmn) の場合、次を満たす整数 k が存在する。
a=b+mnk
mn−1 を取り除くと、
a=b+mnk⋅n=b+m⋅(mn−1k)
したがって、次を満たす整数 mn−1k が存在する。
a≡b(modm)
■
[7]
ある整数 k について、
ax≡ay(modam)⟺ax=ay+amk⟺x=y+mk⟺x≡y(modm)
■