Überlagerung/Decktransformationsgruppe/Definition

Decktransformationsgruppe

Es sei ${}p\colon E\rightarrow X$ eine Überlagerung von ${}X$. Die Menge der Decktransformationen von ${}E$ über ${}X$, versehen mit der Hintereinanderschaltung, heißt Decktransformationsgruppe der Überlagerung. Sie wird mit ${}\operatorname {Deck} {\left(E{|}X\right)}$ bezeichnet.