फ़र्मेट संख्या

गणित में, एक फ़र्मेट संख्या, जिसका नाम पियरे डी फ़र्मेट के नाम पर रखा गया है, जिन्होंने सबसे पहले उनका अध्ययन किया था, इस रूप की एक प्राकृतिक संख्या है


 * $$F_{n} = 2^{2^n} + 1,$$

जहाँ n एक गैर-ऋणात्मक पूर्णांक है। पहले कुछ फ़र्मेट नंबर हैं:
 * 3 (संख्या), 5 (संख्या), 17 (संख्या), 257 (संख्या), 65537 (संख्या), 4294967297, 18446744073709551617, ....

यदि 2k+1 अभाज्य संख्या है और k > 0, तो k 2 की घात होनी चाहिए, इसलिए 2k + 1 एक फ़र्मेट संख्या है; ऐसे अभाज्यों को फर्मेट अभाज्य कहा जाता है।, एकमात्र ज्ञात फ़र्मेट प्राइम हैं F0 = 3, F1 = 5, F2 = 17, F3 = 257, और F4 = 65537 ; अनुमान बताते हैं कि अब और नहीं हैं।

बुनियादी गुण
फ़र्मेट संख्याएँ निम्नलिखित पुनरावृत्ति संबंधों को संतुष्ट करती हैं:



F_{n} = (F_{n-1}-1)^{2}+1$$

F_{n} = F_{0} \cdots F_{n-1} + 2$$ n ≥ 1 के लिए,



F_{n} = F_{n-1} + 2^{2^{n-1}}F_{0} \cdots F_{n-2}$$

F_{n} = F_{n-1}^2 - 2(F_{n-2}-1)^2$$ के लिए n ≥ 2. इनमें से प्रत्येक संबंध को गणितीय प्रेरण द्वारा सिद्ध किया जा सकता है। दूसरे समीकरण से, हम गोल्डबैक के प्रमेय (क्रिश्चियन गोल्डबैक के नाम पर) का अनुमान लगा सकते हैं: कोई भी दो फ़र्मेट संख्या सहअभाज्य नहीं है। ये देखना है तो वो मान लो 0 ≤ i < j और एफi और एफj एक सामान्य कारक है a > 1. फिर a दोनों को विभाजित करता है


 * $$F_{0} \cdots F_{j-1}$$

और एफj; इसलिए a उनके अंतर को विभाजित करता है, 2. चूँकि a > 1, यह बल देता है a = 2. यह एक विरोधाभास है, क्योंकि प्रत्येक फ़र्मेट संख्या स्पष्ट रूप से विषम है। परिणाम के रूप में, हमें अभाज्य संख्याओं की अनंतता का एक और प्रमाण प्राप्त होता है: प्रत्येक F के लिएn, एक अभाज्य गुणनखंड p चुनेंn; फिर क्रम $\{p_{n}\}$ अलग-अलग अभाज्य संख्याओं का एक अनंत अनुक्रम है।

अतिरिक्त गुण

 * किसी भी फ़र्मेट प्राइम को दो pth घातों के अंतर के रूप में व्यक्त नहीं किया जा सकता है, जहाँ p एक विषम प्राइम है।
 * एफ को छोड़कर0 और एफ1, फ़र्मेट संख्या का अंतिम अंक 7 है।
 * सभी फ़र्मेट संख्याओं के व्युत्क्रमों का योग अपरिमेय संख्या है. (सोलोमन डब्ल्यू गोलोम्ब, 1963)

प्राचीनता
फ़र्मेट संख्याओं और फ़र्मेट प्राइम का अध्ययन सबसे पहले पियरे डी फ़र्मेट द्वारा किया गया था, जिन्होंने अनुमान लगाया था कि सभी फ़र्मेट संख्याएँ अभाज्य हैं। दरअसल, पहले पांच फ़र्मेट नंबर एफ0, ..., एफ4 आसानी से प्रधान दिखाया जाता है। 1732 में लियोनहार्ड यूलर ने फ़र्मेट के अनुमान का खंडन किया जब उन्होंने दिखाया कि


 * $$ F_{5} = 2^{2^5} + 1 = 2^{32} + 1 = 4294967297 = 641 \times 6700417. $$

