Monster Moonshine

All 15 Monster primes from {2,3,5,7,11}

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.

Cunningham Generation

Starting from {2, 3, 5, 7, 11} and their smooth products, all 15 Monster primes emerge in three generations:

GenPrimeSeedHow
02, 3, 5, 7, 11base primesGiven
113c(6) = 2*6+16 = 2*3
117c(8) = 2*8+18 = 2^3
119c(9) = 2*9+19 = 3^2
123c(11) = 2*11+111 = prime
129c(14) = 2*14+114 = 2*7
131c(15) = 2*15+115 = 3*5
141c(20) = 2*20+120 = 4*5
171c(35) = 2*35+135 = 5*7
247c(23) = c(c(11))2 steps
259c(29) = c(c(14))2 steps
Monster Cunningham Completeness
All 15 Monster primes are reachable from {2, 3, 5, 7, 11} via at most 2 Cunningham steps c(n) = 2n+1, where seeds are products of {2, 3, 5, 7, 11}. GAP-verified.

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.
CRT(196883)
(3, 8, 8, 1, 5, 11)
mod 8/9/25/49/11/13 decomposition.
47
c(c(11)) = c(23)
Two Cunningham steps from 11.
59
c(c(14)) = c(29)
Two Cunningham steps from 14 = 2*7.
71
c(35)
One Cunningham step from 35 = 5*7.
Primitive Root Theorem
47 is a primitive root mod both 59 and 71. ord(59 mod 47) = ord(71 mod 47) = 23. The inter-orders encode the Cunningham parent c(11) = 23.

McKay observation: 196884 = 196883 + 1 = 2^2 * 3^3 * 1823.

Central Charge c = 24

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

105 - 81
24
3*5*7 - 3^4.
4!
24
Factorial of 4.
8 * 3
24
2^3 * 3.
26 - 2
24
Bosonic string dimension minus 2.
2 * 12
24
Twice the weight of Delta.

Exponent Algebra

The exponents of {2,3,5,7,11,13,17} in |Monster| are themselves structured:

pv_p(|M|)FactorizationExcess over ring
2462 * 2343 (Heegner)
3204 * 518
593^27
762 * 34
11221
13332
17110

All 7 exponents are 7-smooth (factor into {2, 3, 5, 7} only). Sum = 87 = 3*29. The exponent sequence descends: 46, 20, 9, 6, 2, 3, 1.

Monster-Conway excess
{24, 11, 5, 4, 1, 2}
v_p(M) - v_p(Co_0). All excesses are 7-smooth.
Excess at p=2
24
Leech lattice dimension.
6-prime excess sum
47
= c(c(11)). Largest gen-2 Monster prime.
7-prime excess sum
48 = phi(210)
Euler totient of Z/210.
Monster Exponent Theorem
All 7 prime exponents in |Monster| are 7-smooth. Monster-Conway excess = {24, 11, 5, 4, 1, 2}. 6-prime excess sum = 47. 7-prime excess sum = 48 = phi(210). Verified: 147/147 verified.

The j-Function

j constant
744 = 8 * 3 * 31
j(tau) = q^{-1} + 744 + 196884q + ...
744 mod 210
114
114 = 2 * 3 * 19.
McKay +1
196884 = 196883 + 1
First non-trivial j-coefficient = dim + 1.

Sporadic Hierarchy

The sporadic groups form a chain M_11 -> M_12 -> M_22 -> M_23 -> M_24 -> Co_0 -> Monster. At each level, the total prime-factor count (Omega):

GroupOmegaAxiomomega (distinct)
M_1182^34
M_1211prime4
M_22122^2 * 35
M_2313prime6
M_2417prime6
Co_0402^3 * 57
Monster955 * 1915
Omega sum
196 = 14^2
Total Omega across all 7 groups.
omega distinct product
12600
Product of distinct omega values {4, 5, 6, 7, 15} = 12600.
Monster-Co_0 excess
55 = 5 * 11
Omega(Monster) - Omega(Co_0) = 95 - 40.
Sporadic Prime Anatomy
The sporadic hierarchy Omega staircase: {8, 11, 12, 13, 17, 40, 95}. omega distinct: {4, 4, 5, 6, 6, 7, 15}. Verified: 114/114 verified.

Mathieu Exponent Staircase

The five Mathieu groups have Omega values that form a staircase: {8, 11, 12, 13, 17}.

Staircase
{8, 11, 12, 13, 17}
Mathieu Omega values in order.
Sum
61
8 + 11 + 12 + 13 + 17.
Range
17 - 8 = 9 = 3^2
Span of the staircase.
Differences
{3, 1, 1, 4}
Product = 12 = Carmichael lambda of Z/210.
Mathieu Staircase Theorem
Mathieu Omega values {8, 11, 12, 13, 17} sum to 61. Range = 9 = 3^2. Difference product = 12. Verified: 138/138 verified.

Contrast Table

Monster moonshineMysterious connection between Monster and modular formsAll 15 primes from {2,3,5,7,11} via at most 2 Cunningham steps.dim 196883Smallest faithful representation47 * 59 * 71. CRT mod Z/214,414,200 = (3, 8, 8, 1, 5, 11).Central charge 24From conformal field theory8*3 = 4! = 2*12. Multiple arithmetic paths to 24.j-constant 744Normalization of j-invariant744 = 8 * 3 * 31.15 primesThe Monster has 15 prime divisorsAll 15 reachable from 5 base primes via Cunningham c(n) = 2n+1.Exponent smoothnessIndividual exponents not analyzed structurallyAll 7 are 7-smooth. Conway excess sum = 48 = phi(210).Mathieu exponentsFive Mathieu groups, no structural pattern notedOmega staircase {8,11,12,13,17}. Sum = 61. Range = 9.

Explore: Cunningham Distance

Enter a prime. See how many Cunningham steps c(n) = 2n+1 separate it from {2, 3, 5, 7, 11}. All 15 Monster primes need at most 2 steps. Try 47, 71, 41, 23.

Prime p:

Source code · Public domain (CC0)

Report issue

.ax source compiled to WASM via self-hosting compiler. Zero HTML authored.