We present a structure theorem for a broad class of homeomorphisms of finite order on countable zero dimensional spaces. As applications we show the following. \begin{compactenum}[\rm(a)] \item Every countable nondiscrete topological group not containing an open Boolean subgroup can be partitioned into infinitely many dense subsets. \item If $G$ is a countably infinite Abelian group with finitely many elements of order $2$ and $\beta G$ is the Stone--\v Cech compactification of $G$ as a discrete semigroup, then for every idempotent $p\in\beta G\setminus\{0\}$, the subset $\{p,-p\}\subset\beta G$ generates algebraically the free product of one-element semigroups $\{p\}$ and~$\{-p\}$. \end{compactenum}