Incoming links: Sporadic group
Ciro Santilli is very fond of this result: the beauty of mathematics.
How can so much complexity come out from so few rules?
How can the proof be so long (thousands of papers)?? Surprise!!
And to top if all off, the awesomely named monster group could have a relationship with string theory via the monstrous moonshine?
all science is either physics or stamp collecting comes to mind.
The classification contains:
- cyclic groups: infinitely many, one for each prime order. Non-prime orders are not simple. These are the only Abelian ones.
- alternating groups of order 4 or greater: infinitely many
- groups of Lie type: a contains several infinite families
- sporadic groups: 26 or 27 of them depending on definitions
A bit like the classification of simple finite groups, they also have a few sporadic groups! Not as spectacular since as usual continuous problems are simpler than discrete ones, but still, not bad.
Oh, and the dude who created the en.wikipedia.org/wiki/Exceptional_object Wikipedia page won an Oscar: www.youtube.com/watch?v=oF_FLN-TmCY, Dan Piponi, aka
@sigfpe. Cool dude.Cool examples:
Contains the first sporadic groups discovered by far: 11 and 12 in 1861, and 22, 23 and 24 in 1973. And therefore presumably the simplest! The next sporadic ones discovered were the Janko groups, only in 1965!
Each is a permutation group on elements. There isn't an obvious algorithmic relationship between and the actual group.
TODO initial motivation? Why did Mathieu care about k-transitive groups?
Their; k-transitive group properties seem to be the main characterization, according to Wikipedia:Looking at the classification of k-transitive groups we see that the Mathieu groups are the only families of 4 and 5 transitive groups other than symmetric groups and alternating groups. 3-transitive is not as nice, so let's just say it is the stabilizer of and be done with it.
- 22 is 3-transitive but not 4-transitive.
- four of them (11, 12, 23 and 24) are the only sporadic 4-transitive groups as per the classification of 4-transitive groups (no known simpler proof as of 2021), which sounds like a reasonable characterization. Note that 12 and 25 are also 5 transitive.
Mathieu group section of Why Do Sporadic Groups Exist? by Another Roof (2023)
Source. Only discusses Mathieu group but is very good at that.