法として合同
法として合同
「$ 13 \equiv 6 \pmod{7} 」のやつを「13と6は、7を法(ほう)として合同」と読む $ 13 \ \mathrm{mod} \ 7 = 6
$ \mathrm{mod} は剰余演算、つまり割り算の余りを求める演算
一般化?したものの定義は$ m_1 \equiv m_2 \pmod{n} にしておく
言い換え: 整数$ m_1 が$ n による剰余(余り)の整数$ m_2 に等しい
日本語と英語訳
$ m_1 と$ m_2 は$ n を法として合同である
$ m_1 and $ m_2 are congruent modulo n
整数$ m の式は、
$ m = qn + r, \quad 0 \le r \lt n
整数$ m を自然数$ n で割った商を$ q 、余りを$ r
関連
参考
メモ