Abstract:In this article we study certain properties of the image of Euler's totient function; we also consider the structure of the preimage of certain elements of the image of this function.
What problem does this paper attempt to address?
The main purpose of this paper is to study certain aspects of the range of Euler's totient function φ(n). Specifically, the paper attempts to solve the following problems:
1. **Composition of the range of Euler's totient function**:
- The definition of Euler's totient function φ(n) is: for any positive integer \(n\), φ(n) represents the number of positive integers that are coprime to \(n\) and not greater than \(n\).
- The paper explores which numbers can be the values of φ(n), that is, which numbers \(m\) can be expressed as the Euler's totient function value of some positive integer \(n\).
2. **Properties of the inverse image set φ⁻¹(m)**:
- For a given positive integer \(m\), the inverse image set φ⁻¹(m) refers to the set of all positive integers \(n\) that satisfy φ(n) = \(m\).
- The paper studies whether φ⁻¹(m) is an empty set, whether it is finite, and the specific form of its elements.
3. **Study of \(m\) in special forms**:
- In particular, the paper studies in detail the case when \(m = 2p\) (where \(p\) is a prime number). Through theorems and corollaries, it is proved that \(2p\) belongs to the range of φ if and only if \(2p + 1\) is a prime number.
- It further discusses numbers of the form \(2^k\), and proves that for \(k\geq5\), there may be infinitely many even numbers \(m\) such that φ⁻¹(m) contains only even numbers.
4. **Relationship between the number of odd and even elements in φ⁻¹(m)**:
- The paper explores the relationship between the number of odd and even elements in φ⁻¹(m) when φ⁻¹(m) is not empty. For example, when \(m = 2s\) (where \(s\) is an odd number and \(s\geq3\)), the number of odd and even elements in φ⁻¹(2s) is equal.
In summary, the paper aims to deeply explore the structure of the range of Euler's totient function and the properties of its inverse image set, especially for the case of \(m\) in specific forms, revealing the profound connections and rules between these mathematical objects.