Some remarks on regular integers modulo n

Abstract

An integer k is called regular (mod n) if there exists an integer x such that k2x ? k (mod n). This holds true if and only if k possesses a weak order (mod n), i.e., there is an integer m ? 1 such that km+1 ? k (mod n). Let ?(n) denote the number of regular integers (mod n) in the set {1,2,...,n}. This is an analogue of Euler?s ? function. We introduce the multidimensional generalization of ?, which is the analogue of Jordan?s function. We establish identities for the power sums of regular integers (mod n) and for some other finite sums and products over regular integers (mod n), involving the Bernoulli polynomials, the Gamma function and the cyclotomic polynomials, among others. We also deduce an analogue of Menon?s identity and investigate the maximal orders of certain related functions.