Lähdekoodi sivulle Ryhmän esitys

'''Ryhmän esitys''' on [[ryhmäteoria]]ssa käytetty tapa esittää abstrakti [[ryhmä_(algebra)|ryhmä]] [[vektoriavaruus|vektoriavaruuksien]] [[lineaarimuunnos|lineaarimuunnoksina]]. Esityksiä voidaan käyttää erityisesti ryhmäelementtien esittämiseen [[matriisi|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 [[homomorfismi]]a 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'' ([[Kunta (matematiikka)|kunnan]] ''K'' yli) on [[ryhmähomomorfismi]] ryhmästä ''G'' yleiseen lineaariryhmään [[Yleinen lineaarinen ryhmä|''GL(V)'']] ''V'':ssä.

Toisin sanoen, ryhmän esitys on kuvaus
:<math>\rho \colon G \to GL(V) \,\!</math> 
siten että
:<math>\rho(g_1 g_2) = \rho(g_1) \rho(g_2) , \qquad \text{kaikille }g_1,g_2 \in G . \,\!</math>

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
:<math>\rho_1 \colon G \to GL(V) \,\!</math> 
ja 
:<math>\rho_2 \colon G\rightarrow GL(W) \,\!</math>
sanotaan olevan '''ekvivalentteja''' tai '''isomorfisia''', mikäli on olemassa [[isomorfismi|vektoriavaruusisomorfismi]]
:<math>\alpha \colon  V \to W \,\!</math>
siten että kaikille ''g'' ryhmässä ''G''
:<math>\alpha \circ \rho_1(g) \circ \alpha^{-1} = \rho_2(g). \,\!</math>
Ekvivalentteja esityksiä merkitään <math>V \cong W</math>.

Muita ryhmille määriteltäviä käsitteitä ovat mm. '''jatkuva esitys''', '''uskollinen esitys''' sekä esityksen '''ydin'''.

== Esimerkkejä ==
Tarkastellaan kompleksilukua  ''u'' = e<sup>2πi / 3</sup>. Tällä on ominaisuus ''u''<sup>3</sup> = 1. [[Syklinen ryhmä|Syklisellä ryhmällä]] ''C''<sub>3</sub> = {1, ''u'', ''u''<sup>2</sup>} on esitys ρ avaruudessa '''C'''<sup>2</sup>:

:<math>
\rho \left( 1 \right) =
\begin{bmatrix}
1 & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\rho \left( u \right) =
\begin{bmatrix}
1 & 0 \\
0 & u \\
\end{bmatrix}
\qquad
\rho \left( u^2 \right) =
\begin{bmatrix}
1 & 0 \\
0 & u^2 \\
\end{bmatrix}.
</math>

Tämä esitys on uskollinen, koska  ρ on [[injektio|injektiivinen kuvaus]].

''C''<sub>3</sub>:lle voidaan löytää isomorfinen esitys:

:<math>
\rho \left( 1 \right) =
\begin{bmatrix}
1 & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\rho \left( u \right) =
\begin{bmatrix}
u & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\rho \left( u^2 \right) =
\begin{bmatrix}
u^2 & 0 \\
0 & 1 \\
\end{bmatrix}.
</math>

Ryhmä ''C''<sub>3</sub> voidaan myös esittää uskollisella esityksellä avaruudessa '''R'''<sup>2</sup> seuraavasti:

:<math>
\rho \left( 1 \right) =
\begin{bmatrix}
1 & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\rho \left( u \right) =
\begin{bmatrix}
a & -b \\
b & a \\
\end{bmatrix}
\qquad
\rho \left( u^2 \right) =
\begin{bmatrix}
a & b \\
-b & a \\
\end{bmatrix}
</math>

jossa <math>a=\Re(u)=-1/2</math> ja <math>b=\Im(u)=\sqrt{3}/2</math>.

== 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 [[suora summa|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.

==Kirjallisuutta==
* Fulton-Harris. Introduction to representation theory with emphasis on Lie groups.
* Yurii I. Lyubich. ''Introduction to the Theory of Banach Representations of Groups''. Birkhäuser Verlag. 1988.

[[Luokka:Ryhmäteoria]]
[[Luokka:Seulonnan keskeiset artikkelit]]