프로그래밍에서의 모듈러 연산 (나머지 연산 / 통상적으로 % 연산) 과 정수론에서의 mod 연산 (Modular arithmetic) 은 거의 비슷하지만 약간은 다릅니다.
예를 들어, 프로그래밍에서 101 % 10 == 1 이지만, 수학에서는 $101 \equiv 11 \pmod{10}$로 표기할 수도 있고,
$101 \equiv 1 \equiv 10001 \pmod{10}$로 이야기 할 수도 있습니다.
몫은 상관없이, 나머지만 따지다보니 아주 다양한 특징들이 존재합니다.
0. 기본 전제 - $a \equiv b \pmod{n}$, $a_{1} \equiv b_{1} \pmod{n}$, $a_{2} \equiv b_{2} \pmod{n}$, $k$는 모든 정수 , $\phi(n)$은 오일러 토션트 함수
1. $a + k \equiv b + k \pmod{n}$
2. $ka \equiv kb \pmod{n}$
3. $ka \equiv kb \pmod{kn}$
4. $a_{1} \pm a_{2} \equiv b_{1} \pm b_{2} \pmod{n}$
5. $a_{1} a_{2} \equiv b_{1} b_{2} \pmod{n}$
6. $a^{k} \equiv b^{k} \pmod{n}$ (단, 이때의 $k$는 음이 아닌 모든 정수 $k$)
7. $p(a) \equiv p(b) \pmod{n}$ (단, $p(x)$는 모든 계수가 정수인 다항식)
8. 소수 $p$와 서로소 인 $a$에 대해 $a^{p - 1} \equiv 1 \pmod{p}$ ( 페르마의 소정리 )
9. $n$이 소수일 때만 $(n - 1)! \equiv -1 \pmod{n}$ ( 윌슨의 정리 , $n!$은 팩토리얼 기호)
10. $a^{c} \equiv a^{d} \pmod{n}$ (단, $c \equiv d \pmod{\phi (n)}$, $a$와 $n$은 서로소) ( 오일러의 정리 )
11. $a^{\phi(n)} \equiv a^{2\phi(n)} \pmod{n}$ ($a$와 $n$은 모든 임의의 자연수 / 서로소 조건 없음) (오일러의 정리의 확장)
12. $p$가 $5$ 이상의 소수일 때만 $\binom{2p - 1}{p - 1} \equiv 1 \pmod{p^{3}}$ ( 볼첸홈의 정리 )