Let $G$ be finite topological group, and acts freely over the hausdorff topological space $X$, i want to prove that every element $x$ in $X$ has an open neighborhood $U_x$ such that:
$g\star U_{x}\cap U_{x} \neq \phi$ and $g\in G$ implies that $g=e_{G}$
my best regards