Rappresentazioni irriducibili del gruppo simmetrico

In questa tesi ho esaminato un aspetto della teoria delle rappresentazioni, studiando alcuni risultati fondamentali per il gruppo simmetrico Sn. Lo scopo principale è stato quello di trovare, a meno di isomorfismi, tutte le rappresentazioni irriducibili del gruppo simmetrico. Partendo dal presupposto che il numero delle rappresentazioni irriducibili del gruppo simmetrico Sn è uguale al numero delle partizioni dell’intero n, ho costruito un modulo Sλ, detto modulo di Specht, in corrispondenza di ogni partizione λ di n. Tali moduli Sλ formano un insieme completo di Sn-moduli irriducibili sul campo complesso ed hanno basi corrispondenti ai tableaux standard di forma λ. Ho suddiviso il tutto in due capitoli, nel primo ho mostrato a caratteri generali le rappresentazioni di un qualsiasi gruppo finito G, mentre nel secondo ho affrontato più specificatamente l’argomento. Il primo capitolo contiene quattro paragrafi: il primo paragrafo tratta delle rappresentazioni di un gruppo G in termini di matrici, nel secondo ho definito una rappresentazione in termini di G-modulo, dimostrando l’equivalenza tra le due definizioni di rappresentazione di G, il terzo esamina la riducibilità di un G-modulo ed infine nel quarto ho dato la nozione di completa riducibilità e con il “Teorema di Maschke” ho dimostrato che ogni rappresentazione di un gruppo finito sul campo complesso di dimensione positiva è completamente riducibile. Il secondo capitolo è suddiviso in sei paragrafi: il primo tratta di diagrammi di Young e tableaux, nel secondo ho definito l’azione di Sn sui tableaux, il terzo introduce i moduli di Specht Sλ; nel quarto ho dato un risultato essenziale che va sotto il nome di “Teorema del sottomodulo”, mediante il quale ho mostrato che i moduli Sλ costituiscono un insieme completo di moduli irriducibili, il quinto tratta di tableaux standard che possono essere usati per indicizzare una base per Sλ, infine nel sesto paragrafo ho costruito gli elementi di Garnir, utilizzati per portare un qualunque tableau in forma standard.