Supersingular prime (moonshine theory)
Encyclopedia
In the mathematical branch of moonshine theory, a supersingular prime is a certain type of prime number
.
Namely, a supersingular prime is a prime divisor
of the order
of the Monster group
M, the largest of the sporadic simple groups. There are precisely 15 supersingular primes: 2, 3, 5, 7, 11
, 13
, 17
, 19
, 23
, 29
, 31
, 41
, 47
, 59
, and 71
— all 15 are Chen prime
s.
This definition is related to the notion of supersingular elliptic curves as follows. For a prime number p,
the following are equivalent:
The equivalence is due to Andrew Ogg
. More precisely, in 1975 Ogg showed that the primes satisfying the first condition are exactly the 15 supersingular primes listed above and shortly thereafter learned of the (then conjectural) existence of a sporadic simple group having exactly these primes as prime divisors. This strange coincidence was the beginning of the theory of monstrous moonshine.
Prime number
A prime number is a natural number greater than 1 that has no positive divisors other than 1 and itself. A natural number greater than 1 that is not a prime number is called a composite number. For example 5 is prime, as only 1 and 5 divide it, whereas 6 is composite, since it has the divisors 2...
.
Namely, a supersingular prime is a prime divisor
Divisor
In mathematics, a divisor of an integer n, also called a factor of n, is an integer which divides n without leaving a remainder.-Explanation:...
of the order
Order (group theory)
In group theory, a branch of mathematics, the term order is used in two closely related senses:* The order of a group is its cardinality, i.e., the number of its elements....
of the Monster group
Monster group
In the mathematical field of group theory, the Monster group M or F1 is a group of finite order:...
M, the largest of the sporadic simple groups. There are precisely 15 supersingular primes: 2, 3, 5, 7, 11
11 (number)
11 is the natural number following 10 and preceding 12.Eleven is the first number which cannot be counted with a human's eight fingers and two thumbs additively. In English, it is the smallest positive integer requiring three syllables and the largest prime number with a single-morpheme name...
, 13
13 (number)
13 is the natural number after 12 and before 14. It is the smallest number with eight letters in its name spelled out in English. It is also the first of the teens – the numbers 13 through 19 – the ages of teenagers....
, 17
17 (number)
17 is the natural number following 16 and preceding 18. It is prime.In spoken English, the numbers 17 and 70 are sometimes confused because they sound similar. When carefully enunciated, they differ in which syllable is stressed: 17 vs 70...
, 19
19 (number)
19 is the natural number following 18 and preceding 20. It is a prime number.In English speech, the numbers 19 and 90 are often confused. When carefully enunciated, they differ in which syllable is stressed: 19 vs 90...
, 23
23 (number)
23 is the natural number following 22 and preceding 24.- In mathematics :Twenty-three is the ninth prime number, the smallest odd prime that is not a twin prime. Twenty-three is also the fifth factorial prime, the third Woodall prime...
, 29
29 (number)
29 is the natural number following 28 and preceding 30.-In mathematics:It is the tenth prime number, and also the fourth primorial prime. It forms a twin prime pair with thirty-one, which is also a primorial prime. Twenty-nine is also the sixth Sophie Germain prime. It is also the sum of three...
, 31
31 (number)
31 is the natural number following 30 and preceding 32.- In mathematics :Thirty-one is the third Mersenne prime as well as the fourth primorial prime, and together with twenty-nine, another primorial prime, it comprises a twin prime. As a Mersenne prime, 31 is related to the perfect number 496,...
, 41
41 (number)
41 is the natural number following 40 and preceding 42.-In mathematics:Forty-one is the 13th smallest prime number. The next is forty-three, with which it comprises a twin prime...
, 47
47 (number)
47 is the natural number following 46 and preceding 48.-In mathematics:Forty-seven is the fifteenth prime number, a safe prime, the thirteenth supersingular prime, and the sixth Lucas prime. Forty-seven is a highly cototient number...
, 59
59 (number)
59 is the natural number following 58 and preceding 60.-In mathematics:Fifty-nine is the 17th smallest prime number. The next is sixty-one, with which it comprises a twin prime. 59 is an irregular prime, a safe prime and the 14th supersingular prime. It is an Eisenstein prime with no imaginary...
, and 71
71 (number)
71 is the natural number following 70 and preceding 72.-In mathematics:71 is the algebraic degree of Conway's constant, a remarkable number arising in the study of look-and-say sequences....
— all 15 are Chen prime
Chen prime
A prime number p is called a Chen prime if p + 2 is either a prime or a product of two primes. The even number 2p + 2 therefore satisfies Chen's theorem....
s.
This definition is related to the notion of supersingular elliptic curves as follows. For a prime number p,
the following are equivalent:
- The modular curveModular curveIn number theory and algebraic geometry, a modular curve Y is a Riemann surface, or the corresponding algebraic curve, constructed as a quotient of the complex upper half-plane H by the action of a congruence subgroup Γ of the modular group of integral 2×2 matrices SL...
X0+(p) = X0(p) / wp, where wp is the Fricke involution of X0(p), has genusGeometric genusIn algebraic geometry, the geometric genus is a basic birational invariant pg of algebraic varieties and complex manifolds.-Definition:...
zero. - Every supersingular elliptic curve in characteristic p can be defined over the prime subfield Fp.
- The order of the Monster group is divisible by p.
The equivalence is due to Andrew Ogg
Andrew Ogg
Andrew Pollard Ogg is an American mathematician, a professor emeritus of mathematics at the University of California, Berkeley....
. More precisely, in 1975 Ogg showed that the primes satisfying the first condition are exactly the 15 supersingular primes listed above and shortly thereafter learned of the (then conjectural) existence of a sporadic simple group having exactly these primes as prime divisors. This strange coincidence was the beginning of the theory of monstrous moonshine.