Let *G* be a nontrivial finite group. Is it true that the sum of the orders of all elements of *G* is not divisible by the order of *G*? 



A question on the sum of element orders of a finite group
It is false in general, for instance there's a group of order $3\cdot 5\cdot 7=105$ with sum of orders equal to $1785=3\cdot 5\cdot 7\cdot 17$. (In Magma, it is the first of the two groups of order 105 in the "small groups" database).


However it is true for all groups of even order, because the sum of orders of elements is always odd (this is shown by partitioning $G$ according to the equivalence relation $x\sim y$ if $x$ and $y$ generate the same cyclic subgroup, and using the fact that, for a positive integer $n\geq 1$, $n\varphi(n)$ is odd only if $n=1$.)


