Modular Arithmetic

Clock arithmetic — the mathematics of remainders and cyclic patterns.

Congruences

a ≡ b (mod m) means m divides (a − b)
Equivalently: a mod m = b mod m
f+D3cSJZ0pnq/KNpHbkY8eZDkeaRRR61er+sHlOfOY/oGSvGf8x7Fd07eyCxFMBrBo6fPfI9TAx8T9ULOSwizf4zBKkie0NQ1ZFNxDeDugmDtoYSa0DmUDINCpJYlpdxl/RPwLCY3YqzvULOfnxbafm83hkSOdSmDdyrR8MgGaPVwrAgflLIMyIHS0SVGZ1jFeP7GuACS9qgLE6jNbr2X7u2YrIrNrnCM2RYLLJCz7NWdbaJEdiDgn/UQzkNitlf6pLQ9wFmgWVPPCLO8TY3Hd0LVZedE8zkHdysSnELkL+84g0PjQNpSxLszss2eifAa2ddcxQQlH1ADbc3ajjKREz1CwNZleRr7EgSLSJbDZPNSlGzOYkywte60WXzjR36WwQ0vHSkCuINovhLUV4OLo0aQy674bVx3cHJuIejBHYWvS3bokUdtqwJKiFXwXTukPDXxO5QBqRuT/IybNMXuO36sNH/LvXlurjh6vdkSL0lag4eAa0p8ZXgFo8bLYgaGCVKj0TZujzAVxzFop/nWZgd8IGhWPYLi1PhwMNXaqmGcPNSx5htHNBaUlSm3ZU+5L0uHgzjuPXXknHzu/MXt6NrtNOFSYlEZCdIcb2bFHw9keKE7g5w/hWwUegVjUqhHdCGSh36H2WWdy604pgwFygvs27frrqY1QSEs+0dAiPTtXYkvgeW4wBx/slrj+o+yoFrWKHIyzLoY9B2x0t8Fo9hQzuN23owuowYnLqPhDfvQC6qOaKUB

Modular arithmetic partitions integers into equivalence classes. For example, mod 12 gives us clock arithmetic (17:00 ≡ 5:00). The concept connects to solving equations but in a finite number system.

Modular Operations

(a + b) mod m = ((a mod m) + (b mod m)) mod m
(a · b) mod m = ((a mod m) · (b mod m)) mod m
aⁿ mod m → use repeated squaring (fast exponentiation)
+sZYztQoG7W2DwysrcOvuQQcD+52giaJGRYRQBr5qB7Eign1qp2X5jlqk0TUHROyIcitH0Q38tMMmKiZHaF10ACVJ3+zRmM7vVcJaWgMmI9jcVGd4t4S2QtBNzicWM8NGN9DjfXxylroTtrmgQ8dfBWkcUDMAr6+qyGHnZpDMPLzdsON9fFKt8bDLXtzQD24IMijHwnGnWvLSXx9IHrSYSoq5TSBLdW2Gz4/JY7DJhPQni15ud4JKZ0Ib2WAZzmvfC14M8GFwck/Vh6pntgA9TCpUXuNxo4YHYeY6IyBOVvoQNCIk0VahllpEVk4aZ5JGD9870o2oMG0usZPAfCF8ACVJ3uw4qZvNGE89mgMkIgmbXpm4rCCrrshh5kaMQ2w3qMTuP/Ty+LfMismyO8AkNzXXSFSn4DcB8M8W4ceW8q9tlxxfjQhkCSdcPljVJA668AxALcCbDXrgb76MLiGzgyNh4mhFDD2Oz43plk6LBC4pRubjcaOGBNBbD/KdRTQlbl6fqWXr9XhWsMYqvYUMdtAY1eUffTTg85qENDq1WAHlAnjuUeORis5Mw2WwEAyh8GoB+pwXS+QpCuX8lbrbH6a2mCDYcc1b1ue/K3DLDQW8ioZdEC+Kj7ANnHxO2Rtmak4hYS0Q6eLn1+mzjM7zKR0T8MpVjWr5C/lS+vxcy1MtzB38bVez6vpfNsmI2w8h4EiSg+gKkUwqgj/YQsM+AdpDX76KjE8NYpT1J+J3EguwuDDL9sg3z

Example: 7¹³ mod 11

7¹ = 7, 7² = 49 ≡ 5, 7⁴ ≡ 5² = 25 ≡ 3, 7⁸ ≡ 3² = 9

7¹³ = 7⁸ · 7⁴ · 7¹ ≡ 9 · 3 · 7 = 189 ≡ 2 (mod 11)

Modular Inverse

The modular inverse of a (mod m) is x such that a·x ≡ 1 (mod m). It exists if and only if GCD(a, m) = 1 (a and m are coprime). Found via the Extended Euclidean Algorithm — see GCD computation.