यूलर ने सिद्ध किया कि F का प्रत्येक गुणनखंडn फॉर्म होना चाहिए k2n+1 + 1 (बाद में इसमें सुधार किया गया k2n+2 + 1एडौर्ड लुकास द्वारा) के लिए n ≥ 2.

वह 641 F का एक गुणनखंड है5 समानता 641=2 से अनुमान लगाया जा सकता है7×5+1 और 641=24 +54. प्रथम समानता से यह निष्कर्ष निकलता है कि 27 × 5 ≡-−1 (मॉड 641) और इसलिए (चौथी घात तक बढ़ाते हुए) कि 228×54 ≡ 1 (मॉड 641)। दूसरी ओर, दूसरी समानता का तात्पर्य है कि 54 ≡ −24 (मॉड 641). इन मॉड्यूलर अंकगणित का अर्थ है कि 232 ≡ −1 (mod 641).

फ़र्मेट को संभवतः यूलर द्वारा बाद में सिद्ध किए गए कारकों के स्वरूप के बारे में पता था, इसलिए यह उत्सुक लगता है कि वह कारक को खोजने के लिए सीधी गणना का पालन करने में विफल रहा। एक सामान्य व्याख्या यह है कि फ़र्मेट ने एक कम्प्यूटेशनल गलती की है।

कोई अन्य ज्ञात फ़र्मेट प्राइम्स एफ नहीं हैंn साथ n > 4, लेकिन बड़े n के लिए फ़र्मेट संख्याओं के बारे में बहुत कम जानकारी है। वास्तव में, निम्नलिखित में से प्रत्येक एक खुली समस्या है:
 * एफ हैn सभी के लिए भाज्य संख्या n > 4?
 * क्या फ़र्मेट अभाज्य अनंत रूप से अनेक हैं? (गोटथोल्ड आइज़ेंस्टीन 1844 )
 * क्या मिश्रित फ़र्मेट संख्याएँ अपरिमित रूप से अनेक हैं?
 * क्या कोई फ़र्मेट संख्या मौजूद है जो वर्ग-मुक्त संख्या|वर्ग-मुक्त नहीं है?

, यह ज्ञात है कि एफn के लिए समग्र है 5 ≤ n ≤ 32, हालांकि इनमें से, एफ का पूर्ण गुणनखंडनn के लिए ही जाने जाते हैं 0 ≤ n ≤ 11, और इसके लिए कोई ज्ञात प्रमुख कारक नहीं हैं n = 20 और n = 24. मिश्रित मानी जाने वाली सबसे बड़ी फ़र्मेट संख्या F है18233954, और इसका प्रमुख कारक 7 × 218233956 + 1 की खोज अक्टूबर 2020 में हुई थी।

विवेकपूर्ण तर्क
अनुमान बताते हैं कि एफ4 अंतिम फ़र्मेट प्राइम है।

अभाज्य संख्या प्रमेय का तात्पर्य है कि N के चारों ओर एक उपयुक्त अंतराल में एक यादृच्छिक पूर्णांक संभाव्यता 1 के साथ अभाज्य है/एलएन एन. यदि कोई अनुमान का उपयोग करता है कि एक फ़र्मेट संख्या उसके आकार के यादृच्छिक पूर्णांक के समान संभावना के साथ अभाज्य है, और वह एफ5, ..., एफ32 मिश्रित हैं, तो F से परे फ़र्मेट अभाज्यों की अपेक्षित संख्या4 (या समकक्ष, एफ से परे32) होना चाहिए
 * $$ \sum_{n \ge 33} \frac{1}{\ln F_{n}} < \frac{1}{\ln 2} \sum_{n \ge 33} \frac{1}{\log_2(2^{2^n})} = \frac{1}{\ln 2} 2^{-32} < 3.36 \times 10^{-10}.$$

कोई इस संख्या की व्याख्या इस संभावना की ऊपरी सीमा के रूप में कर सकता है कि F से परे एक फ़र्मेट प्राइम है4 मौजूद।

यह तर्क कोई कठोर प्रमाण नहीं है. एक बात के लिए, यह माना जाता है कि फ़र्मेट संख्याएँ यादृच्छिक रूप से व्यवहार करती हैं, लेकिन फ़र्मेट संख्याओं के कारकों में विशेष गुण होते हैं। बोकलान और जॉन एच. कॉनवे ने एक अधिक सटीक विश्लेषण प्रकाशित किया जिसमें बताया गया कि एक और फ़र्मेट प्राइम होने की संभावना एक अरब में एक से भी कम है।

