Ü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.