Überlagerung/Decktransformationsgruppe/Definition
Decktransformationsgruppe
Es sei eine Überlagerung von . Die Menge der Decktransformationen von über , versehen mit der Hintereinanderschaltung, heißt Decktransformationsgruppe der Überlagerung. Sie wird mit bezeichnet.