समतुल्य स्थितियाँ
होने देना $$F_n=2^{2^n}+1$$ nवाँ फ़र्मेट नंबर हो। पेपिन का परीक्षण बताता है कि n > 0,


 * $$F_n$$ प्रधान है यदि और केवल यदि $$3^{(F_n-1)/2}\equiv-1\pmod{F_n}.$$

इजहार $$3^{(F_n-1)/2}$$ मॉड्यूलो का मूल्यांकन किया जा सकता है $$F_n$$ घातांक द्वारा, वर्ग करके। यह परीक्षण को एक तेज़ बहुपद-समय एल्गोरिथ्म बनाता है। लेकिन फ़र्मेट संख्याएँ इतनी तेज़ी से बढ़ती हैं कि उनमें से केवल मुट्ठी भर का ही उचित मात्रा और स्थान में परीक्षण किया जा सकता है।

फॉर्म के नंबरों के लिए कुछ परीक्षण होते हैं k2m + 1, जैसे कि फ़र्मेट संख्या के कारक, आदिमता के लिए।


 * प्रोथ का प्रमेय (1878)। होने देना N = k2m + 1 विषम के साथ k < 2m. यदि कोई पूर्णांक ऐसा है
 * $$a^{(N-1)/2} \equiv -1\pmod{N}$$
 * तब $$N$$ प्रधान है. इसके विपरीत, यदि उपरोक्त अनुरूपता कायम नहीं है, और इसके अतिरिक्त
 * $$\left(\frac{a}{N}\right)=-1$$ (जेकोबी प्रतीक देखें)
 * तब $$N$$ समग्र है.

अगर N = Fn > 3, तो उपरोक्त जैकोबी प्रतीक हमेशा −1 के बराबर होता है a = 3, और प्रोथ के प्रमेय के इस विशेष मामले को पेपिन परीक्षण के रूप में जाना जाता है। हालाँकि पेपिन के परीक्षण और प्रोथ के प्रमेय को कुछ फ़र्मेट संख्याओं की समग्रता को साबित करने के लिए कंप्यूटर पर लागू किया गया है, लेकिन कोई भी परीक्षण एक विशिष्ट गैर-तुच्छ कारक नहीं देता है। वास्तव में, कोई विशिष्ट अभाज्य कारक ज्ञात नहीं हैं n = 20 और 24.

गुणनखंडीकरण
फ़र्मेट संख्याओं के आकार के कारण, गुणनखंड बनाना या यहां तक ​​कि प्रारंभिकता की जांच करना भी मुश्किल है। पेपिन का परीक्षण फ़र्मेट संख्याओं की प्रारंभिकता के लिए एक आवश्यक और पर्याप्त स्थिति देता है, और इसे आधुनिक कंप्यूटरों द्वारा कार्यान्वित किया जा सकता है। अण्डाकार वक्र विधि संख्याओं के छोटे अभाज्य विभाजक ज्ञात करने की एक तेज़ विधि है। वितरित कंप्यूटिंग परियोजना Fermatsearch ने Fermat संख्याओं के कुछ कारक ढूंढे हैं। यवेस गैलोट के proth.exe का उपयोग बड़े फ़र्मेट संख्याओं के गुणनखंडों को खोजने के लिए किया गया है। एडौर्ड लुकास ने यूलर के उपर्युक्त परिणाम में सुधार करते हुए 1878 में साबित किया कि फ़र्मेट संख्या का प्रत्येक कारक $$F_n$$, कम से कम 2 के साथ, फॉर्म का है $$k\times2^{n+2}+1$$ (प्रोथ संख्या देखें), जहां k एक धनात्मक पूर्णांक है। अपने आप में, इससे ज्ञात फ़र्मेट अभाज्यों की आदिमता को सिद्ध करना आसान हो जाता है।

