Ryhmän esitys

Ryhmän esitys on ryhmäteoriassa käytetty tapa esittää abstrakti ryhmä vektoriavaruuksien lineaarimuunnoksina. Esityksiä voidaan käyttää erityisesti ryhmäelementtien esittämiseen matriiseina, jolloin ryhmäoperaatio voidaan esittää matriisitulona. Esitykset mahdollistavat monien ryhmäteoreettisten ongelmien palauttamisen lineaarialgebran ongelmiksi, jotka joissain tapauksissa voivat olla helpompia ratkaista. Ryhmien esityksiä käytetään mm. fysiikassa, jossa ne konkretisoivat symmetriaryhmän vaikutuksen fysikaalista systeemiä kuvaavien yhtälöiden ratkaisuihin.
Matemaattisesti esitys tarkoittaa homomorfismia ryhmästä (tietyn objektin) automorfismiryhmään. Mikäli objekti on vektoriavaruus, kyseessä on lineaariesitys. Usein ryhmän esityksestä puhuttaessa tarkoitetaan nimenomaan lineaariesitystä.
Ryhmän esitysteoria jakautuu alateorioiksi kuvaamiensa ryhmien mukaan. Esimerkkeinä esitysteoriassa käsitellyistä ryhmistä ovat 
äärelliset ryhmät, kompaktit ryhmät, Lie-ryhmät, lineaarialgebralliset ryhmät ja ei-kompaktit topologiset ryhmät.
Esitysteoria on riippuvainen käytettävän vektoriavaruuden tyypistä. Puhutaan äärellisistä ja ääretönulotteisista esityksistä riippuen kyseisen vektoriavaruuden dimensioista.
Määritelmiä.
Ryhmän "G" esitys vektoriavaruudessa "V" (kunnan "K" yli) on ryhmähomomorfismi ryhmästä "G" yleiseen lineaariryhmään "GL(V)" "V":ssä.
Toisin sanoen, ryhmän esitys on kuvaus
formula_1 
siten että
formula_2
Vektoriavaruutta "V" kutsutaan esitysavaruudeksi ja sen dimensiota kutsutaan esityksen dimensioksi. Usein avaruutta "V" itseään voidaan suoraan kutsua esitykseksi, mikäli homomorfismi käy selväksi kontekstista.
Mikäli "V":n dimensio "n" on äärellinen, voidaan sille määritellä kanta ja identifioida "GL(V)" ryhmän "GL(n, K)" kanssa, joka on "n×n"-dimensioisten kääntyvien matriisien muodostama ryhmä kentän K yli.
Kahden esityksen
formula_3 
ja 
formula_4
sanotaan olevan ekvivalentteja tai isomorfisia, mikäli on olemassa vektoriavaruusisomorfismi
formula_5
siten että kaikille "g" ryhmässä "G"
formula_6
Ekvivalentteja esityksiä merkitään formula_7.
Muita ryhmille määriteltäviä käsitteitä ovat mm. jatkuva esitys, uskollinen esitys sekä esityksen ydin.
Esimerkkejä.
Tarkastellaan kompleksilukua "u" = e2πi / 3. Tällä on ominaisuus "u"3 = 1. Syklisellä ryhmällä "C"3 = {1, "u", "u"2} on esitys ρ avaruudessa C2:
formula_8
Tämä esitys on uskollinen, koska ρ on injektiivinen kuvaus.
"C"3:lle voidaan löytää isomorfinen esitys:
formula_9
Ryhmä "C"3 voidaan myös esittää uskollisella esityksellä avaruudessa R2 seuraavasti:
formula_10
jossa formula_11 ja formula_12.
Redusoituvuus.
Esitysavaruuden "V" aliavaruutta "W", joka on invariantti ryhmäoperaation suhteen, kutsutaan aliesitykseksi. Mikäli avaruudella "V" on täsmälleen kaksi aliesitystä, nimittäin nolla-dimensioinen aliavaruus sekä avaruus "V" itse, esityksen sanotaan olevan redusoitumaton (tai irredusoituva); mikäli sillä on ei-triviaali aliesitys (jonka dimensio ei ole nolla), esityksen sanotaan olevan redusoituva. Nolla-dimensioisen esityksen ei ajatella olevan sen paremmin redusoituva kuin irredusoituva.
Tietyin edellytyksin äärellisen ryhmän esitys voidaan muodostaa redusoitumattomien aliesitysten suorana summana.
Edellisessä esimerkissä kaksi ensimmäistä esitystä ovat molemmat hajotettavissa kahteen 1-dimensioiseen aliesitykseen (span{(1,0)} ja span{(0,1)}), kun taas kolmas annettu esitys on redusoitumaton.