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

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)
n8A1A2crjPG12i9FiarkALvcFeJlaojqrmasoDUMSKfUAGAxQhZQAX8LB2tCrMux5LW8CsQqeiLVaK2eycyQfpsInf7VHvEaMoa5ZQF7MqQbtrRlFSVV12ZrrOXcE8Hn9sF+pG+ZlsE/vPQ2w88VieSCq/51AlQTaDCuKFaVEi2zukQ6rHPUxpQq5K5hOVZgTDevP+PZgtxnXUnvpy9n4QDrUjoZY6u3kxmEVYnTpA5SGP/qCtH6ve3kEe7JVm2BpJ08tDF56zZ+trvqM+dgNY8kKyQ/JilIsCWGrl7EofZKG45bVbcNP8wBkCadimEYBgn6ySp8ScW3wbGwhB4pGozLQyQr/JbCDqH8Yak8/yZ2Sn3WAHrCtyYDlGnEy+3cZ3CS/lIz1O2m4xJluO16Lk7Jgd3mxcVYmNGz6aVrXXWwGUPL2MPHLNS1GXMk+RbE3teaCkiZamcw9nycfXAuCigqtGBWbK/4w4L7XiPv2F3K8qDnaWUNJ4/PpdcNbJEnMzAf2XWEOD/Pg5yg74wmy1YHPJn65FBQqTU/ckKSipSDcjDyWooBdg1inTKGS6LMTlCu/tES3SeoKzAQPYwz+Y9mD0aTZlc74iAFauaFrak9riqj1yhABYSjvwL/vCfFb/oTuqtD1rw6l61umFyKVjRpjI8cpnrZbG2oRtaWyprGKIQdXM4ehAwr81gUkGD7T7fzApLYpWNb15sDYB7xD/CFE1f4kvUbytTg4k9vs/YDvU5dnuWSN

Example: 7¹³ mod 11

VueO4CZBzVkNAOMrrJ8n3EbE14Lv3QAn6H+U09CmktMLLoTgINDSH1rVffEJceL+ow+WptPdACe27LTMvLQTZXZIOFEHmCmYcKX8g8PnOvrYoIMt/zQoD+4/Hxk6KbK+Mhm3AUfjZR359vi2XYuWqAYaNZYX/ODPagAzQc3qWHDiQPKdCI5sYDaP33KRjJVfNjgPdYujtZdD9EFXTlah2Re0ogBinbu0M8e55WpOGd8FpDhFC2svkOwUEQvZqdG3wpAwoj35vRC2b9ciClPn/PInkPnRuIVTgSlp0cH8CChUqUyAfwi+mfVh+TiEY4G11v8oOe86uKDWPq8Bulva+g0AyQNeIkTsFsNmJ6qHkK40XgwFP8YQqzzp0YNvpte993fy5h35DUeBq9K8kBhQovn02mxJ71cRDT85x9oJm93eT7y+49QrKTty9JAoHXPdC1+LfZb76c1pwMunEsSsq8TEmxc75RsAv/jzdPEqZ82qa9jdrr0pAWiTnI2/K//Cv/sjhLyQDUnhxuIKtyysWkgHyY2Sr9nbbTgHkU1bftk2In71/Qn45xT16nKYNpeIyuqFgu/a2xhqp/EUQrwphkrMHPlwWGWtP9vhfsjohEfXdwwEVM3Yj2R/YJ/ssgiBNeHj9LpzGk0y8knlEnqC5+4P8cy44LrzjCzPXl0mB5y+hkfintmMFO1hkige5QcRXZTh5jLFwy2EVW2xfVXS4jsUeeTENKsamWrLvJBUntHqHyVehpXJQ4

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
aixAWiyGwPulql8rr82wFIFdmgAHajWhYJdbuwm4Kmjfse8NMRLnQHXauSuSyqEZBs+2mg0H1Oc4Zj332UD3R4HgbXR6b4N5Vhy/Bsk8hkfH408MF9Jmpj7v4M+EsGVF0mfjkrtSKFZP/HOw7CxLUaMsRWYkczy4hh8HFWwL4KO5gK34fzIEpWTCroMteC2GpN69fMI9PG5yBY6OTbW3V9LEa5ULJ3J79dxa4JLGOdkJlxdjEM7MCKx7PEUmopMVPhiK3lh6cLnKJ92+70mP3bV80kYXNAsrU4tiepOvd3IeOQknhraclG/ouYe7z/DRdlSBksLT6W3AzUB79zTMWPqky2UwJkkyOWix8JsC14RszRwmqy7GwhfYLTL0otZDhPskpmeCWqJU4U6lg8MTTYnqTwIFVMIzbVzLWWgd7NOxIJ8BdVAztgh0Y90eEJyrg0G4c5dYdxPL5VsfmEHt35m7dPDfxgkuQogfusxLogGL/u7Btk0H51jspuxgvgne84rmT0BjW6tTh62Grhm8jbs5BBtGvWcgrafIwsRUIVrvyK0CrQITVFkV7Vt3IkvlojDaxwevrHfS6YaxhdYHpilCZxx7kn3ddVbJkuK+N1OBv2Yg0va8vfDVs8MZ3ew2EyT1bXj8/kzh4GyZiv4MRWYSuJ/Qoft/Vjh2rne5JRX8Phy/iDoJha8UBpXnFlBSpxlaF8cvHuJRmJm9KNhsJ02viDUkEnEsBHKInEbCRtczTi+j5lMu/T

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.
wOmvWalxuC5rON4j+nkLdq1v8pUD4riMlJBHw1hFoqeFLTx96E2cbUA416DAXGaaur6JT7kKskAJuIdzMC+OjA4TyHSAo6qumTTeDouHbm+riX8bjw5MG9nHAZSZlRCpvRiEHomOx7pObPYCt752qiEdIPf6kkZJhvtW6EGleDKfiEjXQVzkOZu4HIiRxTDIpfTqSooNPURd2/3443Yw8Uygr4iehb3bhoFYPdQv9F+sjgP12hpMtJZZ+TAwUoLPChpNmkfvyZqkWdLCnnXS7bLLaMr/jfJ1XsM2Ar7ADIP/AhOQgKsgbUU3TAiDnhhBkfNQEsLwJK1FZomXMwLaReSMxZD415d3HQDn+7eJHrvvcLep18mNxVYYNwdFyAgv1xko2CtR/xQ/i2fm6olu/LwxVlBvRjTX14cmZqTeVb0uiLC27YqT5yR0315OGrIxtU/qT4lHr4x2+Sav5q/xXA/rQULqNDYxSJHuANb62Vm5r0AVDq4ln/+Gt/GOd4OJzm5QM+e1BJ+mkVeROLyXE1OA8Nu4wApAyJbGNigJLh2+03klmMWOgY1udjDXn066ut5m05cEe2prJ0i4br+0X8e7SUj+HuS8LUks/VnPOlBUMK64SAoyS3gwoGeV3eJcmmdEc8l2gwNNFg9T4oH5J2NfkTUlZjI5yedW5dNk54UeuAi824pRC0A49bxIom4feKhemoAo4AOI4rkgMrGrUy5ao46QsIgWKJkp3yAbZYSnki4ZdUXQz