Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

Questa voce o sezione sull'argomento matematica è ritenuta da controllare.

Motivo: Traduzione parola per parola della voce inglese, non risulta però chiara. Cosa sono gli "elementi razionali di un gruppo algebrico lineare riduttivo"? Serve una definizione precisa.

---

Partecipa alla discussione e/o correggi la voce. Segui i suggerimenti del progetto di riferimento.

In matematica, un gruppo di tipo Lie è solitamente un gruppo finito strettamente correlato al gruppo dei punti razionali di un gruppo algebrico lineare riduttivo con valori in un campo finito. La frase "gruppo di tipo Lie" non ha una definizione precisa ampiamente accettata, tuttavia ha una definizione precisa la classe dei gruppi semplici finiti di tipo Lie. Questi ultimi hanno un ruolo chiave nella classificazione dei gruppi semplici finiti. Casi speciali includono i gruppi classici, i gruppi Chevalley, i gruppi di Steinberg, e i gruppi di Suzuki-Ree.

Un approccio iniziale a questa questione fu la definizione e lo studio dettagliato dei cosiddetti gruppi classici sui campi finiti e non. Fu fatto molto lavoro, dal tempo di Leonard Eugene Dickson al libro di Jean Dieudonné. Per esempio Emil Artin studiò gli ordini di tali gruppi, ponendo particolare attenzione alla classificazione delle coincidenze.

I gruppi classici più importanti sono i gruppi lineari speciali, i gruppi ortogonali, i gruppi simplettici e i gruppi unitari. Vi sono inoltre altri gruppi classici meno importanti ottenuti come sottogruppi derivati o come quozienti rispetto al centro. Questi gruppi si costruiscono su un campo (finito o meno) nello stesso modo in cui sono costruiti sul campo dei numeri reali. Essi corrispondono alle successioni ${\displaystyle A_{n}}$, ${\displaystyle B_{n}}$, ${\displaystyle C_{n}}$, ${\displaystyle D_{n},^{2}A_{n},^{2}D_{n}}$ dei gruppi di Chevalley e di Steinberg.

La teoria dei cosiddetti gruppi di Chevalley fu chiarita da quella dei gruppi algebrici e dal lavoro di Claude Chevalley della metà degli anni 50 sulle algebre di Lie, per mezzo delle quali il concetto di gruppo di Chevalley fu definito. Chevalley costruì una base di Chevalley (una specie di forma integrale) per tutte le algebre di Lie semplici e complesse (o piuttosto delle loro algebre universali), che può essere usata per definire i corrispondenti gruppi algebrici sugli interi. In particolare, egli poteva prendere gli elementi di tali gruppi in ogni campo finito. Per le algebre di Lie ${\displaystyle A_{n}}$, ${\displaystyle B_{n}}$, ${\displaystyle C_{n}}$, ${\displaystyle D_{n}}$ ciò dava i gruppi classici più noti, ma questa costruzione dava anche i gruppi associati alle algebre eccezionali di Lie ${\displaystyle E_{6}}$, ${\displaystyle E_{7}}$, ${\displaystyle E_{8}}$, ${\displaystyle F_{4}}$ e ${\displaystyle G_{2}}$. (Alcuni di questi gruppi erano già stati costruiti da Dickson.)

La costruzione di Chevalley non fornì tutti i gruppi classici conosciuti: non comprendeva i gruppi unitari e i gruppi ortogonali non frazionati. Robert Steinberg trovò una variazione della costruzione di Chevalley che diede questi gruppi e poche nuove famiglie. Questa costruzione generalizza la costruzione usuale del gruppo unitario dal gruppo lineare generale.

Il gruppo unitario si presenta come segue: il gruppo lineare generale sui numeri complessi ha un automorfismo a diagramma, dato invertendo il diagramma di Dynkin ${\displaystyle A_{n}}$, e un automorfismo di campo ottenuto considerando la coniugazione complessa, che commuta. Il gruppo unitario è il gruppo di punti fissi del prodotto di questi due automorfismi.

Allo stesso modo, molti gruppi di Chevalley hanno automorfismi di diagramma indotti da automorfismi dei loro diagrammi di Dynkin e automorfismi di campo indotti da automorfismi di un campo finito. Analogamente al caso unitario, Steinberg costruì famiglie di gruppi prendendo punti fissi di un prodotto di un diagramma e un automorfismo di campo.

Ciò diede:

• i gruppi unitari ²A_n da automorfismi di ${\displaystyle A_{n}}$ di ordine 2;

• ulteriori gruppi ortogonali ²D_n, da automorfismi di ${\displaystyle D_{n}}$ di ordine 2;

