In Z/NZ, the mirror element is N-1 = -1. It maps every n to N-n, reversing the ring. For Z/970,200 (N = 970,200): the mirror costs 79 * 12,281, where 79 = 2^4*5 - 1 = 80 - 1. CRT(-1) = (7,8,24,48,10,12): all channels at maximum. A number built from {2,3,5,7,11} knows about 79 because 79 sits at the junction of 3*13 = 39 and 2^3*5 = 40.
Proof: 2^4*5 = 80 = 1 (mod 79). So 5 = 2^{-4} (mod 79). N = 2^3*3^2*5^2*7^2*11 = 2^{-5}*(3*7)^2*11 (mod 79). Now (3*7)^2*11 = 21^2*11 = 4851 = 61*79 + 32 = 61*79 + 2^5. So (3*7)^2*11 = 2^5 (mod 79), and N = 2^{-5}*2^5 = 1 (mod 79). QED.
The intermediate identity: (3*7)^2 * 11 = 2^5 (mod 2^4*5 - 1). All five primes {2,3,5,7,11} in one congruence. 21^2 * 11 = 4851 = 32 (mod 79), where 32 = 2^5.
| n | Value | = 2^n*3*13 + 1 | Status |
|---|---|---|---|
| 1 | 79 | 2*3*13 + 1 | PRIME |
| 2 | 157 | 4*3*13 + 1 | PRIME |
| 3 | 313 | 8*3*13 + 1 | PRIME |
| 4 | 625 = 5^4 | 16*3*13 + 1 | COMPOSITE |
The chain doubles the power of 2 at each step, preserving 3*13 + 1 as the core. Terminal: 5^4 - 1 = 624 = (5-1)(5+1)(5^2+1) = 4*6*26 = 2^4*3*13. Each factor decomposes into the ring's primes.
All 18 rings with lambda = 420. How does N-1 factor?
| Ring N | N-1 | Factorization |
|---|---|---|
| 7350 | 7349 | PRIME |
| 14700 | 14699 | PRIME |
| 16170 (smallest 5-prime) | 16169 | 19 * 23 * 37 |
| 44100 = 210^2 | 44099 | 209 * 211 = (11*19) * 211 |
| 80850 | 80849 | PRIME |
| 97020 | 97019 | 13 * 17 * 439 |
| 970200 (Z/970,200) | 970199 | 79 * 12281 |
5/18 (27.8%) have N-1 prime. 0/18 have N-1 smooth over {2,3,5,7,11}. The smallest full ring 16170: mirror = 19*23*37 -- all three factors are significant intruders. 210^2 = 44100: mirror = (11*19) * 211.
| Primorial | N | N-1 | Reading |
|---|---|---|---|
| 2# | 2 | 1 | Mirror = 1 |
| 3# | 6 | 5 | Mirror = 5 |
| 5# | 30 | 29 (prime) | 4 + 25 = 29 |
| 7# | 210 | 209 = 11*19 | 11 * 19 |
| 11# | 2310 | 2309 (prime) | Mirror is prime |
Enter any N to factorize N-1 (the mirror element). Check the mirror congruence mod 79.
Enter N:
Try: N=970200 (Z/970,200, 79*12281), N=2310 (Z/2,310, 2309 prime), N=210 (Z/210, 209=11*19), N=6 (mirror=5).
Source code · Public domain (CC0)
.ax source compiled to WASM via self-hosting compiler. Zero HTML authored.