Teoria dei gruppi. Gruppo degli automorfismi interni e gruppo degli automorfismi esterni

Ciao RebC,

complimenti per la domanda, che tocca il cuore di uno degli strumenti più potenti della teoria dei gruppi. Hai perfettamente ragione nel notare il passaggio dagli elementi alle relazioni: i gruppi interni (Inn(G)) ed esterni (Out(G)) sono proprio dei "riflessi" della struttura di G, che misurano rispettivamente quanto il gruppo è flessibile da dentro e rigido da fuori.

# Gruppo degli Automorfismi Interni (Inn(G))
Cosa misura: L'incompletezza dell'azione di coniugazione di G su se stesso.

Interpretazione: Ogni elemento g di G definisce un automorfismo (un isomorfismo da G in sé) tramite la coniugazione: φ_g(x) = g x g⁻¹. Questi automorfismi sono "naturali" perché nascono dagli elementi stessi del gruppo. Inn(G) è il gruppo di tutti questi automorfismi.

A cosa serve nella pratica:

Misurare l'abelianità: Inn(G) è banale se e solo se G è abeliano. Più in generale, Inn(G) ≅ G / Z(G), dove Z(G) è il centro. Quindi, studiare Inn(G) ti dà informazioni precise su quanto G sia non commutativo e sul suo centro.

Caratterizzare i sottogruppi normali: Un sottogruppo H è normale se e solo se è invariante per tutti gli automorfismi interni (gHg⁻¹ = H). Quindi, Inn(G) è il gruppo di simmetrie che "vede" tutti i sottogruppi normali.

Nello studio dei gruppi semplici: Un gruppo è semplice se non ha sottogruppi normali non banali. Questo significa, in un certo senso, che Inn(G) agisce in modo "il più transitivo possibile" sui sottogruppi non banali

# Gruppo degli Automorfismi Esterni (Out(G))
Cosa misura: Gli automorfismi non banali che non provengono da nessuna coniugazione interna. È il quoziente Aut(G) / Inn(G).

Interpretazione: Misura le simmetrie nascoste di G, quelle che non sono spiegabili semplicemente rimischiando gli elementi tramite coniugazione. Sono simmetrie della struttura moltiplicativa che appaiono solo guardando il gruppo dall'esterno.

A cosa serve nella pratica (qui sta la vera potenza):

Classificazione di gruppi: Out(G) è un invariante fondamentale. Due gruppi isomorfi devono avere gruppi esterni isomorfi. Per gruppi "fondamentali" in topologia, Out(π₁(X)) è legato al gruppo delle classi di omotopia di automorfismi dello spazio X.

Teoria delle estensioni: Questo è il contesto principe. Supponi di voler classificare tutte le estensioni di un gruppo N (normale) per un gruppo Q (quoziente), cioè tutti i gruppi G tali che 1 → N → G → Q → 1. L'azione di G su N per coniugazione induce un omomorfismo Φ: Q → Out(N). La teoria di Schreier ci dice che per classificare le estensioni, bisogna studiare questi omomorfismi in Out(N).

Esempio concreto:

Prendi N = ℤⁿ (abeliano). Allora Inn(N) è banale, quindi Out(ℤⁿ) = Aut(ℤⁿ) = GL(n, ℤ).

Un'estensione 1 → ℤⁿ → G → Q → 1 è determinata (in parte) da un'azione di Q su ℤⁿ, cioè da un omomorfismo Q → GL(n, ℤ). Questo lega la teoria dei gruppi alla geometria (azioni su reticoli) e all'algebra lineare sui numeri interi.

Teoria dei gruppi finiti: Per gruppi finiti semplici non abeliani, l'Teorema di Hölder afferma che Out(G) è molto piccolo (spesso ciclico o un prodotto di gruppi ciclici). Questo è un risultato di rigidità straordinario e uno strumento potentissimo nella classificazione. Ad esempio, Out(A_n) (per il gruppo alterno) è banale per n ≠ 6, e di ordine 2 per n=6. Questa "eccezione" (n=6) ha profonde implicazioni (l'automorfismo esterno di A_6 è legato alla simmetria del diagramma di Dynkin D_4).

Esempio Chiarificatore: Il Gruppo Dihedrale
Prendiamo D₈, il gruppo delle simmetrie del quadrato (8 elementi).

Inn(D₈) ha ordine 4 (è isomorfo a C₂ × C₂). Riflette il fatto che coniugare per una rotazione o una riflessione scambia tra loro certe riflessioni.

Out(D₈) è banale? No! In realtà Aut(D₈) è più grande di Inn(D₈), e Out(D₈) ha ordine 2. L'automorfismo esterno non banale scambia, per esempio, due tipi di riflessioni che nel quadrato sono distinguibili (quelle per assi passanti per vertici opposti vs quelle per i punti medi di lati opposti). Questo automorfismo "non viene da una simmetria del quadrato stesso", ma è una simmetria della tabella di moltiplicazione di D₈