• e nuove serie ²E₆, da automorfismi di ${\displaystyle E_{n}}$ di ordine 2;

• le nuove serie ³D₄, da automorfismi di ${\displaystyle D_{4}}$ di ordine 3.

I gruppi di tipo ³D₄ non hanno analoghi sui reali, poiché i numeri complessi non hanno automorfismi di ordine 3. Le simmetrie del diagramma ${\displaystyle D_{4}}$ danno anche origine alla trialità.

Intorno al 1960, Michio Suzuki provocò scalpore per aver trovato una nuova successione di gruppi che, a prima vista, sembravano non correlati ai gruppi algebrici conosciuti. Ree sapeva che il gruppo algebrico ${\displaystyle B_{2}}$ aveva un automorfismo "extra" di caratteristica 2, il cui quadrato era l'automorfismo di Frobenius. Aveva inoltre osservato che se un campo finito di caratteristica 2 ha anche un automorfismo il cui quadrato era la mappa di Frobenius, allora un analogo della costruzione di Steinberg dava i gruppi di Suzuki. I campi con tale automorfismo sono quelli di ordine 2²ⁿ⁺¹ e i gruppi corrispondenti sono i gruppi di Suzuki

²B₂(2²ⁿ⁺¹) = Suz(2²ⁿ⁺¹).

(A rigor di termini, il gruppo Suz(2) non è considerato come un gruppo di Suzuki poiché non è semplice: è il gruppo di Frobenius di ordine 20). Ree fu capace di trovare 2 nuove famiglie simili

²F₄(2²ⁿ⁺¹)

e

²G₂(3²ⁿ⁺¹)

di gruppi semplici usando il fatto che ${\displaystyle F_{4}}$ e ${\displaystyle G_{2}}$ hanno automorfismi extra di caratteristica 2 e 3. Il più piccolo gruppo ²F₄(2) del tipo ²F₄ non è semplice, ma possiede un sottogruppo semplice di indice 2, chiamato gruppo di Tits (dal matematico Jacques Tits). Il più piccolo gruppo ²G₂(3) di tipo ²G₂ non è semplice, ma possiede un sottogruppo semplice normale di indice 3, isomorfico a SL₂(8). Nella classificazione dei gruppi semplici finiti, i gruppi di Ree

²G₂(3²ⁿ⁺¹)

sono quelli la cui struttura è più difficile da definire esplicitamente con precisione . Questi gruppi giocarono anche un ruolo nella scoperta del primo gruppo sporadico moderno.Possiedono centralizzatori di involuzione della forma Z/2Z × PSL₂(q) per q = 3ⁿ e dalla ricerca di gruppi con un centralizzatore di involuzione della forma similare Z/2Z × PSL₂(5), Janko trovò il gruppo sporadico ${\displaystyle J_{1}}$.

I gruppi finiti di tipo Lie furono tra i primi gruppi a essere considerati in matematica, dopo i gruppi ciclici, simmetrici e alternanti. Il loro studio iniziò con il teorema di Camille Jordan per cui il gruppo lineare speciale proiettivo PSL₂(q) è semplice per q≠ 2,3. Questo teorema generalizza i gruppi proiettivi di dimensioni maggiori e dà un'importante famiglia infinita PSL_n(q) di gruppi semplici finiti. Altri gruppi classici furono studiati da Leonard Dickson all'inizio del XX secolo. Negli anni 50 Claude Chevalley si rese conto che dopo una riformulazione appropriata, molti teoremi tipo sui gruppi semisemplici di Lie, ammettono analoghi per gruppi algebrici su un campo arbitrario k, portando a costruzioni di ciò che ora è chiamato gruppo di Chevalley.

Inoltre, come nel caso dei gruppi di Lie semplici e compatti, i gruppi corrispondenti si rivelarono essere quasi semplici come i gruppi astratti (teorema della semplicità di Tits). Nonostante fosse noto sin dal XIX secolo che esistevano altri gruppi semplici finiti(per esempio i gruppi di Mathieu), si arrivò gradualmente alla convinzione che quasi tutti i gruppi finiti semplici potevano essere valutati attraverso appropriate estensioni della costruzione di Chevalley, insieme ai gruppi alternanti e ciclici. Tuttavia le eccezioni, i gruppi sporadici, condividono molte proprietà con i gruppi finiti del tipo di Lie e, in particolare, possono essere costruiti e caratterizzati basandosi sulla loro geometria nel senso di Tits.

