Definiton der Decktransformationsgruppe

documents/GeoTopo/Kapitel3.tex

@@ -978,16 +978,17 @@ \section{Überlagerungen}\index{Ueberlagerung@""Uberlagerung|(}
 
     \begin{defenum}
         \item $f$ heißt \textbf{Decktransformation} von $p :\gdw p \circ f = p$.
+        \item Die Decktransformationen von $p: Y \rightarrow X$ bilden mit der Verkettung eine Gruppe, 
+          die sog. \textbf{Decktransformationsgruppe}\xindex{Decktransformationsgruppe}.
+          Man schreibt:
+          $\Deck(p)$, $\Deck(Y/X)$ oder $\Deck(Y \rightarrow X)$.
         \item $p$ heißt \textbf{regulär}, wenn $|\Deck(Y/X)| = \deg{p}$ gilt.
     \end{defenum}
 \end{definition}
 
 \begin{bemerkung}[Eigenschaften der Decktransformation]%In Vorlesung:12.14
     \begin{bemenum}
-        \item Die Decktransformationen von $p: Y \rightarrow X$ bilden mit der Verkettung eine Gruppe, 
-              die sog. \textbf{Decktransformationsgruppe}\xindex{Decktransformationsgruppe}.
-              Man schreibt:
-              $\Deck(p)$, $\Deck(Y/X)$ oder $\Deck(Y \rightarrow X)$.
+        \item $(\Deck{Y/X}, \circ)$ ist eine Gruppe
         \item Ist $f \in \Deck(Y/X)$ und $f \neq \id$, dann hat
               $f$ keinen Fixpunkt.
         \item $|\Deck(Y/X)| \leq \deg{p}$\label{kor:12.14c}