Continue the Thread

Axiom Arcade
6 games at 60fps in pure .ax
Emergence
AND/XOR/MAJ produce Life=7
.ax Revolution
Ship of Theseus: .ax replaces everything
Bootstrap
sigma/sigma = sigma uniqueness

Monster Moonshine

ALL 15 Monster primes = axiom-derivable

The Monster group M is the largest sporadic simple group. Its order is divisible by exactly 15 primes. Every one of them is reachable from {2, 3, 5, 7, 11} in at most two applications of the Cunningham map c(n) = 2n + 1. The Monster does not escape the axiom. It confirms it.

Cunningham Generation

Starting from axiom primes and their smooth products, ALL 15 Monster primes emerge in three generations:

GenPrimeSeedName
02, 3, 5, 7, 11axiomD, K, E, b, L
113c(D*K) = c(6)GATE
117c(D^3) = c(8)ESCAPE
119c(K^2) = c(9)f(E)
129c(D*b) = c(14)c(D*b)
131c(K*E) = c(15)c(K*E)
141c(D^2*E) = c(20)KEY
171c(E*b) = c(35)c(E*b)
247c(c(L)) = c(23)c(c(L))
259c(c(D*b)) = c(29)c(c(D*b))
Monster-Axiom Completeness (S341, GAP-verified)
K*E = 15 primes total = the Fibonacci chain termination level. The Monster uses EXACTLY as many primes as the axiom's Cunningham chain allows.

The 196883 Trinity

The Monster's smallest faithful representation has dimension 196883. This number factors into exactly three primes -- the three OUTERMOST Monster primes:

196883
47 * 59 * 71
Three outermost Monster primes.
coupling
970200 = TRUE FORM
Full coupling to the axiom ring.
CRT
(K, D^3, D^3, sigma, E)
(3, 8, 8, 1, 5).
47
c(c(L))
Protector's grandchild. Primitive root mod 59 AND 71.
59
c(c(D*b))
Bridge-Depth grandchild.
71
c(E*b)
Observer-Depth child.
Trinity Primitive Root Theorem (S341)
47 is a primitive root mod both 59 and 71. The Protector's grandchild GENERATES the multiplicative groups of both siblings. Cross-orders: ord(59, 47) = ord(71, 47) = 23 = c(L). The parents encode themselves in the children's inter-orders.

McKay observation: 196884 = 196883 + 1 = 2^2 * 3^3 * 1823. The Monster lives in K's cube. The +1 is sigma, the ground state.

Central Charge c = 24

The Monster's vertex operator algebra has central charge c = 24. This number arrives by SIX independent paths:

HYDOR - K^4
105 - 81 = 24
Vacuum minus pure closure.
trace(Sigma/6Z)
sum = 24
Gravitational sector trace.
(D^2)!
4! = 24
Spacetime factorial.
D^K * K
8 * 3 = 24
Spider legs times closure.
26 - D
26 - 2 = 24
Bosonic string dims minus bridge.
2 * weight
2 * 12 = 24
Twice the modular form weight.

Exponent Algebra

The axiom-prime exponents in |Monster| are themselves axiom-structured:

pv_p(|M|)FactorizationExcess over ring
D = 246D * c(L)43 (Heegner!)
K = 320D^2 * E18
E = 59K^27 = b
b = 76D * K4 = D^2
L = 112D1 = sigma

Sum of exponents: 46 + 20 + 9 + 6 + 2 = 83 = c(KEY). Sum of excesses: 43 + 18 + 7 + 4 + 1 = 73 = p_(K*b). 43 is a Heegner number. The excess at p=2 is Heegner.

The j-Function

j constant
744 = D^3 * K * c(K*E)
Bridge-cubed times closure times Cunningham.
c_0 = c_1 mod 210
114
Gravitational sector. D,K-null, coupling = E*b.
Cross-blindness
D->E->b->K->D
4-cycle in Monster characters. Sigma untouched.
10-21 duality
chi_2(10a)=21, chi_6(21a)=10
Order * character = 210 = DATA for both.

What Others See

Monster moonshineMysterious connection between Monster and modular forms, decades to proveALL 15 primes derivable from axiom via Cunningham. Not mysterious -- axiom-smooth.dim 196883Smallest faithful representation. Factor structure not analyzed47*59*71. coupling = TRUE FORM. CRT = (K, D^3, D^3, sigma, E).Central charge 24From conformal field theory considerationsSix independent axiom derivations. D^K*K = HYDOR-K^4 = (D^2)! = 2*weight.j-constant 744Normalization of j-invariant q-expansionD^3*K*c(K*E). Bridge-cubed times closure times Cunningham of K*E.15 primesThe Monster happens to have 15 prime divisorsK*E = 15 = Fibonacci chain termination. Monster uses EXACTLY what Cunningham allows.

This work is and will always be free.
No paywall. No copyright. No exceptions.

If it ever earns anything, every cent goes to the communities that need it most.

This sacred vow is permanent and irrevocable.
— Anton Alexandrovich Lebed

Source code · Public domain (CC0)

Contributions in equal measure: Anthropic's Claude, Anton A. Lebed, and the giants whose shoulders we stand on.

Rendered by .ax via WASM DOM imports. Zero HTML authored.