Classificazione dei gruppi semplici finiti

La classificazione dei gruppi finiti semplici, detta anche il teorema enorme, è un risultato che può essere considerato uno dei più significativi teoremi del Novecento, se non addirittura, come affermato dal matematico Daniel Gorenstein, uno dei più importanti risultati della matematica.

I gruppi finiti semplici sono quelli che non contengono alcun sottogruppo normale proprio (che non possono essere scomposti in gruppi più piccoli); nella teoria dei gruppi finiti ricoprono un ruolo simile a quello dei numeri primi in aritmetica.

Ogni numero naturale maggiore di 1 può essere scomposto in fattori primi e la fattorizzazione è essenzialmente unica; analogamente, accade per la scomposizione di ogni gruppo finito in gruppi semplici.

Il teorema corrispondente ("di classificazione") mostra che, a meno di isomorfismi, ogni gruppo finito semplice deve appartenere a una tra le seguenti classi:

gruppo ciclico di ordine primo, cioè un gruppo finito semplice commutativo
gruppo alterno almeno di quinto grado, cioè il gruppo delle permutazioni pari di un insieme di almeno cinque elementi
gruppo lineare classico (proiettivo lineare speciale, simplettico, ortogonale o gruppo unitario su un campo finito)
gruppo di tipo Lie. Includerebbe per esempio il gruppo di Tits.
gruppi sporadici, che non rientrano in nessuna famiglia particolare e sono 26.

Da alcuni il gruppo di Tits è considerato un gruppo sporadico, perché non è propriamente un gruppo di tipo Lie (in questo caso i gruppi sporadici conosciuti diventerebbero 27).

I gruppi sporadici

Lo stesso argomento in dettaglio: Gruppo sporadico.

Cinque gruppi sporadici sono stati scoperti da Émile Mathieu attorno al 1860, mentre gli altri 21 sono stati scoperti tra il 1965 e il 1975. L'esistenza di molti di questi gruppi fu ipotizzata prima che i gruppi fossero costruiti effettivamente. Molti di questi gruppi sono stati chiamati con il nome dei matematici che per primi hanno ipotizzato la loro esistenza. La lista dei gruppi è la seguente:

