Abstract view
The Distribution of Totatives


Published:20050601
Printed: Jun 2005
Abstract
The integers coprime to $n$ are called the {\it totatives} \rm of $n$.
D. H. Lehmer and Paul Erd\H{o}s were interested in understanding when
the number of totatives between $in/k$ and $(i+1)n/k$ are $1/k$th of
the total number of totatives up to $n$. They provided criteria in
various cases. Here we give an ``if and only if'' criterion which
allows us to recover most of the previous results in this literature
and to go beyond, as well to reformulate the problem in terms of
combinatorial group theory. Our criterion is that the above holds if
and only if for every odd character $\chi \pmod \kappa$ (where
$\kappa:=k/\gcd(k,n/\prod_{pn} p)$) there exists a prime $p=p_\chi$
dividing $n$ for which $\chi(p)=1$.