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.