La convinzione è ora diventata un teorema. Un'analisi della lista dei gruppi semplici finiti mostra che i gruppi di tipo Lie su un campo finito includono tutti i gruppi finiti semplici diversi dai gruppi ciclici, i gruppi alternanti, i gruppi di Tits e i 26 gruppi sporadici semplici.

Molti dei più piccoli gruppi nelle famiglie sopra citate possiedono proprietà speciali non condivise dalla maggior parte degli altri gruppi della famiglia.

• Qualche volta i gruppi più piccoli sono risolubili piuttosto che semplici; per esempio i gruppi SL₂(2) and SL₂(3) sono risolubili.

• Esiste un numero sorprendente di isomorfismi "accidentali" tra vari gruppi piccoli di tipo Lie (e gruppi alternanti). Per esempio, i gruppi SL₂(4), PSL₂(5) e il gruppo alternante su 5 punti sono tutti isomorfici.

• Alcuni gruppi semplici possiedono un moltiplicatore di Schur che è maggiore di quanto ci si aspettasse. Per esempio, i gruppi A_n(q) hanno di solito un moltiplicatore di Schur di ordine (n + 1, q − 1), ma il gruppo A₂(4) ha un moltiplicatore di Schur di ordine 48, invece dell'atteso valore 3.

Per una lista completa di queste eccezioni vedi quella lista dei gruppi finiti semplici. Molte di queste proprietà speciali sono correlate a certi gruppi sporadici semplici. L'esistenza di questi “piccoli” fenomeni non è propriamente un argomento “banale”; se ne trovano riscontri altrove, per esempio nella teoria della omotopia.

I gruppi alternanti qualche volta si comportano come se fossero gruppi di tipo Lie sul campo con un elemento. Alcuni dei gruppi alternanti piccoli possiedono proprietà eccezionali. I gruppi alternanti hanno di solito automorfismo esterno di gruppo di ordine 2, ma il gruppo alternante su 6 punti ha un automorfismo esterno di gruppo di ordine 4. I gruppi alternanti di solito hanno un moltiplicatore di Schur di ordine 2, ma quelli su 6 o 7 punti hanno un moltiplicatore di Schur di ordine 6.

Sfortunatamente non esiste una notazione standard per i gruppi finiti del tipo Lie, e la letteratura contiene dozzine di sistemi incompatibili e confusi di loro denominazioni, qualcuno dei quali potrebbe difficilmente essere peggiore, essendo stati specificatamente designati a confondere i nuovi arrivati.

• I gruppi di tipo A_n−1 sono qualche volta denotati con PSL_n(q) (il gruppo lineare speciale proiettivo) o con L_n(q).

• I gruppi di tipo ${\displaystyle C_{n}}$ sono qualche volta denotati da Sp_2n(q) (il gruppo simplettico) o (confusamente) da Sp_n(q).

• La denominazione per i gruppi ortogonali è particolarmente confusa. Alcuni simboli usati O_n(q), O⁻_n(q),PSO_n(q), ${\displaystyle \Omega _{n}(q)}$, ma esistono così tante convenzioni che non è possibile dire esattamente a quale gruppo questi corrispondono. Una trappola particolarmente insidiosa è che alcuni autori usano O_n(q) per un gruppo che non è il gruppo ortogonale, ma il gruppo semplice corrispondente.

• Per i gruppi di Steinberg, alcuni autori scrivono ²A_n(q²) (e così via) per il gruppo che altri autori denotano con ²A_n(q). Il problema è che ci sono due campi coinvolti, uno di ordine q² e il suo campo fisso di ordine q, e si hanno diverse idee su quale dovrebbe essere usato nella notazione. La convenzione "²A_n(q²)" è più logica e consistente, ma la convenzione "²A_n(q)" è molto più comune e più vicina alla convenzione usata per i gruppi algebrici.

• Gli autori differiscono sulla questione se i gruppi come A_n(q) sono gruppi di elementi con valori nel gruppo algebrico semplice o semplicemente connesso. Per esempio, A_n(q) potrebbe indicare sia il gruppo lineare speciale SL_n+1(q) sia il gruppo lineare speciale proiettivo PSL_n+1(q). In tal modo ²A₂(2²) potrebbe essere uno qualsiasi dei 4 gruppi diversi, a seconda all'autore.

Un riferimento classico è

• Simple Groups of Lie Type by Roger W. Carter, ISBN 0-471-50683-4

I gruppi classici sono descritti in

• La géométrie des groupes classiques di Jean Dieudonné

Leonard Dickson studia gruppi di tipo G₂ in

• L. E. Dickson, A new system of simple groups, Math. Ann., 60 (1905), 137-150.

• Gruppo di Lie

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica