Generalized Fermat Divisors (base=3)

This page : Definition(s) | Records | References | Related Pages |

The Prime Pages

The Prime Pages keeps a list of the 5000 largest known primes, plus a few each of certain selected archivable forms and classes. These forms are defined in this collection's home page. This page is about one of those forms. Comments and suggestions requested.

Definitions and Notes

The numbers F_b,n =

(with b an integer greater than one) are called the generalized Fermat numbers. (In the Prime database they are denoted GF(n,b) to avoid the use of subscripts.) It is reasonable to conjecture that for each base b, there are only finitely many such primes.

As in the case of the Fermat numbers, many have interested in the form and distribution of the divisors of these numbers. When b is even, each of their divisors must have the form

k^.2^m+1

with k odd and m>n. For this reason, when we find a large prime of the form k^.2ⁿ+1 (with k small), we usually check to see if it divides a Fermat number. For example, Gallot's Win95 program Proth.exe has this test built in for a few choices of b.

The number k^.2ⁿ+1 (k odd) will divide some generalized Fermat number for roughly 1/k of the bases b.

Record Primes of this Type

rank prime digits who when comment

1 3 · 2^7033641 + 1 2117338 L2233 Feb 2011 Divides GF(7033639, 3)
2 3 · 2^5082306 + 1 1529928 L780 Apr 2009 Divides GF(5082303, 3), GF(5082305, 5)
3 11 · 2^2897409 + 1 872209 L2973 Feb 2013 Divides GF(2897408, 3)
4 39 · 2^2705367 + 1 814399 L1576 Apr 2013 Divides GF(2705360, 3)
5 9 · 2^2543551 + 1 765687 L1204 Jun 2011 Divides Fermat F(2543548), GF(2543549, 3), GF(2543549, 6), GF(2543549, 12)
6 3 · 2^2478785 + 1 746190 g245 Oct 2003 Divides Fermat F(2478782), GF(2478782, 3), GF(2478776, 6), GF(2478782, 12)
7 3 · 2^2291610 + 1 689844 L753 Aug 2008 Divides GF(2291607, 3), GF(2291609, 5)
8 11 · 2^2230369 + 1 671410 L2561 Sep 2011 Divides GF(2230368, 3)
9 3 · 2^2145353 + 1 645817 g245 Feb 2003 Divides Fermat F(2145351), GF(2145351, 3), GF(2145352, 5), GF(2145348, 6), GF(2145352, 10), GF(2145351, 12)
10 17 · 2^1990299 + 1 599141 g267 Mar 2006 Divides GF(1990298, 3)
11 3 · 2^1832496 + 1 551637 p189 Jul 2007 Divides GF(1832490, 3), GF(1832494, 5)
12 13 · 2^1499876 + 1 451509 g267 Dec 2004 Divides GF(1499875, 3)
13 95 · 2^1433853 + 1 431635 L2503 Jul 2011 Divides GF(1433852, 3)
14 5 · 2^1282755 + 1 386149 g55 Jun 2002 Divides GF(1282754, 3), GF(1282748, 5)
15 15 · 2^1276177 + 1 384169 g279 Feb 2006 Divides GF(1276174, 3), GF(1276174, 10)
16 83 · 2^1154617 + 1 347577 L446 Mar 2010 Divides GF(1154616, 3)
17 101 · 2^1142981 + 1 344074 L1446 Feb 2011 Divides GF(1142980, 3)
18 873 · 2⁹²²⁵⁴⁵ + 1 277717 L153 Nov 2010 Divides GF(922543, 3)
19 3 · 2⁹¹⁶⁷⁷³ + 1 275977 g245 Jun 2001 Divides GF(916771, 3), GF(916772, 10)
20 35 · 2⁸³¹⁴¹¹ + 1 250282 g279 Jun 2006 Divides GF(831410, 3)

Wilfrid Keller's Factors of generalized Fermat numbers found after Björn & Riesel

References

BR98
A. Björn and H. Riesel, "Factors of generalized Fermat numbers," Math. Comp., 67 (1998) 441--446. MR 98e:11008 (Abstract available)
DK95
H. Dubner and W. Keller, "Factors of generalized Fermat numbers," Math. Comp., 64 (1995) 397--405. MR 95c:11010
RB94
H. Riesel and A. Börn, Generalized Fermat numbers. In "Mathematics of Computation 1943-1993: A Half-Century of Computational Mathematics," W. Gautschi editor, Proc. Symp. Appl. Math. Vol, 48, Amer. Math. Soc., Providence, RI, 1994. pp. 583-587, MR 95j:11006
Riesel69
H. Riesel, "Some factors of the numbers G_n = 6^2ⁿ + 1 and H_n = 10^2ⁿ + 1," Math. Comp., 23:106 (1969) 413--415. MR 39:6813