You are on page 1of 2

Studentska natjecanja Matija Bašić - Reprezentacije konačnih grupa 1

REPREZENTACIJE KONAČNIH GRUPA


Matija Bašić
25. svibnja 2016.

Na predavanju smo uveli pojam konjugirane klase grupe, reprezentacije grupe, reduci-
bilne, ireducibilne i potpuno reducibilne reprezentacije, morfizma reprezentacija (operatora
preplitanja), grupovne algebre i karaktera reprezentacija.
Komentirali smo da je svaka konačnodimenzionalna reprezentacija konačne grupe potpuno
reducibilna (Maschke); da su izmedu ekvivalentnih ireducibilnih reprezentacija svi ne-nul ope-
ratori preplitanja izomorfizmi (Schurova lema); uveli smo skalarni produkt na grupovnoj al-
gebri C[G] i pokazali da karakteri čine ortonormiran sustav.

Budući da su karakteri dobro definirani na klasama konjugacije, iz tablice karaktera se vidi


da je broj ireducibilnih reprezentacija ograničen odozgo brojem konjugacijskih klasa grupe G.

Idući put ćemo pokazati da je broj ireducibilnih reprezentacija baš jednak broju klasa ko-
njugacije grupe G, te ćemo na kombinatoran način pokazati kako konstruirati sve ireduciblne
reprezentacije grupe permutacija Sn za proizvoljan n ∈ N.

Domaća zadaća
Potrebno je riješiti minimalno 6 zadataka, pri čemu je 10. zadatak obavezan. Rok za
predaju je srijeda, 8.6. na predavanju koje će se održati u 10 sati.

1. Dokažite da su dvije permutacije u istoj klasi konjugacije ako i samo ako imaju isti
ciklički tip (tj. za svaki k imaju jednak broj k-ciklusa u rastavu na cikluse).

2. Dokažite da je standardna reprezentacija, definirana na prostoru

W = {v ∈ Cn : v1 + . . . + vn = 0}

s djelovanjem grupe Sn danim permutiranjem koordinata, ireducibilna (tj. da nema


invarijantnih potprostora).

3. Dovršite dokaz Maschkeovog teorema. Preciznije, za reprezentaciju (V, π) konačne grupe


G i skalarni produkt h−, −i dokažite da je formulom
X
(x, y) = hπ(g)x, π(g)yi
g∈G

definiran skalarni produkt na V obzirom na koji je π unitarna reprezentacija (vrijedi


(π(g)x, π(g)y) = (x, y) za sve x, y ∈ V .
Nadalje, pokažite da je ortogonalni komplement W ⊥ (obzirom na skalarni produkt
(−, −)) bilo kojeg invarijantnog potprostora W prostora V takoder invarijatan.

4. Dokažite Schurovu lemu: svaki morfizam A : (V, π) → (W, ρ) izmedu konačnodimenzionalnih


ireducibilnih reprezentacija je izomorfizam ili nul-morfizam.

5. Dokažite da su sve ireducibilne reprezentacije Abelove grupe jednodimenzionalne.


Studentska natjecanja Matija Bašić - Reprezentacije konačnih grupa 2

6. Dokažite da je formulom
1 X
(f1 , f2 ) = f1 (g)f2 (g)
|G| g∈G

definiran skalarni produkt na grupovnoj algebri C[G] konačne grupe G i da funkcije


{δg : G → C : g ∈ G} 
1, h = g;
δg (h) =
0, h 6= g
čine ortonormiranu bazu unitarnog prostora C[G].

7. Neka je χπ oznaka za karakter reprezentacije (V, π) konačne grupe G. Dokažite

(a) χπ (g −1 ) = χπ (g) za sve g ∈ G,


(b) χπ (g1 g2 ) = χπ (g2 g1 ) za sve g1 , g2 ∈ G,
(c) χπ1 ⊕π2 (g) = χπ1 (g) + χpi2 (g) za sve g ∈ G,
(d) χπ1 ⊗π2 (g) = χπ1 (g)χpi2 (g) za sve g ∈ G,
(e) reprezentacije su ekvivalentne ako i samo ako su im karakteri jednaki.

8. Neka su (V, π) i (W, ρ) ireducibilne reprezentacije konačne grupe G. Za linearni operator


A : V → W dokažite da je operator
1 X
A0 = ρ(g −1 )Aπ(g)
|G| g∈G

operator preplitanja. Dokažite da je



X 1, π ' ρ;
(χπ , χρ ) = (πii , πjj ) =
0, π '
6 ρ.
i,j

9. Dokažite da je reprezentacija (V, π) ireducibilna ako i samo ako je (χπ , χπ ) = 1.


Neka je (U 0 , sgn) alternirajuća reprezentacija, a (V, π) ireducibilna reprezentacija grupe
Sn . Dokažite da je V ⊗ U 0 takoder ireducibilna.

10. Odredite tablicu karaktera ireducibilnih reprezentacija grupe S4 .

11. Odredite tablicu karaktera ireducibilnih reprezentacija grupe S5 .


Kako biste odredili sve ireducibilne reprezentacije iskoristite prethodni zadatak, orto-
gonalnost karaktera, kombinatorne činjenice koje smo spominjali na predavanju i/ili
činjenicu koju ćemo dokazati idući put
X
|G| = d(α)2
α

pri čemu je suma indeksirana po svim ireducibilnim reprezentacijama (Vα , πα ) i d(α)


označava dimenziju prostora Vα .

You might also like