logo

整数論における合同 📂整数論

整数論における合同

定義 1

整数 ab(modm)a \equiv b \pmod{m},     \iff, aa, bb, mm に対して、a=b+mka = b + mk を満たす整数 kk が存在する。

定理

a1b1(modm)a_{1} \equiv b_{1} \pmod{m}a2b2(modm)a_{2} \equiv b_{2} \pmod{m} が成り立つとしよう。

  • [1] 加算: a1+a2b1+b2(modm)a_{1} + a_{2} \equiv b_{1} + b_{2} \pmod{m}
  • [2] 減算: a1a2b1b2(modm)a_{1} - a_{2} \equiv b_{1} - b_{2} \pmod{m}
  • [3] 乗算: a1a2b1b2(modm)a_{1} a_{2} \equiv b_{1} b_{2} \pmod{m}
  • [4] 除算: gcd(c,m)=1\gcd ( c , m ) = 1 の場合、 acbc(modm)    ab(modm) ac \equiv bc \pmod{m} \implies a \equiv b \pmod{m}
  • [5] モジュロ同士の乗算: gcd(m1,m2)=1\gcd ( m_{1} , m_{2} ) = 1 の場合、 {ab(modm1)a=b(modm2)    ab(modm1m2) \begin{cases} a \equiv b \pmod{ m_{1} } \\ a = b \pmod{ m_{2} } \end{cases} \implies a \equiv b \pmod{ m_{1} m_{2} }
  • [6] モジュロのべき乗: ab(modmn)a \equiv b \pmod{m^n} の場合は ab(modm)a \equiv b \pmod{m}
  • [7] モジュロを含む約分: axay(modam)    xy(modm)ax \equiv ay \pmod{am} \iff x \equiv y \pmod{m}

説明

ab(modm)a \equiv b \pmod{m}合同式と呼び、(モジュロ)mmaabb合同であるという。ただし、方程式の中で (mod)\pmod{} がそのまま使われているので、モジュロ mm と発音する方が一般的だ。

定理 [4]で、gcd(c,m)=1\gcd(c,m) = 1 という条件がない場合、両辺から cc を割ることはできない。例えば 820(mod12) 8 \equiv 20 \pmod{12} は成り立つが、両辺から 44 を割った 25(mod12) 2 \equiv 5 \pmod{12} は成り立たない。

通常、簡単な整数論の問題を扱う場合は mm を素数とするが、複雑になると mm を合成数とする。したがって、合同方程式全体を大きく見て、その性質も理解しておく必要がある。

証明

[5]

ab(modm1)a \equiv b \pmod{m_{1}} であるから、次を満たす整数 n1n_{1} が存在する。 a=b+n1m1 a = b + n_{1} m_{1} ab(modm2)a \equiv b \pmod{m_{2}} であるから、次を満たす整数 n2n_{2} が存在する。 a=b+n2m2 a = b + n_{2} m_{2} m1m_{1}m2m_{2} は互いに素であるため、二つの式が同時に成り立つには、n1n_{1}m2m_{2} の倍数であり、n2n_{2}m1m_{1} の倍数でなければならない。したがって、次を満たす整数 n3n_{3} が存在する。 a=b+n3m1m2 a = b + n_{3} m_{1} m_{2} すると、合同式の定義により ab(modm1m2) a \equiv b \pmod{ m_{1} m_{2} }

[6]

ab(modmn)a \equiv b \pmod{m^n} の場合、次を満たす整数 kk が存在する。 a=b+mnk a = b + m^n k mn1m^{n-1} を取り除くと、 a=b+mnkn=b+m(mn1k) a = b + m^{n} k \cdot n = b + m \cdot (m^{n-1} k) したがって、次を満たす整数 mn1km^{n-1} k が存在する。 ab(modm) a \equiv b \pmod{m}

[7]

ある整数 kk について、 axay(modam)    ax=ay+amk    x=y+mk    xy(modm) \begin{align*} ax \equiv ay \pmod{am} & \iff ax = ay + amk \\ & \iff x = y + mk \\ & \iff x \equiv y \pmod{m} \end{align*}


  1. Silverman. (2012). A Friendly Introduction to Number Theory (4th Edition): p55. ↩︎