Bulletin of the American Mathematical Society, Vol. 36, No. 4 (April 1930), 291-298

Introduction

A function φ_{2}(n) giving the number of pairs of consecutive integers each less than n and prime to n, was considered first by Schemmel. In applying this function to the enumeration of magic squares, D. N. Lehmer has shown that if one replaces consecutive pairs by pairs of integers having a fixed difference λ prime to n = Π^{t}_{i=1}p_{i}
^{αi}, then the number of such pairs (mod n) whose elements are both prime to n is also given by

t | |

φ_{2}(n) = | Π p_{i}^{αi–1}(p_{i} — 2) |

i=1 |

As is the case for Euler's totient function φ(n), the function φ_{2}(n) obviously enjoys the multiplicative property
φ_{2}(m)φ_{2}(n) = φ_{2}(mn),
(m,n) = 1, φ_{2}(1) = 1. *In what follows we call an integer simple if it contains no square factor* >1. For a simple number n we have the following analog of Gauss' theorem:

Σ φ_{2}(δ) = φ(n), |

δ|n |

where n is simple and where the summation extends over all the divisors of n. Using Dedekind's inversion formula, we can write

Σ φ(n/δ)μ(δ) = φ_{2}(n), |

δ|n |

where n is simple and where μ(n) is Merten's inversion function.

It is the purpose of this note to develop another property of φ_{2}(n), true only for simple numbers, and apply it to the evaluation of the discriminants and resultants of cyclotomic equations.