On the number of elements with maximal order in the multiplicative group modulo n
Letwhere denotes the number of subgroups of all abelian groups whose order does not exceed and whose rank does not exceed , and is the error term. It is proved that