We define a square-reduced residue system (mod r) as the set of integers a (mod r) such that the greatest common divisor of a and r, denoted by (a, r), is a perfect square ≥ 1 and contained in a residue system (mod r). This leads to a Class-division of integers (mod r) based on the 'square-free' divisors of r. The number of elements in a square-reduced residue system (mod r) is denoted by b(r). It is shown that
(1)![](//static-cambridge-org.ezproxyberklee.flo.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0008439500057179/resource/name/S0008439500057179_eqn1.gif?pub-status=live)
(2)![](//static-cambridge-org.ezproxyberklee.flo.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0008439500057179/resource/name/S0008439500057179_eqn2.gif?pub-status=live)
In view of (2), b(r) is said to be 'specially multiplicative'. The exponential sum associated with a square-reduced residue system (mod r) is defined by
![](//static-cambridge-org.ezproxyberklee.flo.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0008439500057179/resource/name/S0008439500057179_eqn3.gif?pub-status=live)
where the summation is over a square-reduced residue system (mod r).
B(n, r) belongs to a new class of multiplicative functions known as 'Quasi-symmetric functions' and
(3)![](//static-cambridge-org.ezproxyberklee.flo.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0008439500057179/resource/name/S0008439500057179_eqn4.gif?pub-status=live)
As an application, the sum
is considered in terms of the Cauchy-composition of even functions (mod r). It is found to be multiplicative in r. The evaluation of the above sum gives an identity involving Pillai's arithmetic function
![](//static-cambridge-org.ezproxyberklee.flo.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0008439500057179/resource/name/S0008439500057179_eqn5.gif?pub-status=live)