पहले बारह फ़र्मेट संख्याओं के गुणनखंडन इस प्रकार हैं:




 * - valign="top"
 * F0 ||=|| 21||+||1 ||=||3 is prime||
 * - valign="top"
 * F1 ||=|| 22||+||1 ||=||5 is prime||
 * - valign="top"
 * F2 ||=|| 24||+||1 ||=||17 is prime||
 * - valign="top"
 * F3 ||=|| 28||+||1 ||=||257 is prime||
 * - valign="top"
 * F4 ||=|| 216||+||1 ||=||65,537 is the largest known Fermat prime||
 * - valign="top"
 * F5 ||=|| 232||+||1 ||=||4,294,967,297||
 * - style="background:white; color:#700000"
 * || || || || ||=||641 × 6,700,417 (fully factored 1732 )
 * - valign="top"
 * F6 ||=|| 264||+||1 ||=||18,446,744,073,709,551,617 (20 digits) ||
 * - style="background:white; color:#700000"
 * || || || || ||=||274,177 × 67,280,421,310,721 (14 digits) (fully factored 1855)
 * - valign="top"
 * F7 ||=|| 2128||+||1 ||=||340,282,366,920,938,463,463,374,607,431,768,211,457 (39 digits)||
 * - style="background:white; color:#700000"
 * || || || || ||=||59,649,589,127,497,217 (17 digits) × 5,704,689,200,685,129,054,721 (22 digits) (fully factored 1970)
 * - valign="top"
 * F8 ||=|| 2256||+||1 ||=||115,792,089,237,316,195,423,570,985,008,687,907,853,269,984,665,640,564,039,457,584,007,913,129, 639,937 (78 digits)||
 * - style="background:white; color:#700000; vertical-align:top"
 * || || || || ||=||1,238,926,361,552,897 (16 digits) × 93,461,639,715,357,977,769,163,558,199,606,896,584,051,237,541,638,188,580,280,321 (62 digits) (fully factored 1980)
 * - valign="top"
 * F9 ||=|| 2512||+||1 ||=||13,407,807,929,942,597,099,574,024,998,205,846,127,479,365,820,592,393,377,723,561,443,721,764,0 30,073,546,976,801,874,298,166,903,427,690,031,858,186,486,050,853,753,882,811,946,569,946,433,6 49,006,084,097 (155 digits)||
 * - style="background:white; color:#700000; vertical-align:top"
 * || || || || ||=|| 2,424,833 × 7,455,602,825,647,884,208,337,395,736,200,454,918,783,366,342,657 (49 digits) × 741,640,062,627,530,801,524,787,141,901,937,474,059,940,781,097,519,023,905,821,316,144,415,759, 504,705,008,092,818,711,693,940,737 (99 digits) (fully factored 1990)
 * - valign="top"
 * F10 ||=|| 21024||+||1
 * =||179,769,313,486,231,590,772,930...304,835,356,329,624,224,137,217 (309 digits)||
 * - style="background:white; color:#700000; vertical-align:top"
 * || || || || ||=||45,592,577 × 6,487,031,809 × 4,659,775,785,220,018,543,264,560,743,076,778,192,897 (40 digits) × 130,439,874,405,488,189,727,484...806,217,820,753,127,014,424,577 (252 digits) (fully factored 1995)
 * - valign="top"
 * F11 ||=|| 22048||+||1
 * =||32,317,006,071,311,007,300,714,8...193,555,853,611,059,596,230,657 (617 digits)||
 * - style="background:white; color:#700000; vertical-align:top"
 * || || || || ||=|| 319,489 × 974,849 × 167,988,556,341,760,475,137 (21 digits) × 3,560,841,906,445,833,920,513 (22 digits) × 173,462,447,179,147,555,430,258...491,382,441,723,306,598,834,177 (564 digits) (fully factored 1988)
 * }
 * }

, केवल एफ0 एफ को11 पूरी तरह से पूर्णांक गुणनखंडन किया गया है। वितरित कंप्यूटिंग प्रोजेक्ट फ़र्मेट सर्च फ़र्मेट संख्याओं के नए कारकों की खोज कर रहा है। पूर्णांक अनुक्रमों के ऑन-लाइन विश्वकोश में सभी फ़र्मेट कारकों का सेट OEIS:A050922 (या, क्रमबद्ध, OEIS:A023394) है।

फ़र्मेट संख्या के निम्नलिखित कारक 1950 से पहले ज्ञात थे (तब से, डिजिटल कंप्यूटर ने अधिक कारकों को खोजने में मदद की है):

, फ़र्मेट संख्याओं के 362 अभाज्य गुणनखंड ज्ञात हैं, और 318 फ़र्मेट संख्याओं को मिश्रित माना जाता है। हर साल कई नए फ़र्मेट कारक पाए जाते हैं।

