Banks, William D.; Luca, Florian On integers with a special divisibility property. (English) Zbl 1164.11050 Arch. Math., Brno 42, No. 1, 31-42 (2006). Let \(\lambda \) denote the Carmichael function, i.e.for a positive integer \(n\) let \(\lambda (n)\) be the largest order of any element in the multiplicative group \((\mathbb Z/n\mathbb Z)^\times \), and let \(b(n)= \sum _{d| n}\lambda (d)\). The subject of the paper is the set \({\mathcal B}\) of all positive integers \(n\) such that \(b(n)\) is a proper divisor of \(n\). For a positive real number \(x\) let \({\mathcal B}(x)=\{n\in {\mathcal B}\mid n\leq x\}\). The authors prove the following upper bound as \(x\to \infty \): \[ \#{\mathcal B}(x)\leq x\exp \bigl (-2^{-1/2}(1+o(1)) \sqrt {\log x\log \log x}\bigr ), \] where \(\log \) denotes the natural logarithm. Moreover they characterize all odd integers \(n\in {\mathcal B}\) having exactly two prime divisors: Suppose that \(n=p^aq^b\), where \(p\) and \(q\) are odd primes with \(p<q\), and \(a\), \(b\) are positive integers. If \(n\neq 2997\), then \(n\in {\mathcal B}\) if and only if \(b=1\) and there exists a positive integer \(k\) such that \(q=2p^{(p^k-1)/(p-1)}+1\) and \(a=k+2(p^k-1)/(p-1)\).The authors remark that they do not have any conjecture about the correct order of magnitude of \(\#{\mathcal B}(x)\) as \(x\to \infty \) and that they cannot even show that \({\mathcal B}\) is an infinite set, though Hardy-Littlewood conjectures suggest that the inequality \(\#{\mathcal B}(x)\gg \sqrt x/(\log x)^2\) should hold true. Reviewer: Radan Kučera (Brno) Cited in 2 Documents MSC: 11N37 Asymptotic results on arithmetic functions Keywords:Euler function; Carmichael function PDFBibTeX XMLCite \textit{W. D. Banks} and \textit{F. Luca}, Arch. Math., Brno 42, No. 1, 31--42 (2006; Zbl 1164.11050) Full Text: EuDML EMIS Online Encyclopedia of Integer Sequences: Ratio of totient to Carmichael’s lambda function: a(n) = A000010(n) / A002322(n). Numbers n such that the sum of the Carmichael lambda functions of the divisors is a proper divisor of n. Inverse Mobius transform of the Carmichael lambda function.