A two-variable Artin conjecture (Q5928011): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q122872969, #quickstatements; #temporary_batch_1711094041063
Import241208061232 (talk | contribs)
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1006/jnth.2000.2547 / rank
Normal rank
 
Property / arXiv ID
 
Property / arXiv ID: math/9912250 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of number-theoretic constants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Density of prime divisors of linear recurrences / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Artin's conjecture. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The set of primes dividing the Lucas numbers has density 2/3 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Artin's conjecture and Euclid's algorithm in global fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximation of singular series and automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Prime divisors of Lucas sequences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Prime divisors of the Lagarias sequence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Artin's conjecture for primitive roots / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3270664 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Prime divisors of second-order linear recurrences. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudoprimes and a generalization of Artin's conjecture / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1006/JNTH.2000.2547 / rank
 
Normal rank

Latest revision as of 11:38, 9 December 2024

scientific article; zbMATH DE number 1579183
Language Label Description Also known as
English
A two-variable Artin conjecture
scientific article; zbMATH DE number 1579183

    Statements

    A two-variable Artin conjecture (English)
    0 references
    0 references
    0 references
    19 March 2001
    0 references
    Artin's conjecture considered those primes~\(p\) for which a specified number~\(a\) is a primitive root, and gives a value for the density of this set inside the set of all primes. In this form the conjecture was shown by \textit{C. Hooley} [J. Reine Angew.\ Math. 225, 209-220 (1967; Zbl 0221.10048)] to follow from a generalisation of the Riemann Hypothesis. The authors consider the related density \(\delta(a,b)\) of those~\(p\) for which a specified~\(b\) is in the multiplicative subgroup generated by \(a,\bmod p\), where they allow \(a\) and~\(b\) to be rational numbers whose numerators and denominators are not divisible by~\(p\). A preprint by one of the authors considered the case when \(a\) and~\(b\) satisfy a non-trivial multiplicative relation \(a^x b^y = 1\), where it can be unconditionally proved that the density \(\delta(a,b)\) exists. Accordingly the authors suppose that no such relation holds. It is then a case of a theorem of \textit{G.~Pólya} that there are infinitely many primes of the type considered, but this argument does not show that the proportion of such primes has positive density. They deduce an expression of the shape \(c_{a,b}C_0\) for the density \(\delta(a,b)\) from the Generalised Riemann Hypothesis. Here \(C_0\) is given by a certain infinite product over primes, but an explicit formula for~\(c_{a,b}\) would be rather complicated. However, in the case when the group \({\mathbb Q}^*/\langle-1,a,b\rangle\) is torsion-free (so that \(\pm a^x b^y\) is not an \(n\)th power in~\({\mathbb Q}^*\) when \(x\) and~\(y\) are not both divisible by~\(n\)) they give a one-line expression of \(c_{a,b}\) in terms of discriminants of the relevant quadratic fields. The case of their theorem in which \(a\) and~\(b\) are coprime integers and not perfect powers occurs in a paper of \textit{P.~J.~Stephens} [J. Number Theory 8, No.~3, 313-332 (1976; Zbl 0334.10018)], but the authors do not agree with Stephens's evaluation of the constant~\(c_{a,b}\). A corollary of the authors' theorems deduces similar results for the set of primes dividing some member of a sequence given by a second order linear recurrence \(x_{k+2}=r x_{k+1}-sx_k\), provided \(X^2-rX+s\) splits in \({\mathbb Q}[X]\) and the sequence does not satisfy a first order recurrence.
    0 references
    Artin's conjecture
    0 references
    primitive roots
    0 references
    linear recurrent sequences
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references