स्यूडोप्राइम्स और फ़र्मेट संख्याएँ
प्रपत्र 2 की भाज्य संख्याओं की तरहपी - 1, प्रत्येक मिश्रित फ़र्मेट संख्या आधार 2 के लिए एक मजबूत छद्म अभाज्य है। ऐसा इसलिए है क्योंकि आधार 2 के लिए सभी मजबूत छद्म अभाज्य भी फ़र्मेट छद्म अभाज्य हैं - अर्थात,


 * $$2^{F_n-1} \equiv 1 \pmod{F_n}$$

सभी फ़र्मेट नंबरों के लिए.

1904 में, सिपोला ने दिखाया कि कम से कम दो अलग-अलग अभाज्य या मिश्रित फ़र्मेट संख्याओं का गुणनफल $$F_{a} F_{b} \dots F_{s},$$ $$a > b > \dots > s > 1$$ आधार 2 के लिए एक फ़र्मेट स्यूडोप्राइम होगा यदि और केवल यदि $$2^s > a $$.

फ़र्मेट संख्याओं के बारे में अन्य प्रमेय
$$ $$ $$ $$

एक फ़र्मेट नंबर एक पूर्ण संख्या या सौहार्दपूर्ण संख्याओं की जोड़ी का हिस्सा नहीं हो सकता है।

फ़र्मेट संख्याओं के सभी अभाज्य विभाजकों के व्युत्क्रमों की श्रृंखला अभिसारी श्रृंखला है।

अगर nn + 1 अभाज्य है, ऐसा एक पूर्णांक m मौजूद है n = 22 m. समीकरण nn + 1 = F(2m+m) उस मामले में रखता है. माना कि फ़र्मेट संख्या F का सबसे बड़ा अभाज्य गुणनखंड हैn पी(एफ) होn). तब,
 * $$P(F_n) \ge 2^{n+2}(4n+9) + 1.$$

रचनात्मक बहुभुजों से संबंध


कार्ल फ्रेडरिक गॉस ने अपने अंकगणितीय विवेचन में गॉसियन काल के सिद्धांत को विकसित किया और नियमित बहुभुजों की रचना के लिए पर्याप्त शर्त तैयार की। गॉस ने कहा कि यह शर्त भी आवश्यक शर्त थी, लेकिन कभी कोई प्रमाण प्रकाशित नहीं किया। पियरे वांटज़ेल ने 1837 में आवश्यकता का पूर्ण प्रमाण दिया। परिणाम को गॉस-वांटज़ेल प्रमेय के रूप में जाना जाता है:


 * एक एन-पक्षीय नियमित बहुभुज का निर्माण कम्पास और सीधा किनारा के साथ किया जा सकता है यदि और केवल यदि एन 2 की शक्ति और अलग-अलग फ़र्मेट प्राइम का उत्पाद है: दूसरे शब्दों में, यदि और केवल यदि  n रूप का है n = 2kp1p2...ps, जहां k, s अऋणात्मक पूर्णांक हैं और pi विशिष्ट फ़र्मेट अभाज्य हैं।

एक धनात्मक पूर्णांक n उपरोक्त रूप का है यदि और केवल यदि इसका यूलर का टोटिएंट फ़ंक्शन φ(n) 2 की शक्ति है।

छद्म यादृच्छिक संख्या पीढ़ी
फ़र्मेट प्राइम्स विशेष रूप से 1, ..., एन की श्रेणी में संख्याओं के छद्म-यादृच्छिक अनुक्रम उत्पन्न करने में उपयोगी होते हैं, जहां एन 2 की शक्ति है। उपयोग की जाने वाली सबसे आम विधि 1 और के बीच किसी भी बीज मूल्य को लेना है P − 1, जहां P एक फ़र्मेट प्राइम है। अब इसे एक संख्या A से गुणा करें, जो P के वर्गमूल से अधिक है और एक आदिम मूल modulo n modulo P है (यानी, यह एक द्विघात अवशेष नहीं है)। फिर परिणाम मॉड्यूल पी लें। परिणाम आरएनजी के लिए नया मान है।
 * $$V_{j+1} = (A \times V_j) \bmod P$$ (रैखिक सर्वांगसम जनरेटर, RANDU देखें)

