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.
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
siten että
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
ja 
sanotaan olevan ekvivalentteja tai isomorfisia, mikäli on olemassa vektoriavaruusisomorfismi
siten että kaikille "g" ryhmässä "G"
Ekvivalentteja esityksiä merkitään formula_7.
Muita ryhmille määriteltäviä käsitteitä ovat mm. jatkuva esitys, uskollinen esitys sekä esityksen ydin.
Tarkastellaan kompleksilukua "u" = e. Tällä on ominaisuus "u" = 1. Syklisellä ryhmällä "C" = {1, "u", "u"} on esitys ρ avaruudessa C:
Tämä esitys on uskollinen, koska ρ on injektiivinen kuvaus.
"C":lle voidaan löytää isomorfinen esitys:
Ryhmä "C" voidaan myös esittää uskollisella esityksellä avaruudessa R seuraavasti:
jossa formula_11 ja formula_12.
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.