A criterion on Catalan's equation (Q1893474): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
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.1006/jnth.1995.1070 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2023380908 / rank | |||
Normal rank |
Latest revision as of 18:43, 21 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A criterion on Catalan's equation |
scientific article |
Statements
A criterion on Catalan's equation (English)
0 references
28 January 1996
0 references
Let \(p\) and \(q\) be odd primes and consider Catalan's equation \(x^p - y^q = 1\) in \(x,y,p,q \in \mathbb{N}\). Let \(p - 1 = dl\) where \(l\) is odd and \(d\) is a power of 2. Assume \(l > 1\). Put \(\zeta = e^{2 \pi i/p}\). Let \(g\) be a primitive root modulo \(p\) and \(m = g^k \text{mod} p\). Let \(K = \mathbb{Q} (\xi)\) with \(\xi = \zeta + \zeta^m + \cdots + \zeta^{m^{l - 1}}\). Denote by \(h_K\) the class number of \(K\). In the present paper the author proves that Catalan's equation has no solutions if both \(q \nmid h_K\) and \(p^{q - 1} \not \equiv 1 \pmod {q^2}\) hold. This implies both of \textit{K. Inkeri}'s criteria [Acta Arith. 9, 285-290 (1964; Zbl 0127.271) and J. Number Theory 34, 142-152 (1990; Zbl 0699.10029)]. Moreover, the field involved is much smaller than the field that appears in Inkeri's second criterion. Combining the above criterion with earlier results the author shows that for any nontrivial solution of Catalan's equation \(\min \{p,q\} \geq 97\) holds.
0 references
Catalan equation
0 references
Inkeri's criteria
0 references
exponential diophantine equation
0 references