यह कंप्यूटर विज्ञान में उपयोगी है, क्योंकि अधिकांश डेटा संरचनाओं में 2 सदस्य होते हैंXसंभावित मान. उदाहरण के लिए, एक बाइट में 256 (2) होता है8) संभावित मान (0-255)। इसलिए, किसी बाइट या बाइट्स को यादृच्छिक मानों से भरने के लिए, एक यादृच्छिक संख्या जनरेटर का उपयोग किया जा सकता है जो 1-256 मान उत्पन्न करता है, बाइट आउटपुट मान -1 लेता है। इस कारण से बहुत बड़े फ़र्मेट प्राइम डेटा एन्क्रिप्शन में विशेष रुचि रखते हैं। यह विधि केवल छद्म यादृच्छिक मान उत्पन्न करती है, जैसा कि बाद में हुआ P − 1 पुनरावृत्ति, अनुक्रम दोहराता है। खराब तरीके से चुने गए गुणक के परिणामस्वरूप अनुक्रम जल्दी दोहराया जा सकता है P − 1.

सामान्यीकृत फ़र्मेट संख्या
फॉर्म के नंबर $$a^{2^{ \overset{n} {}}} \!\!+ b^{2^{ \overset{n} {}}}$$ ए, बी के साथ कोई सहअभाज्य पूर्णांक, a > b > 0, सामान्यीकृत फ़र्मेट संख्याएँ कहलाती हैं। एक विषम अभाज्य पी एक सामान्यीकृत फ़र्मेट संख्या है यदि और केवल तभी जब पी पायथागॉरियन अभाज्य|1 (मॉड 4) के सर्वांगसम हो। (यहां हम केवल मामले पर विचार करते हैं n > 0, इसलिए 3 = $2^{2^{0}} \!+ 1$|undefined एक प्रतिउदाहरण नहीं है।)

इस फॉर्म के संभावित अभाज्य का एक उदाहरण 1215 है131072+242131072 (केलेन शेंटन द्वारा पाया गया)। सामान्य फ़र्मेट संख्याओं के अनुरूप, प्रपत्र की सामान्यीकृत फ़र्मेट संख्याएँ लिखना आम बात है $$a^{2^{ \overset{n} {}}} \!\!+ 1$$ एफ के रूप मेंn(ए)। उदाहरण के लिए, इस नोटेशन में संख्या 100,000,001 को F के रूप में लिखा जाएगा3(10). निम्नलिखित में हम स्वयं को इस रूप के अभाज्य संख्याओं तक ही सीमित रखेंगे, $$a^{2^{ \overset{n} {}}} \!\!+ 1$$, ऐसे अभाज्यों को फ़र्मेट अभाज्य आधार a कहा जाता है। निःसंदेह, ये अभाज्य संख्याएँ केवल तभी मौजूद होती हैं जब a समता (गणित) हो।

अगर हमें आवश्यकता है n > 0, फिर लैंडौ की समस्याएं|लैंडौ की चौथी समस्या पूछती है कि क्या अनंत रूप से कई सामान्यीकृत फ़र्मेट अभाज्य एफ हैंn(ए)।

सामान्यीकृत फ़र्मेट अभाज्य
अपनी आदिमता को साबित करने में आसानी के कारण, सामान्यीकृत फ़र्मेट प्राइम हाल के वर्षों में संख्या सिद्धांत के क्षेत्र में शोध का विषय बन गए हैं। आज के सबसे बड़े ज्ञात अभाज्यों में से कई सामान्यीकृत फ़र्मेट अभाज्य हैं।

सामान्यीकृत फ़र्मेट संख्याएँ केवल सम के लिए अभाज्य हो सकती हैं $a$, क्योंकि अगर $a$ विषम है तो प्रत्येक सामान्यीकृत फ़र्मेट संख्या 2 से विभाज्य होगी। सबसे छोटी अभाज्य संख्या $$F_n(a)$$ साथ $$n>4$$ है $$F_5(30)$$, या 3032 + 1. इसके अलावा, हम एक विषम आधार के लिए आधे सामान्यीकृत फ़र्मेट संख्याओं को परिभाषित कर सकते हैं, आधार a के लिए एक आधा सामान्यीकृत फ़र्मेट संख्या (विषम a के लिए) है $$\frac{a^{2^n} \!+ 1}{2}$$, और यह भी उम्मीद की जानी चाहिए कि प्रत्येक विषम आधार के लिए केवल सीमित रूप से कई आधे सामान्यीकृत फ़र्मेट अभाज्य होंगे।

