Domaine fondamental

Soit G un groupe, E un ensemble sur lequel G agit. On note g(x) l'image d'un point x de E par l'action de l'élément g ∈ G. Un sous-ensemble F de E est appelé domaine fondamental pour l'action du groupe si :

1. ${\displaystyle \bigcup _{g\in G}g(F)=E}$ ;
2. ${\displaystyle \forall g,g'\in G{\text{ tels que }}g\neq g',g(F)\cap g'(F)=\emptyset }$.