Square-free values of the Carmichael function. (Q1415371)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Square-free values of the Carmichael function. |
scientific article |
Statements
Square-free values of the Carmichael function. (English)
0 references
3 December 2003
0 references
For a positive integer \(n\) the Carmichael function \(\lambda(n)\) is the exponent of the multiplicative group modulo \(n\). In this paper, the authors find an asymptotic formula for the number \(L(x)\), which counts, for a given positive real number \(x\), the number of positive integers \(n\leq x\) having the property that \(\lambda(n)\) is square-free. Their result is that \[ L(x)\approx \kappa {{x}\over {\log^{1-\alpha} x}},\tag{1} \] where \(\alpha=\prod_{p\geq 2} (1-1/(p(p-1)))\) is the Artin constant and \(\kappa\) is a more complicated constant (explicitly determined). For the proof, the authors first use the Bombieri-Vinogradov theorem to show that if \(\pi_{sf}(x)\) counts the number of primes \(p\leq x\) with \(p-1\) square-free, then \(\pi_{sf}(x)=\alpha\pi(x)+O(x/\log^A x)\), where \(A>0\) is an arbitrary constant. Once equipped with this fact, the main result follows from the observation that the characteristic function of the set of those \(n\) such that \(\lambda(n)\) is square-free is multiplicative and supported on \(\pi_{sf}\), together with a well-known result of Wirsing relating the average value of a ``small multiplicative function'' \(f(n)\) to \(\sum_{p\leq x} f(p)\). The paper contains also some other interesting facts, such as a uniform upper bound for the function \(L\) in short intervals, a formula for the counting function of those positive integers \(n\) whose Carmichael function is \(k\)-free (for a fixed integer \(k\geq 2\)), as well as the results of some computations analyzing the speed of convergence to \(1\) of the ratio between \(L(x)\) and the right hand side of (1).
0 references
square-free integer
0 references
Carmichael function
0 references
Wirsing theorem
0 references
0 references