Gruppo simmetrico

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.

In matematica, il gruppo simmetrico di un insieme è il gruppo formato dall'insieme delle permutazioni dei suoi elementi, cioè dall'insieme delle funzioni biiettive di tale insieme in se stesso, munito dell'operazione binaria di composizione di funzioni. Tutti i gruppi simmetrici di insiemi aventi la stessa cardinalità sono isomorfi. Tra i gruppi simmetrici di un dato numero finito n di oggetti in genere si preferisce considerare quello costituito dalle permutazioni degli interi 1, 2, ..., n e denotarlo con S_n. Questa successione di gruppi è studiata molto approfonditamente e gioca un ruolo di primaria importanza per lo studio delle simmetrie. È facile provare che il gruppo S_n ha ordine n! (si veda la voce permutazione) e che non è abeliano per n > 2.

Tra gli elementi di S_n notevole importanza hanno i k-cicli (con k ≤ n), ossia gli elementi di S_n che hanno ordine k e che hanno esattamente n-k punti fissi. Per ogni k = 1, 2, ..., n si può dimostrare che il numero dei k-cicli è ${\displaystyle {\frac {n!}{k(n-k)!}}}$ e dunque, in particolare, che il numero dei 2-cicli è esattamente ${\displaystyle {\frac {n(n-1)}{2}}}$: queste ultime permutazioni sono dette anche trasposizioni o scambi. Diciamo che due cicli sono disgiunti se i punti di un ciclo che non sono fissi sono fissi per l'altro ciclo.

È facile dimostrare che ogni elemento di S_n si può scrivere come prodotto di cicli mutuamente disgiunti. Inoltre ogni ciclo si può decomporre anche come prodotto di trasposizioni (nella gran parte dei casi non disgiunte). Sebbene la scomposizione di un elemento di S_n in trasposizioni non sia unica, l'applicazione di S_n nel gruppo costituito da {+1,-1} munito dell'ordinario prodotto che manda un elemento in 1 se è ottenibile come prodotto di un numero pari di trasposizioni e in -1 se è ottenibile come prodotto di un numero dispari di trasposizioni è ben definita ed è un omomorfismo di gruppi. Le permutazioni la cui immagine è 1 si dicono permutazioni pari, dispari le altre.

Il nucleo di tale omomorfismo (o equivalentemente l'insieme delle permutazioni pari) è detto gruppo alterno (o alternante) e si indica con A_n. Tale sottogruppo, avendo indice 2 su S_n, ha ${\displaystyle {\frac {n!}{2}}}$ elementi ed è normale su S_n. Si può dimostrare che il gruppo S_n è isomorfo al prodotto semidiretto di A_n con il sottogruppo generato da una qualsiasi trasposizione.

Si può dimostrare che per n ≥ 5 A_n è un gruppo semplice non abeliano. Un'immediata conseguenza di ciò è che A_n non è risolubile e dunque, dato che un sottogruppo di un gruppo risolubile è risolubile, neanche S_n per n ≥ 5 può essere risolubile (è facile invece mostrare che S_n è risolubile per n ≤ 4).

Le classi di coniugio di S_n corrispondono alle decomposizioni in cicli disgiunti; in altre parole, due elementi di S_n sono coniugati se e solo se le loro decomposizioni in cicli disgiunti consistono dello stesso numero di cicli della stessa lunghezza. Per esempio, tutti i prodotti di due 2-cicli e un 3-ciclo disgiunti sono coniugati, mentre un elemento che si ottiene come prodotto di un 2-ciclo e un 3-ciclo disgiunti non è mai coniugato a un elemento che si ottiene come prodotto di due 2-cicli disgiunti.

I gruppi simmetrici ${\displaystyle S_{n}}$, per ${\displaystyle n\in \mathbb {N} }$, sono esempi di gruppi di Coxeter ed esempi di gruppi di riflessioni. Possono essere realizzati come gruppi di riflessioni rispetto agli iperpiani ${\displaystyle x_{i}=x_{j},1\leq i<j\leq n}$. Inoltre Il gruppo ${\displaystyle S_{n}}$ si può realizzare come gruppo quoziente del gruppi delle trecce ${\displaystyle B_{n}}$.

Uno dei motivi per cui sono particolarmente importanti i gruppi simmetrici è dato dal teorema di Cayley che afferma che ogni gruppo finito ${\displaystyle G}$ di ordine ${\displaystyle n}$ è isomorfo a un sottogruppo di ${\displaystyle S_{n}}$.

Il gruppo S₂ è isomorfo al gruppo ciclico con due elementi, mentre A₂ è il gruppo composto dalla sola identità.

Il gruppo S₃ è isomorfo al gruppo diedrale di ordine 6, cioè il gruppo delle riflessioni e delle rotazioni simmetriche di un triangolo equilatero, dato che queste simmetrie permutano i 3 vertici del triangolo. I 2-cicli corrispondono alle riflessioni mentre i cicli di lunghezza 3 alle rotazioni. Tale isomorfismo manda A₃ nel gruppo delle rotazioni del triangolo: dato che hanno 3 elementi, entrambi sono isomorfi al gruppo ciclico di 3 elementi.

Il gruppo S₄ è isomorfo al gruppo formato dalle rotazioni proprie del cubo. In questo caso, gli oggetti permutati sono le quattro diagonali del cubo.

• Permutazione

• (EN) Eric W. Weisstein, Gruppo simmetrico, 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(Fn) · 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
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole
argomenti	Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

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