Currently there may be errors shown on top of a page, because of a missing Wiki update (PHP version and extension DPL3).
Navigation
Topics Help • Register • News • History • How to • Sequences statistics • Template prototypes

Difference between revisions of "Generalized Fermat number"

From Prime-Wiki
Jump to: navigation, search
(restored)
 
(cat. changed)
Line 15: Line 15:
 
#They satisfy a product property like Fermat numbers have. And every <math>F_{n,r}</math> passes Fermat's test to base 2.
 
#They satisfy a product property like Fermat numbers have. And every <math>F_{n,r}</math> passes Fermat's test to base 2.
  
Saouter has proven that <math>F_{n,2}</math> numbers can be proven prime by using the [Pepin's test] with k=5.
+
Saouter has proven that <math>F_{n,2}</math> numbers can be proven prime by using the [[Pépin's test]] with k=5.
  
 
==Dubner==
 
==Dubner==
In 1985, Dubner for the first time built a list of large primes of the form: <math>b^{2^m}+1 \ ,\ b>=2 \ , \ m>=1</math>.
+
In 1985, Dubner for the first time built a list of large primes of the form: b<sup>2<sup>m</sup></sup>+1, ''b &ge; 2'' and ''m &ge; 1''.
  
 
==Björn & Riesel==
 
==Björn & Riesel==
In 1998, Björn & Riesel for the first time built a list of large primes of the form: <math>a^{2^m}+b^{2^m} \ , \ b>a>=2 \ , \ m>=1</math>.
+
In 1998, Björn & Riesel for the first time built a list of large primes of the form: a<sup>2<sup>m</sup></sup>+b<sup>2<sup>m</sup></sup>, ''b > a &ge; 2'' and ''m &ge; 1''.
  
 
==External links==
 
==External links==
 +
*[[Wikipedia:Fermat_number#Generalized_Fermat_numbers|Generalized Fermat numbers]]
 
*[http://www.alpertron.com.ar/MODFERM.HTM Factorization of numbers of the form F<sub>n,2</sub>]: it includes a program to factor generalized Fermat numbers.
 
*[http://www.alpertron.com.ar/MODFERM.HTM Factorization of numbers of the form F<sub>n,2</sub>]: it includes a program to factor generalized Fermat numbers.
 
*<s><nowiki>http://www1.uni-hamburg.de/RRZ/W.Keller/GFNfacs.html</nowiki></s> Factors of generalized Fermat numbers found after Björn & Riesel] (not available anymore)
 
*<s><nowiki>http://www1.uni-hamburg.de/RRZ/W.Keller/GFNfacs.html</nowiki></s> Factors of generalized Fermat numbers found after Björn & Riesel] (not available anymore)
Line 34: Line 35:
 
==References==
 
==References==
 
*Anders Björn and Hans Riesel, Factors of generalized Fermat numbers, ''Math. Comp.'' 67 (1998), pp. 441-446
 
*Anders Björn and Hans Riesel, Factors of generalized Fermat numbers, ''Math. Comp.'' 67 (1998), pp. 441-446
[[Category:Math]]
+
[[Category:Numbers]]

Revision as of 08:48, 8 February 2019

There are different kinds of generalized Fermat numbers.

John Cosgrave

John Cosgrave has studied the following numbers:

Numbers of the form: [math]\displaystyle{ F_{n,r} = \sum_{i=0}^{p-1} \ 2^{i p^{n}} \ = \ 2^{(p-1)p^n}+2^{(p-2)p^n}+...+2^{2p^n}+2^{p^n}+1 \ = \ (2^{p^{n+1}}-1)/(2^{p^n}-1) }[/math] where p is the prime of apparition rank r (r(2)=1, r(3)=2, r(5)=3, ...) and n is greater or equal to 0.

[math]\displaystyle{ F_{0,r} }[/math] generates the Mersenne numbers.
[math]\displaystyle{ F_{n,1} }[/math] generates the Fermat numbers.
[math]\displaystyle{ F_{n,2} }[/math] generates the Saouter numbers.

Cosgrave has proven the following properties:

  1. If number [math]\displaystyle{ \sum_{i=0}^{p-1}\ (2^i)^{m} \ }[/math] is prime, then [math]\displaystyle{ m=p^n }[/math].
  2. [math]\displaystyle{ F_{n,r} }[/math] numbers are pairwise relatively prime within a rank and across ranks: [math]\displaystyle{ gcd(F_{n,i},F_{m,j}) =1 }[/math] for all n, m, i and j.
  3. They satisfy a product property like Fermat numbers have. And every [math]\displaystyle{ F_{n,r} }[/math] passes Fermat's test to base 2.

Saouter has proven that [math]\displaystyle{ F_{n,2} }[/math] numbers can be proven prime by using the Pépin's test with k=5.

Dubner

In 1985, Dubner for the first time built a list of large primes of the form: b2m+1, b ≥ 2 and m ≥ 1.

Björn & Riesel

In 1998, Björn & Riesel for the first time built a list of large primes of the form: a2m+b2m, b > a ≥ 2 and m ≥ 1.

External links

References

  • Anders Björn and Hans Riesel, Factors of generalized Fermat numbers, Math. Comp. 67 (1998), pp. 441-446