(सूची में, सामान्यीकृत फ़र्मेट संख्याएँ ($$F_n(a)$$) एक सम तक $a$ हैं $$a^{2^n} \!+ 1$$, विषम के लिए $a$, वे हैं $$\frac{a^{2^n} \!\!+ 1}{2}$$. अगर $a$ एक विषम घातांक वाली एक पूर्ण शक्ति है, तो सभी सामान्यीकृत फ़र्मेट संख्या को बीजगणितीय गुणनखंडित किया जा सकता है, इसलिए वे अभाज्य नहीं हो सकते)

(सबसे छोटी संख्या के लिए $$n$$ ऐसा है कि $$F_n(a)$$ प्रधान है, देखिये )

(देखना अधिक जानकारी के लिए (1000 तक के आधार भी), यह भी देखें विषम आधारों के लिए)

(प्रपत्र के सबसे छोटे अभाज्य के लिए $$F_n(a,b)$$ (विषम के लिए $$a+b$$), यह सभी देखें )

(सबसे छोटे सम आधार के लिए $a$ ऐसा है कि $$F_n(a)$$ प्रधान है, देखिये )

सबसे छोटा आधार b इस प्रकार है कि b2 n + 1 अभाज्य हैं
 * 2, 2, 2, 2, 2, 30, 102, 120, 278, 46, 824, 150, 1534, 30406, 67234, 70906, 48594, 62722, 24518, 75898, 919444, ...

सबसे छोटा k ऐसा है कि (2n)k+1 अभाज्य हैं
 * 1, 1, 1, 0, 1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 0, 4, 1, ... (अगला पद अज्ञात है) (यह भी देखें  और )

जिसके लिए आधारों की संख्या की भविष्यवाणी करने के लिए एक अधिक विस्तृत सिद्धांत का उपयोग किया जा सकता है $$F_n(a)$$ तय के लिए प्रमुख होगा $$n$$. सामान्यीकृत फ़र्मेट प्राइम की संख्या मोटे तौर पर आधी होने की उम्मीद की जा सकती है $$n$$ 1 से बढ़ गया है.

सबसे बड़ा ज्ञात सामान्यीकृत फ़र्मेट अभाज्य
निम्नलिखित 5 सबसे बड़े ज्ञात सामान्यीकृत फ़र्मेट अभाज्यों की सूची है। संपूर्ण शीर्ष-5 की खोज प्राइमग्रिड परियोजना में प्रतिभागियों द्वारा की गई है।

प्राइम पेजों पर कोई भी वर्तमान शीर्ष 100 सामान्यीकृत फ़र्मेट प्राइम पा सकता है।

यह भी देखें

 * निर्माण योग्य बहुभुज: कौन सा नियमित बहुभुज रचनात्मक है, यह आंशिक रूप से फ़र्मेट अभाज्य पर निर्भर करता है।
 * दोहरा घातीय कार्य
 * लुकास का प्रमेय
 * मेर्सन प्रीमियम
 * पियरपोंट प्राइम
 * प्राथमिकता परीक्षण
 * प्रोथ का प्रमेय
 * स्यूडोप्राइम
 * सिएरपिंस्की नंबर
 * सिल्वेस्टर का क्रम

संदर्भ

 * - This book contains an extensive list of references.
 * - This book contains an extensive list of references.
 * - This book contains an extensive list of references.
 * - This book contains an extensive list of references.

बाहरी संबंध

 * Chris Caldwell, The Prime Glossary: Fermat number at The Prime Pages.
 * Luigi Morelli, History of Fermat Numbers
 * John Cosgrave, Unification of Mersenne and Fermat Numbers
 * Wilfrid Keller, Prime Factors of Fermat Numbers
 * Yves Gallot, Generalized Fermat Prime Search
 * Mark S. Manasse, Complete factorization of the ninth Fermat number (original announcement)
 * Peyton Hayslette, Largest Known Generalized Fermat Prime Announcement
 * Yves Gallot, Generalized Fermat Prime Search
 * Mark S. Manasse, Complete factorization of the ninth Fermat number (original announcement)
 * Peyton Hayslette, Largest Known Generalized Fermat Prime Announcement