title: Gruppo sporadico
text: # Gruppo sporadico
  
  In matematica, e in particolare in teoria dei gruppi, con gruppo sporadico si intende un gruppo semplice finito che è uno dei 26 casi eccezionali del teorema di classificazione dei gruppi semplici finiti. Questo teorema afferma infatti che, se $G$ è un gruppo semplice finito allora, $G$ è
  
  * un gruppo con un numero primo di elementi, oppure
  * un gruppo alternante $A_{n}$ con $n$ maggiore di $5$, oppure
  * un gruppo di tipo Lie, oppure
  * uno dei 26 gruppi sporadici.
  
  I primi cinque gruppi sporadici furono scoperti da Emile Léonard Mathieu nel 1861 e nel 1873. I successivi furono scoperti tra il 1965 ed il 1975, generalmente prendono il nome dai loro scopritori.
  
  Per via della loro struttura anomala, i gruppi sporadici sono oggetti matematici che presentano tuttora aspetti misteriosi e, presumibilmente ricchi di interessanti conseguenze. A tal proposito val la pena ricordare il problema del Monstrous Moonshine per il Mostro recentemente risolto da Richard Borcherds.
  
  ## Lista ed ordini dei gruppi sporadici
  
  I cinque gruppi di Mathieu:
  
  * $M_{11}$, di ordine $2^{4}\cdot 3^{2}\cdot 5\cdot 11;$
  * $M_{12}$, di ordine $2^{6}\cdot 3^{3}\cdot 5\cdot 11;$
  * $M_{22}$, di ordine $2^{7}\cdot 3^{2}\cdot 5\cdot 7\cdot 11;$
  * $M_{23}$, di ordine $2^{7}\cdot 3^{2}\cdot 5\cdot 7\cdot 11\cdot 23;$
  * $M_{24}$, di ordine $2^{10}\cdot 3^{3}\cdot 5\cdot 7\cdot 11\cdot 23.$
  
  I quattro gruppi di Janko:
  
  * $J_{1}$, di ordine $2^{3}\cdot 3\cdot 5\cdot 7\cdot 11\cdot 19;$
  * $J_{2}$, di ordine $2^{7}\cdot 3^{3}\cdot 5^{2}\cdot 7;$
  * $J_{3}$, di ordine $2^{7}\cdot 3^{5}\cdot 5\cdot 17\cdot 19;$
  * $J_{4}$, di ordine $2^{21}\cdot 3^{3}\cdot 5\cdot 7\cdot 11^{3}\cdot 23\cdot 29\cdot 31\cdot 37\cdot 43.$
  
  I tre gruppi di Conway:
  
  * $Co_{3}$, di ordine $2^{10}\cdot 3^{7}\cdot 5^{3}\cdot 7\cdot 11\cdot 23;$
  * $Co_{2}$, di ordine $2^{18}\cdot 3^{6}\cdot 5^{3}\cdot 7\cdot 11\cdot 23;$
  * $Co_{1}$, di ordine $2^{21}\cdot 3^{9}\cdot 5^{4}\cdot 7^{2}\cdot 11\cdot 13\cdot 23.$
  
  Il gruppo di Higman-Sims:
  
  * $HS$, di ordine $2^{9}\cdot 3^{2}\cdot 5^{3}\cdot 7.$
  
  Il gruppo di McLaughlin:
  
  * $HS$, di ordine $2^{7}\cdot 3^{6}\cdot 5^{3}\cdot 7\cdot 11.$
  
  Il gruppo di Suzuki:
  
  * $Suz$, di ordine $2^{13}\cdot 3^{7}\cdot 5^{2}\cdot 7\cdot 11\cdot 13.$
  
  Il gruppo di Held:
  
  * $He$, di ordine $2^{10}\cdot 3^{3}\cdot 5^{2}\cdot 7^{3}\cdot 17.$
  
  Il gruppo di Lyons:
  
  * $Ly$, di ordine $2^{8}\cdot 3^{7}\cdot 5^{6}\cdot 7\cdot 11\cdot 31\cdot 37\cdot 67.$
  
  Il gruppo di Rudvalis:
  
  * $Ru$, di ordine $2^{14}\cdot 3^{3}\cdot 5^{3}\cdot 7\cdot 13\cdot 29.$
  
  Il gruppo di O'Nan:
  
  * $O'N$, di ordine $2^{9}\cdot 3^{4}\cdot 5\cdot 7^{3}\cdot 11\cdot 19\cdot 31.$
  
  I tre gruppi di Fischer:
  
  * $Fi_{22}$, di ordine $2^{17}\cdot 3^{9}\cdot 5^{2}\cdot 7\cdot 11\cdot 13;$
  * $Fi_{23}$, di ordine $2^{18}\cdot 3^{13}\cdot 5^{2}\cdot 7\cdot 11\cdot 13\cdot 17\cdot 23;$
  * $Fi_{24}'$, di ordine $2^{21}\cdot 3^{16}\cdot 5^{2}\cdot 7^{3}\cdot 11\cdot 13\cdot 17\cdot 23\cdot 29.$
  
  Il gruppo di Harada-Norton:
  
  * $HN$, di ordine $2^{14}\cdot 3^{6}\cdot 5^{6}\cdot 7\cdot 11\cdot 19.$
  
  Il gruppo di Thompson:
  
  * $Th$, di ordine $2^{15}\cdot 3^{10}\cdot 5^{3}\cdot 7^{2}\cdot 13\cdot 19\cdot 31.$
  
  Il Baby Mostro:
  
  * $B$, di ordine $2^{41}\cdot 3^{13}\cdot 5^{6}\cdot 7^{2}\cdot 11\cdot 13\cdot 17\cdot 19\cdot 23\cdot 31\cdot 47.$
  
  Il Mostro di Fischer-Griess:
  
  * $M$, di ordine $2^{46}\cdot 3^{20}\cdot 5^{9}\cdot 7^{6}\cdot 11^{2}\cdot 13^{3}\cdot 17\cdot 19\cdot 23\cdot 29\cdot 31\cdot 41\cdot 47\cdot 59\cdot 71.$
  
  ## Relazioni tra i gruppi sporadici
  
  Può essere interessante notare che, contrariamente a quanto il loro nome possa far supporre, i gruppi sporadici hanno diversi legami tra loro e con gli altri gruppi semplici finiti. Ad esempio $M_{11}$ può venire costruito a partire dall'automorfismo esterno eccezionale di $Alt_{6}$ e tutti i gruppi di Mathieu possono essere costruiti ricorsivamente come gruppi di automorfismi di sistemi di Steiner. $Co_{1}$ è il quoziente modulo un centro di ordine $2$ del gruppo degli automorfismi del Reticolo di Leech (un reticolo intero $24$-dimensionale di uno spazio euclideo di dimensione 24). Come stabilizzatori di certi sottoreticoli di dimensione $1$ e $2$ del Reticolo di Leech si possono trovare $Co_{2}$, $Co_{3}$, $McL$, $HS$, e come certi sottogruppi locali di $Co_{1}$, anche $J_{2}$ e $Suz$. Inoltre il Reticolo di Leech può essere costruito a partire dal sistema di Steiner $S(24,8,5)$ associato a $M_{24}$. Esclusi i $6$ gruppi $J_{1}$, $O'N$, $J_{3}$, $Ly$, $Ru$ e $J_{4}$ (i cosiddetti Pariah), i restanti $20$ gruppi sporadici sono contenuti come sezioni nel Mostro e molti di questi compaiono come fattori di composizione nei sottogruppi locali del Mostro: ad esempio il Baby Mostro e $Co_{1}$ compaiono come quozienti di centralizzanti di opportuni elementi di ordine $2$ del Mostro, similmente nei normalizzanti dei sottogruppi di ordine $3$ compaiono $Fi_{24}'$ e $Suz$ e, per opportuni sottogruppi di ordine $5$, $7$ e $11$ si possono trovare in modo analogo rispettivamente $J_{2}$, $He$ e $M_{12}$. Allo stesso modo, nelle sezioni di sottogruppi locali del Baby Mostro si possono inoltre trovare: $Co_{2}$ e $HN$ nei centralizzanti di elementi di ordine $2$, $Fi_{22}$ nei normalizzanti di opportuni elementi di ordine $3$ e $HS$ in quelli di ordine $5$.
  
  