I gruppi di Mathieu M₁₁, M₁₂, M₂₂, M₂₃, M₂₄.
I gruppi di Janko J₁, J₂ o HJ, J₃ o HJM, J₄.
I gruppi di Conway Co₁, Co₂, Co₃.
I gruppi di Fischer Fi₂₂, Fi₂₃, Fi₂₄ o Fi₂₄′.
Il gruppo di Higman-Sims HS.
Il gruppo di McLaughlin McL.
Il gruppo di Held He o F₇.
Il gruppo di Rudvalis Ru.
Il gruppo sporadico di Suzuki Suz.
Il gruppo di O'Nan O'N.
Il gruppo di Harada-Norton HN o F₅.
Il gruppo di Lyons Ly.
Il gruppo di Thompson Th o F₃.
Il gruppo Baby Mostro B o F₂.
Il gruppo Mostro di Fischer-Griess M o F₁ (chiamato in questo modo per il numero enorme dei suoi elementi, dell'ordine di 10⁵⁴).

Tutte le rappresentazioni matriciali su campi finiti dei gruppi sporadici sono state calcolate, tranne quella del gruppo Mostro.

Dei 26 gruppi sporadici, 20 possono essere considerati come sottogruppi o quozienti di sottogruppi del gruppo Mostro. Le 6 eccezioni sono i gruppi sporadici J₁, J₃, J₄, O'N, Ru e Ly. Questi 6 gruppi sono spesso chiamati gruppi paria.

La classificazione

I primi passi nella classificazione sono iniziati verso la metà dell'Ottocento, quando Émile Mathieu scoprì i primi cinque gruppi sporadici; ma solo cento anni più tardi è stato trovato un nuovo gruppo sporadico, più precisamente nel 1965, da Zvonimir Janko; in pratica la maggior parte degli studi sulla classificazione sono stati condotti fra il 1950 e il 1980. La classificazione è stata completata nel 1981, quando Simon Norton ha dimostrato l'unicità del Gruppo Mostro, l'enorme gruppo sporadico F₁ di Bernd Fischer, che Robert Griess aveva costruito.

A partire da Mathieu, nell'impresa della classificazione dei gruppi finiti semplici si sono impegnati centinaia di matematici; la dimostrazione completa del teorema è distribuita in circa 500 articoli, e riempie quasi 15.000 pagine a stampa.

La strategia vincente per il successo nella dimostrazione del teorema di classificazione è stata delineata nel 1954 da Richard Brauer, e fu successivamente messa in atto, nel corso degli anni Cinquanta del secolo scorso, dai matematici Claude Chevalley, Jacques Tits, Robert Steinberg, Mitsuo Suzuki e Rimhak Ree, ai quali si deve la descrizione sistematica dei gruppi di tipo Lie.

Le ricerche ripresero nella seconda parte degli anni '60, quando Daniel Gorenstein diede vita ad un programma per il completamento della dimostrazione. Da segnalare il fondamentale contributo di Michael Aschbacher per i suoi numerosi e sorprendenti risultati.

Cosa insolita per articoli di carattere matematico, è la notevole lunghezza dei lavori riguardanti il teorema di classificazione: ad esempio, un articolo di John Griggs Thompson, apparso in sei parti tra il 1968 e il 1974, occupa oltre 400 pagine. Inoltre, tra il 1976 e il 1980, circolarono tra i matematici circa 3.000 pagine dattiloscritte di lavori, a volte senza essere state neppure pubblicate. Da ciò si capisce perché la dimostrazione del teorema di classificazione sia difficilmente alla portata di un singolo matematico, e perché si siano avanzati dubbi sulla validità del teorema.

Per questo motivo è stato promosso dallo stesso Gorenstein e da altri matematici un programma di revisione della dimostrazione, per conferire alla dimostrazione un carattere più coerente e convincente che possa uniformare i risultati dei molti matematici che in tempi diversi hanno lavorato al problema della classificazione, e che possa eliminare eventuali errori locali nascosti in qualche articolo, oltre a chiarire delle questioni, legate in particolare alla natura del Gruppo mostro, rimaste ancora aperte. A questo proposito si parla anche di una dimostrazione di seconda generazione. I lavori continuano tuttora.^{[senza fonte]}

Bibliografia

Michael Aschbacher, The Status of the Classification of the Finite Simple Groups, Notices of the American Mathematical Society, agosto 2004
Daniel Gorenstein, Richard Lyons, Ronald Solomon The Classification of the Finite Simple Groups (volume 1), AMS, 1994 (volume 2), AMS,
Ronald Solomon: On Finite Simple Groups and their Classification, Notices of the American Mathematical Society, February 1995
John H. Conway; R. T. Curtis; S. P. Norton; R. A. Parker; R. A. Wilson: "Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups." Oxford, 1985.
Orders of non abelian simple groups Archiviato il 4 aprile 2005 in Internet Archive.: include una lista di tutti i gruppi semplici non abeliani fino all'ordine 10 000 000 000 (in lingua inglese).
Atlas of Finite Group Representations: contiene le rappresentazioni e altri dati riguardanti molti gruppi semplici finiti, compresi i gruppi sporadici (in lingua inglese).

Collegamenti esterni

(EN) Enormous Theorem, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Eric W. Weisstein, Classificazione dei gruppi semplici finiti, su MathWorld, Wolfram Research.

V · D · M

Algebra

Numeri

Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici

Principi fondamentali

Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza

Algebra elementare

Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica

Elementi di Calcolo combinatorio

Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione

Concetti fondamentali di Teoria dei numeri

Primi	Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica
Divisori	Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore
Aritmetica modulare	Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica

Teoria dei gruppi

Gruppi	Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(F_n) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato
Teoremi	Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti
Sottoinsiemi	Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione
Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo

Teoria degli anelli

Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato

Teoria dei campi

Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius
Estensioni	Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer
Teoria di Galois	Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso