Ahmed Bouzalmat, Ahmed Sani
We give a new sufficient condition which allows to test primality of Fermat's numbers. This characterization uses uniquely values at most equal to tested Fermat number. The robustness of this result is due to a strict use of elementary arithmetic technical tools and it will be susceptible to open gates for revolutionary statement that all Fermat's numbers are all decomposable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We provide compelling evidence that all Fermat primes were already known to Fermat.
This paper studies the largest cycles consisted by the quadratic residues modulo prime numbers. We give some formulae about the maximum length of the cycles. Especially, the formula for modulo Fermat primes is given.
Every odd prime number p can be written in exactly (p + 1)/2 ways as a sum ab+cd of two ordered products ab and cd such that min(a, b) > max(c, d). An easy corollary is a proof of Fermat's Theorem expressing primes in 1 + 4N as sums of two squares.
We discuss a clean level lowering theorem modulo prime powers for weight $2$ cusp forms. Furthermore, we illustrate how this can be used to completely solve certain twisted Fermat equations $ax^n+by^n+cz^n=0$.
Alpoge and Granville (separately) gave novel proofs that the primes are infinite that use Ramsey Theory. In particular, they use Van der Waerden's Theorem and some number theory. We prove the primes are infinite using an easier theorem from Ramsey Theory, namely Schur's Theorem, and some number theory (Elsholtz independently obtained the same proof that the primes were infinite). In particular, we use the n=3 case of Fermat's last theorem. We also apply our method to show other domains have an infinite number of irreducibles.
Jacob's ladders, point of contact of the remainder in the prime-number law with the Fermat-Wiles theorem and multiplicative puzzles on some sets of integrals
本文在黎曼假设下证明了关于费马-威尔斯定理的新函数等价关系，并探讨了素数定律与积分集上的乘法谜题。
Arithmetic closed forms count the Mersenne primes, the Fermat primes and the twin-prime pairs
本文提出通过算术闭式生成和计数梅森素数、费马素数、孪生素数对及索菲·热尔曼素数的方法，结合威尔逊定理和特定测试技术。
Wilson's theorem modulo higher prime powers I: Fermat and Wilson quotients
该研究利用Bell多项式与Newton恒等式，证明威尔逊定理及威尔逊商可由含费马商幂和项的任意更高素数幂模超同余式描述，还给出相关多元多项式的递推公式与更多性质，推进了数论中超同余问题的研究。
Chebyshev's bias for Fermat curves of prime degree
本文证明素数次 Fermat 曲线及其部分商的素数竞赛渐近公式与 DRH 相关部分等价，并据此在 DRH 下计算其二阶矩 L 函数在 s=1 处的零点阶数。
Let $m$ be a Carmichael number and let $L$ be the least common multiple of $p-1$, where $p$ runs over the prime factors of $m$. We determine all the Carmichael numbers $m$ with a Fermat prime factor such that $L=2^αP^2$, where $k\in \mathbb{N}$ and $P$ is an odd prime number. There are eleven such Carmichael numbers.
In 1988 Garcia and Voloch proved the upper bound 4n^{4/3}(p-1)^{2/3} for the number of solutions over a prime finite field F_p of the Fermat equation x^n+y^n=a, where a \in F_p^* and n \ge 2 is a divisor of p-1 such that (n-1/2)^4 \ge p-1. This is better than Weil's bound p+1+(n-1)(n-2)p^{1/2} in the stated range. By refining Garcia and Voloch's proof we show that the constant 4 in their bound can be replaced by 3\cdot 2^{-2/3}.
The first case of Fermat's Last Theorem for a prime exponent $p$ can sometimes be proved using the existence of local obstructions. In 1823, Sophie Germain has obtained an important result in this direction by establishing that, if $2p+1$ is a prime number, the first case of Fermat's Last Theorem is true for $p$. In this paper, we investigate such obstructions over number fields. We obtain analogous results on Sophie Germain type criteria, for imaginary quadratic fields. Furthermore, extending a well known statement over ${\bf Q}$, we give an easily testable condition which allows occasionally…
In this article we improve the upper bound for the arithmetic self-intersection number of the dualizing sheaf of the minimal regular model for the Fermat curves $F_p$ of prime exponent.
On the twisted Fermat cubic, an elliptic divisibility sequence arises as the sequence of denominators of the multiples of a single rational point. We prove that the number of prime terms in the sequence is uniformly bounded. When the rational point is the image of another rational point under a certain 3-isogeny, all terms beyond the first fail to be primes.
This paper explores some previously-unrecognized consequences of Lerch's 1905 formula for the Fermat quotient, with special attention to the sums which he introduced in this context. A generalization of his result is proved, and a new proof given of a sharpened result by Skula (2008). We also sharpen the criteria given by Emma Lehmer in 1938 for a Wieferich prime to be simultaneously a Mirimanoff prime.
We improve an estimate of A.Granville (1987) on the number of vanishing Fermat quotients $q_p(\ell)$ modulo a prime $p$ when $\ell$ runs through primes $\ell \le N$. We use this bound to obtain an unconditional improvement of the conditional (under the Generalised Riemann Hypothesis) estimate of Y. Ihara (2006) on a certain sum, related to vanishing Fermat quotients. In turn this sum appears in the study of the index of certain subfields of of cyclotomic fields $\Q(\exp(2 πi/p^2))$.
We study Kummer's approach towards proving the Fermat's last Theorem for regular primes. Some basic algebraic prerequisites are also discussed in this report, and also a brief history of the problem is mentioned. We review among other things the Class number formula, and use this formula to conclude our study.
T-Fermat integers
引入T-费马整数概念，推广素数定义；证明合数T-费马整数必为卡迈克尔数，并猜想存在无穷多个合数T-费马整数，为证明ω(p-1)≤2的素数无穷提供可能路径。
We prove that the defining equations of the Fermat curves of prime degree cannot be written as the determinant of symmetric matrices with entries in linear forms in three variables with rational coefficients. In the proof, we use a relation between symmetric matrices with entries in linear forms and non-effective theta characteristics on smooth plane curves. We also use some results of Gross-Rohrlich on the rational torsion points on the Jacobian varieties of the Fermat curves of prime degree.
We give a necessary and sufficient condition in terms of a matrix for which all Tate classes are Lefschetz for simple abelian varieties over an algebraic closure of a finite field. As an application, we prove under an assumption that all Tate classes are Lefschetz for simple factors of Fermat Jacobian of prime degree.
We give an improved asymptotic upper bound on the number of diagonal Fermat curves $Ax^{\ell}+By^{\ell}=z^{\ell}$ over $\mathbb{F}_{q}$ with no $\mathbb{F}_{q}$-rational points, where $\ell$ is a prime number dividing $q-1$.
In a recent paper, the first author provided some lower bounds to solutions of the equations of Fermat and Catalan, based on local power series developments at the ramified prime of a prime cyclotomic extension. Although both equations have in fact been proved not to have any unknown solutions, these improved bounds are interesting in the context of a new effective abc inequality announced in the paper \cite{MFHMP} based on Mochizuki's \cite{Mo}[IUT-IV, Theorem A]. In this paper we provide a strengthening of the lower bound for FLT2, which is necessary in order to take advantage of the best up…
Let C denote the Fermat curve over Q of prime exponent l. The Jacobian Jac(C) of C splits over Q as the product of Jacobians Jac(C_k), 0< k < l-1, where C_k are curves obtained as quotients of C by certain subgroups of automorphisms of C. It is well known that Jac(C_k) is the power of an absolutely simple abelian variety B_k with complex multiplication. We call degenerate those pairs (l,k) for which B_k has degenerate CM type. For a non-degenerate pair (l,k), we compute the Sato-Tate group of Jac(C_k), prove the generalized Sato-Tate Conjecture for it, and give an explicit method to compute th…
The Modular Group provides simple proofs of Fermat's representations: X^2+Y^2 for primes congruent to 1 (mod 4) and by X^2+3Y^2 for primes congruent to 1 (mod 3)
From varying Egyptian fraction equations we obtain generalizations of primary pseudoperfect numbers and Giuga numbers which we call prime power psuedoperfect numbers and prime power Giuga numbers respectively. We show that a sequence of Amarnath Murthy in the OEIS is a subsequence of the sequence of prime power psuedoperfect numbers. Prime factorization conditions sufficient to imply a number is a prime power pseudoperfect number or a prime power Giuga number are given. The conditions on prime factorizations naturally give rise to a generalization of Fermat primes which we call extended Fermat…
Let $p$ be an odd prime number. Let $K$ be the $p$-th cyclotomic field and $F$ its maximal real subfield. We give general formulae of the root numbers of the Jacobian varieties of the Fermat curves $X^p+Y^p=δ$ where $δ$ is an integer. As an application of these general formulae, we derive the equidistribution of the root numbers for the families of Jacobian varieties of the Fermat curves. When $p\nmid δ$, we bound the Selmer groups of these Jacobian varieties. Moreover, if $p$ is regular and all prime ideals of $K$ dividing $δ$ are inert in $K/F$, the Selmer groups are explicitly determined an…
In [Tha15], we looked at two (`multiplicative' and `Carlitz-Drinfeld additive') analogs each, for the well-known basic congruences of Fermat and Wilson, in the case of polynomials over finite fields. When we look at them modulo higher powers of primes, i.e. at `supercongruences', we find interesting relations linking them together, as well as linking them with arithmetic derivatives and zeta values. In the current work, we expand on the first analog and connections with arithmetic derivatives more systematically, giving many more equivalent conditions linking the two, now using `mixed derivati…
Let $p \ge 5$ be a prime and let $\mathbb{Q}_{n,p}$ denote the $n$-th layer of the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. We show that $\mathbb{Q}_{n,p}$ has no exceptional units. We use this to prove the effective asymptotic Fermat's Last Theorem over $\mathbb{Q}_{n,p}$ for all $n \ge 1$ and all primes $p \ge 5$ that are non-Wieferich, i.e. $2^{p-1} \not \equiv 1 \pmod{p^2}$. The effectivity in our result builds on recent work of Thorne proving modularity of elliptic curves over $\mathbb{Q}_{n,p}$.
In 1876, Edouard Lucas showed that if an integer $b$ exists such that $b^{n-1} \equiv 1 (\mathrm{mod} \ n)$ and $b^{(n-1)/p} \not\equiv 1( \mathrm{mod} \ n)$ for all prime divisors $p$ of $n-1$ , then $n$ is prime, a result known as Lucas's converse of Fermat's little theorem. This result was considerably improved by Henry Pocklington in 1914 when he showed that it's not necessary to know all the prime factors of $n-1$ in order to determine if $n$ is prime. In this paper we optimize Pocklington's primality test for integers of the form $ap^{k}+1$ where $p$ is prime, $a<p$, $k\ge 1$. An extensi…
We consider the Diophantine equation $7x^{2} + y^{2n} = 4z^{3}$. We determine all solutions to this equation for $n = 2, 3, 4$ and $5$. We formulate a Kraus type criterion for showing that the Diophantine equation $7x^{2} + y^{2p} = 4z^{3}$ has no non-trivial proper integer solutions for specific primes $p > 7$. We computationally verify the criterion for all primes $7 < p < 10^9$, $p \neq 13$. We use the symplectic method and quadratic reciprocity to show that the Diophantine equation $7x^{2} + y^{2p} = 4z^{3}$ has no non-trivial proper solutions for a positive proportion of primes $p$. In th…
On Fermat-type equations of signature $(r,r,p)$
本文证明对无穷多个整数 C，费马型方程 x^r+y^r=Cz^p 在足够大的素数指数 p 下无非平凡本原解，方法结合多个 Frey 曲线、迹分离与水平降低。
Let $K$ be a totally real number field. For all prime number $p\geq 5$, let us denote by $F_p$ the Fermat curve of equation $x^p+y^p+z^p=0$. Under the assumption that $2$ is totally ramified in $K$, we establish some results about the set $F_p(K)$ of points of $F_p$ rational over $K$. We obtain a criterion so that the asymptotic Fermat's Last Theorem is true over $K$, criterion related to the set of Hilbert modular cusp newforms over $K$, of parallel weight $2$ and of level the prime ideal above $2$. It is often simply testable numerically, particularly if the narrow class number of $K$ is $1$…
Fermat's Last Theorem Implies Euclid's Infinitude of Primes
该研究借助费马大定理与舒尔组合定理给出小指数情形下欧几里得素数无穷性定理的新证明，还探讨了多个组合数论结果对该定理的蕴含，揭示其为诸多数学结果的必要条件。
The primary aim of this paper is to study the generalized Fermat equation \[ x^2+y^{2n} = z^{3p} \] in coprime integers $x$, $y$, and $z$, where $n \geq 2$ and $p$ is a fixed prime. Using modularity results over totally real fields and the explicit computation of Hilbert cuspidal eigenforms, we provide a complete resolution of this equation in the case $p=7$, and obtain an asymptotic result for fixed $p$. Additionally, using similar techniques, we solve a second equation, namely $x^{2\ell}+y^{2m} = z^{17}$, for primes $\ell,m \ne 5$.
The Fermat numbers have many notable properties, including order universality, coprimality, and definition by a recurrence relation. We use arbitrary elliptic curves and rational points of infinite order to generate sequences that are analogous to the Fermat numbers. We demonstrate that these sequences have many of the same properties as the Fermat numbers, and we discuss results about the prime factors of sequences generated by specific curves and points.
A complete formalization of Fermat's Last Theorem for regular primes in Lean
本研究在Lean4定理证明器中完成费马大定理正则素数情形的完整形式化证明，借助Hilbert第90-94定理证明核心的Kummer引理，相较类域论的现代证法更适配形式化需求。
E26 in the Enestrom index. Translated from the Latin original, "Observationes de theoremate quodam Fermatiano aliisque ad numeros primos spectantibus" (1732). In this paper Euler gives a counterexample to Fermat's claim that all numbers of the form 2^{2^m}+1 are primes, by showing 2^{2^5}+1=4294967297 is divisible by 641. He also considers many cases in which we are guaranteed that a number is composite, but he notes clearly that it is not possible to have a full list of circumstances under which a number is composite. He then gives a theorem and several corollaries of it, but he says that he …
In this paper, we consider some hybrid Diophantine equations of addition and multiplication. We first improve a result on new Hilbert-Waring problem. Then we consider the equation \begin{equation} \begin{cases} A+B=C ABC=D^n \end{cases} \end{equation} where $A,B,C,D,n \in\ZZ_{+}$ and $n\geq3$, which may be regarded as a generalization of Fermat's equation $x^n+y^n=z^n$. When $\gcd(A,B,C)=1$, $(1)$ is equivalent to Fermat's equation, which means it has no positive integer solutions. We discuss several cases for $\gcd(A,B,C)=p^k$ where $p$ is an odd prime. In particular, for $k=1$ we prove that …
The Fermat quotient $q_p(a):=(a^{p-1}-1)/p$, for prime $p\nmid a$, and the Wilson quotient $w_p:=((p-1)!+1)/p$ are integers. If $p\mid w_p,$ then $p$ is a Wilson prime. For odd $p,$ Lerch proved that $(\sum_{a=1}^{p-1} q_p(a) - w_p)/p$ is also an integer; we call it the Lerch quotient $\ell_p.$ If $p\mid\ell_p$ we say $p$ is a Lerch prime. A simple Bernoulli-number test for Lerch primes is proven. There are four Lerch primes 3, 103, 839, 2237 up to $3\times10^6$; we relate them to the known Wilson primes 5, 13, 563. Generalizations are suggested. Next, if $p$ is a non-Wilson prime, then $q_p(w…
Comments about the paper by Elsholz, Fermat's last theorem implies Euclid's infinitude of primes, (2021), and simplification.
We introduce a new class of pseudoprimes-so called "overpseudoprimes to base $b$", which is a subclass of strong pseudoprimes to base $b$. Denoting via $|b|_n$ the multiplicative order of $b$ modulo $n$, we show that a composite $n$ is overpseudoprime if and only if $|b|_d$ is invariant for all divisors $d>1$ of $n$. In particular, we prove that all composite Mersenne numbers $2^{p}-1$, where $p$ is prime, are overpseudoprime to base 2 and squares of Wieferich primes are overpseudoprimes to base 2. Finally, we show that some kinds of well known numbers are overpseudoprime to a base $b$.
Let $p$ be an odd prime number. Using modular arguments, we give an easy testable condition which allows often to prove Fermat's Last Theorem over the quadratic field ${\bf Q}(\sqrt{5})$ for the exponent $p$. It is related to the Wendt's resultant of the polynomials $X^n-1$ and $(X+1)^n-1$. We deduce Fermat's Last Theorem over this field in case one has $5\leq p<10^7$, and we obtain analogous results on Sophie Germain type criteria.
Fermat's Last Theorem for regular primes
本文使用Lean定理证明器及其数学库mathlib，形式化了正则素数的费马大定理第一情形的证明，并分析了形式化过程中的困难及解决方案。
Beyond and slightly aside of the Fermat Desert
本文利用分圆方法证明一类广义费马方程在互素整数及素数 p>3 条件下无解，并由此推出费马大定理。
Assuming a deep but standard conjecture in the Langlands programme, we prove Fermat's Last Theorem over $\mathbb Q(i)$. Under the same assumption, we also prove that, for all prime exponents $p \geq 5$, Fermat's equation $a^p+b^p+c^p=0$ does not have non-trivial solutions over $\mathbb Q(\sqrt{-2})$ and $\mathbb Q(\sqrt{-7})$.
The strong Fermat-Catalan Equation
本文利用分圆方法证明了强Fermat-Catalan方程在互素整数和不同奇素数条件下无解。
On the generalized Fermat equation of signature $(5,p,3)$
本文通过超几何动机和大图像猜想，证明了在特定条件下广义费马方程无非平凡原始解。
ABC Conjecture: $ABC = 2^m p^n q^r$ with Fermat or Mersenne Primes
研究了ABC猜想中关于费马和梅森素数的三元组解的有限性及具体构造。
This article deals with a conjecture, introduced in [GQ] (hereinafter $SFLT2$), which generalizes the second case of Fermat's Last Theorem: {\it Let $p>3$ be a prime. The diophantine equation $\frac{u^p+v^p}{u+v}=w_1^p$ with $u,v,u+v, w_1\in\Z\backslash\{0\}$, $u,v$ coprime and $v\equiv 0 \mod p$ has no solution.} Let $ζ$ be a $p$th primitive root of unity and $K:=\Q(ζ)$. A prime $q$ is said {\it $p$-principal} if the class of any prime ideal $\mathfrak q_K$ of $K$ over $q$ is a $p$-power of a class. Assume that $SFLT2$ fails for $(p,u,v)$. Let $q$ be any odd prime coprime with $puv$, $f$ the …
We prove that the Neron-Severi groups of several complex Fermat surfaces are generated by lines. Specifically, we obtain these new results for all degrees up to 100 that are relatively prime to 6. The proof uses reduction modulo a supersingular prime. The techniques are developed in detail. They can be applied to other surfaces and varieties as well.
For a pair $(E,P)$ of an elliptic curve $E/\mathbb{Q}$ and a nontorsion point $P\in E(\mathbb{Q})$, the sequence of \emph{elliptic Fermat numbers} is defined by taking quotients of terms in the corresponding elliptic divisibility sequence $(D_{n})_{n\in\mathbb{N}}$ with index powers of two, i.e. $D_{1}$, $D_{2}/D_{1}$, $D_{4}/D_{2}$, etc. Elliptic Fermat numbers share many properties with the classical Fermat numbers, $F_{k}=2^{2^k}+1$. In the present paper, we show that for magnified elliptic Fermat sequences, only finitely many terms are prime. We also define \emph{generalized elliptic Ferma…
Let p be a prime number, F a totally real field such that [F(mu_p): F]=2 and [F:Q] is odd. For delta \in F^times, let [delta] denote its class in F^times/F^{times p}. In this paper, we show Main Theorem. There are infinitely many classes [delta]\in F^times/F^{times p} such that the twisted affine Fermat curves W_delta: X^p+Y^p=delta have no F-rational points.
This article, complement to the article [Que], deals with some generalizations of Futwängler's theorems for the second case of Fermat's Last Theorem (FLT2). Let $p$ be an odd prime, $ζ$ a $p$th primitive root of unity, $K:=\Q(ζ)$ and $C\ell_K$ the class group of $K$. A prime $q$ is said $p$-principal if the class $c\ell_K (\mk q_K)\in C\ell_K$ of any prime ideal $\mk q_K$ of $\Z_K$ over $q$ is the $p$th power of a class. Assume that FLT2 fails for $(p,x,y,z)$ where $x, y, z$ are mutually coprime integers, $p$ divides $y$ and $x^p+y^p+z^p=0$. Let $q$ be a prime dividing $\frac{(x^p+y^p)(y^p+z^p…
Let $p$ be an odd prime number. In this paper, we are concerned with the behaviour of Fermat curves defined over ${\bf Q}$ given by equations $ax^p+by^p+cz^p=0$, with respect to the local-global Hasse principle. It is conjectured that there exist infinitely many Fermat curves of exponent $p$ which are counterexamples to the Hasse principle. It is a consequence of the abc-conjecture if $p\geq 5$. Using a cyclotomic approach due to H. Cohen and Chebotarev's density theorem, we obtain a partial result towards this conjecture, by proving it for $p\leq 19$.
It is still open whether there exist infinitely many Fermat primes or infinitely many composite Fermat numbers. The same question concerning the Mersenne numbers is also unsolved. Extending some results from [9], we characterizethe the Fermat primes and the Mersenne primes in terms of topological minimality of some matrix groups. This is done by showing, among other things, that if $\Bbb{F}$ is a subfield of a local field of characteristic $\neq 2,$ then the special upper triangular group $\operatorname{ST^+}(n,\Bbb{F})$ is minimal precisely when the special linear group $\operatorname{SL}(n,\…
We solve the Diophantine equations $x^5 + y^5 = dz^p$ with $d=2, 3$ for a set of prime numbers of density 1/4, 1/2, respectively. The method consists in relating a possible solution to another Diophantine equation and solving the later by using Q-curves and a generalized modular technique as in work of Ellenberg and Dieulefait-Jimenez along with some new techniques for eliminating newforms.
Let $p$ be a prime number. In the early 2000s, it was proved that the Fermat equations with coefficients \[3x^p + 8y^p + 21z^p =0\quad \text{ and } \quad 3x^p + 4y^p + 5z^p=0 \] do not admit non-trivial solutions for a set of exponents $p$ with Dirichlet density ${1/4}$ and ${1/8}$, respectively. In this note, using a recent criterion to decide if two elliptic curves over $\mathbb{Q}$ with certain types of additive reduction at 2 have symplectically isomorphic $p$-torsion modules, we improve these densities to ${3/8}$.
In the present article, we extend previous results of the author and we show that when $K$ is any quadratic imaginary field of class number one, Fermat's equation $a^p+b^p+c^p=0$ does not have integral coprime solutions $a,b,c \in K \setminus \{ 0 \}$ such that $2 \mid abc$ and $p \geq 19$ is prime. The results are conjectural upon the veracity of a natural generalisation of Serre's modularity conjecture.
Our aim is to study topological minimality of some natural matrix groups. We show that the special upper triangular group $SUT(n,\mathbb{F})$ is minimal for every local field $\mathbb{F}$ of characteristic $\neq 2$. This result is new even for the field $\mathbb{R}$ of reals and it leads to some important consequences. We prove criteria for the minimality and total minimality of the special linear group $SL(n,\mathbb{F})$, where $\mathbb{F}$ is a subfield of a local field. This extends some known results of Remus-Stoyanov (1991) and Bader-Gelander (2017). One of our main applications is a char…
Let $a,b,c$ be relatively prime positive integers such that $a^{2}+b^{2}=c^{2}.$ In 1956, Jeśmanowicz conjectured that for any positive integer $n$, the only solution of $(an)^{x}+(bn)^{y}=(cn)^{z}$ in positive integers is $(x,y,z)=(2,2,2)$. Let $k\geq 1$ be an integer and $F_k=2^{2^k}+1$ be a Fermat number. In this paper, we show that Jeśmanowicz' conjecture is true for Pythagorean triples $(a,b,c)=(F_k-2,2^{2^{k-1}+1},F_k)$.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。