This is essential for division in modular arithmetic and for RSA decryption.

Fermat & Euler

Fermat's Little Theorem: aᵖ⁻¹ ≡ 1 (mod p) if p is prime and gcd(a,p) = 1
Euler's Theorem: a^φ(n) ≡ 1 (mod n) if gcd(a,n) = 1
Euler's totient: φ(n) = n · ∏(1 − 1/p) for each prime p dividing n

Fermat's theorem is a special case of Euler's (since φ(p) = p − 1). These are the theoretical backbone of RSA encryption. The exponential functions connect to the structure of multiplicative groups mod n.

Chinese Remainder Theorem

If m₁, m₂, …, mₖ are pairwise coprime, then:
x ≡ a₁ (mod m₁), x ≡ a₂ (mod m₂), …, x ≡ aₖ (mod mₖ)
has a unique solution mod (m₁·m₂·…·mₖ)
CRT says you can reconstruct a number from its remainders — like reassembling a puzzle from pieces. This has applications in computer science (parallel computation), cryptography (speeding up RSA), and even calendar calculations.
TgDLPxEkv4ifwYdO4yqBc5KZrp9rlPEBE8mnk1cCCp+QXJdETtZo94HJDnlgHe52h9wcKiHn5G43wfvJNlcCk/5ne5+RvNg7sebqP5JbbH40y5dA7huvMAQeGSnlJLNpYILLGDWs6ft7izjzd3debrPjIhiSAq7myvbSYGunCMpJDkHHSINQhMdr79mE4Y4ri2qjt7a8ZoKxDLm0Tz23XaYVWvxDqb62MlpDStY7A4VnV4XXr8/rvvtbu2LtkohNjIUhTE1WmgURJ60nJYm6k4CnQ+aDiRSGt4u5rioYDsxMHo3xwhpoOuy3/UsR8HC4uBsNQnW8tHP4w1EyLrYKK2Dju56jBKO13O//Lpr1IJitT6usAoTmsiP2cuhg7LfvJZc6N14WZlS7jKMVDKV3hclnAAkjzH6wR4oDA183iF+TP9G+59aoDndDcknpuqyB+/+tO8PplFy9VVrbYV59fgz579f+nfYpeHMMjhzBNjbfT5/m8SBzn+2pYhuZSKAKpTJAG3kXe7lHcLCTyS7hwJZ1Sz2qsY2HPn9nzrRp22SYg5F9/LXpHZ0TE7Xoa01xQ+PbS+rpGXvUujzjEXxM4R2Kuz6A0yO7Xc6YNKNsobkGtFzbaVaPBM1fWt/h+ljVJDwfP+iBsngTwkHinHLXZDxOwdGdRnai7aO69lCbPBgW//ieFWGUw5mgCHyrOEkMB2aa5LznUixs9UFHU0Ic4K2chKfljrbyt36f/kArAqlq7z6onw+heu
6mfZGy/xgcIlbnVjWpN/5d/IIirGPyr4UnZiHdayHOe9IYKlQqIvnPQYBGEWHk1bgWL3yqV7jQe0TmODYrCWjnqdvPnSyBZmk+DYC+elip0MbevFzWh6guWh71HlPjrH6YRRUXQ3ESbwUSW14JYC4jjWrHaT3CL+B352h36aT3SVbsTtVUylYX+ZtUMwjf8uqY6NLBBJDLXCSPcxBvMv6v73vBrUMYPyGBfnO9CF6kVzerlkmuMpgMoOwV4sV3/BhJFpYNWDgVcezZo4gJmjaU8qi5q3umm21cG8E1JWXzfOzN1TieevY30oZMl75KraaNIHNgTDvuZx4ATsACMVPGzWoY7yE9w7DxxHIyTZ+yRAqkU9jtR751qX91/gI4DYAq3gZUOLfyzUS7A4bKknxnBEMLO1cy3SJYG5Bhg7/mX0zN+VdfLimod/hywIJxyuT37st7bWKkY9G6ZV5HI5y7fGDYLaqb18XoXiP/DnWN49q18ZMy4XetZv93YrNlaNePQF32wp/WrTnnqhJ1ldZf2rbz5yHas+7KvsgLrkO7x9s6fhAJTgncg+9HV2JuhfLiYVF/0jnSGqfhbbZc+hUSq+HyvVDI1t/7QTASyEeQ6z/Bcn5it0hUJlo4JrGByePdgCXO1tBJ0wNTZth5s5VDv44Ce0vFxWtlr8GyhXiMyyzkJ2JzbfRUEP2NbnUzkkLiY4knBNgv4sXxbS85vdTJ+0VH7pAcD1MmtbKqnAlxQyWrfNTALte