Teoria charakterów

W matematyce, konkretniej w teorii grup, charakter jest funkcją która przyporządkowuje elementom grupy ślad macierzy w danej reprezentacji. Dla macierzy nad ciałami algebraicznie domkniętymi o charakterystyce zero charakter jednoznacznie identyfikuje reprezentacje. Dodatkowo pozwala na prostą obliczeniową weryfikację przywiedlności reprezentacji.

Definicje

Niech $V$ będzie skończenie wymiarową przestrzenią wektorową nad ciałem $F$ i niech $\rho :G\to GL(V)$ będzie reprezentacją grupy $G$ na $V.$ Charakterem reprezentacji $\rho$ jest funkcja ${\chi }_{\rho }:G\to F$ dana przez:

${\chi }_{\rho }(g)=\mathrm{T}\mathrm{r}(\rho (g)),$

gdzie $\mathrm{Tr}$ jest śladem macierzy.

O charakterze mówimy, że jest nieprzywiedlny, jeśli reprezentacja jest nieprzywiedlna. Rzędem charakteru nazywamy wymiar reprezentacji, z której został utworzony.

Własności

• Charakter jest funkcją klas sprzężoności, tj. jeśli $g\sim h$ to $\chi (g)=\chi (h).$
• Izomorficzne reprezentacje mają równe charaktery.
• Jeśli reprezentacja jest sumą prostą pewnych reprezentacji, to jej charakter jest sumą charakterów tych reprezentacji.

Tablice charakterów

Tablica nieprzywiedlnych zespolonych charakterów jest kwadratowa i zawiera wiersze odpowiadające nieprzywiedlnym reprezentacjom grupy i kolumny odpowiadające klasom sprzężoności. Takie tablice posiadają wiele algebraicznych własności, które pozwalają na rekonstrukcję całej tablicy, posiadając tylko część (czasem bardzo małą) informacji.

Poniżej umieszczona jest tablica charakterów dla grupa alternującej na pięciu elementach.

Szablon:Diagonal split header	$()$	$(1,2)(3,4)$	$(1,2,3)$	$(1,2,3,4,5)$	$(1,2,3,5,4)$
Szablon:Diagonal split header	1	15	20	12	12
trywialna	1	1	1	1	1
część restrykcji kwadratu standardowej	3	–1	0	$(1+\sqrt{5})/2$	$(1-\sqrt{5})/2$
część restrykcji kwadratu standardowej	3	–1	0	$(1-\sqrt{5})/2$	$(1+\sqrt{5})/2$
restryckcja standardowej	4	0	1	–1	–1
piecio-wymiarowa nieprzywiedlna	5	1	–1	0	0

Na podstawie tej tabeli można na przykład stwierdzić, że $A_5$ jest grupą prostą.

Pierwszy wiersz tabeli charakterów zawsze odpowiada reprezentacji trywialnej danej przez trywialny homomorfizm $G\to GL(0,ℂ).$

Relacje ortogonalności

Przestrzeń funkcji zespolonych o dziedzinie klas sprzężoności posiada naturalny iloczyn skalarny postaci:

$⟨\alpha ,\beta ⟩:=\frac{1}{|G|}\sum _{g\in G}\alpha (g)\overline{\beta (g)},$

gdzie: $\overline{\beta (g)}$ to sprzężenie zespolone $\beta (g).$ Względem tego iloczynu skalarnego charaktery reprezentacji nieprzywiedlnych tworzą ortonormalną bazę, wynika z tego analogiczna relacja dla wierszy tabeli:

$⟨{\chi }_i,{\chi }_j⟩={\delta }_{ij},$

gdzie: ${\delta }_{ij}$ to delta Kroneckera.

Dla $g,h\in G$ relacja ortogonalności dla kolumn przybiera formę:

$\sum _{{\chi }_i}{\chi }_i(g)\overline{{\chi }_i(h)}=\{\begin{array}{cc}|C_G(g)|& \text{ dla }g\sim h\\ 0& \text{ w przeciwnym wypadku}\end{array},$

gdzie suma przebiega po wszystkich charakterach nieprzywiedlnych reprezentacji $G,$ a $|C_G|$ to wielkość centralizatora (równa ilorazowi rzędu grupy i wielkości klasy).

Relacje ortogonalności często pomagają w obliczeniach:

• rozkładu charakteru na kombinacje liniowa charakterów nieprzywiedlnych,
• konstruowaniu pełnej tabeli charakterów kiedy tylko część jest znana.

Dodatkowe własności algebraiczne

• Zgodnie z relacją ortogonalności suma kwadratów rzędów charakterów jest rzędem grupy.
• Wszystkie podgrupy normalne można bezpośrednio odczytać z tabeli charakterów: jądro charakteru to zbiór elementów, dla których $\chi (g)=\chi (1).$ Każde takie jądro jest podgrupą normalną, dodatkowo każda podgrupa normalna jest przecięciem jąder pewnych charakterów nieprzywiedlnych.
• Komutant jest przecięciem jąder jednowymiarowych charakterów.

Okazuje się niestety, że mimo iż charakter jednoznacznie wyznacza reprezentacje danej grupy, tabela charakterów nie wyznacza jednoznacznie grupy. Przykładem dwóch grup o takiej samej tabeli charakterów mogą być $Q_8$ – grupa kwaternionów oraz $D_8$ – grupa diedralna o 8 elementach.

Bibliografia

• Szablon:Cytuj stronę
• Szablon:Cytuj książkę