剰余演算 のバックアップソース(No.1)

別名:モジュロ演算 (modulo operation)、mod計算
&mathjax{m};を&mathjax{n};で割った余りを&mathjax{r};とするとき、
&mathjax{m \equiv r \mod n};
と表記する。


**剰余演算の法則 [#m60ecd1a]
:|&mathjax{a \equiv a \mod n \\ (a \mod n) \equiv a \mod n \\ n^k  \mod n \equiv 0};

:分配法則|&mathjax{(a+b)  \mod n \equiv (a \mod n)+(b \mod n) \mod n\\(ab) \mod n \equiv (a \mod n)(b \mod n) \mod n};