Gruppenoperation/Fundamentalbereich/Definition

Fundamentalbereich

Es sei

$G\times M\longrightarrow M$

eine Gruppenoperation einer Gruppe ${}G$ auf einer Menge ${}M$. Eine Teilmenge ${}D\subseteq M$ heißt Fundamentalbereich für die Operation, wenn es für jedes ${}x\in M$ genau ein ${}g\in G$ mit ${}gx\in D$ gibt.