-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathupodobitve.tex
5216 lines (4410 loc) · 364 KB
/
upodobitve.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\documentclass[11pt]{book}
\usepackage[slovene]{babel}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage[dvipsnames]{xcolor}
\usepackage{titlesec}
% \usepackage{amssymb}
\usepackage{pstricks,pst-plot,pst-math}
\usepackage{pstricks-add}
\usepackage{graphicx}
\usepackage{enumerate}
\usepackage{color}
\usepackage{fouriernc}
\usepackage{microtype}
\usepackage{MnSymbol}
\usepackage{tikz-cd}
\usetikzlibrary{backgrounds}
\usepackage{wrapfig}
\usepackage{geometry}
\geometry{
a4paper,
left=45mm,
right=45mm,
top=20mm,
bottom=20mm
}
\usepackage{comment}
\usepackage{listings} % za dodajanje programske kode
\usepackage{amsthm}
\usepackage{changepage} % for the adjustwidth environment
\usepackage{hyperref}
\hypersetup{
colorlinks=true,
linkcolor=cyan,
filecolor=magenta,
urlcolor=cyan
}
\usepackage[backgroundcolor=svetlosiva,linecolor=siva,textsize=footnotesize]{todonotes}
%\usepackage{todonotes}
\pagestyle{plain}
% \counterwithout{footnote}{chapter} % continuous counter numbering
\usepackage{enumitem}
\setlist[description]{leftmargin=\parindent,labelindent=\parindent, font=\normalfont\itshape\textbullet\space}
\def\NN{\mathbf{N}}
\def\ZZ{\mathbf{Z}}
\def\QQ{\mathbf{Q}}
\def\RR{\mathbf{R}}
\def\CC{\mathbf{C}}
\def\conclass{\mathcal{C}}
\def\11{\mathbf{1}}
\def\FF{\mathbf{F}}
\def\Fcal{\mathcal{F}}
\def\EE{\mathbf{E}}
\def\PP{\mathbf{P}}
\def\HH{\mathbf{H}}
\def\youngsym{\sigma_{\lambda}}
\DeclareMathOperator\image{im}
\DeclareMathOperator\sgn{sgn}
\DeclareMathOperator\Res{Res}
\DeclareMathOperator\Ind{Ind}
\DeclareMathOperator\Rep{Rep}
\DeclareMathOperator\mult{mult}
\DeclareMathOperator\Izotip{Izotip}
\DeclareMathOperator\MK{MK}
\DeclareMathOperator\tr{tr}
\DeclareMathOperator\Irr{Irr}
\DeclareMathOperator\SU{SU}
\DeclareMathOperator\characteristic{char}
\DeclareMathOperator\kk{k}
\DeclareMathOperator\cl{cl}
\def\GAP{\texttt{GAP}}
\DeclareMathOperator\inv{inv}
\DeclareMathOperator\Eigenvalues{Spec}
\DeclareMathOperator\Eigenspace{ES}
\DeclareMathOperator\fun{fun}
\DeclareMathOperator\HS{HS}
\DeclareMathOperator\St{St}
\DeclareMathOperator\Realpart{Re}
\DeclareMathOperator\Aut{Aut}
\DeclareMathOperator\GL{GL}
\DeclareMathOperator\glfrak{\mathfrak{gl}}
\DeclareMathOperator\slfrak{\mathfrak{sl}}
\DeclareMathOperator\sufrak{\mathfrak{su}}
\DeclareMathOperator\U{U}
\DeclareMathOperator\SL{SL}
\DeclareMathOperator\PSL{PSL}
\DeclareMathOperator\SO{SO}
\DeclareMathOperator\Gal{Gal}
\DeclareMathOperator\Sym{Sym}
\DeclareMathOperator\Homeo{Homeo}
\DeclareMathOperator\Cay{Cay}
\DeclareMathOperator\Isom{Isom}
\DeclareMathOperator\id{id}
\DeclareMathOperator\supp{supp}
\DeclareMathOperator\End{End}
\DeclareMathOperator\Mat{Mat}
\DeclareMathOperator\Cone{Cone}
\DeclareMathOperator\diam{diam}
\DeclareMathOperator\Ad{Ad}
\DeclareMathOperator\imaginary{Im}
\def\definicija{\color{rdeca}\bf\em}
\def\vprasanje{\color{oranzna}}
\def\literatura{\color{modra}}
\def\vaje{{\literatura ($\to$ vaje)}}
% \def\kljuka{$\checkmark\kern-0.7em\checkmark$}
\def\kljuka{$\checkmark$}
\newtheorem{theorem}{Theorem}[section]
\theoremstyle{definition}
\newtheoremstyle{zgled}
{}{}%
{\color{zelena}}
{}%
{\color{zelena}\bfseries}%
{\color{zelena}.}%
{ }{}
\theoremstyle{zgled}
\newtheorem{zgled}[theorem]{Zgled}
\newtheoremstyle{odprtproblem}
{}{}%
{\color{oranzna}}
{}%
{\color{oranzna}\bfseries}%
{\color{oranzna}.}%
{ }{}
\theoremstyle{odprtproblem}
\newtheorem{odprtproblem}[theorem]{Odprt problem}
\newtheoremstyle{domacanaloga}
{}{}%
{\color{vijolicna}}
{}%
{\color{vijolicna}\bfseries}%
{\color{vijolicna}.}%
{ }{}
\theoremstyle{domacanaloga}
\newtheorem{domacanaloga}[theorem]{Domača naloga}
\newenvironment{dokaz}
{\color{siva}\begin{proof}}
{\end{proof}}
% \newenvironment{imenovandokaz}[1]
% {\smallskip \color{siva} \noindent {\bf {#1}.}
% }
% {\hfill$\square$\smallskip
% }
\newtheoremstyle{izrek}
{}{}% above, below
{\color{black}\itshape}
{}% indent
{\color{black}\bfseries}%
{\color{black}.}%
{ }{}
\theoremstyle{izrek}
\newtheorem{izrek}[theorem]{Izrek}
% \newenvironment{izrek}
% {\smallskip\begin{center}\noindent\begin{tabular}{|p{0.9\textwidth}|}
% \hline{\noindent\bf Izrek.}
% }
% {
% \\\hline
% \end{tabular}\end{center}\smallskip
% }
\newtheorem{trditev}[theorem]{Trditev}
\newtheorem{pomoznatrditev}[theorem]{Pomožna trditev}
% \newenvironment{trditev}
% {\smallskip\begin{center}\noindent\begin{tabular}{|p{0.9\textwidth}|}
% \hline{\noindent\bf Trditev.}
% }
% {
% \\\hline
% \end{tabular}\end{center}\smallskip
% }
\newtheorem{lema}[theorem]{Lema}
% \newenvironment{lema}
% {\smallskip\begin{center}\noindent\begin{tabular}{|p{0.9\textwidth}|}
% \hline{\noindent\bf Lema.}
% }
% {
% \\\hline
% \end{tabular}\end{center}\smallskip
% }
\newtheorem{posledica}[theorem]{Posledica}
% \newenvironment{posledica}
% {\smallskip\begin{center}\noindent\begin{tabular}{|p{0.9\textwidth}|}
% \hline{\noindent\bf Posledica.}
% }
% {
% \\\hline
% \end{tabular}\end{center}\smallskip
% }
\newenvironment{povzetek}
{
\smallskip
\begin{center}
\color{svetlosiva}
\begin{tabular}{|p{0.7\textwidth}}
}
{
\end{tabular}
\end{center}
\smallskip
}
\definecolor{rdeca}{rgb}{0.62, 0.16, 0.10}
\definecolor{zelena}{rgb}{0.15, 0.4, 0.20}
\definecolor{oranzna}{rgb}{0.72, 0.38, 0.082}
\definecolor{rjava}{rgb}{0.7490196078431373, 0.3686274509803922, 0.1843137254901961}
\definecolor{modra}{rgb}{0.2784313725490196, 0.5411764705882353, 0.8392156862745098}
\definecolor{vijolicna}{rgb}{0.48627450980392156, 0.2980392156862745, 0.792156862745098}
\definecolor{siva}{rgb}{0.5, 0.5, 0.5}
\definecolor{svetlosiva}{rgb}{0.7, 0.7, 0.7}
\titleformat{\section}
{\color{rdeca}\LARGE\bf}{\thesection}{1em}{}
\renewcommand{\thesubsection}{}
\titleformat{\subsection}
{\Large\bf}{}{1em}{}
\title{\bf Teorija upodobitev}
\author{Urban Jezernik}
% za generiranje html dokumenta s stilom mystyle.css uporabi:
% pandoc upodobitve.tex --toc --toc-depth=2 --metadata date="`date -u "+%d. %m. %Y"`" --template template.html -c mystyle.css -s --mathjax -o index.html
\begin{document}
\baselineskip=14pt
\maketitle
\setcounter{tocdepth}{1}
\tableofcontents
\newpage
\subsection*{Kratek opis predmeta}
Teorija upodobitev se ukvarja z \emph{linearizacijo} abstraktnih objektov, predvsem grup in njihovih delovanj. Gre za klasično in dobro raziskano vejo matematike, ki ima številne uporabe tudi v drugih znanostih. Dva pomembna cilja, ki ju ta teorija doseže, sta naslednja.
\begin{enumerate}
\item Namesto abstraktne obravnave dano grupo na različne načine uresničimo z obrnljivimi matrikami, kar nam z močnimi orodji linearne algebre omogoča bolj transparenten študij njihovih lastnosti. Tukaj nas zanimajo predvsem najenostavnejši načini predstavitev grup z matrikami.
\begin{zgled}
Opazujmo diedrsko grupo $D_{2n} = \langle s, r \rangle$, v kateri je $s^2 = 1$, $r^n = 1$ in $s r s = r^{-1}$. Ta abstraktna grupa izhaja iz simetrij $n$-kotnika v ravnini, s čimer lahko uresničimo njena generatorja $s,r$ kot matriki
\[
s \mapsto \begin{pmatrix}
0 & 1 \\ 1 & 0
\end{pmatrix}, \quad
r \mapsto \begin{pmatrix}
\cos(2 \pi/n) & - \sin(2 \pi/n) \\
\sin(2 \pi/n) & \cos(2 \pi/n)
\end{pmatrix}
\]
in torej poljuben element $D_{2n}$ kot matriko v $\GL_2(\RR)$.
\end{zgled}
\item Mnoge situacije, kjer se pojavljajo grupe prek svojih delovanj, lahko lineariziramo in to linearno strukturo razstavimo na enostavne komponente, ki jih razumemo s pomočjo prejšnje točke.
\begin{zgled}
Opazujmo simetrično grupo $S_n$, ki naravno deluje na množici $\{ 1, 2, \dots, n \}$ s permutacijami. Temu delovanju lahko priredimo vektorski prostor z bazo $\{ e_1, e_2, \dots, e_n \}$. Permutaciji $\sigma \in S_n$ lahko v tej bazi priredimo permutacijsko matriko v $\GL_n(\CC)$, ki vektor $e_i$ preslika v $e_{\sigma(i)}$. Na ta način lahko uresničimo naravno delovanje simetrične grupe $S_n$ znotraj matrične grupe $\GL_n(\CC)$.
\end{zgled}
\end{enumerate}
Pri predmetu bomo najprej vzpostavili temelje teorije upodobitev (osnovne definicije in zgledi, fundamentalne konstrukcije upodobitev). Pokazali bomo, kako se lahko vsaki konkretni upodobitvi približamo, kot da bi jo pogledali pod mikroskopom (videli bomo, da je vsaka sestavljena iz \emph{celic}, vsaka celica pa iz \emph{organelov}). Za tem si bomo ogledali dobro razvito teorijo upodobitev končnih grup (tu bomo pod mikroskopom videli in razumeli čudovito strukturo s pomočjo Fourierove transformacije), podrobneje bomo raziskali upodobitve dveh temeljnih družin končnih grup (simetrične grupe in splošne linearne grupe nad končnim poljem). Ta teorija ima mnogo aplikacij, od katerih bomo izpostavili nekaj sodobnejših (v teoriji števil, kombinatoriki, slučajnih procesih na grupah). Nazadnje bomo obravnavali še nekaj zgledov upodobitev pomembnih družin neskončnih grup (kompaktne grupe ter linearne grupe, zvezne in diskretne).
\newpage
\subsection*{Literatura}
Pri predstavitvi temeljev teorije upodobitev uporabljamo jezik homomorfizmov grup (in ne modulov), tako da porabimo več časa za osnove, a je snov predstavljena bolj konkretno. To pride prav predvsem pri razstavljanju dane upodobitve na nerazcepne podupodobitve, kjer sledimo pristopu Kowalskega in opazujemo matrične koeficiente. Karakterje obdelamo v jeziku nekomutativne Fourierove transformacije kot Diaconis. S tem tudi pripravimo teren za kasnejše aplikacije teorije upodobitev. Omenimo kolobar virtualnih karakterjev in kot Serre dokažemo Artinov izrek. Razširjena zgleda upodobitev simetričnih grup in splošnih linearnih grup nad končnim poljem pretežno izvedemo s pomočjo monografije Fultona in Harrisa. Pri upodobitvah simetrične grupe določene aspekte izrazimo s Fourierovo transformacijo, pri linearnih grupah pa sledeč Bushnell in Henniart nekoliko bolj naravno predstavimo ostne upodobitve. V aplikacijah teorije upodobitev predstavimo Rothov izrek po Gowersovo in raziščemo soroden problem za nekomutativne grupe, kjer analitične argumente napravimo kot Eberhard. Pri prepoznavanju komutatorjev nam prav pridejo razvita Fourierova orodja, slučajne sprehode pa raziščemo podobno kot Diaconis. Kompaktne grupe in povezavo s klasično Fourierovo analizo črpamo iz Kowalskega, upodobitve Liejevih grup pa prikažemo kot Fulton in Harris, pri čemer se za integriranje Liejevih homomorfizmov naslonimo na Hallovo knjigo. Diskretne grupe obdelamo sledeč Conradu in Putmanu, razliko med klasičnimi in $p$-adičnimi Liejevimi grupami prikažemo kot Choiy.
\begin{itemize}
\item {\literatura E. Kowalski, {\em \href{https://people.math.ethz.ch/~kowalski/representation-theory.pdf}{An Introduction to the Representation Theory of Groups}}, American Mathematical Society, 2014.}
\item {\literatura P. Diaconis, {\em Group representations in probability and statistics}, Lecture notes - monograph series 11, i-192, 1988.}
\item {\literatura J. P. Serre, {\em Linear Representations of Finite Groups}, Springer GTM 42, 1977.}
\item {\literatura W. Fulton, J. Harris, {\em Representation Theory: A First Course}, Springer GTM 129, 2004.}
\item {\literatura C. J. Bushnell, G. Henniart, {\em The Local Langlands Conjecture for $\GL(2)$}, Springer Grundlehren der mathematischen Wissenschaften \textbf{335}, 2006.}
\item {\literatura W. T. Gowers, {\em \href{https://arxiv.org/abs/1608.04127}{Generalizations of Fourier analysis, and how to apply them}}, Bulletin of the American Mathematical Society \textbf{54}, 1-44 (2017).}
\item {\literatura S. Eberhard, {\em \href{https://arxiv.org/abs/1512.03517}{Product mixing in the alternating group}}, Discrete Analysis, 2-18 (2016).}
\item {\literatura B. C. Hall, {\em Lie groups, Lie algebras, and representations}, Quantum Theory for Mathematicians, Springer, New York, NY, 2013.}
\item {\literatura K. Conrad, {\em \href{https://kconrad.math.uconn.edu/blurbs/grouptheory/SL(2,Z).pdf}{$\SL_2(\ZZ)$}}.}
\item {\literatura A. Putman, {\em \href{https://www3.nd.edu/~andyp/notes/RepTheorySLnZ.pdf}{The representation theory of $\SL_n(\ZZ)$}}.}
\item {\literatura K. Choiy, {\em \href{https://www.math.purdue.edu/~tongliu/teaching/598/p-adicrep.pdf}{A note on the image of continuous homomorphisms of locally profinite groups}}.}
\end{itemize}
\chapter{Temelji teorije upodobitev}
V tem poglavju bomo vzpostavili temelje teorije upodobitev. Spoznali bomo koncept upodobitve in si ogledali mnogo primerov. Premislili bomo, kako upodobitve med sabo primerjamo in kako iz danih upodobitev sestavimo nove.
\section{Osnovni pojmi}
\subsection{Upodobitve grup}
Naj bo $G$ grupa in $V$ vektorski prostor nad poljem $F$. Upodobitev grupe $G$ na prostoru $V$ je delovanje $G$ na množici $V$, ki upošteva dodatno strukturo množice $V$, namreč to, da je vektorski prostor. Natančneje, {\definicija upodobitev} (rekli bomo tudi {\definicija linearno delovanje}) grupe $G$ na prostoru $V$ je homomorfizem grup
\[
\rho \colon G \to \GL(V).
\]
Pri tem razsežnosti prostora $V$ rečemo {\definicija stopnja upodobitve} in jo označimo z $\deg(\rho)$.
Ko v prostoru $V$ izberemo bazo in torej izomorfizem $V \cong F^{\deg(\rho)}$, lahko upodobitev $\rho$ enakovredno zapišemo kot homomorfizem
\[
\rho \colon G \to \textstyle \GL_{\deg(\rho)}(F)
\]
iz grupe $G$ v obrnljive matrike razsežnosti $\deg(\rho)$ nad $F$.
Nad poljem kompleksnih števil $F = \CC$ upodobitvam rečemo {\definicija kompleksne}, nad polji karakteristike $p > 0$, na primer $F = \FF_p$, pa upodobitvam rečemo {\definicija modularne}.
Za element $g \in G$ in vektor $v \in V$ rezultat delovanja elementa $g$ na vektorju $v$, se pravi $\rho(g)(v)$, včasih pišemo krajše kot $g \cdot v$ ali kar $gv$.
\begin{zgled} \leavevmode
\begin{itemize}
\item Opazujmo grupo ostankov $\ZZ/6\ZZ$ in racionalni vektorski prostor $\QQ^2$. Preslikava
\[
\rho \colon \ZZ/6\ZZ \to \GL(\QQ^2) = {\textstyle \GL_2(\QQ)}, \quad
x \mapsto \begin{pmatrix}
1/2 & 1/8 \\
-6 & 1/2 \\
\end{pmatrix}^x
\]
je upodobitev grupe $\ZZ/6\ZZ$. Relevantna matrika je namreč reda $6$.
\item Opazujmo matrično grupo $\GL_2(\CC)$ in vektorski prostor $\CC^2$. Množenje matrik z vektorji podaja upodobitev
\[
\textstyle \rho \colon \GL_2(\CC) \to \GL(\CC^2) = \GL_2(\CC), \quad
A \mapsto \left( v \mapsto A \cdot v \right) = A.
\]
\item Opazujmo grupo realnih števil $\RR^*$ za množenje in vektorski prostor $\CC$. Absolutna vrednost podaja upodobitev
\[
|\cdot| \colon \RR^* \to \GL(\CC) = \CC^*, \quad
x \mapsto |x|.
\]
\item Opazujmo grupo celih števil $\ZZ$ in vektorski prostor $\CC$. Eksponentna funkcija podaja upodobitev
\[
\chi \colon \ZZ \to \GL(\CC) = \CC^*, \quad
x \mapsto e^x.
\]
Splošneje imamo za vsak parameter $\alpha \in \CC$ upodobitev
\[
\chi_{\alpha} \colon \ZZ \to \GL(\CC) = \CC^*, \quad
x \mapsto e^{\alpha x}.
\]
\item Opazujmo grupo ostankov $\ZZ/q\ZZ$ za poljubno naravno število $q$. Za vsak parameter $m \in \ZZ/q\ZZ$ imamo upodobitev
\[
\chi_m \colon \ZZ/q\ZZ \to \GL(\CC) = \CC^*, \quad
x \mapsto e^{2 \pi i mx/q}.
\]
\item Opazujmo diedrsko grupo $D_{2n} = \langle s, r \rangle$, v kateri je $s^2 = 1$, $r^n = 1$ in $s r s = r^{-1}$. Ta grupa izhaja iz simetrij $n$-kotnika v ravnini, s čimer nam ponuja svojo naravno upodobitev $\rho \colon D_{2n} \to \GL(\RR^2) = \GL_2(\RR)$, ki preslika generatorja kot
\[
s \mapsto \begin{pmatrix}
0 & 1 \\ 1 & 0
\end{pmatrix}, \quad
r \mapsto \begin{pmatrix}
\cos(2 \pi/n) & - \sin(2 \pi/n) \\
\sin(2 \pi/n) & \cos(2 \pi/n)
\end{pmatrix}.
\]
Splošneje imamo za vsak parameter $k \in \ZZ$ upodobitev $\rho_k \colon D_{2n} \to \GL(\RR^2) = \GL_2(\RR)$, ki preslika generatorja kot
\[
s \mapsto \begin{pmatrix}
0 & 1 \\ 1 & 0
\end{pmatrix}, \quad
r \mapsto \begin{pmatrix}
\cos(2 \pi k/n) & - \sin(2 \pi k/n) \\
\sin(2 \pi k/n) & \cos(2 \pi k/n)
\end{pmatrix}.
\]
\item Opazujmo ciklično grupo $\ZZ/p\ZZ$ za praštevilo $p$ nad končnim poljem $\FF_p$. Preslikava
\[
\rho \ZZ/p\ZZ \to \GL(\FF_p^2) = {\textstyle \GL_2(\FF_p)}, \quad
x \mapsto \begin{pmatrix}
1 & x \\ 0 & 1
\end{pmatrix}
\]
podaja modularno upodobitev grupe $\ZZ/p\ZZ$. Relevantna matrika je namreč reda $p$.
\item Naj bo $G$ grupa in $V$ vektorski prostor nad poljem $F$. {\definicija Trivialna upodobitev} grupe $G$ je homomorfizem
\[
\rho \colon G \to \GL(V), \quad
g \mapsto \textstyle \id_V.
\]
Kadar je vektorski prostor $V$ razsežnosti $1$, trivialno upodobitev in vektorski prostor sam označimo kot $\11$, v primerih višje razsežnosti pa ju označimo kot $\11^{\dim V}$.
\item Naj bo $V$ vektorski prostor in naj bo $G$ poljubna podgrupa grupe $\GL(V)$. Tedaj je naravna vložitev $G \to \GL(V)$ upodobitev grupe $G$ na prostoru $V$.
Za konkreten zgled lahko vzamemo $V = \CC^2$ in $G = \langle \left( \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix} \right) \rangle \leq \GL(\CC^2)$. Na ta način dobimo upodobitev grupe $G \cong \ZZ$ na prostoru $\CC^2$. Na istem prostoru lahko vzamemo tudi $G = \langle
\left( \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix} \right), \left( \begin{smallmatrix} 1 & 0 \\ 0 & -1 \end{smallmatrix} \right) \rangle \leq \GL(\CC^2)$. Grupa $G$ je neskončna diedrska grupa $G \cong D_\infty$.
\item Naj bo $G$ poljubna grupa, opremljena z delovanjem na neki množici $X$. Naj bo $F[X]$ vektorski prostor z bazo $\{ e_x \}_{x \in X}$. Grupa $G$ deluje na $F[X]$ s homomorfizmom
\[
\pi \colon G \to \GL(F[X]), \quad
g \mapsto \left( e_x \mapsto e_{g.x} \right),
\]
kjer je $x \in X$. To delovanje imenujemo {\definicija permutacijska upodobitev} grupe $G$ na $F[X]$.
Za konkreten zgled lahko vzamemo $G = S_n$, ki naravno deluje na množici $X = \{ 1, 2, \dots, n \}$. Na ta način dobimo permutacijsko upodobitev grupe $S_n$ na prostoru $F[\{ 1, 2, \dots, n \}]$ razsežnosti $n$.
\item Naj bo $G$ grupa in $F$ polje. Grupa $G$ vselej deluje na sebi s Cayleyjevim delovanjem. Prirejeni permutacijski upodobitvi grupe $G$ na $F[G]$\footnote{Prostor $F[G]$ je vektorski prostor nad $F$, generiran z množico $G$. Običajno mu pravimo {\definicija grupna algebra}, saj ta prostor na naraven način podeduje operacijo množenja iz grupe $G$.} rečemo {\definicija Cayleyjeva upodobitev} grupe $G$ nad $F$. To delovanje označimo z $\pi_{\Cay}$.
\item Naj bo $G$ grupa in $F$ polje. Naj bo $\fun(G,F)$ množica vseh funkcij iz množice $G$ v $F$. Te funkcije lahko po točkah seštevamo in množimo s skalarji, na ta način je $\fun(G,F)$ vektorski prostor. Grupa $G$ deluje na $\fun(G,F)$ s homomorfizmom
\[
\rho_{\fun} \colon G \to \GL(\fun(G,F)), \quad
g \mapsto \left( f \mapsto \left( x \mapsto f(xg) \right) \right),
\]
kjer je $f \in \fun(G,F), \ x \in G$. To delovanje izhaja iz (desnega) delovanja grupe $G$ na sebi in ga zato imenujemo {\definicija (desna) regularna upodobitev} grupe $G$ nad $F$.
\end{itemize}
\end{zgled}
Upodobitev $\rho$ grupe $G$ pohvalimo s pridevnikom {\definicija zvesta}, kadar je injektivna, se pravi $\ker \rho = 1$. Trivialna upodobitev netrivialne grupe ni zvesta, sta pa vselej zvesti Cayleyjeva in desna regularna upodobitev.
\subsection{Kategorija upodobitev}
Naj bo $G$ grupa. Opazujmo neki njeni upodobitvi $\rho_1$ in $\rho_2$ nad vektorskima prostoroma $V_1$ in $V_2$, obema nad poljem $F$. Ti dve upodobitvi lahko \emph{primerjamo} med sabo, in sicer tako, da hkrati primerjamo vektorska prostora in delovanji grupe $G$ na teh dveh prostorih.
Natančneje, {\definicija spletična}\footnote{Angleško \emph{intertwiner}.} med upodobitvama $\rho_1$ in $\rho_2$ je linearna preslikava $\Phi \colon V_1 \to V_2$, za katero za vsak $g \in G$ in $v \in V_1$ velja\footnote{Z opustitvijo eksplicitnih oznak za delovanja lahko ta pogoj pišemo krajše kot $\Phi(gv) = g\Phi(v)$.}
\[
\Phi(\rho_1(g) \cdot v) = \rho_2(g) \cdot \Phi(v).
\]
\begin{zgled}
Opazujmo grupo $\ZZ$ in dve njeni upodobitvi, ki smo jih že videli. Prva naj bo upodobitev
\[
\rho \colon \ZZ \to \GL(\CC^2), \quad
x \mapsto \begin{pmatrix} 1 & x \\ 0 & 1 \end{pmatrix},
\]
druga pa naj bo kar trivialna upodobitev $\11$ na prostoru $\CC$. Predpišimo linearno preslikavo $\Phi \colon \CC \to \CC^2$ v standardni bazi z matriko $\left( \begin{smallmatrix} 1 \\ 0 \end{smallmatrix} \right)$. Tedaj za vsak vektor $v \in \CC$ in vsako število $x \in \ZZ$ velja
\[
\Phi(x \cdot v)
= \begin{pmatrix} xv \\ 0 \end{pmatrix}
= x \cdot \begin{pmatrix} v \\ 0 \end{pmatrix}
= x \cdot \Phi(v),
\]
zato je $\Phi$ spletična med $\11$ in $\rho$.
\end{zgled}
Množica vseh spletičen med $\rho_1$ in $\rho_2$ je podmnožica množice linearnih preslikav $\hom(V_1, V_2)$, za katero uporabimo oznako $\hom_G(\rho_1, \rho_2)$ ali kar $\hom_G(V_1, V_2)$.
Za dano upodobitev $\rho$ grupe $G$ na vektorskem prostoru $V$ je identična preslikava $\id_V$ seveda spletična med $\rho$ in $\rho$. Prav tako lahko vsaki dve spletični $\Phi_1$ med $\rho_1$ in $\rho_2$ ter $\Phi_2$ med $\rho_2$ in $\rho_3$ skomponiramo do spletične $\Phi_2 \circ \Phi_1$ med $\rho_1$ in $\rho_3$. Množica vseh upodobitev dane grupe $G$ nad poljem $F$ torej tvoji {\definicija kategorijo upodobitev}, katere objekti so upodobitve grupe $G$ nad $F$, morfizmi pa so spletične med upodobitvami. To kategorijo označimo z $\Rep_G$.
\subsection{Izomorfnost upodobitev}
Naj bo $G$ grupa in $F$ polje. Kadar je spletična $\Phi \colon V_1 \to V_2$ med $\rho_1$ in $\rho_2$ obrnljiva kot linearna preslikava, je tudi njen inverz $\Phi^{-1}$ spletična med $\rho_2$ in $\rho_1$. V tem primeru spletični $\Phi$ rečemo {\definicija izomorfizem} upodobitev $\rho_1$ in $\rho_2$.
\begin{zgled}
Opazujmo ciklično grupo $\ZZ/n\ZZ$ za poljuben $n > 1$.
Ta grupa naravno deluje na množici $\Omega = \{ 1, 2, \dots, n \}$,\footnote{Generator $\bar 1 = 1 + n\ZZ \in \ZZ/n\ZZ$ deluje kot cikel $(1 \ 2 \ \cdots \ n)$.} od koder izhaja permutacijska upodobitev
\[
\pi \colon \ZZ/n\ZZ \to \GL(\CC[\Omega]).
\]
Grupa $\ZZ/n\ZZ$ ima tudi Cayleyjevo upodobitev,
\[
\pi_{\Cay} \colon \ZZ/n\ZZ \to \GL(\CC[\ZZ/n\ZZ]).
\]
Ti dve upodobitvi sta izomorfni. Vektorska prostora lahko namreč naravno primerjamo z bijektivno linearno preslikavo
\[
\Phi \colon \CC[\Omega] \to \CC[\ZZ/n\ZZ], \quad
e_i \mapsto e_{\bar i},
\]
kjer je $i \in \Omega$. Preslikava $\Phi$ je spletična, saj za vsak $\bar x \in \ZZ/n\ZZ$ in $i \in \Omega$ velja
\[
\Phi(\bar x \cdot e_i)
= \Phi(e_{x + i})
= e_{\overline{x + i}}
= \bar x \cdot e_{\bar i}
= \bar x \cdot \Phi(e_i).
\]
V to kratko zgodbo lahko vključimo še desno regularno upodobitev
\[
\rho_{\fun} \colon \ZZ/n\ZZ \to \GL(\fun(\ZZ/n\ZZ,\CC)).
\]
Vektorski prostor $\fun(\ZZ/n\ZZ, \CC)$ lahko na naraven način opremimo z bazo iz karakterističnih funkcij
\[
1_{\bar x} \colon \ZZ/n\ZZ \to \CC, \quad
\bar y \mapsto \begin{cases}
1 & \bar y = \bar x, \\
0 & \text{sicer}
\end{cases}
\]
za $\bar x \in \ZZ/n\ZZ$. Predpišimo linearno preslikavo\footnote{Pozor, karakteristična funkcija je zasidrana pri {\em inverzu} elementa $\bar x$ v $\ZZ/n\ZZ$.}
\[
\Phi^\prime \colon \CC[\ZZ/n\ZZ] \to \fun(\ZZ/n\ZZ, \CC), \quad
e_{\bar x} \mapsto 1_{- \bar x}.
\]
Jasno je $\Phi^\prime$ bijektivna. Preverimo še, da je res spletična. Za vsaka $\bar x, \bar y \in \ZZ/n\ZZ$ velja
\[
\Phi^\prime(\bar x \cdot e_{\bar y})
= \Phi^\prime(e_{\overline{x + y}})
= 1_{- \overline{x + y}}.
\]
Po drugi strani za vsak $\bar z \in \ZZ/n\ZZ$ velja
\[
\left( \bar x \cdot \Phi^\prime(e_{\bar y}) \right) (\bar z)
= \left( \bar x \cdot 1_{- \bar y} \right) (\bar z)
= 1_{- \bar y}(\bar z + \bar x)
= \begin{cases}
1 & \bar z = - \overline{x + y}, \\
0 & \text{sicer}.
\end{cases}
\]
Torej je res $\Phi^\prime(\bar x \cdot e_{\bar y}) = \bar x \cdot \Phi^\prime(e_{\bar y})$. S tem je $\Phi^\prime$ izomorfizem med Cayleyjevo upodobitvijo in desno regularno upodobitvijo.
\end{zgled}
Eden pomembnih ciljev teorije upodobitev je razumeti vse upodobitve dane grupe do izomorfizma natančno. Kasneje bomo spoznali, kako lahko to v določenih\footnote{Na primer, \emph{precej dobro} bomo opisali upodobitve poljubne končne grupe nad poljem kompleksnih števil.} primerih \emph{precej dobro} uresničimo.
\section{Fundamentalne konstrukcije}
Naj bo $\rho$ upodobitev grupe $G$ na prostoru $V$ nad poljem $F$. Premislili bomo, kako lahko prostor, grupo ali polje modificiramo na različne načine in tako dobimo neko drugo, novo upodobitev, oziroma kako lahko dano upodobitev vidimo kot rezultat kakšne od teh fundamentalnih konstrukcij.
% Pričeli bomo z modifikacijami prostora. Vse običajne operacije, ki jih lahko izvajamo z vektorskimi prostori (na primer kvocient, dual, direktna vsota, \dots), se dobro ujamejo z upodobitvami.
\subsection{Podupodobitve}
Naj bo $G$ grupa z upodobitvijo $\rho \colon G \to \GL(V)$. Denimo, da obstaja vektorski podprostor $W \leq V$, ki je \emph{invarianten} za delovanje grupe $G$, se pravi $g \cdot w \in W$ za vsak $g \in G$, $w \in W$. V tem primeru upodobitev $\rho$ inducira upodobitev $\tilde \rho \colon G \to \GL(W)$ in vložitev vektorskih prostorov $\iota \colon W \to V$ je spletična. Upodobitvi $\tilde \rho$ rečemo {\definicija podupodobitev} upodobitve $\rho$.
\begin{zgled} \leavevmode
\begin{itemize}
\item Naj bo $n$ naravno število. Opazujmo permutacijsko delovanje grupe $\ZZ/n\ZZ$ na množici $\Omega = \{ 1, 2, \dots, n \}$, ki porodi permutacijsko upodobitev na prostoru $\CC[\Omega]$ z baznimi vektorji $e_i$ za $i \in \Omega$. Naj bo še $e_0 = e_n$.
Naj bo $\zeta \in \CC$ primitiven $n$-ti koren enote. Za $j \in \Omega$ naj bo
\[
f_j = \sum_{i \in \Omega} \zeta^{ij} e_i \in \CC[\Omega].
\]
Za vsak $\bar x \in \ZZ/n\ZZ$ velja
\[
\bar x \cdot f_j =
\sum_{i \in \Omega} \zeta^{ij} e_{\overline{x + i}} =
\sum_{i \in \Omega} \zeta^{(i - \bar x)j} e_{i} =
\zeta^{-\bar x j} \cdot f_j,
\]
zato je vsak podprostor $\CC \cdot f_j \leq \CC[\Omega]$ invarianten za delovanje grupe $\ZZ/n\ZZ$ in podupodobitev na tem podprostoru $\CC \cdot f_j$ je očividno izomorfna upodobitvi $\chi_{-j}$ grupe $\ZZ/n\ZZ$. Na ta način smo sestavili $n$ podupodobitev permutacijske in s tem regularne upodobitve ciklične grupe moči $n$.
\item Naj bo $G$ grupa in $\rho$ njena upodobitev na prostoru $V$. Opazujmo množico vseh fiksnih vektorjev te upodobitve,
\[
V^G = \{ v \in V \mid \forall g \in G \colon \ g \cdot v = v \}.
\]
Množica $V^G$ je vektorski podprostor prostora $V$, ki je invarianten za delovanje grupe $G$. Torej je $\tilde \rho \colon G \to \GL(V^G)$ podupodobitev upodobitve $\rho$. Na prostoru $V^G$ po definiciji grupa $G$ deluje trivialno, torej je $\tilde \rho$ izomorfna trivialni upodobitvi $\11^{\dim V^G}$.
\begin{domacanaloga}
Naj bo $G$ grupa in $F$ polje. Določi upodobitvi $F[G]^G$ in $\fun(G,F)^G$.
\end{domacanaloga}
Prostor $V^G$ lahko razumemo še na naslednji alternativen način, ki nam bo prišel zelo prav v nadaljevanju. Iz vsakega vektorja $v \in V^G$ izhaja injektivna spletična
\[
\Phi_v \colon \11 \to V, \quad
x \mapsto x v
\]
med $\11$ in $\rho$. S tem je določena preslikava $V^G \to \hom_G(\11, V)$. Ta preslikava ima jasen inverz, ki spletični $\Phi \in \hom_G(\11, V)$ priredi $\Phi(1)$. Na ta način lahko identificiramo prostor $V^G$ z množico spletičen $\hom_G(\11, V)$.
\item Naj bo $G$ grupa in $\rho$ njena upodobitev na prostoru $V$. Predpostavimo, da obstaja vektor $v \in V$, ki je lastni vektor vsake linearne preslikave $\rho(g)$ za $g \in G$.
Torej za vsak $g \in G$ obstaja $\chi(g) \in F$, da je $\rho(g) \cdot v = \chi(g) v$. Na ta način dobimo funkcijo $\chi \colon G \to F$, se pravi element prostora $\fun(G,F)$. Ta funkcija ni čisto poljubna; ker je $\rho$ upodobitev, je $\chi$ nujno {\em homomorfizem} iz grupe $G$ v grupo $F^*$. Torej je $\chi$ pravzaprav upodobitev grupe $G$ na prostoru $F$ razsežnosti $1$.\footnote{Kadar je $\chi(g) = 1$ za vsak $g \in G$, je ta upodobitev izomorfna $\11$. Kadar je $\chi(g) \neq 1$ za vsaj kak $g \in G$, pa ta upodobitev \emph{ni} trivialna.}
Zdaj kot v zadnjem zgledu s predpisom
\[
\Phi \colon F \to V, \quad
x \mapsto xv
\]
dobimo injektivno spletično med $\chi$ in $\rho$, torej lahko vidimo $\chi$ kot enorazsežno podupodobitev upodobitve $\rho$. Hkrati lahko iz te spletične obnovimo podatek o skupnem lastnem vektorju $v$ in upodobitvi $\chi$.\footnote{Namreč, $v = \Phi(1)$ in $\chi(g) = \rho(g) \cdot 1$.}
Torej smo vzpostavili bijektivno korespondenco med množico enorazsežnih podupodobitev upodobitve $\rho$ in skupnimi lastnimi vektorji vseh preslikav $\rho(g)$ za $g \in G$.
Poseben primer te korespondence je zadnji zgled. Množico enorazsežnih trivialnih podupodobitev upodobitve $\rho$ lahko identificiramo z množico neničelnih spletičen $\hom_G(\11, V) \backslash \{ x \mapsto 0 \}$, ta pa ustreza skupnim lastnim vektorjem $\rho(g)$ za $g \in G$ z lastno vrednostjo $1$, kar je ravno množica $V^G \backslash \{ 0 \}$.
\item Naj bo $G$ grupa in $F$ polje. Opazujmo Cayleyjevo upodobitev $\pi_{\Cay}$ na $F[G]$ in desno regularno upodobitev $\rho_{\fun}$ na $\fun(G,F)$. Trdimo, da je $\pi_{\Cay}$ podupodobitev upodobitve $\rho_{\fun}$.
V ta namen predpišimo linearno preslikavo\footnote{Poseben primer te preslikave smo videli za grupo $\ZZ/n\ZZ$, kjer smo premislili, da je celo bijektivna.}
\[
\Phi \colon F[G] \to \fun(G,F), \quad
e_g \mapsto 1_{g^{-1}}
\]
za $g \in G$. Jasno je $\Phi$ injektivna preslikava. Hkrati za vse $g,h,x \in G$ velja
\[
\Phi(\pi_{\Cay}(g) \cdot e_h)
= \Phi(e_{gh})
= 1_{h^{-1} g^{-1}}
\]
in
\[
\left( \rho_{\fun}(g) \cdot \Phi(e_h) \right)(x)
= 1_{h^{-1}}(xg)
= 1_{h^{-1} g^{-1}}(x),
\]
zato je $\Phi$ tudi spletična.
Kadar je grupa $G$ \emph{končna}, sta prostora $F[G]$ in $\fun(G,F)$ enake razsežnosti, zato sta v tem primeru upodobitvi $\pi_{\Cay}$ in $\rho_{\fun}$ izomorfni. Kadar je grupa $G$ \emph{neskončna}, pa preslikava $\Phi$ vsekakor ni bijektivna.\footnote{Slika $\image \Phi$ namreč sestoji iz funkcij, ki so neničelne le v končno mnogo elementih grupe $G$.} V tem primeru upodobitvi nista izomorfni.\footnote{To sledi na primer iz dejstva, da prostora $F[G]^G$ in $\fun(G,F)^G$ nista izomorfna.}
\end{itemize}
\end{zgled}
\begin{domacanaloga}
Naj bo $G$ grupa z upodobitvijo $\rho$ na prostoru $V$. Naj bo $N$ podgrupa edinka v $G$. Premisli, da množica fiksnih točk
\[
V^N = \{ v \in V \mid \forall n \in N \colon \ \rho(n) \cdot v = v \}
\]
tvori podupodobitev upodobitve $\rho$, ki jo lahko identificiraš z množico $\hom_N(\11, V)$.
\end{domacanaloga}
\subsection{Jedro, slika, kvocient}
Naj bo $G$ grupa z upodobitvijo $\rho$ na prostoru $V$. Ogledali smo si že, kako za vsak $G$-invarianten podprostor $W \leq V$ dobimo podupodobitev upodobitve $\rho$. Sorodno lahko za vsak $G$-invarianten podprostor $W \leq V$ tvorimo {\definicija kvocient} $V/W$, na njem linearno deluje grupa $G$ s predpisom
\[
G \to \GL(V/W), \quad
g \mapsto \left( v + W \mapsto \rho(g) \cdot v + W \right)
\]
za $v \in V$.
Na vse do zdaj omenjene konstrukcije lahko gledamo na skupen način, in sicer s pomočjo spletične $\Phi$, ki vlaga prostor $W$ v $V$. Ni težko preveriti, da so standardne konstrukcije, ki jih lahko uporabimo na spletičnah vektorskih prostorov, na naraven način opremljene z linearnim delovanjem grupe $G$.
\begin{trditev}
Naj bo $\Phi$ spletična upodobitev grupe $G$. Tedaj prostori $\ker \Phi$, $\image \Phi$, $\mathrm{coker} \; \Phi$ podedujejo linearno delovanje grupe $G$.
\end{trditev}
\begin{zgled}
Naj bo $G$ grupa in $\rho$ njena upodobitev na prostoru $V$. Podprostor prostora $V$, na katerem grupa $G$ deluje trivialno, je vselej $G$-invarianten. Največji tak podprostor je ravno prostor vseh fiksnih vektorjev $V^G$. Videli smo že, da lahko ta prostor identificiramo z množico spletičen $\hom_G(\11, V)$.
Oglejmo si sedaj še dual zgodnje konstrukcije. Naj bo $V_1 = \langle \rho(g) \cdot v - v \mid v \in V, \ g \in G \rangle$. Prostor $V_1$ je $G$-invarianten podprostor prostora $V$, zato kvocient $V/V_1$ podeduje linearno delovanje grupe $G$. Po konstrukciji je to delovanje trivialno in prostor $V/V_1$ je največji kvocient prostora $V$, na katerem grupa $G$ deluje trivialno. Kvocient $V/V_1$ označimo z $V_G$ in mu pravimo {\definicija prostor koinvariant} upodobitve $\rho$.
\begin{domacanaloga}
Izračunaj prostor koinvariant regularne upodobitve ciklične grupe $\ZZ/n\ZZ$.
\end{domacanaloga}
Prostor koinvariant je po konstrukciji dualen prostoru fiksnih vektorjev, zato lahko nanj prenesemo tudi interpretacijo s spletičnami. Opazujmo množico $\hom_G(V, \11)$. Spletične iz te množice so ravno homomorfizmi $\lambda \colon V \to F$ z lastnostjo $\lambda(\rho(g) \cdot v) = \lambda(v)$ za vsaka $v \in V, \ g \in G$, kar je ekvivalentno pogoju $\lambda(V_1) = 0$. Vsako tako spletično lahko zato interpretiramo kot linearno preslikavo iz $V/V_1 = V_G$ v $F$. Na ta način je vzpostavljena bijektivna korespondenca med množico spletičen $\hom_G(V,\11)$ in množico linearnih preslikav $\hom_F(V_G, F)$, slednja množica pa je ravno dual $V_G^*$ prostora koinvariant $V_G$.
\end{zgled}
\subsection{Direktna vsota}
Naj ima grupa $G$ družino upodobitev $\{ \rho_i \}_{i \in I}$ na vektorskih prostorih $\{ V_i \}_{i \in I}$. Tedaj lahko tvorimo direktno vsoto vektorskih prostorov $\bigoplus_{i \in I} V_i$, ki je opremljena z linearnim delovanjem
\[
\bigoplus_{i \in I} \rho_i \colon G \to \GL(\bigoplus_{i \in I} V_i), \quad
g \mapsto \left( \sum_{i \in I} v_i \mapsto \sum_{i \in I} \rho_i(g) \cdot v_i \right).
\]
Na ta način dobimo {\definicija direktno vsoto} upodobitev $\bigoplus_{i \in I} \rho_i$. Pri tem je vsaka od upodobitev $\rho_i$ podupodobitev te direktne vsote.
\begin{zgled} \leavevmode
\begin{itemize}
\item Opazujmo permutacijsko upodobitev $\pi$ grupe $\ZZ/n\ZZ$ na prostoru $\CC[\Omega]$, kjer je $\Omega = \{ 1, 2, \dots, n \}$. Premislili smo že, da ima ta upodobitev $n$ podupodobitev. Za vsak $j \in \Omega$ imamo upodobitev na podprostoru $\CC \cdot f_j$, ki je izomorfna upodobitvi $\chi_{-j}$. Ker je množica vektorjev $\{ f_j \mid j \in \Omega \}$ linearno neodvisna,\footnote{Prehodna matrika iz baze $e_i$ v bazo $f_j$ je ravno Vandermondova matrika.} lahko permutacijsko upodobitev torej zapišemo kot direktno vsoto $\pi = \bigoplus_{j \in \Omega} \chi_j$.
\begin{domacanaloga}
Prepričaj se, da so upodobitve $\chi_j$ za $j \in \Omega$ grupe $\ZZ/n\ZZ$ med sabo paroma neizomorfne.
\end{domacanaloga}
\item Opazujmo permutacijsko upodobitev simetrične grupe $S_3$ na prostoru $\RR[\{ 1,2,3 \}] = \RR^3$. Delovanje grupe $S_3$ ohranja vektor $e_1 + e_2 + e_3$, zato ima ta upodobitev trivialno enorazsežno podupodobitev, dano s podprostorom $\langle e_1 + e_2 + e_3 \rangle$. Eden od komplementov tega podprostora je $\langle e_1 - e_2, e_2 - e_3 \rangle$, ki je hkrati $S_3$-invariaten podprostor.\footnote{Na primer, generator $(1 \ 3 \ 2)$ preslika vektor $e_1 - e_2$ v $e_3 - e_1$, kar lahko zapišemo kot $-(e_1 - e_2) - (e_2 - e_3)$.} Če označimo $u_1 = e_1 - e_2$ in $u_2 = e_2 - e_3$, lahko slednjo upodobitev opišemo s homomorfizmom
\[
\rho \colon S_3 \to \GL(\langle u_1, u_2 \rangle), \quad
(1 \ 2) \mapsto \begin{pmatrix}
-1 & 1 \\ 0 & 1
\end{pmatrix}, \quad
(1 \ 2 \ 3) \mapsto \begin{pmatrix}
0 & -1 \\ 1 & -1
\end{pmatrix}.
\]
Permutacijska upodobitev $S_3$ je zato direktna vsota enorazsežne podupodobitve $\11$ in dvorazsežne podupodobitve $\rho$.
Premislimo, da upodobitve $\rho$ \emph{ne} moremo zapisati kot direktne vsote svojih pravih podupodobitev. V ta namen opazujmo njene morebitne enorazsežne podupodobitve. Premislili smo že, da te ustrezajo skupnim lastnim vektorjem vseh preslikav $\rho(x)$ za $x \in S_3$. Lastna vektorja $\rho((1 \ 2))$ sta $u_1$ in $u_1 + 2 u_2$. Noben od teh dveh vektorjev ni hkrati lastni vektor $\rho((1 \ 2 \ 3))$. Torej je upodobitev $\rho$ stopnje $2$, hkrati pa nima enorazsežnih podupodobitev in je torej ne moremo nadalje razstaviti.
\end{itemize}
\end{zgled}
Direktna vsota je najbolj preprost način, kako lahko iz danih upodobitev sestavimo novo upodobitev. V nadaljevanju bomo zato veliko časa posvetili obratnemu problemu: dano upodobitev bomo kot v zadnjem zgledu skušali razstaviti na direktno vsoto čim bolj enostavnih podupodobitev.
\subsection{Tenzorski produkt}
Naj ima grupa $G$ upodobitvi $\rho_1$ in $\rho_2$ na prostorih $V_1$ in $V_2$. Tedaj lahko tvorimo {\definicija tenzorski produkt} vektorskih prostorov $V_1 \otimes V_2$, ki je naravno opremljen z linearnim delovanjem
\[
\rho_1 \otimes \rho_2 \colon G \to \GL(V_1 \otimes V_2), \quad
g \mapsto \left( v_1 \otimes v_2 \mapsto \rho_1(g) v_1 \otimes \rho_2(g) v_2 \right).
\]
\begin{zgled}
Opazujmo simetrično grupo $S_3$. Ogledali smo si že njeno permutacijsko upodobitev na prostoru $\RR^3$, ki smo jo razstavili na direktno vsoto trivialne upodobitve $\11$ in dvorazsežne upodobitve $\rho$. Poleg teh dveh ima grupa $S_3$ še eno zanimivo upodobitev, ki izračuna predznak dane permutacije, se pravi
\[
\sgn \colon S_3 \to \GL(\RR) = \RR^*, \quad
\sigma \mapsto \sgn(\sigma).
\]
To je netrivialna enorazsežna upodobitev.
Tvorimo tenzorski produkt upodobitev $\rho$ in $\sgn$. Dobimo upodobitev na vektorskem prostoru $\RR \otimes \RR^2$, ki ga lahko naravno identificiramo s prostorom $\RR^2$. V tem smislu je upodobitev $\sgn \otimes \rho$ izomorfna dvorazsežni upodobitvi
\[
S_3 \to \GL(\RR^2), \quad
\sigma \mapsto \left( v \mapsto \sgn(\sigma) \cdot \rho(\sigma) \cdot v \right).
\]
\begin{domacanaloga}
Dokaži, da sta upodobitvi $\rho$ in $\sgn \otimes \rho$ izomorfni.
\end{domacanaloga}
% V resnici sta upodobitvi $\rho$ in $\sgn \otimes \rho$ celo izomorfni. Ena od spletičen, ki opazijo izomorfizem, je v bazi $\{ u_1, u_2 \}$ dana z matriko
% \[
% \begin{pmatrix}
% -1 & 2 \\ -2 & 1
% \end{pmatrix}.
% \]
\end{zgled}
Naj ima grupa $G$ upodobitev na prostoru $V$. Tedaj lahko tvorimo {\definicija tenzorske potence} $V^{\otimes n}$ za $n \in \NN_0$. Vsaka od teh tvori upodobitev grupe $G$. Na prostoru $V^{\otimes n}$ deluje simetrična grupa $S_n$, in sicer na dva načina. Prvi način izhaja iz permutacijske upodobitve grupe $S_n$, in sicer dobimo delovanje
\[
\pi \colon S_n \to \GL(V^{\otimes n}), \quad
\sigma \mapsto \left( v_1 \otimes v_2 \otimes \cdots \otimes v_n \mapsto v_{\sigma(1)} \otimes v_{\sigma(2)} \otimes \cdots \otimes v_{\sigma(n)} \right).
\]
Drugi način delovanja grupe $S_n$ na tenzorski potenci pa je $\sgn \otimes \pi$, pri katerem delovanje $\pi$ še utežimo s predznakom delujoče permutacije. Prostor koinvariant upodobitve $\pi$ je
\[
{\textstyle \Sym^n(V)} =
\frac{V^{\otimes n}}{
\left\langle v_1 \otimes v_2 \otimes \cdots \otimes v_n - v_{\sigma(1)} \otimes v_{\sigma(2)} \otimes \cdots \otimes v_{\sigma(n)} \mid v_i \in V, \ \sigma \in S_n \right\rangle
},
\]
imenujemo ga {\definicija simetrična potenca} upodobitve $G$ na $V$. Analogno prostor koinvariant upodobitve $\sgn \otimes \pi$ označimo z $\bigwedge^n(V)$ in imenujemo {\definicija alternirajoča potenca}. Obe potenci sta seveda upodobitvi grupe $G$. Vse potence hkrati zajamemo z direktnima vsotama
\[
\textstyle \Sym(V) = \bigoplus_{n \in \NN_0} \Sym^n(V)
\quad \text{in} \quad
\bigwedge V = \bigoplus_{n \in \NN_0} \textstyle\bigwedge^n(V).
\]
\begin{domacanaloga}
Naj bo $G$ grupa s kompleksno upodobitvijo $\rho$ na prostoru $V$ razsežnosti $\deg(\rho) < \infty$. Dokaži, da je upodobitev $G$ na alternirajoči potenci $\bigwedge^{\deg(\rho)} V$ izomorfna enorazsežni upodobitvi $G \to \CC^*, \ g \mapsto \det(\rho(g))$.
\end{domacanaloga}
\subsection{Dual}
Naj bo $G$ grupa z upodobitvijo $\rho$ na prostoru $V$ nad poljem $F$. Tvorimo lahko {\definicija dualen prostor} $V^* = \hom(V, F)$, ki je naravno opremljen z linearnim delovanjem
\[
\rho^* \colon G \to \GL(V^*), \quad
g \mapsto \left( \lambda \mapsto \left( v \mapsto \lambda(\rho(g^{-1}) \cdot v) \right) \right)
\]
za $\lambda \in V^*, \ v \in V$. Na ta način dobimo {\definicija dualno upodobitev} $\rho^*$ upodobitve $\rho$.
Za funkcional $\lambda \in V^*$ in vektor $v \in V$ včasih uporabimo oznako $\langle \lambda, v \rangle$ za aplikacijo $\lambda(v)$. S to oznako lahko zapišemo definicijo dualne upodobitve kot
\[
\langle \rho^*(g) \cdot \lambda, v \rangle = \langle \lambda, \rho(g^{-1}) \cdot v \rangle.
\]
\begin{zgled}
Opazujmo grupo $\ZZ$ in za parameter $a \in \CC$ njeno upodobitev
\[
\chi_a \colon \ZZ \to \GL(\CC), \quad
x \mapsto e^{ax}.
\]
Za dualno upodobitev $\chi_a^*$, funkcional $\lambda \in \CC^*$ in vektor $z \in \CC$ velja
\[
\langle \chi_a^*(x) \cdot \lambda, z \rangle =
\langle \lambda, \chi_a(-x) \cdot z \rangle =
\lambda(e^{-ax} \cdot z).
\]
Funkcionali v dualnem prostoru $\CC^*$ so skalarna množenja s kompleksnimi števili. Če funkcionalu $\lambda$ ustreza število $l \in \CC$, dobimo torej
\[
\chi_a^*(x) \cdot l = e^{-ax} \cdot l.
\]
Dualna upodobitev $\chi_a^*$ je torej enorazsežna upodobitev, ki je izomorfna upodobitvi $\chi_{-a}$.
\end{zgled}
\begin{domacanaloga} \leavevmode
\begin{itemize}
\item Naj bosta $\rho_1, \rho_2$ upodobitvi grupe $G$. Dokaži, da je
\[
\left( \rho_1 \oplus \rho_2 \right)^* \cong \rho_1^* \oplus \rho_2^*
\quad \text{in} \quad
\left( \rho_1 \otimes \rho_2 \right)^* \cong \rho_1^* \otimes \rho_2^*.
\]
\item Naj bo $\rho$ upodobitev grupe $G$ z $\deg(\rho) < \infty$. Tedaj je $\left( \rho^* \right)^* \cong \rho$.
\end{itemize}
\end{domacanaloga}
Naj bo zdaj $G$ grupa z dvema upodobitvama $\rho$ in $\sigma$ na prostorih $V$ in $W$. {\definicija Prostor linearnih preslikav} $\hom(V,W)$ je naravno opremljen z linearnim delovanjem
\[
\hom(\rho, \sigma) \colon G \to \GL(\hom(V,W)), \quad
g \mapsto \left( \Phi \mapsto \left( v \mapsto \sigma(g) \cdot \Phi \cdot \rho(g^{-1}) \cdot v \right) \right).
\]
Invariante tega delovanja sestojijo iz linearnih preslikav, ki so invariantne glede na predpisano delovanje grupe $G$, se pravi ravno iz spletičen med $\rho$ in $\sigma$. S simboli je torej $\hom(V,W)^G = \hom_G(V,W)$.
\begin{trditev}
Naj bo $G$ grupa z upodobitvama $\rho$ in $\sigma$. Predpostavimo, da je $\deg(\sigma) < \infty$. Tedaj je $\hom(\rho, \sigma) \cong \rho^* \otimes \sigma$.
\end{trditev}
\begin{dokaz}
Naj bo $\rho$ upodobitev na prostoru $V$ in $\sigma$ upodobitev na prostoru $W$. Izomorfizem med vektorskima prostoroma $V^* \otimes W$ in $\hom(V,W)$ podaja linearna preslikava
\[
V^* \otimes W \to \hom(V,W), \quad
\lambda \otimes w \mapsto \left( v \mapsto \lambda(v) \cdot w \right).
\]
Ni težko preveriti, da je ta preslikava spletična.
\end{dokaz}
\subsection{Skalarji}
Naj bo $G$ grupa z upodobitvijo $\rho$ na prostoru $V$ nad poljem $F$. Naj bo $E$ razširitev polja $F$. Tedaj je prostor $E \otimes V$ naravno opremljen z linearnim delovanjem
\[
E \otimes \rho \colon G \to \GL(E \otimes V), \quad
g \mapsto \left( e \otimes v \mapsto e \otimes \rho(g) \cdot v \right).
\]
Ta postopek konstrukcije prostora $E \otimes V$ imenujemo {\definicija razširitev skalarjev}. Dano upodobitev lahko razširimo do ugodnejših skalarjev\footnote{Na primer polja kompleksnih števil.}, lahko pa tudi dano upodobitev nad velikim poljem $E$ gledamo kot razširitev skalarjev neke upodobitve nad preprostejšim poljem $F$.\footnote{Na primer $E = \CC$ in $F = \QQ$.} V tem slednjem primeru rečemo, da je dana upodobitev {\definicija definirana nad poljem} $F$. Včasih nam uspe najti celo preprost \emph{podkolobar} polja $F$, nad katerim je definirana dana upodobitev.
\begin{zgled}
Opazujmo grupo $S_3$ in njeno permutacijsko upodobitev na realnem prostoru $\RR[\{ 1, 2, 3 \}]$. Poznamo že njeno dvorazsežno upodobitev $\rho$ na podprostoru $\langle e_1 - e_2, e_2 - e_3 \rangle$, ki \emph{nima} enorazsežnih podupodobitev. Ta je definirana z matrikami, ki imajo zgolj celoštevilske koeficiente. Upodobitev $\rho$ je zato definirana nad \emph{kolobarjem} $\ZZ$. To upodobitev lahko zato \emph{projiciramo} s homomorfizmom kolobarjev $\ZZ \to \ZZ/p\ZZ$ za poljubno praštevilo $p$ do upodobitve
\[
S_3 \to {\textstyle \GL_2(\ZZ/p\ZZ)}, \quad
(1 \ 2) \mapsto \begin{pmatrix}
-1 & 1 \\ 0 & 1
\end{pmatrix}, \quad
(1 \ 2 \ 3) \mapsto \begin{pmatrix}
0 & -1 \\ 1 & -1
\end{pmatrix},
\]
ki je definirana nad \emph{končnim} poljem $\ZZ/p\ZZ$. Pri $p = 3$ ima ta projicirana upodobitev enorazsežen invarianten podprostor $\langle e_1 + e_2 + e_3 \rangle$. Projekcije nam lahko torej dano upodobitev dodatno razstavijo.
\end{zgled}
Kadar imamo opravka s konkretnim poljem $F$, lahko dano upodobitev modificiramo tudi z {\definicija avtomorfizmi polja}. Te si najlažje predstavljamo po izbiri baze vektorskega prostora. Če je $\sigma \in \Aut(F)$, dobimo iz dane upodobitve $\rho \colon G \to \GL_n(F)$ modificirano upodobitev
\[
\rho^\sigma \colon G \to {\textstyle \GL_n(F)}, \quad
g \mapsto \rho(g)^\sigma,
\]
pri kateri vsak člen matrike $\rho(g)$ preslikamo z avtomorfizmom $\sigma$.
\begin{zgled}
Naj bo $G$ grupa s kompleksno upodobitvijo $\rho$. Kompleksno konjugiranje je avtomorfizem polja $\CC$, zato lahko s konjugiranjem členov matrik tvorimo {\definicija konjugirano upodobitev} $\overline{\rho}$.
\end{zgled}
\subsection{Restrikcija}
Naj bo $G$ grupa z upodobitvijo $\rho \colon G \to \GL(V)$. Kadar je na voljo še ena grupa $H$ s homomorfizmom $\phi \colon H \to G$, lahko upodobitev $\rho$ sklopimo s $\phi$ in dobimo upodobitev $\rho \circ \phi$ grupe $H$ na prostoru $V$. Temu postopku pridobivanja upodobitev grupe $H$ iz upodobitev grupe $G$ pravimo {\definicija restrikcija}, pri tem pa novo upodobitev $\rho \circ \phi$ označimo kot $\Res^G_H(\rho)$. Predstavljamo si, da smo upodobitev $\rho$ \emph{potegnili nazaj} vzdolž homomorfizma $\phi$. Restrikcija je funktor iz kategorije $\Rep_G$ v kategorijo $\Rep_H$.
\begin{zgled}
Naj bo $G$ grupa s podgrupo edinko $N$. Tvorimo kvocientni homomorfizem $\phi \colon G \to G/N$. Vsaki upodobitvi grupe $G/N$ lahko z restrikcijo priredimo upodobitev grupe $G$. Vsaka taka pridobljena upodobitev grupe $G$ vsebuje podgrupo $N$ v svojem jedru. Na ta način dobimo bijektivno korespondenco med upodobitvami grupe $G/N$ in upodobitvami grupe $G$, ki so trivialne na $N$.
Običajno ni res, da je vsaka upodobitev grupe $G$ trivialna na $N$, se pa to lahko zgodi v kakšnih posebnih primerih. Na primer, \emph{enorazsežne} upodobitve grupe $G$ nad poljem $F$ so homomorfizmi iz $G$ v $F^*$, kar ravno ustreza homomorfizmom iz abelove grupe $G/[G,G]$ v $F^*$. Vsaka enorazsežna upodobitev grupe $G$ je torej trivialna na $[G,G]$.
Za konkreten primer si oglejmo simetrično grupo $S_n$. Njene kompleksne enorazsežne upodobitve ustrezajo homomorfizmom $S_n \to \CC^*$. Ker je $[S_n, S_n] = A_n$, opazujemo torej homomorfizme $S_n/A_n \cong \ZZ/2\ZZ \to \CC^*$. Na voljo sta le dva taka homomorfizma: trivialen in netrivialen (ki preslika generator grupe $\ZZ/2\ZZ$ v $-1 \in \CC^*$). Prvi ustreza trivialni upodobitvi $\11$, drugi pa ustreza predznačni upodobitvi $\sgn$.
\end{zgled}
Kadar imamo na voljo tri grupe, povezane s homomorfizmoma $\phi_2 \colon H_2 \to H_1$ in $\phi_1 \colon H_1 \to G$, lahko restrikcijo izvedemo dvakrat zaporedoma. Upodobitvi $\rho$ v $\Rep_G$ tako priredimo upodobitev $\Res^{H_1}_{H_2}(\Res^G_{H_1}(\rho))$ v $\Rep_{H_2}$. Od grupe $H_2$ do $G$ imamo neposredno povezavo prek homomorfizma $\phi_1 \circ \phi_2$, s čimer dobimo upodobitev $\Res^G_{H_2}(\rho)$. Ni težko preveriti, da sta dobljeni upodobitvi izomorfni. Tej lastnosti restrikcije pravimo {\definicija tranzitivnost}.
\subsection{Indukcija}
Naj bo kot zgoraj $G$ grupa in $H$ še ena grupa s homomorfizmom $\phi \colon H \to G$. {\definicija Indukcija} je postopek, ki s pomočjo homomorfizma $\phi$ upodobitvi $\rho$ grupe $H$ priredi upodobitev grupe $G$. Indukcija torej deluje ravno v obratno smer kot restrikcija in nam omogoča, da upodobitev $\rho$ \emph{potisnemo naprej} vzdolž homomorfizma $\phi$. Ta postopek je nekoliko bolj zapleten kot restrikcija.
Začnimo z upodobitvijo $\rho \colon H \to \GL(V)$. Konstruirali bomo prostor, na katerem deluje grupa $G$. Odskočna deska za to bo regularna upodobitev grupe $G$, katere vektorski prostor je prostor funkcij $\fun(G,F)$. Ta prostor razširimo s prostorom $V$ do prostora funkcij
\[
\fun(G,V) = \{ f \mid f \colon G \to V \},
\]
na katerem linearno deluje grupa $G$ z analogom regularne upodobitve, in sicer kot
\[
g \cdot f = \left( x \mapsto f(xg) \right)
\]
za $g \in G, \ f \in \fun(G,V)$. Po drugi strani na tej množici deluje tudi grupa $H$, in sicer na dva načina: prvič prek homomorfizma $\phi$ in pravkar opisanega delovanja grupe $G$, drugič pa prek svojega delovanja $\rho$ na prostoru $V$. Ko ti dve delovanji združimo, dobimo delovanje grupe $H$ na prostoru funkcij
$\fun(G,V)$ s predpisom
\[
h \cdot f = \left( x \mapsto \rho(h) \cdot f \left( \phi(h^{-1}) \cdot x \right) \right)
\]
za $h \in H, \ f \in \fun(G,V)$.\footnote{Delovanje $H$ na $\fun(G,V)$ je konstruirano analogno delovanju grupe na prostoru linearnih preslikav.} Opazujmo invariantni podprostor
\[
\fun(G, V)^H =
\left\{ f \in \fun(G,V) \mid \forall h \in H, x \in G. \ \rho(h) \cdot f(x) = f \left(\phi(h) \cdot x\right)\right\}.
\]
Ker grupa $G$ deluje na $\fun(G,V)$ prek množenja z \emph{desne}, pogoj pripadnosti invariantam $\fun(G,V)^H$ pa je izražen prek množenja z \emph{leve}, je podprostor $\fun(G,V)^H$ avtomatično $G$-invarianten. S tem smo dobili upodobitev grupe $G$ na prostoru $\fun(G,V)^H$. To je želena {\definicija inducirana upodobitev}. Zanjo uporabimo oznako $\Ind^G_H(\rho)$.
\begin{zgled}
Naj bo $G$ grupa z vložitvijo $\phi \colon 1 \to G$ trivialne podgrupe. Vsaka upodobitev trivialne grupe nad poljem $F$ je trivialna. Iz enorazsežne trivialne upodobitve $\11$ dobimo prostor funkcij $\fun(G,F)$, na katerem grupa $G$ deluje z regularno upodobitvijo. Inducirana upodobitev je v tem primeru torej kar regularna, se pravi $\Ind^G_1(\11) = \rho_{\fun}$.
\end{zgled}
Inducirano upodobitev $\Ind^G_H(\rho) = \fun(G,V)^H$ smo konstruirali z invariantami grupe $H$. To pomeni, da vektorji v tem prostoru niso poljubne funkcije v $\fun(G,V)$, temveč zadoščajo določenim restriktivnim pogojem. Te funkcije so določene z vrednostmi, ki jih zavzamejo na predstavnikih desnih odsekov $\image \phi \backslash G$,\footnote{Če je $R$ množica predstavnikov desnih odsekov $\image \phi$ v $G$ in če že poznamo vrednosti $f \in \fun(G,V)$ na množici $R$, potem lahko vsako drugo vrednost $f$ izračunamo kot $f(x \cdot r) = \rho(y) \cdot f(r)$ za $x = \phi(y) \in \image \phi$.} in te vrednosti pripadajo podprostoru $V^{\ker \phi}$.\footnote{Če je $f \in \fun(G,V)^H$, potem pogoj $H$-invariantnosti uporabimo z elementi $h \in \ker \phi$ in dobimo $\rho(h) \cdot f(x) = f(x)$, torej je $f \in V^h$.}
\begin{zgled}
Naj bo $G$ grupa z upodobitvijo $\rho$ in naj bo $\phi = \id_G$. Tedaj je vsaka funkcija $f \in \fun(G,V)^G$ določena že z vrednostjo $f(1)$. Dodatnih restrikcij za to vrednost ni, zato dobimo izomorfizem vektorskih prostorov
\[
\fun(G,V)^G \to V, \quad
f \mapsto f(1),
\]
ki je spletična glede na regularno delovanje $G$ na $\fun(G,V)$. S tem imamo torej izomorfizem upodobitev $\Ind^G_G(\rho) \cong \rho$.
\end{zgled}
\begin{domacanaloga}
Naj bo $G$ grupa z upodobitvijo $\rho$ na prostoru $V$ in naj bo $\phi \colon G \to G/N$ kvocientna projekcija za neko podgrupo edinko $N$ v $G$. Dokaži, da je $\Ind^{G/N}_G(\rho)$ izomorfna upodobitvi $G/N$ na prostoru $V^N$, ki izhaja iz upodobitve $\rho$.
\end{domacanaloga}
Najpomembnejši primer indukcije, čeravno ne tudi najbolj preprost, je {\definicija indukcija iz podgrupe končnega indeksa}. Naj bo $G$ grupa s podgrupo $H$ in naj bo $\phi$ vložitev $H$ v $G$. Predpostavimo, da je $|G:H| < \infty$. Naj bo $\rho$ upodobitev grupe $H$ na prostoru $V$. Premislimo, kako izgleda upodobitev $\Ind^G_H(\rho)$.
Naj bo $R$ neka izbrana množica predstavnikov desnih odsekov $H$ v $G$. Vsaka funkcija $f \in \fun(G,V)^H$ je določena z vrednostmi $f(r)$ za $r \in R$ in dodatnih restrikcij za te vrednosti ni, zato dobimo izomorfizem vektorskih prostorov\footnote{Množico funkcij $\fun(R,V)$ lahko vidimo kot direktno vsoto prostorov $V$, indeksirano z množico $R$.}
\[
\Phi \colon \fun(G,V)^H \to \fun(R,V), \quad
f \mapsto \left( r \mapsto f(r) \right).
\]
Da dobimo spletično, moramo posplošitev regularnega delovanja $G$ na $\fun(G,V)$ prenesti prek linearnega izomorfizma $\Phi$ na desno stran. V ta namen naj bo $v \in V$ in $f \in \fun(G,V)^H$ z lastnostjo $f(r_0) = v$ in $f(r) = 0$ za $r \in R \backslash \{ r_0 \}$. Za vsak $g \in G$ mora tako veljati
\[
g \cdot \left( r \mapsto \begin{cases} v & r = r_0, \\ 0 & r \neq r_0 \end{cases} \right) =
\Phi \left( g \cdot f \right) =
\Phi \left( x \mapsto f(xg) \right).
\]
Za $x \in R$ z lastnostjo $xg \in Hr_0$, se pravi $x = h r_0 g^{-1}$ za nek $h \in H$, velja $f(xg) = f(hr_0) = \rho(h) \cdot v$. Seveda je $|R \cap H r g^{-1}| = 1$, torej obstaja natanko en tak $x$. Za $x \in R$ z lastnostjo $xg \notin Hr_0$ pa velja $f(xg) = 0$. S tem je
\[
g \cdot \left( r \mapsto \begin{cases} v & r = r_0, \\ 0 & r \neq r_0 \end{cases} \right) =
\left( r \mapsto \begin{cases} \rho(h) \cdot v & r = h r_0 g^{-1} \text{ za nek $h \in H$,} \\ 0 & r \notin H r_0 g^{-1} \end{cases} \right).
\]
Da bo preslikava $\Phi$ spletična, moramo na $\fun(R,V)$ torej uvesti tako delovanje grupe $G$, ki dan vektor $v$ pri vnosu $r_0 \in R$ preslika tako, da najprej izračuna odsek elementa $r_0 g^{-1}$ po $H$, ta element zapiše kot $r_0 g^{-1} = h^{-1} r$ za $h \in H, \ r \in R$, nato pa na vektor $v$ deluje z $\rho(h)$ in ga hkrati prestavi k vnosu $r$.
Opisan postopek si lahko nekoliko lažje predstavljamo tako, da množico $\fun(R,V)$ identificiramo z direktno vsoto $\bigoplus_{r \in R} V r$, kjer je $Vr$ kopija vektorskega prostora $V$ pri komponenti $r$. Element $g \in G$ deluje na vektorju $v r_0 \in Vr_0$ kot $g^{-1}$ z desne. V teh domačih oznakah izračunamo
\[
g \cdot v r_0 = v r_0 g^{-1} = v h^{-1} r = (h \cdot v) r = (\rho(h) \cdot v) r,
\]
kar ravno ustreza bolj zakompliciranemu zapisu zgoraj.
Poseben primer opisane indukcije dobimo z enorazsežnimi upodobitvami grupe $H$. Vsak homomorfizem $\rho \colon H \to F^*$ porodi prostor $\fun(G,F)^H$ razsežnosti $|G:H|$, ki je podprostor prostora funkcij $\fun(G,F)$ in na katerem torej grupa $G$ deluje z regularno upodobitvjo. Inducirana upodobitev je v tem primeru podupodobitev regularne upodobitve $\rho_{\fun}$. Na ta način lahko dobimo mnogo različnih upodobitev grupe $G$.
\begin{zgled}
Opazujmo grupo $S_n$ in njeno podgrupo $A_n$ indeksa $2$. Za $n \geq 5$ je grupa $A_n$ enostavna, zato je $A_n = [A_n, A_n]$ in ni netrivialnih enorazsežnih upodobitev. Oglejmo si inducirano upodobitev $\Ind^{S_n}_{A_n}(\11)$. A priori vemo, da je to dvorazsežna upodobitev. Za množico predstavnikov odsekov vzamemo $R = \{ (), (1 \ 2) \}$. V domačih oznakah je vektorski prostor upodobitve enak $F ()\oplus F (1 \ 2)$, na katerem deluje grupa $S_n$ s predpisom
\[
g \cdot x \sigma = x \sigma g^{-1} = \begin{cases}
x \sigma & g \in A_n, \\
x \left((1 \ 2)\sigma\right) & g \notin A_n
\end{cases}
\]
za $g \in S_n, \ x \in F, \ \sigma \in R$. To delovanje lahko zapišemo še enostavneje. Vektorski prostor identificiramo z dvorazsežnim prostorom $F^2$, delovanje pa opišemo kot
\[
g \cdot \begin{pmatrix}
x \\ y
\end{pmatrix} =
\begin{cases}
\begin{pmatrix}
x \\ y
\end{pmatrix} & g \in A_n, \\
\begin{pmatrix}
y \\ x
\end{pmatrix} & g \notin A_n
\end{cases}
\]
za $x,y \in F, \ g \in S_n$. Alternirajoča grupa $A_n$ je v jedru te upodobitve, ki zato izhaja iz kvocienta $S_n/A_n \cong \ZZ/2\ZZ$. Opisana upodobitev je natanko permutacijska upodobitev grupe $\ZZ/2\ZZ$ na prostoru $F[\{ 1, 2 \}]$, inducirana upodobitev pa je ravno restrikcija te upodobitve vzdolž kvocientne projekcije $S_n \to S_n/A_n$. Inducirano upodobitev lahko zapišemo kot vsoto dveh enorazsežnih podupodobitev. Prva je podupodobitev z diagonalnim prostorom $\{ (x,x) \mid x \in F \} \leq F^2$, ta je izomorfna trivialni upodobitvi $\11$. Druga pa je podupodobitev z antidiagonalnim prostorom $\{ (x, -x) \mid x \in F \} \leq F^2$. Ta ni trivialna, saj element $(1 \ 2)$ deluje na $(1, -1)$ kot množenje z $-1 \in F$. Ta podupodobitev je zato izomorfna predznačni upodobitvi $\sgn$. Nazadnje je torej $\Ind^{S_n}_{A_n}(\11) \cong \11 \oplus \sgn$.
\end{zgled}
Naj bosta $G,H$ grupi s homomorfizmom $\phi \colon H \to G$. Ni težko preveriti, da indukcija naravno prenese spletično med dvema upodobitvama grupe $H$ v spletično med induciranima upodobitvama. Indukcija je torej funktor iz kategorije $\Rep_H$ v kategorijo $\Rep_G$.
Kadar imamo na voljo tri grupe, povezane s homomorfizmoma $\phi_2 \colon H_2 \to H_1$ in $\phi_1 \colon H_1 \to G$, lahko indukcijo izvedemo dvakrat zaporedoma. Upodobitvi $\rho$ v $\Rep_{H_2}$ tako priredimo upodobitev $\Ind^{G}_{H_1}(\Ind^{H_1}_{H_2}(\rho))$ v $\Rep_{G}$. Od grupe $H_2$ do $G$ imamo neposredno povezavo prek homomorfizma $\phi_1 \circ \phi_2$, s čimer dobimo upodobitev $\Ind^G_{H_2}(\rho)$. Ni težko preveriti, da sta dobljeni upodobitvi izomorfni. Tej lastnosti indukcije pravimo {\definicija tranzitivnost}.
\begin{domacanaloga}
Dokaži tranzitivnost indukcije.
\end{domacanaloga}
S tranzitivnostjo indukcije lahko vsako indukcijo vzdolž homomorfizma $\phi \colon H \to G$ razdelimo na tri korake: najprej induciramo vzdolž kvocientne projekcije $H \to H/\ker \phi$, nato vzdolž izomorfizma $H/\ker \phi \to \image \phi$ in nazadnje vzdolž vložitve $\image \phi \to G$. Vsako od teh posameznih indukcij razumemo precej dobro in zato lahko to znanje uporabimo pri razumevanju indukcije vzdolž $\phi$. Na primer, iz povedanega in razmislekov o preprostejših indukcijah, ki smo jih že naredili, sledi, da je razsežnost inducirane upodobitve $\rho$ grupe $H$ na prostoru $V$ enaka
\[
\textstyle \deg(\Ind^G_H(\rho)) =
|G:\image \phi| \cdot \dim(V^{\ker \phi}).
\]
\subsection{Adjunkcija restrikcije in indukcije}
Indukcija in restrikcija vsekakor nista inverzna funktorja. Na primer, če je $H \leq G$ in $\phi$ vložitev, potem za upodobitev $\rho$ v $\Rep_G$ velja $\deg(\Res^G_H(\rho)) = \deg(\rho)$ in zato $\deg(\Ind^G_H(\Res^G_H(\rho))) = |G:H| \cdot \deg(\rho)$, kar je lahko mnogo večje od $\deg(\rho)$. Sta pa funktorja restrikcije in indukcije vendarle tesno povezana. Tvorita namreč {\definicija adjungiran par} funktorjev.\footnote{V nadaljevanju bomo spoznali presenetljivo uporabnost tega navidez naključnega dejstva.}
\begin{trditev}
Naj bosta $G,H$ grupi s homomorfizmom $\phi \colon H \to G$. Za vsako upodobitev $\rho$ v $\Rep_G$ in upodobitev $\sigma$ v $\Rep_H$ velja
\[
\textstyle \hom_H(\Res^G_H(\rho), \sigma) \cong
\hom_G(\rho, \Ind^G_H(\sigma)).
\]
\end{trditev}
\begin{dokaz}
Naj bo $\rho$ upodobitev na prostoru $V$ in $\sigma$ upodobitev na prostoru $W$. Naj bo
\[
\Phi \in \hom_H(\Res^G_H(\rho), \sigma) = \hom_H(V, W).
\]
Sestavimo pripadajočo spletično
\[
\Psi \in \hom_G(\rho, \Ind^G_H(\sigma)) = \hom_G(V, \fun(G,W)^H).
\]
Za vektor $v \in V$ definirajmo
\[
\Psi(v) = \left( x \mapsto \Phi(\rho(x) \cdot v) \right) \in \fun(G,W).
\]
Ni težko (je pa sitno) preveriti, da opisano prirejanje vzpostavi izomorfizem med prostoroma spletičen $\hom_H(V,W)$ in $\hom_G(V,\fun(G,W)^H)$.
\end{dokaz}
\begin{zgled}
Naj bo $G$ grupa s podgrupo $H$ končnega indeksa. Grupa $G$ deluje na množici desnih odsekov $H \backslash G$ s homomorfizmom