aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides
diff options
context:
space:
mode:
authorNao Pross <np@0hm.ch>2021-05-07 00:14:48 +0200
committerNao Pross <np@0hm.ch>2021-05-07 00:14:48 +0200
commit20f68f26c0f82496e63b422b65a849a607325ef1 (patch)
tree1403426884f2b1caeabfa36a0e2dd3ddf07c0689 /vorlesungen/slides
parentCreate slide to show all point groups (diff)
parentneue folie (diff)
downloadSeminarMatrizen-20f68f26c0f82496e63b422b65a849a607325ef1.tar.gz
SeminarMatrizen-20f68f26c0f82496e63b422b65a849a607325ef1.zip
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'vorlesungen/slides')
-rw-r--r--vorlesungen/slides/6/Makefile.inc32
-rw-r--r--vorlesungen/slides/6/chapter.tex30
-rw-r--r--vorlesungen/slides/6/darstellungen/charakter.tex108
-rw-r--r--vorlesungen/slides/6/darstellungen/definition.tex59
-rw-r--r--vorlesungen/slides/6/darstellungen/irreduzibel.tex47
-rw-r--r--vorlesungen/slides/6/darstellungen/schur.tex47
-rw-r--r--vorlesungen/slides/6/darstellungen/skalarprodukt.tex42
-rw-r--r--vorlesungen/slides/6/darstellungen/summe.tex89
-rw-r--r--vorlesungen/slides/6/darstellungen/zyklisch.tex84
-rw-r--r--vorlesungen/slides/6/normalteiler/konjugation.tex77
-rw-r--r--vorlesungen/slides/6/normalteiler/normal.tex79
-rw-r--r--vorlesungen/slides/6/permutationen/matrizen.tex79
-rw-r--r--vorlesungen/slides/6/produkte/direkt.tex66
-rw-r--r--vorlesungen/slides/6/produkte/frei.tex79
-rw-r--r--vorlesungen/slides/6/punktgruppen/WasserstoffAufspaltung.pdfbin0 -> 74764 bytes
-rw-r--r--vorlesungen/slides/6/punktgruppen/aufspaltung.tex15
-rw-r--r--vorlesungen/slides/6/punktgruppen/c.tex49
-rw-r--r--vorlesungen/slides/6/punktgruppen/chemie.tex63
-rw-r--r--vorlesungen/slides/6/punktgruppen/d.tex53
-rw-r--r--vorlesungen/slides/6/punktgruppen/ebene.tex79
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/Makefile40
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/cn.jpgbin0 -> 49689 bytes
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/cn.pov10
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/cnh.jpgbin0 -> 55691 bytes
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/cnh.pov11
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/cnv.jpgbin0 -> 78880 bytes
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/cnv.pov11
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/common.inc200
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/dn.jpgbin0 -> 54769 bytes
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/dn.pov12
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/dnd.jpgbin0 -> 78146 bytes
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/dnd.pov13
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/dnh.jpgbin0 -> 61656 bytes
-rw-r--r--vorlesungen/slides/6/punktgruppen/images/dnh.pov13
-rw-r--r--vorlesungen/slides/6/punktgruppen/p.tex38
-rw-r--r--vorlesungen/slides/6/punktgruppen/semidirekt.tex80
-rw-r--r--vorlesungen/slides/6/punktgruppen/toi/I.jpgbin0 -> 255945 bytes
-rw-r--r--vorlesungen/slides/6/punktgruppen/toi/O.jpgbin0 -> 298533 bytes
-rw-r--r--vorlesungen/slides/6/punktgruppen/toi/T.jpgbin0 -> 149082 bytes
-rw-r--r--vorlesungen/slides/7/Makefile.inc12
-rw-r--r--vorlesungen/slides/7/bch.tex76
-rw-r--r--vorlesungen/slides/7/chapter.tex12
-rw-r--r--vorlesungen/slides/7/dg.tex4
-rw-r--r--vorlesungen/slides/7/drehung.tex4
-rw-r--r--vorlesungen/slides/7/einparameter.tex6
-rw-r--r--vorlesungen/slides/7/haar.tex84
-rw-r--r--vorlesungen/slides/7/hopf.tex69
-rw-r--r--vorlesungen/slides/7/images/Makefile12
-rw-r--r--vorlesungen/slides/7/images/drehung.inc142
-rw-r--r--vorlesungen/slides/7/images/interpolation.ini8
-rw-r--r--vorlesungen/slides/7/images/interpolation.m54
-rw-r--r--vorlesungen/slides/7/images/interpolation.pov10
-rw-r--r--vorlesungen/slides/7/images/test.pov7
-rw-r--r--vorlesungen/slides/7/integration.tex66
-rw-r--r--vorlesungen/slides/7/interpolation.tex112
-rw-r--r--vorlesungen/slides/7/liealgbeispiel.tex78
-rw-r--r--vorlesungen/slides/7/parameter.tex2
-rw-r--r--vorlesungen/slides/7/qdreh.tex110
-rw-r--r--vorlesungen/slides/7/quaternionen.tex74
-rw-r--r--vorlesungen/slides/7/semi.tex8
-rw-r--r--vorlesungen/slides/7/ueberlagerung.tex98
-rw-r--r--vorlesungen/slides/7/vektorlie.tex206
-rw-r--r--vorlesungen/slides/7/zusammenhang.tex99
-rw-r--r--vorlesungen/slides/Makefile.inc4
-rw-r--r--vorlesungen/slides/slides.tex24
-rw-r--r--vorlesungen/slides/test.tex18
66 files changed, 2961 insertions, 43 deletions
diff --git a/vorlesungen/slides/6/Makefile.inc b/vorlesungen/slides/6/Makefile.inc
new file mode 100644
index 0000000..bc6882a
--- /dev/null
+++ b/vorlesungen/slides/6/Makefile.inc
@@ -0,0 +1,32 @@
+#
+# Makefile.inc -- additional depencencies
+#
+# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+#
+chapter6 = \
+ ../slides/6/punktgruppen/ebene.tex \
+ ../slides/6/punktgruppen/semidirekt.tex \
+ ../slides/6/punktgruppen/c.tex \
+ ../slides/6/punktgruppen/d.tex \
+ ../slides/6/punktgruppen/p.tex \
+ ../slides/6/punktgruppen/chemie.tex \
+ ../slides/6/punktgruppen/aufspaltung.tex \
+ \
+ ../slides/6/produkte/frei.tex \
+ ../slides/6/produkte/direkt.tex \
+ \
+ ../slides/6/normalteiler/normal.tex \
+ ../slides/6/normalteiler/konjugation.tex \
+ \
+ ../slides/6/permutationen/matrizen.tex \
+ \
+ ../slides/6/darstellungen/definition.tex \
+ ../slides/6/darstellungen/charakter.tex \
+ ../slides/6/darstellungen/summe.tex \
+ ../slides/6/darstellungen/irreduzibel.tex \
+ ../slides/6/darstellungen/schur.tex \
+ ../slides/6/darstellungen/skalarprodukt.tex \
+ ../slides/6/darstellungen/zyklisch.tex \
+ \
+ ../slides/6/chapter.tex
+
diff --git a/vorlesungen/slides/6/chapter.tex b/vorlesungen/slides/6/chapter.tex
new file mode 100644
index 0000000..e1711d7
--- /dev/null
+++ b/vorlesungen/slides/6/chapter.tex
@@ -0,0 +1,30 @@
+%
+% chapter.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, Hochschule Rapperswi
+%
+
+\folie{6/punktgruppen/ebene.tex}
+\folie{6/punktgruppen/semidirekt.tex}
+\folie{6/punktgruppen/c.tex}
+\folie{6/punktgruppen/d.tex}
+\folie{6/punktgruppen/p.tex}
+\folie{6/punktgruppen/chemie.tex}
+\folie{6/punktgruppen/aufspaltung.tex}
+
+\folie{6/produkte/frei.tex}
+\folie{6/produkte/direkt.tex}
+
+\folie{6/normalteiler/normal.tex}
+\folie{6/normalteiler/konjugation.tex}
+
+\folie{6/permutationen/matrizen.tex}
+
+\folie{6/darstellungen/definition.tex}
+\folie{6/darstellungen/charakter.tex}
+\folie{6/darstellungen/summe.tex}
+\folie{6/darstellungen/irreduzibel.tex}
+\folie{6/darstellungen/schur.tex}
+\folie{6/darstellungen/skalarprodukt.tex}
+\folie{6/darstellungen/zyklisch.tex}
+
diff --git a/vorlesungen/slides/6/darstellungen/charakter.tex b/vorlesungen/slides/6/darstellungen/charakter.tex
new file mode 100644
index 0000000..ea90b6d
--- /dev/null
+++ b/vorlesungen/slides/6/darstellungen/charakter.tex
@@ -0,0 +1,108 @@
+%
+% chrakter.tex -- Charakter einer Darstellung
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Charakter einer Darstellung}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.44\textwidth}
+\begin{block}{Definition}
+$\varrho\colon G\to\operatorname{GL}_n(\mathbb{C})$ eine Darstellung.
+\\
+Der {\em Charakter} von $\varrho$ ist die Abbildung
+\[
+\chi_{\varrho}
+\colon
+G\to \mathbb{C}^n
+:
+g\mapsto \chi_{\varrho}(g)=\operatorname{Spur}\varrho(g)
+\]
+\end{block}
+\uncover<2->{%
+\begin{block}{Eigenschaften}
+\begin{enumerate}
+\item
+$\chi_{\varrho}(e) = n$
+\item<6->
+$\chi_{\varrho}(g^{-1}) = \overline{\chi_{\varrho}(g)}$
+\item<15->
+$\chi_{\varrho}(hgh^{-1}) = \chi_{\varrho}(g)$
+\end{enumerate}
+\uncover<21->{%
+Aus 3. folgt, dass Charaktere {\em Klassenfunktionen} sind}
+\end{block}}
+\end{column}
+\begin{column}{0.52\textwidth}
+\uncover<2->{%
+\begin{block}{Begründung}
+\begin{enumerate}
+\item<3->
+$\chi_{\varrho}(e)
+=
+\operatorname{Spur}\varrho(e)
+\uncover<4->{=
+\operatorname{Spur}I_n}
+\uncover<5->{=
+n}
+$
+\item<6->
+$g$ hat endliche Ordnung, d.~h.~$g^k=e$
+\\
+\uncover<7->{%
+$\lambda_i$ in der Jordan-NF erfüllen $\lambda_i^k=1$}
+\\
+$\uncover<8->{\Rightarrow|\lambda_i|=1}
+\uncover<9->{\Rightarrow \lambda_i^{-1} = \overline{\lambda_i}}$
+\begin{align*}
+\uncover<10->{
+\llap{$\chi_{\varrho}(g^{-1})$}
+&=
+\operatorname{Spur}(\varrho(g^{-1}))}
+\uncover<11->{=
+\sum_{i} n_i\overline{\lambda_i}}
+\\[-4pt]
+&\uncover<12->{=
+\overline{
+\sum_{i} n_i\lambda_i
+}}
+\uncover<13->{=
+\operatorname{Spur}\varrho(g)}
+\uncover<14->{=
+\chi_{\varrho}(g)}
+\end{align*}
+\item<16->
+Durch Nachrechnen:
+\begin{align*}
+\chi_{\varrho}(hgh^{-1})
+&\uncover<17->{=
+\operatorname{Spur}
+(
+\varrho(h)
+\varrho(g)
+\varrho(h^{-1})
+)}
+\\
+&\uncover<18->{=
+\operatorname{Spur}
+(
+\varrho(h^{-1})
+\varrho(h)
+\varrho(g)
+)}
+\\
+&\uncover<19->{=
+\operatorname{Spur}\varrho(g)}
+\uncover<20->{=
+\chi_{\varrho}(g)}
+\end{align*}
+\end{enumerate}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/darstellungen/definition.tex b/vorlesungen/slides/6/darstellungen/definition.tex
new file mode 100644
index 0000000..9d93e7f
--- /dev/null
+++ b/vorlesungen/slides/6/darstellungen/definition.tex
@@ -0,0 +1,59 @@
+%
+% definition.tex -- Definition einer Darstellung
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Darstellung}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Definition}
+$G$ eine Gruppe, $V$ ein $\Bbbk$-Vektorraum.
+\\
+\uncover<2->{%
+Ein Homomorphismus
+\[
+\varrho
+\colon
+G\to \operatorname{GL}(V)
+\]
+heisst {\em $n$-dimensionale Darstellung} der Gruppe $G$.}
+\end{block}
+\uncover<3->{%
+\begin{block}{Idee}
+Algebra und Analysis in $\operatorname{GL}_n(\Bbbk)$ nutzen, um
+mehr über $G$ herauszufinden
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<4->{%
+\begin{block}{Beispiel $S_n$}
+$S_n$ die symmetrische Gruppe,
+$\sigma\mapsto A_{\tilde{f}}$ die
+Abbildung auf die zugehörige Permutationsmatrix
+ist eine $n$-dimensionale Darstellung von $S_n$
+\end{block}}
+\uncover<5->{%
+\begin{block}{Beispiel Matrizengruppe}
+Eine Matrizengruppe $G$ ist eine Teilmenge von $M_n(\Bbbk)$.
+\\
+\uncover<6->{%
+$g\in G \Rightarrow g^{-1}\in G$, daher $G\subset\operatorname{GL}_n(\Bbbk)$}
+\\
+\uncover<7->{%
+Die Einbettung
+\[
+G\to\operatorname{GL}_n(\Bbbk)
+:
+g \mapsto g
+\]
+ist eine Darstellung}\uncover<8->{, die sog.~{\em reguläre Darstellung}}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/darstellungen/irreduzibel.tex b/vorlesungen/slides/6/darstellungen/irreduzibel.tex
new file mode 100644
index 0000000..91d8a18
--- /dev/null
+++ b/vorlesungen/slides/6/darstellungen/irreduzibel.tex
@@ -0,0 +1,47 @@
+%
+% irreduzibel.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Irreduzible Darstellungen}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Definition}
+Eine Darstellung $\varrho\colon G\to\operatorname{GL}(V)$ heisst
+irreduzibel, wenn es keine Zerlegung von $\varrho$ in zwei
+Darstellungen $\varrho_i\colon G\to\operatorname{GL}(U_i)$ ($i=1,2$)
+gibt derart, dass $\varrho = \varrho_1\oplus\varrho_2$
+\end{block}
+\uncover<2->{%
+\begin{block}{Isomorphe Darstellungen}
+$\varrho_i$ sind {\em isomorphe} Darstellungen in $V_i$ wenn es
+$f\colon V_1\overset{\cong}{\to} V_2$ gibt mit
+\begin{align*}
+f \circ \varrho_i(g)\circ f^{-1} &= \varrho_2(g)
+\\
+\uncover<3->{%
+f \circ \varrho_i(g)\phantom{\mathstrut\circ f^{-1}}&= \varrho_2(g)\circ f
+}
+\end{align*}
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<4->{%
+\begin{block}{Lemma von Schur}
+$\varrho_i$ zwei irreduzible Darstellungen und $f$ so, dass
+$f\circ \varrho_1(g)=\varrho_2(g)\circ f$ für alle $g$.
+Dann gilt
+\begin{enumerate}
+\item<5-> $\varrho_i$ nicht isomorph $\Rightarrow$ $f=0$
+\item<6-> $V_1=V_2,\varrho_1=\varrho_2$ $\Rightarrow$ $f=\lambda I$
+\end{enumerate}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/darstellungen/schur.tex b/vorlesungen/slides/6/darstellungen/schur.tex
new file mode 100644
index 0000000..144de4c
--- /dev/null
+++ b/vorlesungen/slides/6/darstellungen/schur.tex
@@ -0,0 +1,47 @@
+%
+% schur.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Folgerungen aus Schurs Lemma}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Mittelung einer Abbildung}
+$h\colon V_1\to V_2$
+\[
+h^G = \frac{1}{|G|} \sum_{g\in G} \varrho_2(g)^{-1} \circ h \circ \varrho_1(g)
+\]
+\begin{enumerate}
+\item<2-> $\varrho_i$ nicht isomorph $\Rightarrow$ $h^G=0$
+\item<3-> $V_1=V_2,\varrho_1=\varrho_2$, $h^G = \frac1n\operatorname{Spur}h$
+\end{enumerate}
+\end{block}
+\uncover<4->{%
+\begin{block}{Matrixelemente für $\varrho_i$ nicht isomorph}
+$\varrho_i$ nicht isomorph, dann ist
+\[
+\frac{1}{|G|} \sum_{g\in G} \varrho_1(g^{-1})_{kl}\varrho_2(g)_{uv}=0
+\]
+für alle $k,l,u,v$
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<5->{%
+\begin{block}{Matrixelemente $V_1=V_2$, $\varrho_i$ iso}
+Für $k=v$ und $l=u$ gilt
+\[
+\frac{1}{|G|} \sum_{g\in G} \varrho_1(g^{-1})_{kl} \varrho_2(g)_{uv}
+=
+\frac1n
+\]
+und $=0$ sonst
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/darstellungen/skalarprodukt.tex b/vorlesungen/slides/6/darstellungen/skalarprodukt.tex
new file mode 100644
index 0000000..46cc8e9
--- /dev/null
+++ b/vorlesungen/slides/6/darstellungen/skalarprodukt.tex
@@ -0,0 +1,42 @@
+%
+% skalarprodukt.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Skalarprodukt}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Definition des Skalarproduktes}
+$\varphi$, $\psi$ komplexe Funktionen auf $G$:
+\[
+\langle \varphi,\psi\rangle
+=
+\frac{1}{|G|} \sum_{g\in G} \overline{\varphi(g)} \psi(g)
+\]
+\end{block}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<2->{%
+\begin{block}{Satz}
+\begin{enumerate}
+\item
+$\chi$ der Charakter einer irrediziblen Darstellung
+$\Rightarrow$ $\langle \chi,\chi\rangle=1$.
+\item<3->
+$\chi$ und $\chi'$ Charaktere nichtisomorpher Darstellungen
+$\Rightarrow$
+$\langle \chi,\chi'\rangle=0$
+\end{enumerate}
+\uncover<4->{%
+D.~h.~Charaktere irreduzibler Darstellungen sind orthonormiert
+}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/darstellungen/summe.tex b/vorlesungen/slides/6/darstellungen/summe.tex
new file mode 100644
index 0000000..b0d193f
--- /dev/null
+++ b/vorlesungen/slides/6/darstellungen/summe.tex
@@ -0,0 +1,89 @@
+%
+% Summe.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Direkte Summe}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Gegeben}
+Gegeben zwei Darstellungen
+\begin{align*}
+\varrho_1&\colon G \to \mathbb{C}^{n_1}
+\\
+\varrho_2&\colon G \to \mathbb{C}^{n_2}
+\end{align*}
+\end{block}
+\vspace{-12pt}
+\uncover<2->{%
+\begin{block}{Direkte Summe der Darstellungen}
+%\vspace{-12pt}
+\begin{align*}
+\varrho_1\oplus\varrho_2
+&\colon
+G\to \mathbb{C}^{n_1+n_2}
+\only<3|handout:0>{
+= \mathbb{C}^{n_1}\times\mathbb{C}^{n_2}}
+\uncover<4->{=:
+\mathbb{C}^{n_1}\oplus\mathbb{C}^{n_2}}
+\hspace*{5cm}
+\\
+&\colon g\mapsto (\varrho_1(g),\varrho_2(g))
+\end{align*}
+\end{block}}
+\vspace{-12pt}
+\uncover<5->{%
+\begin{block}{Charakter}
+%\vspace{-12pt}
+\begin{align*}
+\chi_{\varrho_1\oplus\varrho_2}(g)
+&=
+\operatorname{Spur}(\varrho_1\oplus\varrho_2)(g)
+\\
+&\uncover<6->{=
+\operatorname{Spur}{\varrho_1(g)}
++
+\operatorname{Spur}{\varrho_1(g)}}
+\\
+&\uncover<7->{=
+\chi_{\varrho_1}(g)
++
+\chi_{\varrho_2}(g)}
+\end{align*}
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<8->{%
+\begin{block}{Tensorprodukt}
+$n_1\times n_2$-dimensionale
+Darstellung $\varrho_1\otimes\varrho_2$ mit Matrix
+\[
+\begin{pmatrix}
+\varrho_1(g)_{11} \varrho_2(g)
+ &\dots
+ &\varrho_1(g)_{1n_1} \varrho_2(g)\\
+\vdots&\ddots&\vdots\\
+\varrho_1(g)_{n_11} \varrho_2(g)
+ &\dots
+ &\varrho_1(g)_{n_1n_1} \varrho_2(g)
+\end{pmatrix}
+\]
+\uncover<9->{Die ``Einträge'' sind $n_2\times n_2$-Blöcke}
+\end{block}}
+\uncover<10->{%
+\begin{block}{Darstellungsring}
+Die Menge der Darstellungen $R(G)$ einer Gruppe hat
+einer Ringstruktur mit $\oplus$ und $\otimes$
+\\
+\uncover<11->{$\Rightarrow$
+Algebra zum Studium der möglichen Darstellungen von $G$ verwenden}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/darstellungen/zyklisch.tex b/vorlesungen/slides/6/darstellungen/zyklisch.tex
new file mode 100644
index 0000000..312d0e8
--- /dev/null
+++ b/vorlesungen/slides/6/darstellungen/zyklisch.tex
@@ -0,0 +1,84 @@
+%
+% zyklisch.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Beispiel: Zyklische Gruppen}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Gruppe}
+\(
+C_n = \mathbb{Z}/n\mathbb{Z}
+\)
+\end{block}
+\uncover<2->{%
+\begin{block}{Darstellungen von $C_n$}
+Gegeben durch $\varrho_k(1)=e^{2\pi i k/n}$,
+\[
+\varrho_k(l) = e^{2\pi ikl/n}
+\]
+\end{block}}
+\vspace{-10pt}
+\uncover<3->{
+\begin{block}{Charaktere}
+%\vspace{-10pt}
+\[
+\chi_k(l) = e^{2\pi ikl/n}
+\]
+haben Skalarprodukte
+\[
+\langle \chi_k,\chi_{k'}\rangle
+=
+\begin{cases}
+1&\quad k= k'\\
+0&\quad\text{sonst}
+\end{cases}
+\]
+Die Darstellungen $\chi_k$ sind nicht isomorph
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<5->{%
+\begin{block}{Orthonormalbasis}
+Die Funktionen $\chi_k$ bilden eine Orthonormalbasis von $L^2(C_n)$
+\end{block}}
+\vspace{-4pt}
+\uncover<6->{%
+\begin{block}{Analyse einer Darstellung}
+$\varrho\colon C_n\to \mathbb{C}^n$ eine Darstellung,
+$\chi_\varrho$ der Charakter lässt zerlegen:
+\begin{align*}
+c_k
+&=
+\langle \chi_k, \chi\rangle = \frac{1}{n} \sum_{l} \chi_k(l) e^{-2\pi ilk/n}
+\\
+\uncover<7->{
+\chi(l)
+&=
+\sum_{k} c_k \chi_k
+=
+\sum_{k} c_k e^{2\pi ikl/n}
+}
+\end{align*}
+\end{block}}
+\vspace{-13pt}
+\uncover<8->{%
+\begin{block}{Fourier-Theorie}
+\vspace{-3pt}
+\begin{center}
+\begin{tabular}{>{$}l<{$}l}
+\uncover<9->{C_n&Diskrete Fourier-Theorie}\\
+\uncover<10->{U(1)&Fourier-Reihen}\\
+\uncover<11->{\mathbb{R}&Fourier-Integral}
+\end{tabular}
+\end{center}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/normalteiler/konjugation.tex b/vorlesungen/slides/6/normalteiler/konjugation.tex
new file mode 100644
index 0000000..70ce01f
--- /dev/null
+++ b/vorlesungen/slides/6/normalteiler/konjugation.tex
@@ -0,0 +1,77 @@
+%
+% konjugation.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Konjugation}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{``Basiswechsel''}
+In der Gruppe $\operatorname{GL}_n(\Bbbk)$
+\[
+A' = TAT^{-1}
+\]
+$T\in\operatorname{GL}_n(\Bbbk)$
+\\
+$A$ und $A'$ sind ``gleichwertig''
+\end{block}
+\uncover<2->{%
+\begin{block}{Definition}
+$g_1,g_2\in G$ sind {\em konjugiert}, wenn es
+$h\in G$ gibt mit
+\[
+g_1 = hg_2h^{-1}
+\]
+\end{block}}
+\uncover<3->{%
+\begin{block}{Beispiel}
+Konjugierte Elemente in $\operatorname{GL}_n(\Bbbk)$ haben die
+gleiche Spur und Determinante
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<4->{%
+\begin{block}{Konjugationsklasse}
+Die Konjugationsklasse von $g$ ist
+\[
+\llbracket g\rrbracket
+=
+\{h\in G\;|\; \text{$h$ konjugiert zu $g$}\}
+\]
+\end{block}}
+\vspace{-7pt}
+\uncover<5->{%
+\begin{block}{Klassenzerlegung}
+\begin{align*}
+G
+&=
+\{e\}
+\cup
+\llbracket g_1\rrbracket
+\cup
+\llbracket g_2\rrbracket
+\cup
+\dots
+\\
+&\uncover<6->{=
+C_e\cup C_1 \cup C_2\cup\dots}
+\end{align*}
+\end{block}}
+\vspace{-7pt}
+\uncover<7->{%
+\begin{block}{Klassenfunktionen}
+Funktionen, die auf Konjugationsklassen konstant sind
+\end{block}}
+\uncover<8->{%
+\begin{block}{Beispiele}
+Spur, Determinante
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/normalteiler/normal.tex b/vorlesungen/slides/6/normalteiler/normal.tex
new file mode 100644
index 0000000..42336b9
--- /dev/null
+++ b/vorlesungen/slides/6/normalteiler/normal.tex
@@ -0,0 +1,79 @@
+%
+% normal.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Normalteiler}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Gegeben}
+Eine Gruppe $G$ mit Untergruppe $N\subset G$
+\end{block}
+\uncover<2->{%
+\begin{block}{Bedingung}
+Welche Eigenschaft muss $N$ zusätzlich haben,
+damit
+\[
+G/N
+=
+\{ gN \;|\; g\in G\}
+\]
+eine Gruppe wird.
+
+\uncover<3->{Wähle Repräsentaten $g_1N=g_2N$}
+\uncover<4->{%
+\begin{align*}
+g_1g_2N
+&\uncover<5->{=
+g_1g_2NN}
+\uncover<6->{=
+g_1g_2Ng_2^{-1}g_2N}
+\\
+&\uncover<7->{=
+g_1(g_2Ng_2^{-1})g_2N}
+\\
+&\uncover<8->{\stackrel{?}{=} g_1Ng_2N}
+\end{align*}}
+\uncover<9->{Funktioniert nur wenn $g_2Ng_2^{-1}=N$ ist}
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<10->{%
+\begin{block}{Universelle Eigenschaft}
+Ist $\varphi\colon G\to G'$ ein Homomorphismus mit $\varphi(N)=\{e\}$%
+\uncover<11->{, dann gibt es einen Homomorphismus $G/N\to G'$:}
+\begin{center}
+\begin{tikzpicture}[>=latex,thick]
+\coordinate (N) at (-2.5,0);
+\coordinate (G) at (0,0);
+\coordinate (quotient) at (2.5,0);
+\coordinate (Gprime) at (0,-2.5);
+\coordinate (e) at (-2.5,-2.5);
+\node at (N) {$N$};
+\node at (e) {$\{e\}$};
+\node at (G) {$G$};
+\node at (Gprime) {$G'$};
+\node at (quotient) {$G/N$};
+\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (N) -- (G);
+\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (N) -- (e);
+\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (e) -- (Gprime);
+\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (G) -- (Gprime);
+\draw[->,shorten >= 0.4cm,shorten <= 0.4cm] (G) -- (quotient);
+\uncover<11->{
+\draw[->,shorten >= 0.3cm,shorten <= 0.4cm,color=red] (quotient) -- (Gprime);
+\node[color=red] at ($0.5*(quotient)+0.5*(Gprime)$) [below right] {$\exists!$};
+}
+\node at ($0.5*(quotient)$) [above] {$\pi$};
+\node at ($0.5*(Gprime)$) [left] {$\varphi$};
+\end{tikzpicture}
+\end{center}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/permutationen/matrizen.tex b/vorlesungen/slides/6/permutationen/matrizen.tex
new file mode 100644
index 0000000..d40c396
--- /dev/null
+++ b/vorlesungen/slides/6/permutationen/matrizen.tex
@@ -0,0 +1,79 @@
+%
+% matrizen.tex -- Darstellung der Permutationen als Matrizen
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Permutationsmatrizen}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Permutationsabbildung}
+$\sigma\in S_n$ eine Permutation, definiere
+\[
+f
+\colon
+e_i \mapsto e_{\sigma(i)}
+\]
+($e_i$ Standardbasisvektor)
+\end{block}
+\uncover<2->{%
+\begin{block}{Lineare Abbildung}
+$f$ kann erweitert werden zu einer linearen Abbildung
+\[
+\tilde{f}
+\colon
+\Bbbk^n \to \Bbbk^n
+:
+\sum_{k=1}^n a_i e_i
+\mapsto
+\sum_{k=1}^n a_i f(e_i)
+\]
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<3->{%
+\begin{block}{Permutationsmatrix}
+Matrix $A_{\tilde{f}}$ der linearen Abbildung $\tilde{f}$
+hat die Matrixelemente
+\[
+a_{ij}
+=
+\begin{cases}
+1&\qquad i=\sigma(j)\\
+0&\qquad\text{sonst}
+\end{cases}
+\]
+\end{block}}
+\vspace{-10pt}
+\uncover<4->{%
+\begin{block}{Beispiel}
+\vspace{-10pt}
+\[
+\begin{pmatrix}
+1&2&3&4\\
+3&2&4&1
+\end{pmatrix}
+\mapsto
+\begin{pmatrix}
+0&0&0&1\\
+0&1&0&0\\
+1&0&0&0\\
+0&0&1&0
+\end{pmatrix}
+\]
+\end{block}}
+\vspace{-10pt}
+\uncover<5->{%
+\begin{block}{Homomorphismus}
+Die Abbildung
+$S_n\to\operatorname{GL}(\Bbbk)\colon \sigma \mapsto A_{\tilde{f}}$
+ist ein Homomorphismus
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/produkte/direkt.tex b/vorlesungen/slides/6/produkte/direkt.tex
new file mode 100644
index 0000000..c851335
--- /dev/null
+++ b/vorlesungen/slides/6/produkte/direkt.tex
@@ -0,0 +1,66 @@
+%
+% direkt.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Direktes Produkt}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Definition}
+Zwei Gruppen $H_1$ und $H_2$
+\\
+Gruppe $G=H_1\times H_2$ mit
+\begin{itemize}
+\item<2-> Elemente $(h_1,h_2)\in H_1\times H_2$
+\item<3-> Neutrales Element $(e_1,e_2)$
+\item<4-> Inverses Elemente $(h_1,h_2)^{-1}=(h_1^{-1},h_2^{-1})$
+\end{itemize}
+heisst {\em direktes Produkt}
+\end{block}
+\uncover<5->{%
+\begin{block}{Vertauschbarkeit}
+Das direkte Produkt ist ein Produkt, in dem Elemente von $H_1$ und
+$H_2$ vollständig vertauschbar sind
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<6->{%
+\begin{block}{Universelle Eigenschaft}
+\begin{center}
+\begin{tikzpicture}[>=latex,thick]
+\coordinate (S) at (0,2.5);
+\coordinate (H1) at (-2.5,0);
+\coordinate (H2) at (2.5,0);
+
+\node at (H1) {$H_1$};
+\node at (H2) {$H_2$};
+\node at (0,0) {$H_1\times H_2$};
+\node at (S) {$S$};
+
+\draw[->,shorten >= 0.25cm,shorten <= 0.8cm] (0,0) -- (H1);
+\draw[->,shorten >= 0.25cm,shorten <= 0.8cm] (0,0) -- (H2);
+
+\draw[->,shorten >= 0.25cm,shorten <= 0.25cm] (S) -- (H1);
+\draw[->,shorten >= 0.25cm,shorten <= 0.25cm] (S) -- (H2);
+
+\node at ($0.5*(S)+0.5*(H1)$) [above left] {$f_1$};
+\node at ($0.5*(S)+0.5*(H2)$) [above right] {$f_2$};
+
+\uncover<7->{
+\draw[->,shorten >= 0.25cm,shorten <= 0.25cm,color=red] (S) -- (0,0);
+\node[color=red] at ($0.36*(S)$) [left] {$f_1\times f_2$};
+\node[color=red] at ($0.36*(S)$) [right] {$\exists!$};
+}
+
+\end{tikzpicture}
+\end{center}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/produkte/frei.tex b/vorlesungen/slides/6/produkte/frei.tex
new file mode 100644
index 0000000..6c23e6b
--- /dev/null
+++ b/vorlesungen/slides/6/produkte/frei.tex
@@ -0,0 +1,79 @@
+%
+% template.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Freie Gruppen}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Gruppe aus Symbolen}
+Erzeugende Elemente $\{a,b,c,\dots\}$
+\\
+\uncover<2->{%
+Wörter =
+Folgen von Symbolen $a$, $a^{-1}$, $b$, $b^{-1}$}
+\\
+\uncover<3->{
+{\em freie Gruppe}:
+\begin{align*}
+F&=\langle a,b,c,\dots\rangle
+\\
+&=
+\{\text{Wörter}\}
+/\text{Kürzungsregel}
+\end{align*}}
+\vspace{-10pt}
+\begin{itemize}
+\item<4-> neutrales Element: $e = \text{leere Symbolfolge}$
+\item<5-> Gruppenoperation: Verkettung
+\item<6-> Kürzungsregel:
+\begin{align*}
+xx^{-1}&\to e,
+&
+x^{-1}x&\to e
+\end{align*}
+\end{itemize}
+\end{block}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<7->{%
+\begin{block}{Universelle Eigenschaft}
+$g_i\in G$, dann gibt es genau einen Homomorphismus
+\[
+\varphi
+\colon
+\langle g_i| 1\le i\le k\rangle
+\to
+G
+\]
+\end{block}}
+\vspace{-10pt}
+\uncover<8->{%
+\begin{block}{Quotient einer freien Gruppe}
+Jede endliche Gruppe ist Quotient einer freien Gruppe
+\[
+N
+\xhookrightarrow{}
+\langle g_i\rangle
+\twoheadrightarrow
+G
+\]
+oder
+\[
+G = \langle g_i\rangle / N
+\]
+\end{block}}
+\vspace{-10pt}
+\uncover<11->{%
+\begin{block}{Maximal nichtkommutativ}
+Die freie Gruppe ist die ``maximal nichtkommutative'' Gruppe
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/punktgruppen/WasserstoffAufspaltung.pdf b/vorlesungen/slides/6/punktgruppen/WasserstoffAufspaltung.pdf
new file mode 100644
index 0000000..56cbf7b
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/WasserstoffAufspaltung.pdf
Binary files differ
diff --git a/vorlesungen/slides/6/punktgruppen/aufspaltung.tex b/vorlesungen/slides/6/punktgruppen/aufspaltung.tex
new file mode 100644
index 0000000..633f700
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/aufspaltung.tex
@@ -0,0 +1,15 @@
+%
+% template.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Aufspaltung}
+\begin{center}
+\includegraphics[width=0.66\textwidth]{../slides/6/punktgruppen/WasserstoffAufspaltung.pdf}
+\end{center}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/punktgruppen/c.tex b/vorlesungen/slides/6/punktgruppen/c.tex
new file mode 100644
index 0000000..80790b1
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/c.tex
@@ -0,0 +1,49 @@
+%
+% c.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Drehgruppen}
+\vspace{-25pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.33\textwidth}
+\begin{block}{$C_n$}
+\begin{center}
+\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/cn.jpg}
+\end{center}
+\begin{itemize}
+\item Eine $n$-zählige Achse
+\end{itemize}
+\end{block}
+\end{column}
+\begin{column}{0.33\textwidth}
+\uncover<2->{%
+\begin{block}{$C_{nv}$}
+\begin{center}
+\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/cnv.jpg}
+\end{center}
+\begin{itemize}
+\item Eine $n$-zählige Achse
+\item $n$ dazu senkrechte Symmetrieebenen
+\end{itemize}
+\end{block}}
+\end{column}
+\begin{column}{0.33\textwidth}
+\uncover<3->{%
+\begin{block}{$C_{nh}$}
+\begin{center}
+\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/cnh.jpg}
+\end{center}
+\begin{itemize}
+\item Eine $n$-zählige Achse
+\item Eine dazu senkrechte Spiegelebene
+\end{itemize}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/punktgruppen/chemie.tex b/vorlesungen/slides/6/punktgruppen/chemie.tex
new file mode 100644
index 0000000..7f8b7a8
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/chemie.tex
@@ -0,0 +1,63 @@
+%
+% chemie.tex -- Anwendung
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Anwendung: Energieniveaus eines Atoms}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Schrödingergleichung}
+Partielle Differentialgleichung für die Wellenfunktion
+eines Teilchens im Potential $V(x)$
+\[
+-\frac{\hbar^2}{2m}\Delta \Psi
++
+V(x)\Psi
+=
+E\Psi
+\]
+$V(x)$ = Potential der Atomkerne eines Molekuls
+\end{block}
+\uncover<2->{%
+\begin{block}{Symmetrien}
+$g\in\operatorname{O}(3)$ wirkt auf $V$ und $\Psi$
+\begin{align*}
+(g\cdot V)(x) &= V(g\cdot x)
+\\
+(g\cdot \Psi)(x) &= \Psi(g\cdot x)
+\end{align*}
+Symmetrie von $V$: $g\cdot V=V$
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<3->{%
+\begin{block}{Lösungen}
+Eigenfunktionen $\Psi$ zum Eigenwert $E$
+\[
+g\cdot V=V
+\Rightarrow
+g\cdot \Psi
+\text{ Lösung}
+\]
+mit gleichem Eigenwert!
+\end{block}}
+\uncover<4->{%
+\begin{block}{Eigenräume}
+Die Symmetriegruppe $G\subset \operatorname{O}(3)$ eines Moleküls
+operiert auf dem Eigenraum
+\end{block}}
+\uncover<5->{%
+\begin{block}{Externe Felder}
+Externe Felder zerstören die Symmetrie
+$\Rightarrow$
+die Energieniveaus/Spektrallinien spalten sich auf
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/punktgruppen/d.tex b/vorlesungen/slides/6/punktgruppen/d.tex
new file mode 100644
index 0000000..9dd0a7a
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/d.tex
@@ -0,0 +1,53 @@
+%
+% d.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Diedergruppen}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.33\textwidth}
+\begin{block}{$D_n$}
+\begin{center}
+\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/dn.jpg}
+\end{center}
+\vspace{-8pt}
+\begin{itemize}
+\item $C_n$ Achse
+\item $n$ $C_2$ Achse senkrecht dazu
+\end{itemize}
+\end{block}
+\end{column}
+\begin{column}{0.33\textwidth}
+\uncover<2->{%
+\begin{block}{$D_{nd}$}
+\begin{center}
+\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/dnd.jpg}
+\end{center}
+\vspace{-8pt}
+\begin{itemize}
+\item $D_n$ Achse
+\item $n$ winkelhalbierende Spiegelebenen der $C_2$-Achsen
+\end{itemize}
+\end{block}}
+\end{column}
+\begin{column}{0.33\textwidth}
+\uncover<3->{%
+\begin{block}{$D_{nh}$}
+\begin{center}
+\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/dnh.jpg}
+\end{center}
+\vspace{-8pt}
+\begin{itemize}
+\item $D_n$ Achse
+\item Spiegelbene senkrecht dazu
+\end{itemize}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/punktgruppen/ebene.tex b/vorlesungen/slides/6/punktgruppen/ebene.tex
new file mode 100644
index 0000000..3b715e4
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/ebene.tex
@@ -0,0 +1,79 @@
+%
+% ebene.tex -- Punktgruppen in der Ebene
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Punktgruppen in der Ebene}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Zyklische Gruppen}
+\begin{center}
+\begin{tikzpicture}[>=latex,thick]
+\def\a{40}
+\def\r{2}
+\def\R{2.5}
+\fill[color=blue!20] (0,0) -- (0:{1.1*\R}) arc (0:\a:{1.1*\R}) -- cycle;
+\node[color=blue] at ({0.5*\a}:{0.8*\r}) {$\displaystyle\frac{2\pi}n$};
+\fill (0,0) circle[radius=0.08];
+\draw[color=red] (0:\r) -- (0:\R)
+ -- ({1*\a}:\r) -- ({1*\a}:\R)
+ -- ({2*\a}:\r) -- ({2*\a}:\R)
+ -- ({3*\a}:\r) -- ({3*\a}:\R)
+ -- ({4*\a}:\r) -- ({4*\a}:\R)
+ -- ({5*\a}:\r) -- ({5*\a}:\R)
+ -- ({6*\a}:\r) -- ({6*\a}:\R)
+ -- ({7*\a}:\r) -- ({7*\a}:\R)
+ -- ({8*\a}:\r) %-- ({8*\a}:\R)
+;
+\end{tikzpicture}
+\end{center}
+\[
+C_n
+=
+\{\text{Drehungen um Winkel $2\pi/n$}\}
+\]
+\end{block}
+\end{column}
+\begin{column}{0.48\textwidth}
+\begin{block}{Diedergruppen}
+\begin{center}
+\begin{tikzpicture}[>=latex,thick]
+\def\a{40}
+\def\r{2}
+\def\R{2.5}
+\fill[color=blue!20] (0,0) -- (0:{1.1*\R}) arc (0:\a:{1.1*\R}) -- cycle;
+\node[color=blue] at ({0.5*\a}:{0.8*\r}) {$\displaystyle\frac{2\pi}n$};
+\fill (0,0) circle[radius=0.08];
+\draw[color=red] (0:\r) -- ({0.5*\a}:\R)
+ -- ({1*\a}:\r) -- ({1.5*\a}:\R)
+ -- ({2*\a}:\r) -- ({2.5*\a}:\R)
+ -- ({3*\a}:\r) -- ({3.5*\a}:\R)
+ -- ({4*\a}:\r) -- ({4.5*\a}:\R)
+ -- ({5*\a}:\r) -- ({5.5*\a}:\R)
+ -- ({6*\a}:\r) -- ({6.5*\a}:\R)
+ -- ({7*\a}:\r) -- ({7.5*\a}:\R)
+ -- ({8*\a}:\r) %-- ({8.5*\a}:\R)
+;
+\end{tikzpicture}
+\end{center}
+\begin{align*}
+D_n
+&=
+\langle\text{Spiegelung},
+\text{Drehungen}\rangle
+\\
+&=
+C_2
+\ltimes
+C_n
+\end{align*}
+\end{block}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/punktgruppen/images/Makefile b/vorlesungen/slides/6/punktgruppen/images/Makefile
new file mode 100644
index 0000000..e909884
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/Makefile
@@ -0,0 +1,40 @@
+#
+# Makefile
+#
+# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+#
+all: cn.jpg cnv.jpg cnh.jpg dn.jpg dnd.jpg dnh.jpg
+
+cn.png: common.inc cn.pov
+ povray +A0.1 -W1920 -H1080 -Ocn.png cn.pov
+cn.jpg: cn.png
+ convert -extract 1050x1050+450+4 cn.png cn.jpg
+
+cnv.png: common.inc cnv.pov
+ povray +A0.1 -W1920 -H1080 -Ocnv.png cnv.pov
+cnv.jpg: cnv.png
+ convert -extract 1050x1050+450+4 cnv.png cnv.jpg
+
+cnh.png: common.inc cnh.pov
+ povray +A0.1 -W1920 -H1080 -Ocnh.png cnh.pov
+cnh.jpg: cnh.png
+ convert -extract 1050x1050+450+4 cnh.png cnh.jpg
+
+dn.png: common.inc dn.pov
+ povray +A0.1 -W1920 -H1080 -Odn.png dn.pov
+dn.jpg: dn.png
+ convert -extract 1050x1050+450+4 dn.png dn.jpg
+
+dnd.png: common.inc dnd.pov
+ povray +A0.1 -W1920 -H1080 -Odnd.png dnd.pov
+dnd.jpg: dnd.png
+ convert -extract 1050x1050+450+4 dnd.png dnd.jpg
+
+dnh.png: common.inc dnh.pov
+ povray +A0.1 -W1920 -H1080 -Odnh.png dnh.pov
+dnh.jpg: dnh.png
+ convert -extract 1050x1050+450+4 dnh.png dnh.jpg
+
+
+
+
diff --git a/vorlesungen/slides/6/punktgruppen/images/cn.jpg b/vorlesungen/slides/6/punktgruppen/images/cn.jpg
new file mode 100644
index 0000000..4ea4e92
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/cn.jpg
Binary files differ
diff --git a/vorlesungen/slides/6/punktgruppen/images/cn.pov b/vorlesungen/slides/6/punktgruppen/images/cn.pov
new file mode 100644
index 0000000..39d65be
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/cn.pov
@@ -0,0 +1,10 @@
+//
+// cn.pov
+//
+// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+//
+
+#include "common.inc"
+
+koerper(0.4,0.6,0.6,0.5,0.8,-0.6,0.0)
+Vachse()
diff --git a/vorlesungen/slides/6/punktgruppen/images/cnh.jpg b/vorlesungen/slides/6/punktgruppen/images/cnh.jpg
new file mode 100644
index 0000000..72181e8
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/cnh.jpg
Binary files differ
diff --git a/vorlesungen/slides/6/punktgruppen/images/cnh.pov b/vorlesungen/slides/6/punktgruppen/images/cnh.pov
new file mode 100644
index 0000000..65d27a4
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/cnh.pov
@@ -0,0 +1,11 @@
+//
+// cnh.pov
+//
+// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+//
+
+#include "common.inc"
+
+koerper(0.6,0.8,0.6,0.6,0.8,-0.6,0.0)
+Vachse()
+Hebene()
diff --git a/vorlesungen/slides/6/punktgruppen/images/cnv.jpg b/vorlesungen/slides/6/punktgruppen/images/cnv.jpg
new file mode 100644
index 0000000..fd81513
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/cnv.jpg
Binary files differ
diff --git a/vorlesungen/slides/6/punktgruppen/images/cnv.pov b/vorlesungen/slides/6/punktgruppen/images/cnv.pov
new file mode 100644
index 0000000..a87e075
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/cnv.pov
@@ -0,0 +1,11 @@
+//
+// cnv.pov
+//
+// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+//
+
+#include "common.inc"
+
+koerper(0.4,0.6,0.6,0.5,0.8,-0.6,0.5)
+Vachse()
+Vebene()
diff --git a/vorlesungen/slides/6/punktgruppen/images/common.inc b/vorlesungen/slides/6/punktgruppen/images/common.inc
new file mode 100644
index 0000000..ffd9e79
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/common.inc
@@ -0,0 +1,200 @@
+//
+// common.inc
+//
+// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+//
+#version 3.7;
+#include "colors.inc"
+
+global_settings {
+ assumed_gamma 1
+}
+
+#declare imagescale = 0.22;
+#declare O = <0, 0, 0>;
+#declare at = 0.015;
+
+camera {
+ location <3, 3.2, -10>
+ look_at <0, 0, 0>
+ right 16/9 * x * imagescale
+ up y * imagescale
+}
+
+light_source {
+ <-21, 20, -50> color 0.7*White
+ area_light <10,0,0> <0,0,10>, 10, 10
+ adaptive 1
+ jitter
+}
+
+light_source {
+ <8, 80, -5> color 0.6*White
+ area_light <10,0,0> <0,0,10>, 10, 10
+ adaptive 1
+ jitter
+}
+
+sky_sphere {
+ pigment {
+ color rgb<1,1,1>
+ }
+}
+
+#macro arrow(from, to, arrowthickness, c)
+#declare arrowdirection = vnormalize(to - from);
+#declare arrowlength = vlength(to - from);
+union {
+ sphere {
+ from, 1.0 * arrowthickness
+ }
+ cylinder {
+ from,
+ from + (arrowlength - 5 * arrowthickness) * arrowdirection,
+ arrowthickness
+ }
+ cone {
+ from + (arrowlength - 5 * arrowthickness) * arrowdirection,
+ 2 * arrowthickness,
+ to,
+ 0
+ }
+ pigment {
+ color c
+ }
+ finish {
+ specular 0.9
+ metallic
+ }
+}
+#end
+#declare r = 1.2;
+
+arrow(< -r, 0, 0 >, < r, 0, 0 >, at, Gray)
+arrow(< 0, 0, -r >, < 0, 0, r >, at, Gray)
+arrow(< 0, -r, 0 >, < 0, r, 0 >, at, Gray)
+
+#macro kranzpunkt(r, winkel, h)
+ < r * cos(winkel), h, r * sin(winkel) >
+#end
+
+#declare N = 13;
+#declare h = 0.6;
+
+#macro deckel(r, R, scherwinkel, h)
+ #declare phi = 0;
+ #declare phistep = 2 * pi / N;
+ #while (phi < (2 * pi) - phistep/2)
+ triangle {
+ <0, h, 0>,
+ kranzpunkt(r, phi, h),
+ kranzpunkt(R, phi + scherwinkel, h)
+ }
+ triangle {
+ <0, h, 0>,
+ kranzpunkt(R, phi + scherwinkel, h)
+ kranzpunkt(r, phi + phistep, h)
+ }
+ #declare phi = phi + phistep;
+ #end
+#end
+
+
+#macro mantel(roben, Roben, hoben, runten, Runten, hunten, scherwinkel)
+ #declare phi = 0;
+ #declare phistep = 2 * pi / N;
+ #while (phi < 2 * pi - phistep/2)
+ triangle {
+ kranzpunkt(runten, phi, hunten),
+ kranzpunkt(Runten, phi + scherwinkel, hunten),
+ kranzpunkt(roben, phi, hoben)
+ }
+ triangle {
+ kranzpunkt(Runten, phi + scherwinkel, hunten),
+ kranzpunkt(Roben, phi + scherwinkel, hoben),
+ kranzpunkt(roben, phi, hoben)
+ }
+ triangle {
+ kranzpunkt(Runten, phi + scherwinkel, hunten),
+ kranzpunkt(runten, phi + phistep, hunten),
+ kranzpunkt(Roben, phi + scherwinkel, hoben)
+ }
+ triangle {
+ kranzpunkt(runten, phi + phistep, hunten),
+ kranzpunkt(roben, phi + phistep, hoben),
+ kranzpunkt(Roben, phi + scherwinkel, hoben)
+ }
+ #declare phi = phi + phistep;
+ #end
+#end
+
+#declare scherwinkel = function(scherfaktor) { (scherfaktor * 2 * pi / N) };
+
+#macro koerper(roben, Roben, hoben, runten, Runten, hunten, scherfaktor)
+mesh {
+ deckel(roben, Roben, scherwinkel(scherfaktor), hoben)
+ deckel(runten, Runten, scherwinkel(scherfaktor), hunten)
+ mantel(roben, Roben, hoben, runten, Runten, hunten, scherwinkel(scherfaktor))
+ pigment {
+ color Gray
+ }
+ finish {
+ specular 0.9
+ metallic
+ }
+}
+#end
+
+#macro Hvektor(a)
+ <cos(a*2*pi/N),0,sin(a*2*pi/N)>
+#end
+
+#declare VachseFarbe = rgb<1,0.6,0>;
+#declare HachseFarbe = rgb<0.8,0.2,0.8>;
+#declare VebeneFarbe = rgbf<0.2,0.8,1.0,0.7>;
+#declare HebeneFarbe = rgbf<0.2,0.4,0.2,0.7>;
+
+#macro ebene(richtung, farbe)
+intersection {
+ cylinder { <0, -1, 0>, <0, 1, 0>, 1.0 }
+ plane { vnormalize(richtung), 0.003 }
+ plane { -vnormalize(richtung), 0.003 }
+ pigment {
+ color farbe
+ }
+ finish {
+ specular 0.9
+ metallic
+ }
+}
+#end
+
+#macro Vebene()
+ ebene(Hvektor(-1.25), VebeneFarbe)
+#end
+
+#macro Hebene()
+ ebene(<0,1,0>, HebeneFarbe)
+#end
+
+#macro achse(richtung, farbe)
+ cylinder { 1.1 * vnormalize(richtung),
+ -1.1 * vnormalize(richtung),
+ 1.5 * at
+ pigment {
+ color farbe
+ }
+ finish {
+ specular 0.9
+ metallic
+ }
+ }
+#end
+
+#macro Vachse()
+ achse(<0,1,0>, VachseFarbe)
+#end
+
+#macro Hachse()
+ achse(Hvektor(-1.5), HachseFarbe)
+#end
diff --git a/vorlesungen/slides/6/punktgruppen/images/dn.jpg b/vorlesungen/slides/6/punktgruppen/images/dn.jpg
new file mode 100644
index 0000000..f895d44
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/dn.jpg
Binary files differ
diff --git a/vorlesungen/slides/6/punktgruppen/images/dn.pov b/vorlesungen/slides/6/punktgruppen/images/dn.pov
new file mode 100644
index 0000000..36eed3e
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/dn.pov
@@ -0,0 +1,12 @@
+//
+// dn.pov
+//
+// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+//
+
+#include "common.inc"
+
+koerper(0.5,0.7,0.6,0.6,0.8,0,0.0)
+koerper(0.6,0.8,0,0.5,0.7,-0.6,1.0)
+Vachse()
+Hachse()
diff --git a/vorlesungen/slides/6/punktgruppen/images/dnd.jpg b/vorlesungen/slides/6/punktgruppen/images/dnd.jpg
new file mode 100644
index 0000000..089e24f
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/dnd.jpg
Binary files differ
diff --git a/vorlesungen/slides/6/punktgruppen/images/dnd.pov b/vorlesungen/slides/6/punktgruppen/images/dnd.pov
new file mode 100644
index 0000000..f0ec115
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/dnd.pov
@@ -0,0 +1,13 @@
+//
+// dnd.pov
+//
+// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+//
+
+#include "common.inc"
+
+koerper(0.5,0.7,0.6,0.6,0.8,0,0.25)
+koerper(0.6,0.8,0,0.5,0.7,-0.6,0.75)
+Vachse()
+Hachse()
+ebene(Hvektor(2.25), VebeneFarbe)
diff --git a/vorlesungen/slides/6/punktgruppen/images/dnh.jpg b/vorlesungen/slides/6/punktgruppen/images/dnh.jpg
new file mode 100644
index 0000000..c62dbbb
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/dnh.jpg
Binary files differ
diff --git a/vorlesungen/slides/6/punktgruppen/images/dnh.pov b/vorlesungen/slides/6/punktgruppen/images/dnh.pov
new file mode 100644
index 0000000..6f14271
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/images/dnh.pov
@@ -0,0 +1,13 @@
+//
+// dnh.pov
+//
+// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+//
+
+#include "common.inc"
+
+koerper(0.5,0.7,0.6,0.6,0.8,0,0.5)
+koerper(0.6,0.8,0,0.5,0.7,-0.6,0.5)
+Vachse()
+Hachse()
+Hebene()
diff --git a/vorlesungen/slides/6/punktgruppen/p.tex b/vorlesungen/slides/6/punktgruppen/p.tex
new file mode 100644
index 0000000..ea51e93
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/p.tex
@@ -0,0 +1,38 @@
+%
+% p.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Platonische Körper}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.33\textwidth}
+\begin{block}{$T = T_h \cap \operatorname{SO(3)}$}
+\begin{center}
+\includegraphics[width=0.8\textwidth]{../slides/6/punktgruppen/toi/T.jpg}
+\end{center}
+\end{block}
+\end{column}
+\begin{column}{0.33\textwidth}
+\uncover<2->{%
+\begin{block}{$O = O_h \cap \operatorname{SO(3)}$}
+\begin{center}
+\includegraphics[width=0.8\textwidth]{../slides/6/punktgruppen/toi/O.jpg}
+\end{center}
+\end{block}}
+\end{column}
+\begin{column}{0.33\textwidth}
+\uncover<3->{%
+\begin{block}{$I = I_h \cap \operatorname{SO(3)}$}
+\begin{center}
+\includegraphics[width=0.8\textwidth]{../slides/6/punktgruppen/toi/I.jpg}
+\end{center}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/punktgruppen/semidirekt.tex b/vorlesungen/slides/6/punktgruppen/semidirekt.tex
new file mode 100644
index 0000000..69c1173
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/semidirekt.tex
@@ -0,0 +1,80 @@
+%
+% semidirekt.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Semidirektes Produkt}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Definition}
+Gegeben $H$ eine Gruppe, eine abelsche Gruppe $A$,
+$\vartheta\colon H\to\operatorname{Aut}(A)$.
+\[
+G
+=
+G\ltimes A
+=
+\{(h,a) \;|\; h\in H,a\in A\}
+\]
+heisst {\em semidirektes Produkt}.
+\begin{itemize}
+\item<2->
+Neutrales Element: $(e,0)$
+\item<3->
+Gruppenoperation
+\[
+(h_1,a_1)\cdot(h_2,a_2)
+=
+(h_1h_2, a_1 + \vartheta(h_1)a_2)
+\]
+\item<4->
+Inverse:
+$(h,a)^{-1}
+=
+(h^{-1},-\vartheta(h)^{-1}a)
+$
+\uncover<5->{%
+Kontrolle:
+\begin{align*}
+&\phantom{\mathstrut=\mathstrut}
+(h,a)\cdot (h^{-1},-\vartheta(h)^{-1}a)
+\\
+&\uncover<6->{=(hh^{-1},a-\vartheta(h)\vartheta(h)^{-1}a)}
+\uncover<7->{=(e,0)}
+\end{align*}}
+\end{itemize}
+\end{block}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<8->{%
+\begin{block}{Drehungen und Spiegelungen von $\mathbb{R}^2$}
+Spiegelung: $C_2$
+Drehungen der: $\operatorname{SO}(2)$
+Drehungen und Spiegelungen:
+$C_2\ltimes \operatorname{SO}(2)=O(2)$
+\end{block}}
+\uncover<9->{%
+\begin{block}{Drehungen und Translationen}
+Drehungen: $H=\operatorname{SO}(2)$
+\\
+Translationen: $A=\mathbb{R}^2$
+\\
+Bewegungen der Ebene: $\operatorname{SO}(2)\ltimes \mathbb{R}^2$
+\end{block}}
+\uncover<10->{%
+\begin{block}{Dopplereffekt und Laufzeit}
+Dopplereffekt: $\mathbb{R}^+$ (Skalierung)
+\\
+Laufzeit: $\mathbb{R}$ (Verschiebung)
+\\
+Skalierung und Verschiebung: $\mathbb{R}^+\ltimes \mathbb{R}$
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/6/punktgruppen/toi/I.jpg b/vorlesungen/slides/6/punktgruppen/toi/I.jpg
new file mode 100644
index 0000000..70d2c17
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/toi/I.jpg
Binary files differ
diff --git a/vorlesungen/slides/6/punktgruppen/toi/O.jpg b/vorlesungen/slides/6/punktgruppen/toi/O.jpg
new file mode 100644
index 0000000..45307c5
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/toi/O.jpg
Binary files differ
diff --git a/vorlesungen/slides/6/punktgruppen/toi/T.jpg b/vorlesungen/slides/6/punktgruppen/toi/T.jpg
new file mode 100644
index 0000000..f710696
--- /dev/null
+++ b/vorlesungen/slides/6/punktgruppen/toi/T.jpg
Binary files differ
diff --git a/vorlesungen/slides/7/Makefile.inc b/vorlesungen/slides/7/Makefile.inc
index 7afeea1..4d291ed 100644
--- a/vorlesungen/slides/7/Makefile.inc
+++ b/vorlesungen/slides/7/Makefile.inc
@@ -16,7 +16,19 @@ chapter5 = \
../slides/7/einparameter.tex \
../slides/7/ableitung.tex \
../slides/7/liealgebra.tex \
+ ../slides/7/liealgbeispiel.tex \
+ ../slides/7/vektorlie.tex \
../slides/7/kommutator.tex \
+ ../slides/7/bch.tex \
../slides/7/dg.tex \
+ ../slides/7/interpolation.tex \
+ ../slides/7/exponentialreihe.tex \
+ ../slides/7/zusammenhang.tex \
+ ../slides/7/quaternionen.tex \
+ ../slides/7/qdreh.tex \
+ ../slides/7/ueberlagerung.tex \
+ ../slides/7/hopf.tex \
+ ../slides/7/haar.tex \
+ ../slides/7/integration.tex \
../slides/7/chapter.tex
diff --git a/vorlesungen/slides/7/bch.tex b/vorlesungen/slides/7/bch.tex
new file mode 100644
index 0000000..0148dc4
--- /dev/null
+++ b/vorlesungen/slides/7/bch.tex
@@ -0,0 +1,76 @@
+%
+% bch.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Baker-Campbell-Hausdorff-Formel}
+$g(t),h(t)\in G
+\uncover<2->{\Rightarrow \exists A,B\in LG\text{ mit }
+g(t)=\exp At, h(t)=\exp Bt}$
+\uncover<3->{%
+\begin{align*}
+g(t)
+&=
+I + At + \frac{A^2t^2}{2!} + \frac{A^3t^3}{3!} + \dots,
+&
+h(t)
+&=
+I + Bt + \frac{B^2t^2}{2!} + \frac{B^3t^3}{3!} + \dots
+\end{align*}}
+\uncover<5->{%
+\begin{block}{Kommutator in G: $c(t) = g(t)h(t)g(t)^{-1}h(t)^{-1}$}
+\begin{align*}
+\uncover<6->{c(t)
+&=
+\biggl(
+ {\color<7,9-11,13-15,19-21>{red}I}
+ + {\color<8,16-19>{red}A}t
+ + \frac{{\color<12>{red}A^2}t^2}{2!}
+ + \dots
+\biggr)
+\biggl(
+ {\color<7,8,10-12,14-15,17-18,21>{red}I}
+ + {\color<9,16,19-20>{red}B}t
+ + \frac{{\color<13>{red}B^2}t^2}{2!}
+ + \dots
+\biggr)
+\exp(-{\color<10,14,17,19,21>{red}A}t)
+\exp(-{\color<11,15,18,20-21>{red}B}t)
+}
+\\
+&\uncover<7->{={\color<7>{red}I}}
+\uncover<8->{+t(
+ \uncover<8->{ {\color<8>{red}A}}
+ \uncover<9->{+ {\color<9>{red}B}}
+ \uncover<10->{- {\color<10>{red}A}}
+ \uncover<11->{- {\color<11>{red}B}}
+)}
+\uncover<12->{+\frac{t^2}{2!}(
+ \uncover<12->{ {\color<12>{red}A^2}}
+ \uncover<13->{+ {\color<13>{red}B^2}}
+ \uncover<14->{+ {\color<14>{red}A^2}}
+ \uncover<15->{+ {\color<15>{red}B^2}}
+)}
+\\
+&\phantom{\mathstrut=I}
+\uncover<12->{+t^2(
+ \uncover<16->{ {\color<16>{red}AB}}
+ \uncover<17->{- {\color<17>{red}A^2}}
+ \uncover<18->{- {\color<18>{red}AB}}
+ \uncover<19->{- {\color<19>{red}BA}}
+ \uncover<20->{- {\color<20>{red}B^2}}
+ \uncover<21->{+ {\color<21>{red}AB}}
+)}
+\uncover<22->{+t^3(\dots)+\dots}
+\\
+&\uncover<23->{=
+I + \frac{t^2}{2}[A,B] + o(t^3)
+}
+\end{align*}}
+\end{block}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/7/chapter.tex b/vorlesungen/slides/7/chapter.tex
index 079cf16..36e0bb1 100644
--- a/vorlesungen/slides/7/chapter.tex
+++ b/vorlesungen/slides/7/chapter.tex
@@ -15,5 +15,17 @@
\folie{7/einparameter.tex}
\folie{7/ableitung.tex}
\folie{7/liealgebra.tex}
+\folie{7/liealgbeispiel.tex}
+\folie{7/vektorlie.tex}
\folie{7/kommutator.tex}
+\folie{7/bch.tex}
\folie{7/dg.tex}
+\folie{7/interpolation.tex}
+\folie{7/exponentialreihe.tex}
+\folie{7/zusammenhang.tex}
+\folie{7/quaternionen.tex}
+\folie{7/qdreh.tex}
+\folie{7/ueberlagerung.tex}
+\folie{7/hopf.tex}
+\folie{7/haar.tex}
+\folie{7/integration.tex}
diff --git a/vorlesungen/slides/7/dg.tex b/vorlesungen/slides/7/dg.tex
index 4447bac..f9528a4 100644
--- a/vorlesungen/slides/7/dg.tex
+++ b/vorlesungen/slides/7/dg.tex
@@ -45,7 +45,7 @@ Ableitung von $\gamma(t)$ an der Stelle $t$:
\vspace{-10pt}
\uncover<7->{%
\begin{block}{Differentialgleichung}
-\vspace{-10pt}
+%\vspace{-10pt}
\[
\dot{\gamma}(t) = \gamma(t) A
\quad
@@ -66,7 +66,7 @@ Exponentialfunktion
\vspace{-5pt}
\uncover<9->{%
\begin{block}{Kontrolle: Tangentialvektor berechnen}
-\vspace{-10pt}
+%\vspace{-10pt}
\begin{align*}
\frac{d}{dt}e^{At}
&\uncover<10->{=
diff --git a/vorlesungen/slides/7/drehung.tex b/vorlesungen/slides/7/drehung.tex
index 2d7b317..02201d4 100644
--- a/vorlesungen/slides/7/drehung.tex
+++ b/vorlesungen/slides/7/drehung.tex
@@ -58,7 +58,7 @@ D_{60^\circ}
\begin{column}{0.58\textwidth}
\uncover<4->{%
\begin{block}{Ansatz}
-\vspace{-12pt}
+%\vspace{-12pt}
\begin{align*}
DST
&=
@@ -101,7 +101,7 @@ c^{-1}&0\\
\vspace{-10pt}
\uncover<7->{%
\begin{block}{Koeffizientenvergleich}
-\vspace{-15pt}
+%\vspace{-15pt}
\begin{align*}
\uncover<8->{
{\color{red} c}
diff --git a/vorlesungen/slides/7/einparameter.tex b/vorlesungen/slides/7/einparameter.tex
index 5171085..a32affd 100644
--- a/vorlesungen/slides/7/einparameter.tex
+++ b/vorlesungen/slides/7/einparameter.tex
@@ -41,7 +41,7 @@ D_{x,t+s}
\begin{column}{0.48\textwidth}
\uncover<5->{%
\begin{block}{Scherungen in $\operatorname{SL}_2(\mathbb{R})$}
-\vspace{-12pt}
+%\vspace{-12pt}
\[
\begin{pmatrix}
1&s\\
@@ -61,7 +61,7 @@ D_{x,t+s}
\vspace{-12pt}
\uncover<6->{%
\begin{block}{Skalierungen in $\operatorname{SL}_2(\mathbb{R})$}
-\vspace{-12pt}
+%\vspace{-12pt}
\[
\begin{pmatrix}
e^s&0\\0&e^{-s}
@@ -78,7 +78,7 @@ e^{t+s}&0\\0&e^{-(t+s)}
\vspace{-12pt}
\uncover<7->{%
\begin{block}{Gemischt}
-\vspace{-12pt}
+%\vspace{-12pt}
\begin{gather*}
A_t = I \cosh t + \begin{pmatrix}1&a\\0&-1\end{pmatrix}\sinh t
\\
diff --git a/vorlesungen/slides/7/haar.tex b/vorlesungen/slides/7/haar.tex
new file mode 100644
index 0000000..454dd69
--- /dev/null
+++ b/vorlesungen/slides/7/haar.tex
@@ -0,0 +1,84 @@
+%
+% haar.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Haar-Mass}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Invariantes Mass}
+Auf jeder lokalkompakten Gruppe $G$ gibt es ein \only<2->{invariantes }%
+Integral
+\begin{align*}
+\uncover<2->{\text{rechts:}}&&
+\int_G f(g)\,d\mu(g)
+&\uncover<2->{=
+\int_G f(gh)\,d\mu(g)}
+\\
+\uncover<3->{
+\text{links:}&&
+\int_G f(g)\,d\mu(g)
+&=
+\int_G f(hg)\,d\mu(g)}
+\end{align*}
+
+\end{block}
+\uncover<7->{%
+\begin{block}{Modulus-Funktion}
+$\mu$ linksinvariant, dann ist die Rechtsverschiebung ebenfalls
+linksinvariant
+\[
+\int_G f(gh) \, d\mu(g)
+\uncover<8->{
+=
+\int_G f(g) \Delta(h)\, d\mu(g)
+}
+\]
+\uncover<9->{$\Delta(h)$ heisst Modulus-Funktion}
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<4->{%
+\begin{block}{Beispiel: $G=\mathbb{R}$}
+\[
+\int_Gf(g)\,d\mu(g)
+=
+\int_{-\infty}^{\infty} f(x)\,dx
+\]
+\end{block}}
+\vspace{-10pt}
+\uncover<5->{%
+\begin{block}{Beispiel: $\operatorname{SO}(2)$}
+\[
+\int_{\operatorname{SO}(2)}
+f(g)\,d\mu(g)
+=
+\frac{1}{2\pi}
+\int_{0}^{2\pi} f(D_{\alpha})\,d\alpha
+\]
+\end{block}}
+\vspace{-10pt}
+\uncover<6->{%
+\begin{block}{Beispiel: $G$ endlich}
+\[
+\int_G f(g)\,d\mu(g) = \frac{1}{|G|}\sum_{g\in G}f(g)
+\]
+\end{block}}
+\vspace{-10pt}
+\uncover<10->{%
+\begin{block}{Unimodular}
+$\Delta(h)=1$ heisst rechtsinvariant = linksinvariant
+\\
+\uncover<11->{%
+$G$ kompakt $\Rightarrow$ unimodular
+}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/7/hopf.tex b/vorlesungen/slides/7/hopf.tex
new file mode 100644
index 0000000..a90737f
--- /dev/null
+++ b/vorlesungen/slides/7/hopf.tex
@@ -0,0 +1,69 @@
+%
+% hopf.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Orbit-Räume}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Aktion von $\operatorname{SO}(3)$ auf $S^2$}
+\begin{align*}
+S^2 &= \{x\in\mathbb{R}^3\;|\; |x|=1\}
+\\
+\operatorname{SO}(3) \times S^2 &\to S^2: (g, x) \mapsto gx
+\end{align*}
+\uncover<2->{%
+Allgemein: Aktion von $G$ auf $X$
+\begin{align*}
+\text{links:}&&
+G\times X \to X &: (g,x) \mapsto gx
+\\
+\text{rechts:}&&
+X\times G \to X &: (x,g) \mapsto xg
+\end{align*}}
+\end{block}
+\vspace{-10pt}
+\uncover<3->{%
+\begin{block}{Stabilisator}
+Zu $x\in X$ gibt es eine Untergruppe
+\begin{align*}
+G_x = \{g\in G\;|\; gx=x\},
+\end{align*}
+der {\em Stabilisator} von $x$.
+
+\uncover<4->{%
+Der Stabilisator von $v\in S^2$ ist die Gruppe der Drehungen um
+die Achse $v$}
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<5->{%
+\begin{block}{Quotient}
+$G$ operiert von rechts auf $X$
+\[
+X/G = \{ xG \;|\; x\in X\}
+\]
+heisst Quotient
+\end{block}}
+\uncover<6->{
+\begin{block}{$\operatorname{SO}(3)/\operatorname{SO}(2)$}
+Wähle $\operatorname{SO}(2)$ als Drehungen um die $z$-Achse:
+\[
+\operatorname{SO}(3) \to S^2
+:
+g \mapsto \text{letzte Spalte von $g$}
+\]
+\uncover<7->{Daher
+\[
+S^2 \cong \operatorname{SO}(3) / \operatorname{SO}(2)
+\]}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/7/images/Makefile b/vorlesungen/slides/7/images/Makefile
index cc67c8a..6f99bc3 100644
--- a/vorlesungen/slides/7/images/Makefile
+++ b/vorlesungen/slides/7/images/Makefile
@@ -3,7 +3,7 @@
#
# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
-all: rodriguez.jpg
+all: rodriguez.jpg test.png
rodriguez.png: rodriguez.pov
povray +A0.1 -W1920 -H1080 -Orodriguez.png rodriguez.pov
@@ -16,4 +16,14 @@ commutator: commutator.ini commutator.pov common.inc
jpg:
for f in c/c*.png; do convert $${f} c/`basename $${f} .png`.jpg; done
+dreibein/timestamp: interpolation.m
+ octave interpolation.m
+ touch dreibein/timestamp
+test.png: test.pov drehung.inc dreibein/d025.inc dreibein/timestamp
+ povray +A0.1 -W1080 -H1080 -Otest.png test.pov
+
+dreibein/d025.inc: dreibein/timestamp
+
+animation:
+ povray +A0.1 -W1080 -H1080 -Ointerpolation/i.png interpolation.ini
diff --git a/vorlesungen/slides/7/images/drehung.inc b/vorlesungen/slides/7/images/drehung.inc
new file mode 100644
index 0000000..c9b4bb7
--- /dev/null
+++ b/vorlesungen/slides/7/images/drehung.inc
@@ -0,0 +1,142 @@
+//
+// common.inc
+//
+// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+//
+#version 3.7;
+#include "colors.inc"
+
+global_settings {
+ assumed_gamma 1
+}
+
+#declare imagescale = 0.23;
+#declare O = <0, 0, 0>;
+#declare at = 0.02;
+
+camera {
+ location <8.5, 2, 6.5>
+ look_at <0, 0, 0>
+ right x * imagescale
+ up y * imagescale
+}
+
+//light_source {
+// <-14, 20, -50> color White
+// area_light <1,0,0> <0,0,1>, 10, 10
+// adaptive 1
+// jitter
+//}
+
+light_source {
+ <41, 20, 10> color White
+ area_light <1,0,0> <0,0,1>, 10, 10
+ adaptive 1
+ jitter
+}
+
+sky_sphere {
+ pigment {
+ color rgb<1,1,1>
+ }
+}
+
+#macro arrow(from, to, arrowthickness, c)
+#declare arrowdirection = vnormalize(to - from);
+#declare arrowlength = vlength(to - from);
+union {
+ sphere {
+ from, 1.0 * arrowthickness
+ }
+ cylinder {
+ from,
+ from + (arrowlength - 5 * arrowthickness) * arrowdirection,
+ arrowthickness
+ }
+ cone {
+ from + (arrowlength - 5 * arrowthickness) * arrowdirection,
+ 2 * arrowthickness,
+ to,
+ 0
+ }
+ pigment {
+ color c
+ }
+ finish {
+ specular 0.9
+ metallic
+ }
+}
+#end
+#declare r = 1.0;
+
+arrow(< -r-0.2, 0.0, 0 >, < r+0.2, 0.0, 0.0 >, at, Gray)
+arrow(< 0.0, 0.0, -r-0.2>, < 0.0, 0.0, r+0.2 >, at, Gray)
+arrow(< 0.0, -r-0.2, 0 >, < 0.0, r+0.2, 0.0 >, at, Gray)
+
+#declare farbeX = rgb<1.0,0.2,0.6>;
+#declare farbeY = rgb<0.0,0.8,0.4>;
+#declare farbeZ = rgb<0.4,0.6,1.0>;
+
+#declare farbex = rgb<1.0,0.0,0.0>;
+#declare farbey = rgb<0.0,0.6,0.0>;
+#declare farbez = rgb<0.0,0.0,1.0>;
+
+#macro quadrant(X, Y, Z)
+ intersection {
+ sphere { O, 0.5 }
+ plane { -X, 0 }
+ plane { -Y, 0 }
+ plane { -Z, 0 }
+ pigment {
+ color rgb<1.0,0.6,0.2>
+ }
+ finish {
+ specular 0.95
+ metallic
+ }
+ }
+ arrow(O, X, 1.1*at, farbex)
+ arrow(O, Y, 1.1*at, farbey)
+ arrow(O, Z, 1.1*at, farbez)
+#end
+
+#macro drehung(X, Y, Z)
+// intersection {
+// sphere { O, 0.5 }
+// plane { -X, 0 }
+// plane { -Y, 0 }
+// plane { -Z, 0 }
+// pigment {
+// color Gray
+// }
+// finish {
+// specular 0.95
+// metallic
+// }
+// }
+ arrow(O, 1.1*X, 0.9*at, farbeX)
+ arrow(O, 1.1*Y, 0.9*at, farbeY)
+ arrow(O, 1.1*Z, 0.9*at, farbeZ)
+#end
+
+#macro achse(H)
+ cylinder { H, -H, at
+ pigment {
+ color rgb<0.6,0.4,0.2>
+ }
+ finish {
+ specular 0.95
+ metallic
+ }
+ }
+ cylinder { 0.003 * H, -0.003 * H, 1
+ pigment {
+ color rgbt<0.6,0.4,0.2,0.5>
+ }
+ finish {
+ specular 0.95
+ metallic
+ }
+ }
+#end
diff --git a/vorlesungen/slides/7/images/interpolation.ini b/vorlesungen/slides/7/images/interpolation.ini
new file mode 100644
index 0000000..f07c079
--- /dev/null
+++ b/vorlesungen/slides/7/images/interpolation.ini
@@ -0,0 +1,8 @@
+Input_File_Name=interpolation.pov
+Initial_Frame=0
+Final_Frame=50
+Initial_Clock=0
+Final_Clock=50
+Cyclic_Animation=off
+Pause_when_Done=off
+
diff --git a/vorlesungen/slides/7/images/interpolation.m b/vorlesungen/slides/7/images/interpolation.m
new file mode 100644
index 0000000..31554e8
--- /dev/null
+++ b/vorlesungen/slides/7/images/interpolation.m
@@ -0,0 +1,54 @@
+#
+# interpolation.m
+#
+# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+#
+global N;
+N = 50;
+global A;
+global B;
+
+A = (pi / 2) * [
+ 0, 0, 0;
+ 0, 0, -1;
+ 0, 1, 0
+];
+g0 = expm(A)
+
+B = (pi / 2) * [
+ 0, 0, 1;
+ 0, 0, 0;
+ -1, 0, 0
+];
+g1 = expm(B)
+
+function retval = g(t)
+ global A;
+ global B;
+ retval = expm((1-t)*A+t*B);
+endfunction
+
+function dreibein(fn, M, funktion)
+ fprintf(fn, "%s(<%.4f,%.4f,%.4f>, <%.4f,%.4f,%.4f>, <%.4f,%.4f,%.4f>)\n",
+ funktion,
+ M(1,1), M(3,1), M(2,1),
+ M(1,2), M(3,2), M(2,2),
+ M(1,3), M(3,3), M(2,3));
+endfunction
+
+G = g1 * inverse(g0);
+[V, lambda] = eig(G);
+H = real(V(:,3));
+
+D = logm(g1*inverse(g0));
+
+for i = (0:N)
+ filename = sprintf("dreibein/d%03d.inc", i);
+ fn = fopen(filename, "w");
+ t = i/N;
+ dreibein(fn, g(t), "quadrant");
+ dreibein(fn, expm(t*D)*g0, "drehung");
+ fprintf(fn, "achse(<%.4f,%.4f,%.4f>)\n", H(1,1), H(3,1), H(2,1));
+ fclose(fn);
+endfor
+
diff --git a/vorlesungen/slides/7/images/interpolation.pov b/vorlesungen/slides/7/images/interpolation.pov
new file mode 100644
index 0000000..71e0257
--- /dev/null
+++ b/vorlesungen/slides/7/images/interpolation.pov
@@ -0,0 +1,10 @@
+//
+// commutator.pov
+//
+// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+//
+#include "drehung.inc"
+
+#declare filename = concat("dreibein/d", str(clock, -3, 0), ".inc");
+#include filename
+
diff --git a/vorlesungen/slides/7/images/test.pov b/vorlesungen/slides/7/images/test.pov
new file mode 100644
index 0000000..5707be1
--- /dev/null
+++ b/vorlesungen/slides/7/images/test.pov
@@ -0,0 +1,7 @@
+//
+// test.pov
+//
+// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+//
+#include "drehung.inc"
+#include "dreibein/d025.inc"
diff --git a/vorlesungen/slides/7/integration.tex b/vorlesungen/slides/7/integration.tex
new file mode 100644
index 0000000..525e6de
--- /dev/null
+++ b/vorlesungen/slides/7/integration.tex
@@ -0,0 +1,66 @@
+%
+% integration.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Invariante Integration}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Koordinatenwechsel}
+Die Koordinatentransformation
+$f\colon\mathbb{R}^n\to\mathbb{R}^n:x\to y$
+hat die Ableitungsmatrix
+\[
+t_{ij}
+=
+\frac{\partial y_i}{\partial x_j}
+\]
+\uncover<2->{%
+$n$-faches Integral
+\begin{gather*}
+\int\dots\int
+h(f(x))
+\det
+\biggl(
+\frac{\partial y_i}{\partial x_j}
+\biggr)
+\,dx_1\,\dots dx_n
+\\
+=
+\int\dots\int
+h(y)
+\,dy_1\,\dots dy_n
+\end{gather*}}
+\end{block}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<3->{%
+\begin{block}{auf einer Lie-Gruppe}
+Koordinatenwechsel sind Multiplikationen mit einer
+Matrix $g\in G$
+\end{block}}
+\uncover<4->{%
+\begin{block}{Volumenelement in $I$}
+Man muss nur das Volumenelement in $I$ in einem beliebigen
+Koordinatensystem definieren:
+\[
+dV = dy_1\,\dots\,dy_n
+\]
+\end{block}}
+\uncover<5->{%
+\begin{block}{Volumenelement in $g$}
+\[
+\text{``\strut}g\cdot dV\text{\strut''}
+=
+\det(g) \, dy_1\,\dots\,dy_n
+\]
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/7/interpolation.tex b/vorlesungen/slides/7/interpolation.tex
new file mode 100644
index 0000000..249ee26
--- /dev/null
+++ b/vorlesungen/slides/7/interpolation.tex
@@ -0,0 +1,112 @@
+%
+% interpolation.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\def\bild#1#2{\only<#1|handout:0>{\includegraphics[width=\textwidth]{../slides/7/images/interpolation/#2.png}}}
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Interpolation}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Aufgabe}
+Finde einen Weg $g(t)\in \operatorname{SO}(3)$ zwischen
+$g_0\in\operatorname{SO}(3)$
+und
+$g_1\in\operatorname{SO}(3)$:
+\[
+g_0=g(0)
+\quad\wedge\quad
+g_1=g(1)
+\]
+\end{block}
+\vspace{-10pt}
+\uncover<2->{%
+\begin{block}{Lösung}
+$g_i=\exp(A_i) \uncover<3->{\Rightarrow A_i^t=-A_i}$
+\begin{align*}
+\uncover<4->{A(t) &= (1-t)A_0 + tA_1}\uncover<8->{ \in \operatorname{so}(3)}
+\\
+\uncover<5->{A(t)^t
+&=(1-t)A_0^t + tA_1^t}
+\\
+&\uncover<6->{=
+-(1-t)A_0 - t A_1}
+\uncover<7->{=
+-A(t)}
+\\
+\uncover<9->{\Rightarrow
+g(t) &= \exp A(t) \in \operatorname{SO}(3)}
+\\
+&\uncover<10->{\ne
+\exp (\log(g_1g_0^{-1})t) g_0}
+\end{align*}
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<11->{%
+\begin{block}{Animation}
+\centering
+\ifthenelse{\boolean{presentation}}{
+\bild{12}{i00}
+\bild{13}{i01}
+\bild{14}{i02}
+\bild{15}{i03}
+\bild{16}{i04}
+\bild{17}{i05}
+\bild{18}{i06}
+\bild{19}{i07}
+\bild{20}{i08}
+\bild{21}{i09}
+\bild{22}{i10}
+\bild{23}{i11}
+\bild{24}{i12}
+\bild{25}{i13}
+\bild{26}{i14}
+\bild{27}{i15}
+\bild{28}{i16}
+\bild{29}{i17}
+\bild{30}{i18}
+\bild{31}{i19}
+\bild{32}{i20}
+\bild{33}{i21}
+\bild{34}{i22}
+\bild{35}{i23}
+\bild{36}{i24}
+\bild{37}{i25}
+\bild{38}{i26}
+\bild{39}{i27}
+\bild{40}{i28}
+\bild{41}{i29}
+\bild{42}{i30}
+\bild{43}{i31}
+\bild{44}{i32}
+\bild{45}{i33}
+\bild{46}{i34}
+\bild{47}{i35}
+\bild{48}{i36}
+\bild{49}{i37}
+\bild{50}{i38}
+\bild{51}{i39}
+\bild{52}{i40}
+\bild{53}{i41}
+\bild{54}{i42}
+\bild{55}{i43}
+\bild{56}{i44}
+\bild{57}{i45}
+\bild{58}{i46}
+\bild{59}{i47}
+\bild{60}{i48}
+\bild{61}{i49}
+\bild{62}{i50}
+}{
+\includegraphics[width=\textwidth]{../slides/7/images/interpolation/i25.png}
+}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/7/liealgbeispiel.tex b/vorlesungen/slides/7/liealgbeispiel.tex
new file mode 100644
index 0000000..a17de40
--- /dev/null
+++ b/vorlesungen/slides/7/liealgbeispiel.tex
@@ -0,0 +1,78 @@
+%
+% liealgbeispiel.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Lie-Algebra Beispiele}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{$\operatorname{sl}_2(\mathbb{R})$}
+Spurlose Matrizen:
+\[
+\operatorname{sl}_2(\mathbb{R})
+=
+\{A\in M_n(\mathbb{R})\;|\; \operatorname{Spur}A=0\}
+\]
+\end{block}
+\begin{block}{Lie-Algebra?}
+Nachrechnen: $[A,B]\in \operatorname{sl}_2(\mathbb{R})$:
+\begin{align*}
+\operatorname{Spur}([A,B])
+&=
+\operatorname{Spur}(AB-BA)
+\\
+&=
+\operatorname{Spur}(AB)-\operatorname{Spur}(BA)
+\\
+&=
+\operatorname{Spur}(AB)-\operatorname{Spur}(AB)
+\\
+&=0
+\end{align*}
+$\Rightarrow$ $\operatorname{sl}_2(\mathbb{R})$ ist eine Lie-Algebra
+\end{block}
+\end{column}
+\begin{column}{0.48\textwidth}
+\begin{block}{$\operatorname{so}(n)$}
+Antisymmetrische Matrizen:
+\[
+\operatorname{so}(n)
+=
+\{A\in M_n(\mathbb{R})
+\;|\;
+A=-A^t
+\}
+\]
+\end{block}
+\begin{block}{Lie-Algebra?}
+Nachrechnen: $A,B\in \operatorname{so}(n)$
+\begin{align*}
+[A,B]^t
+&=
+(AB-BA)^t
+\\
+&=
+B^tA^t - A^tB^t
+\\
+&=
+(-B)(-A)-(-A)(-B)
+\\
+&=
+BA-AB
+=
+-(AB-BA)
+\\
+&=
+-[A,B]
+\end{align*}
+$\Rightarrow$ $\operatorname{so}(n)$ ist eine Lie-Algebra
+\end{block}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/7/parameter.tex b/vorlesungen/slides/7/parameter.tex
index 52c8e4a..f3579a3 100644
--- a/vorlesungen/slides/7/parameter.tex
+++ b/vorlesungen/slides/7/parameter.tex
@@ -14,7 +14,7 @@
\begin{columns}[t,onlytextwidth]
\begin{column}{0.4\textwidth}
\begin{block}{Drehung um Achsen}
-\vspace{-12pt}
+%\vspace{-12pt}
\begin{align*}
\uncover<2->{
D_{x,\alpha}
diff --git a/vorlesungen/slides/7/qdreh.tex b/vorlesungen/slides/7/qdreh.tex
new file mode 100644
index 0000000..8ed512a
--- /dev/null
+++ b/vorlesungen/slides/7/qdreh.tex
@@ -0,0 +1,110 @@
+%
+% template.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Drehungen mit Quaternionen}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Drehung?}
+Abbildung von $\vec{x}$ mit $\operatorname{Re}\vec{x}=0$:
+\[
+\varrho_{q}
+\colon
+\vec{x}\mapsto q\vec{x}q^{-1} = q\vec{x}\overline{q}
+\]
+\end{block}
+\uncover<2->{%
+\begin{block}{Achse}
+\begin{align*}
+\varrho_q(q)
+&=
+qq\overline{q}
+\uncover<3->{=
+q(qq^{-1})}
+\uncover<4->{=
+q}
+\end{align*}
+\end{block}}
+\uncover<4->{%
+\begin{block}{Norm}
+\begin{align*}
+|\varrho_q(\vec{x})|^2
+&=
+q\vec{x}\overline{q}\overline{(q\vec{x}\overline{q})}
+\uncover<5->{=
+q\vec{x}\overline{q}\overline{\overline{q}}\overline{\vec{x}}\overline{q}
+}
+\\
+&\uncover<6->{=
+q\vec{x}(\overline{q}q)\overline{\vec{x}}\overline{q}}
+\uncover<7->{=
+q(\vec{x}\overline{\vec{x}})\overline{q}}
+\uncover<8->{=
+q\overline{q}|\vec{x}|^2}
+\\
+&\uncover<9->{=
+|\vec{x}|^2}
+\end{align*}
+\uncover<10->{%
+$\Rightarrow$ $\varrho_q\in\operatorname{O}(3)$}
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<11->{%
+\begin{block}{Drehung!}
+$\vec{a},\vec{b},\vec{n}$ bilden ein on.~Rechtssystem
+\begin{align*}
+\uncover<12->{
+qa
+&=
+c\vec{a}+s\vec{n}\times \vec{a}}
+\uncover<13->{=
+c\vec{a} + s\vec{b}}
+\\
+\uncover<14->{
+q\vec{a}\overline{q}
+&=
+(c\vec{a}+s\vec{b}) c
+-(c\vec{a}+s\vec{b})\times s\vec{n}}
+\\
+&\uncover<15->{=
+c^2 \vec{a}+ sc\vec{b}
++sc\vec{b} - s^2 \vec{a}}
+\\
+&\uncover<16->{=
+\vec{a} \cos\alpha +\vec{b} \sin\alpha }
+\end{align*}
+\vspace{-5pt}
+\uncover<17->{wegen
+%\vspace{-5pt}
+\[
+\begin{aligned}
+\cos\alpha &= \cos^2\frac{\alpha}2 - \sin^2\frac{\alpha}2 &&=c^2-s^2
+\\
+\sin\alpha &= 2\cos\frac{\alpha}2\sin\frac{\alpha}2&&=2cs
+\end{aligned}\]}
+\end{block}}
+\vspace{-18pt}
+\uncover<18->{%
+\begin{block}{Matrix}
+\[
+D
+=
+\tiny
+\begin{pmatrix}
+1-2(q_2^2+q_3^2)&-2q_0q_3+2q_1q_2&-2q_0q_2+2q_1q_3\\
+ 2q_0q_3+2q_1q_2&1-2(q_1^2+q_3^2)&-2q_0q_1+2q_2q_3\\
+-2q_0q_2+2q_1q_3& 2q_0q_1+2q_2q_3&1-2(q_1^2+q_2^2)
+\end{pmatrix}
+\]
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/7/quaternionen.tex b/vorlesungen/slides/7/quaternionen.tex
new file mode 100644
index 0000000..f526366
--- /dev/null
+++ b/vorlesungen/slides/7/quaternionen.tex
@@ -0,0 +1,74 @@
+%
+% quaternionen.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Quaternionen}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Quaternionen}
+$4$-dimensionaler $\mathbb{R}$-Vektorraum
+\[
+\mathbb{H}
+=
+\langle 1,i,j,k\rangle_{\mathbb{R}}
+\]
+mit Rechenregeln
+\[
+i^2=j^2=k^2=ijk=-1
+\]
+$x=x_0+x_1i+x_2j+x_3k\in\mathbb{H}$
+\begin{itemize}
+\item<2-> Realteil: $\operatorname{Re}x=x_0$
+\item<3-> Vektorteil: $\operatorname{Im}x=x_1i+x_2j+x_3k$
+\item<4-> Konjugation: $\overline{x}=\operatorname{Re}x-\operatorname{Im}x$
+\item<5-> Norm: $|x|^2 = x\overline{x} = x_0^2+x_1^2+x_2^2+x_3^2$
+\item<6-> Inverse: $x^{1}= \overline{x}/x\overline{x}$
+\end{itemize}
+\end{block}
+\end{column}
+\begin{column}{0.50\textwidth}
+\uncover<7->{%
+\begin{block}{Skalarprodukt und Vektorprodukt}
+\begin{align*}
+pq
+&=
+\operatorname{Re}p \operatorname{Re}q
+-
+\operatorname{Im}p\cdot \operatorname{Im}q
+\\
+&\phantom{=}
++
+\operatorname{Re}p\operatorname{Im}q
++
+\operatorname{Im}p\operatorname{Re}q
++
+\operatorname{Im}p\times\operatorname{Im}q
+\end{align*}
+\end{block}}
+\uncover<8->{%
+\begin{block}{Einheitsquaternionen}
+$q\in \mathbb{H}$, $|q|=1, q^{-1}=\overline{q}$
+\end{block}}
+\uncover<9->{%
+\begin{block}{Polardarstellung}
+\[
+q = \cos\frac{\alpha}2 + \vec{n} \sin\frac{\alpha}2
+\]
+\vspace{-8pt}
+\begin{itemize}
+\item<10->
+Drehmatrix: 9 Parameter, 6 Bedingungen
+\item<11->
+Quaternionen: 4 Parameter, 1 Bedingung
+\end{itemize}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/7/semi.tex b/vorlesungen/slides/7/semi.tex
index 66b8d27..cd974c9 100644
--- a/vorlesungen/slides/7/semi.tex
+++ b/vorlesungen/slides/7/semi.tex
@@ -41,7 +41,7 @@ Wirkung auf $\mathbb{R}^2$:
\begin{column}{0.48\textwidth}
\uncover<3->{%
\begin{block}{Verknüpfung}
-\vspace{-15pt}
+%\vspace{-15pt}
\begin{align*}
(e^{s_1},t_1)(e^{s_2},t_2)x
&\uncover<4->{=
@@ -60,7 +60,7 @@ e^{s_1+s_2}x + e^{s_1}t_2+t_1}
\begin{column}{0.48\textwidth}
\uncover<7->{%
\begin{block}{Verknüpfung}
-\vspace{-15pt}
+%\vspace{-15pt}
\begin{align*}
(\alpha_1,\vec{t}_1)
(\alpha_2,\vec{t}_2)
@@ -85,7 +85,7 @@ e^{s_1+s_2}x + e^{s_1}t_2+t_1}
\begin{column}{0.48\textwidth}
\uncover<11->{%
\begin{block}{Matrixschreibweise}
-\vspace{-12pt}
+%\vspace{-12pt}
\[
g=(e^s,t) =
\begin{pmatrix}
@@ -100,7 +100,7 @@ e^s&t\\
\begin{column}{0.48\textwidth}
\uncover<12->{%
\begin{block}{Matrixschreibweise}
-\vspace{-12pt}
+%\vspace{-12pt}
\[
g=(\alpha,\vec{t}) =
\begin{pmatrix}
diff --git a/vorlesungen/slides/7/ueberlagerung.tex b/vorlesungen/slides/7/ueberlagerung.tex
new file mode 100644
index 0000000..426641a
--- /dev/null
+++ b/vorlesungen/slides/7/ueberlagerung.tex
@@ -0,0 +1,98 @@
+%
+% ueberlagerung.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{$S^3$, $\operatorname{SU}(2)$ und $\operatorname{SO}(3)$}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.38\textwidth}
+\uncover<6->{%
+\begin{block}{Überlagerung}
+\begin{center}
+\begin{tikzpicture}[>=latex,thick]
+\coordinate (A) at (0,0);
+\coordinate (B) at (2,0);
+\coordinate (C) at (2,-2);
+\coordinate (D) at (0,-2);
+
+\uncover<7->{
+\node at (A) {$\{\pm 1\}\mathstrut$};
+}
+\uncover<6->{
+\node at (B) {$S^3\mathstrut$};
+\node at ($(B)+(0.1,0)$) [right] {$=\operatorname{SU}(2)\mathstrut$};
+}
+\uncover<7->{
+\node at (C) {$\operatorname{SO}(3)\mathstrut$};
+\node at (D) {$\{I\}\mathstrut$};
+}
+
+\uncover<7->{
+\draw[->,shorten >= 0.3cm,shorten <= 0.5cm] (A) -- (B);
+\draw[->,shorten >= 0.3cm,shorten <= 0.3cm] (A) -- (D);
+\draw[->,shorten >= 0.3cm,shorten <= 0.3cm] (B) -- (C);
+\draw[->,shorten >= 0.6cm,shorten <= 0.3cm] (D) -- (C);
+}
+
+\end{tikzpicture}
+\end{center}
+\begin{itemize}
+\item<7->
+$\pm q\in S^3$ $\Rightarrow$ $\varrho_{q}=\varrho_{-q}$
+\item<8->
+In der Nähe von $I$ sehen die Gruppen
+$\operatorname{SO}(3)$
+und
+$\operatorname{SU}(2)$
+``gleich'' aus
+\item<9->
+$\operatorname{SU}(2)$ ist geometrisch ``einfacher''
+\end{itemize}
+\end{block}}
+\end{column}
+\begin{column}{0.58\textwidth}
+\begin{block}{Pauli-Matrizen}
+Quaternionen als $2\times 2$-Matrizen schreiben
+\begin{align*}
+1&=\begin{pmatrix}1&0\\0&1\end{pmatrix}=\sigma_0,
+&
+i&=\begin{pmatrix}0&i\\i&0\end{pmatrix}=-i\sigma_1
+\\
+j&=\begin{pmatrix}0&-1\\1&0\end{pmatrix}=-i\sigma_2,
+&
+k&=\begin{pmatrix}i&0\\0&-i\end{pmatrix}=-i\sigma_3
+\end{align*}
+\uncover<2->{%
+erfüllen $i^2=j^2=k^2=ijk=-1$.}
+\end{block}
+\uncover<3->{%
+\begin{block}{$S^3 = \operatorname{SU}(2)$}
+\[
+a+bi+cj+dk
+=
+\begin{pmatrix}
+a+id&-c+bi\\
+c+ib&a-id
+\end{pmatrix}
+=
+A
+\]
+\begin{align*}
+\uncover<4->{
+\det A &= a^2 + b^2 + c^2 + d^2 = 1
+}
+\\
+\uncover<5->{
+A^* &= a - ib - jc - kd
+}
+\end{align*}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/7/vektorlie.tex b/vorlesungen/slides/7/vektorlie.tex
new file mode 100644
index 0000000..621a832
--- /dev/null
+++ b/vorlesungen/slides/7/vektorlie.tex
@@ -0,0 +1,206 @@
+%
+% viktorlie.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\definecolor{darkgreen}{rgb}{0,0.6,0}
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Vektorprodukt als Lie-Algebra}
+%\vspace{-10pt}
+\centering
+\begin{tikzpicture}[>=latex,thick]
+\arraycolsep=2.4pt
+\def\Ax{0}
+\def\Ux{4.1}
+\def\Kx{7.2}
+\def\Rx{13.1}
+
+\def\Lx{2.2}
+\def\Ly{0}
+\def\Lz{-2.2}
+
+\fill[color=red!20] (\Ax,{\Lx-1.55}) rectangle ({\Ux-0.1},{\Lx+0.55});
+\fill[color=red!20] (\Ux,{\Lx-1.55}) rectangle ({\Kx-0.1},{\Lx+0.55});
+\fill[color=red!20] (\Kx,{\Lx-1.55}) rectangle ({\Rx},{\Lx+0.55});
+
+\fill[color=darkgreen!20] (\Ax,{\Ly-1.55}) rectangle ({\Ux-0.1},{\Ly+0.55});
+\fill[color=darkgreen!20] (\Ux,{\Ly-1.55}) rectangle ({\Kx-0.1},{\Ly+0.55});
+\fill[color=darkgreen!20] (\Kx,{\Ly-1.55}) rectangle ({\Rx},{\Ly+0.55});
+
+\fill[color=blue!20] (\Ax,{\Lz-1.55}) rectangle ({\Ux-0.1},{\Lz+0.55});
+\fill[color=blue!20] (\Ux,{\Lz-1.55}) rectangle ({\Kx-0.1},{\Lz+0.55});
+\fill[color=blue!20] (\Kx,{\Lz-1.55}) rectangle ({\Rx},{\Lz+0.55});
+
+\coordinate (A) at (\Ax,3.2);
+\coordinate (Ax) at (\Ax,\Lx);
+\coordinate (Ay) at (\Ax,\Ly);
+\coordinate (Az) at (\Ax,\Lz);
+
+\node at (A) [right]
+ {\usebeamercolor[fg]{title}Drehmatrix, $\operatorname{SO}(n)$\strut};
+
+\node at (Ax) [right] {$\displaystyle\tiny
+D_{x,\alpha}=\begin{pmatrix}
+1&0&0\\
+0&\cos\alpha&-\sin\alpha\\
+0&\sin\alpha&\cos\alpha
+\end{pmatrix}$};
+
+\node at (Ay) [right] {$\displaystyle\tiny
+D_{y,\alpha}=\begin{pmatrix}
+\cos\alpha&0&\sin\alpha\\
+0&1&0\\
+-\sin\alpha&0&\cos\alpha
+\end{pmatrix}$};
+
+\node at (Az) [right] {$\displaystyle\tiny
+D_{z,\alpha}=\begin{pmatrix}
+\cos\alpha&-\sin\alpha&0\\
+\sin\alpha&\cos\alpha&0\\
+0&0&1
+\end{pmatrix}$};
+
+\coordinate (U) at (\Ux,3.2);
+\coordinate (Ux) at (\Ux,\Lx);
+\coordinate (Uy) at (\Ux,\Ly);
+\coordinate (Uz) at (\Ux,\Lz);
+\coordinate (Ex) at (\Ux,{\Lx-1});
+\coordinate (Ey) at (\Ux,{\Ly-1});
+\coordinate (Ez) at (\Ux,{\Lz-1});
+
+\uncover<2->{
+\node at (U) [right]
+ {\usebeamercolor[fg]{title}Ableitung, $\operatorname{so}(n)$\strut};
+
+\node at (Ux) [right] {$\displaystyle\tiny
+U_x=\begin{pmatrix*}[r]
+0&0&0\\
+0&0&-1\\
+0&1&0
+\end{pmatrix*}
+$};
+
+\node at (Uy) [right] {$\displaystyle\tiny
+U_y=\begin{pmatrix*}[r]
+0&0&1\\
+0&0&0\\
+-1&0&0
+\end{pmatrix*}
+$};
+
+\node at (Uz) [right] {$\displaystyle\tiny
+U_z=\begin{pmatrix*}[r]
+0&-1&0\\
+1&0&0\\
+0&0&0
+\end{pmatrix*}
+$};
+}
+
+\uncover<9->{
+\node at (Ex) [right] {$\displaystyle
+\, e_x = \tiny\begin{pmatrix}1\\0\\0\end{pmatrix}
+$};
+
+\node at (Ey) [right] {$\displaystyle
+\, e_y = \tiny\begin{pmatrix}0\\1\\0\end{pmatrix}
+$};
+
+\node at (Ez) [right] {$\displaystyle
+\, e_z = \tiny\begin{pmatrix}0\\0\\1\end{pmatrix}
+$};
+}
+
+\coordinate (K) at (\Kx,3.2);
+\coordinate (Kx) at (\Kx,\Lx);
+\coordinate (Ky) at (\Kx,\Ly);
+\coordinate (Kz) at (\Kx,\Lz);
+\coordinate (Vx) at (\Kx,{\Lx-1});
+\coordinate (Vy) at (\Kx,{\Ly-1});
+\coordinate (Vz) at (\Kx,{\Lz-1});
+
+\uncover<3->{
+\node at (K) [right]
+ {\usebeamercolor[fg]{title}Kommutator\strut};
+
+\node at (Kx) [right] {$\displaystyle
+\begin{aligned}
+[U_y,U_z] &\uncover<4->{=
+{\tiny
+\begin{pmatrix}
+0&0&0\\
+0&0&0\\
+0&1&0
+\end{pmatrix}}
+\uncover<5->{\mathstrut-
+\tiny
+\begin{pmatrix}
+0&0&0\\
+0&0&1\\
+0&0&0
+\end{pmatrix}}}
+\uncover<6->{=U_x}
+\end{aligned}
+$};
+}
+
+\uncover<7->{
+\node at (Ky) [right] {$\displaystyle
+\begin{aligned}
+[U_z,U_x] &=
+{\tiny
+\begin{pmatrix}
+0&0&1\\
+0&0&0\\
+0&0&0
+\end{pmatrix}
+-
+\begin{pmatrix}
+0&0&0\\
+0&0&0\\
+1&0&0
+\end{pmatrix}}
+=U_y
+\end{aligned}
+$};
+}
+
+\uncover<8->{
+\node at (Kz) [right] {$\displaystyle
+\begin{aligned}
+[U_x,U_y] &=
+{\tiny
+\begin{pmatrix}
+0&0&0\\
+1&0&0\\
+0&0&0
+\end{pmatrix}
+-
+\begin{pmatrix}
+0&1&0\\
+0&0&0\\
+0&0&0
+\end{pmatrix}}
+=U_z
+\end{aligned}
+$};
+}
+
+\uncover<10->{
+\node at (Vx) [right] {$\displaystyle \phantom{]}e_y\times e_z = e_x$};
+}
+
+\uncover<11->{
+\node at (Vy) [right] {$\displaystyle \phantom{]}e_z\times e_x = e_y$};
+}
+
+\uncover<12->{
+\node at (Vz) [right] {$\displaystyle \phantom{]}e_x\times e_y = e_z$};
+}
+
+\end{tikzpicture}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/7/zusammenhang.tex b/vorlesungen/slides/7/zusammenhang.tex
new file mode 100644
index 0000000..6a43cd8
--- /dev/null
+++ b/vorlesungen/slides/7/zusammenhang.tex
@@ -0,0 +1,99 @@
+%
+% template.tex -- slide template
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Zusammenhang}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Zusammenhängend --- oder nicht}
+\begin{center}
+\begin{tikzpicture}[>=latex,thick]
+\def\ds{2.4}
+\coordinate (A) at (0,0);
+\coordinate (B) at (\ds,0);
+\coordinate (C) at ({2*\ds},0);
+
+\node at (A) {$\operatorname{SO}(n)$};
+\node at (B) {$\operatorname{O}(n)$};
+\node at (C) {$\{\pm 1\}$};
+
+\draw[->,shorten <= 0.6cm,shorten >= 0.5cm] (A) -- (B);
+\draw[->,shorten <= 0.5cm,shorten >= 0.5cm] (B) -- (C);
+\node at ($0.5*(B)+0.5*(C)$) [above] {$\det$};
+
+\coordinate (A2) at (0,-1.0);
+\coordinate (B2) at (\ds,-1.0);
+\coordinate (C2) at ({2*\ds},-1.0);
+
+\draw[color=blue] (A2) ellipse (1cm and 0.3cm);
+\draw[color=blue] (B2) ellipse (1cm and 0.3cm);
+\node[color=blue] at (C2) {$+1$};
+
+\coordinate (A3) at (0,-1.7);
+\coordinate (B3) at (\ds,-1.7);
+\coordinate (C3) at ({2*\ds},-1.7);
+
+\draw[->,shorten <= 1.1cm,shorten >= 0.3cm] (B2) -- (C2);
+\draw[->,shorten <= 1.1cm,shorten >= 0.3cm] (B3) -- (C3);
+
+\draw[color=red] (B3) ellipse (1cm and 0.3cm);
+\node[color=red] at (C3) {$-1$};
+
+\end{tikzpicture}
+\end{center}
+\end{block}
+\begin{block}{Zusammenhangskomponente von $e$}
+$G_e\subset G$ grösste zusammenhängende Menge, die $e$ enthält:
+\begin{align*}
+\operatorname{SO}(n)&\subset \operatorname{O}(n)
+\\
+\{A\in\operatorname{GL}_n(\mathbb{R})\,|\, \det A > 0\}
+ &\subset \operatorname{GL}_n(\mathbb{R})
+\end{align*}
+\end{block}
+\end{column}
+\begin{column}{0.48\textwidth}
+\begin{block}{Eigenschaften}
+\begin{itemize}
+\item
+{\bf Untergruppe}: $\gamma_i(t)$ Weg von $e$ nach $g_i$,
+dann ist
+\begin{itemize}
+\item
+$\gamma_1(t)\gamma_2(t)$ ein Weg von $e$ nach $g_1g_2$
+\item
+$\gamma_1(t)^{-1}$ Weg von $e$ nach $g_1^{-1}$
+\end{itemize}
+\item
+{\bf Normalteiler}: $\gamma(t)$ ein Weg von $e$ nach $g$, dann
+ist $h\gamma(t)h^{-1}$ ein Weg von $h$ nach $hgh^{-1}$
+$\Rightarrow hG_eh^{-1}\subset G_e$
+\end{itemize}
+\end{block}
+\begin{block}{Quotient}
+$G/G_e$ ist eine diskrete Gruppe
+\begin{center}
+\begin{tikzpicture}[>=latex,thick]
+\coordinate (A) at (0,0);
+\coordinate (B) at (2,0);
+\coordinate (C) at (4,0);
+\node at (A) {$G_e$};
+\node at (B) {$G$};
+\node at (C) {$G/G_e$};
+\draw [->,shorten <= 0.3cm,shorten >= 0.3cm] (A) -- (B);
+\draw [->,shorten <= 0.3cm,shorten >= 0.5cm] (B) -- (C);
+\end{tikzpicture}
+\end{center}
+\vspace{-7pt}
+$\Rightarrow$ $G_e$ und $G/G_e$ separat studieren
+\end{block}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/Makefile.inc b/vorlesungen/slides/Makefile.inc
index 0f5fa8c..a9d72be 100644
--- a/vorlesungen/slides/Makefile.inc
+++ b/vorlesungen/slides/Makefile.inc
@@ -9,6 +9,7 @@ include ../slides/2/Makefile.inc
include ../slides/3/Makefile.inc
include ../slides/4/Makefile.inc
include ../slides/5/Makefile.inc
+include ../slides/6/Makefile.inc
include ../slides/7/Makefile.inc
include ../slides/8/Makefile.inc
include ../slides/9/Makefile.inc
@@ -16,4 +17,5 @@ include ../slides/a/Makefile.inc
slides = \
$(chapter0) $(chapter1) $(chapter2) $(chapter3) $(chapter4) \
- $(chapter5) $(chapter7) $(chapter8) $(chapter9) $(chaptera)
+ $(chapter5) $(chapter6) $(chapter7) $(chapter8) $(chapter9) \
+ $(chaptera)
diff --git a/vorlesungen/slides/slides.tex b/vorlesungen/slides/slides.tex
index b606375..6c24e22 100644
--- a/vorlesungen/slides/slides.tex
+++ b/vorlesungen/slides/slides.tex
@@ -47,15 +47,15 @@
\titel
\input{5/chapter.tex}
-%\title[Permutationen]{Permutationen}
-%\section{Permutationen}
-%\titel
-%\input{6/chapter.tex}
+\title[Permutationen]{Permutationen}
+\section{Permutationen}
+\titel
+\input{6/chapter.tex}
-%\title[Matrizengruppen]{Matrizengruppen}
-%\section{Matrizengruppen}
-%\titel
-%\input{7/chapter.tex}
+\title[Matrizengruppen]{Matrizengruppen}
+\section{Matrizengruppen}
+\titel
+\input{7/chapter.tex}
\title[Graphen]{Graphen}
\section{Graphen}
@@ -67,10 +67,10 @@
\titel
\input{9/chapter.tex}
-%\title[Krypto]{Anwendungen in Kryptographie und Codierungstheorie}
-%\section{Krypto}
-%\titel
-%\input{a/chapter.tex}
+\title[Krypto]{Anwendungen in Kryptographie und Codierungstheorie}
+\section{Krypto}
+\titel
+\input{a/chapter.tex}
%\title[Homologie]{Homologie}
%\section{Homologie}
diff --git a/vorlesungen/slides/test.tex b/vorlesungen/slides/test.tex
index 43da30a..56cd611 100644
--- a/vorlesungen/slides/test.tex
+++ b/vorlesungen/slides/test.tex
@@ -3,21 +3,5 @@
%
% (c) 2021 Prof Dr Andreas Müller, Hochschule Rapperswil
%
-
-%\folie{a/dc/prinzip.tex}
-%\folie{a/dc/effizient.tex}
-%\folie{a/dc/beispiel.tex}
-
-%\folie{a/ecc/gruppendh.tex}
-%\folie{a/ecc/kurve.tex}
-%\folie{a/ecc/inverse.tex}
-%\folie{a/ecc/operation.tex}
-%\folie{a/ecc/quadrieren.tex}
-%\folie{a/ecc/oakley.tex}
-
-%\folie{a/aes/bytes.tex}
-%\folie{a/aes/sinverse.tex}
-%\folie{a/aes/blocks.tex}
-\folie{a/aes/keys.tex}
-%\folie{a/aes/runden.tex}
+\folie{7/interpolation.tex}