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
(cat. changed)
m
 
(7 intermediate revisions by 2 users not shown)
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 [[Pépin's test]] with k=5.
+
Saouter has proven that <math>F_{n,2}</math> numbers can be proven prime by using [[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: b<sup>2<sup>m</sup></sup>+1, ''b &ge; 2'' and ''m &ge; 1''.
 
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''.
 +
 +
See also: H.Dubner, W.Keller: "Factors of generalized Fermat numbers" (1995)<ref>[https://www.ams.org/journals/mcom/1995-64-209/S0025-5718-1995-1270618-1/ H.Dubner, W.Keller: "Factors of generalized Fermat numbers"] ''Math. Comp.'' 64 (1995), 397-405</ref>
  
 
==Björn & Riesel==
 
==Björn & Riesel==
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''.
+
In 1998, Björn & Riesel<ref>[https://www.ams.org/journals/mcom/1998-67-221/S0025-5718-98-00891-6/ A.Björn, H.Riesel: "Factors of generalized Fermat numbers"], ''Math. Comp.'' 67 (1998), pp. 441-446</ref> 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''.
 +
 
 +
==Notes for this Wiki==
 +
Divisibilities of [[Generalized Fermat number]]s for any [[Proth prime|Proth primes {{Kbn|+|k|n}}]] are listed as ''GF Divisor'' on their own page. They are listed as '''F(n)''', '''GF(n,a)''' or '''xGF(n,a,b)''' as used by the output of [[PFGW]] or at the [[The Prime Pages]].
 +
 
 +
To test any Proth prime for divisibilities of Generalized Fermat numbers the program PFGW can be used. For example to test {{NPr|3|41}} call
 +
<nowiki>pfgw -gxo -a2 -q"3*2^41+1"</nowiki>
 +
which results in
 +
<nowiki>
 +
3*2^41+1 is a Factor of F38!!!! (0.000000 seconds)
 +
3*2^41+1 is a Factor of GF(38,3)!!!! (0.000000 seconds)
 +
3*2^41+1 is a Factor of xGF(37,3,2)!!!! (0.000000 seconds)
 +
3*2^41+1 is a Factor of xGF(38,4,3)!!!! (0.000000 seconds)
 +
3*2^41+1 is a Factor of GF(35,6)!!!! (0.000000 seconds)
 +
3*2^41+1 is a Factor of xGF(36,8,3)!!!! (0.000000 seconds)
 +
3*2^41+1 is a Factor of xGF(38,9,2)!!!! (0.000000 seconds)
 +
3*2^41+1 is a Factor of xGF(38,9,8)!!!! (0.000000 seconds)
 +
3*2^41+1 is a Factor of xGF(39,11,7)!!!! (0.000000 seconds)
 +
3*2^41+1 is a Factor of GF(38,12)!!!! (0.000000 seconds)
 +
GFN testing completed</nowiki>
 +
listed on the [[GF Divisor 3 41|GF Divisor page]].
 +
 
 +
Only proper factors of Generalized Fermat numbers are listed.
 +
 
 +
==Special conditions for Proth primes==
 +
A Proth prime written in the normalized form {{Kbn|+|k|b|n}} is also a Generalized Fermat number under special conditions:
 +
 
 +
If the {{Vk}}-value is a square and the {{Vn}}-value even the Proth prime {{Kbn|+|k|b|n}} is also a Generalized Fermat number of the form
 +
:<math>\Large (\sqrt{k}\cdot b^{n\over 2})^{2^1} + 1</math>.
 +
Example: The Proth prime [[Proth prime 2 289|{{Kbn|+|289|18502}}]] is also a Generalized Fermat number of the form {{Kbn|+|1|(17*2<sup>9251</sup>)|2<sup>1</sup>}}. See {{T5000|23436|289*2<sup>18502</sup>+1}} which is also a [[Cullen prime 2|Cullen prime]].
  
 
==External links==
 
==External links==
 
*[[Wikipedia:Fermat_number#Generalized_Fermat_numbers|Generalized Fermat numbers]]
 
*[[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)
+
*[http://prothsearch.com/GFNfacs.html Factors of generalized Fermat numbers found after Björn & Riesel]
 
*[http://members.cox.net/jfoug/GFNFacts_Riesel.html Factors of generalized Fermat numbers found after Björn & Riesel (original)]
 
*[http://members.cox.net/jfoug/GFNFacts_Riesel.html Factors of generalized Fermat numbers found after Björn & Riesel (original)]
 
*[http://mathworld.wolfram.com/GeneralizedFermatNumber.html MathWorld article]
 
*[http://mathworld.wolfram.com/GeneralizedFermatNumber.html MathWorld article]
Line 34: Line 65:
  
 
==References==
 
==References==
*Anders Björn and Hans Riesel, Factors of generalized Fermat numbers, ''Math. Comp.'' 67 (1998), pp. 441-446
+
<references />
[[Category:Number]]
+
{{Navbox Generalized Fermat numbers}}
 +
[[Category:Generalized Fermat number| ]]

Latest revision as of 09:57, 12 September 2021

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 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.

See also: H.Dubner, W.Keller: "Factors of generalized Fermat numbers" (1995)[1]

Björn & Riesel

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

Notes for this Wiki

Divisibilities of Generalized Fermat numbers for any Proth primes k•2n+1 are listed as GF Divisor on their own page. They are listed as F(n), GF(n,a) or xGF(n,a,b) as used by the output of PFGW or at the The Prime Pages.

To test any Proth prime for divisibilities of Generalized Fermat numbers the program PFGW can be used. For example to test Proth 3•241+1 call

pfgw -gxo -a2 -q"3*2^41+1"

which results in

3*2^41+1 is a Factor of F38!!!! (0.000000 seconds)
3*2^41+1 is a Factor of GF(38,3)!!!! (0.000000 seconds)
3*2^41+1 is a Factor of xGF(37,3,2)!!!! (0.000000 seconds)
3*2^41+1 is a Factor of xGF(38,4,3)!!!! (0.000000 seconds)
3*2^41+1 is a Factor of GF(35,6)!!!! (0.000000 seconds)
3*2^41+1 is a Factor of xGF(36,8,3)!!!! (0.000000 seconds)
3*2^41+1 is a Factor of xGF(38,9,2)!!!! (0.000000 seconds)
3*2^41+1 is a Factor of xGF(38,9,8)!!!! (0.000000 seconds)
3*2^41+1 is a Factor of xGF(39,11,7)!!!! (0.000000 seconds)
3*2^41+1 is a Factor of GF(38,12)!!!! (0.000000 seconds)
GFN testing completed

listed on the GF Divisor page.

Only proper factors of Generalized Fermat numbers are listed.

Special conditions for Proth primes

A Proth prime written in the normalized form kbn+1 is also a Generalized Fermat number under special conditions:

If the k-value is a square and the n-value even the Proth prime kbn+1 is also a Generalized Fermat number of the form

[math]\displaystyle{ \Large (\sqrt{k}\cdot b^{n\over 2})^{2^1} + 1 }[/math].

Example: The Proth prime 289•218502+1 is also a Generalized Fermat number of the form (17*29251)21+1. See 289*218502+1 which is also a Cullen prime.

External links

References

Generalized Fermat numbers
Miscellaneous
Fermat numbers
Gen. Fermat primes
Gen. Fermat primes
Gen. Fermat primes
categories
GF Divisors