Gruppenoperation/Bahnenraum/Definition

Bahnenraum

Es liege eine Gruppenoperation einer Gruppe auf einer Menge vor. Dann nennt man die Menge der Bahnen den Bahnenraum der Operation. Er wird mit

bezeichnet. Die Abbildung

wobei die Bahn durch bezeichnet, heißt Quotientenabbildung.