Values of the Euler phi function not divisible by a given odd prime (Q1005727): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s11512-005-0001-6 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s11512-005-0001-6 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2016638119 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On some problems of Mąkowski–Schinzel and Erdős concerning the arithmetical functions φ and σ / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997223 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Problem of Rankin on Sums of Powers of Cusp-Form Coefficients / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mertens' theorem for arithmetic progressions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Das asymptotische Verhalten von Summen über multiplikative Funktionen / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S11512-005-0001-6 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 12:25, 10 December 2024

scientific article
Language Label Description Also known as
English
Values of the Euler phi function not divisible by a given odd prime
scientific article

    Statements

    Values of the Euler phi function not divisible by a given odd prime (English)
    0 references
    0 references
    0 references
    9 March 2009
    0 references
    Let \(\varphi(n)\) be the Euler function of the positive integer \(n\). This is always even if \(n\geq 3\). Given an odd prime \(q\), the authors determine an asymptotic formula for the number of positive integers \(n\leq x\) such that \(q\) does not divide \(\varphi(n)\). Denoting this number by \(E_q(x)\), the theorem on page 170 shows that \[ E_q(x)=e_0(q){{x}\over {(\log x)^{1/(q-1)}}}+O\Biggl({{x}\over {(\log x)^{q/(q-1)+\varepsilon}}}\Biggr) \] where \(\varepsilon\in (0,1)\) and the constant implied by the \(O\)-symbol depends on \(q\) and \(\varepsilon\). The authors gives an explicit formula for the positive constant \(e_0(q)\) involving invariants of the cyclotomic number field \({\mathbb K}(q)={\mathbb Q}(e^{2\pi i/q})\). The proof involves a Mertens type theorem for the product \[ \prod_{p\leq x,~p\equiv 1\pmod{q}}\Biggl(1-{1\over p}\Biggr). \] \{Reviewer's remark: The latter product can be derived in an easier way by invoking the Mertens' theorem for the algebraic number field \({\mathbb K}(q)\). Furthermore, a standard application of the Selberg-Delange method gives an asymptotic expansion \[ E_q(x)= {e_0(q)x\over (\log x)^{1/(q-1)}} \Biggl(1 + {e_1(q)\over \log x}+\cdots+{e_k(q)\over \log^k x}+O_k\Bigl({1\over \log^{k+1} x} \Bigr)\Biggr), \] with \(e_j(q)\) being certain constants depending on \(q\), and thus an extension of the main result of the paper. The above remarks (in more detail) along with a study of the numbers \(e_1(q)\), which are closely related to the Euler-Kronecker constant for \({\mathbb K}(q)\), can be found in a recent preprint [``Values of the Euler \(\varphi\)-function not divisible by a given odd prime, and the distribution of Euler-Kronecker constants for cyclotomic fields'', Preprint (2011)] of the reviewer with \textit{K. Ford} and \textit{P. Moree}\}.
    0 references
    0 references
    Euler function
    0 references
    application of L-functions
    0 references

    Identifiers