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

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


 * $$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 के लिए इनमें से प्रत्येक संबंध को गणितीय प्रेरण द्वारा सिद्ध किया जा सकता है। दूसरे समीकरण से, हम गोल्डबैक के प्रमेय (क्रिश्चियन गोल्डबैक के नाम पर) का अनुमान लगा सकते हैं: कोई भी दो फ़र्मेट संख्याएं 1 से अधिक एक सामान्य पूर्णांक कारक साझा नहीं करती हैं। इसे देखने के लिए मान लें कि 0 ≤ i < j और Fi और Fj का एक सामान्य कारक a > 1 है फिर a दोनों को विभाजित करता है


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

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

अतिरिक्त गुण

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

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


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

यूलर ने सिद्ध किया कि n ≥ 2 के लिए Fn के प्रत्येक कारक का रूप k2n+1 + 1 होना चाहिए (बाद में लुकास द्वारा इसे k2n+2 + 1 में सुधार किया गया)।

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

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

n > 4 के साथ कोई अन्य ज्ञात फ़र्मेट अभाज्य Fn नहीं है, किन्तु बड़े n के लिए फ़र्मेट संख्याओं के बारे में बहुत कम जानकारी है। वास्तव में, निम्नलिखित में से प्रत्येक एक खुली समस्या है:


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

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

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

अभाज्य संख्या प्रमेय का तात्पर्य है कि N के चारों ओर एक उपयुक्त अंतराल में एक यादृच्छिक पूर्णांक संभावना 1 / ln N के साथ अभाज्य है। यदि कोई अनुमान का उपयोग करता है कि एक फ़र्मेट संख्या अपने आकार के यादृच्छिक पूर्णांक के समान संभावना के साथ अभाज्य है, और वह F5, ..., F32समग्र हैं, तो F4 से परे (या समकक्ष, F32 से परे) फ़र्मेट प्राइम की अपेक्षित संख्या होनी चाहिए


 * $$ \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}.$$

कोई इस संख्या की व्याख्या इस संभावना की ऊपरी सीमा के रूप में कर सकता है कि F4 से परे एक फ़र्मेट प्राइम उपस्थित है।

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

समतुल्य स्थितियाँ
मान लीजिए $$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 के लिए कोई विशिष्ट अभाज्य गुणनखंड ज्ञात नहीं है।

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

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




 * - valign="top"
 * F0 ||=|| 21||+||1 ||=||3 अभाज्य है||
 * - valign="top"
 * F1 ||=|| 22||+||1 ||=||5 अभाज्य है||
 * - valign="top"
 * F2 ||=|| 24||+||1 ||=||17 अभाज्य है||
 * - valign="top"
 * F3 ||=|| 28||+||1 ||=||257 अभाज्य है||
 * - valign="top"
 * F4 ||=|| 216||+||1 ||=||65,537 सबसे बड़ा ज्ञात फ़र्मेट प्राइम है||
 * - valign="top"
 * F5 ||=|| 232||+||1 ||=||4,294,967,297||
 * - style="background:white; color:#700000"
 * || || || || ||=||641 × 6,700,417 (पूरी तरह से तथ्यात्मक 1732 )
 * - valign="top"
 * F6 ||=|| 264||+||1 ||=||18,446,744,073,709,551,617 (20 डिजिट्स ) ||
 * - style="background:white; color:#700000"
 * || || || || ||=||274,177 × 67,280,421,310,721 (14 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1855)
 * - valign="top"
 * F7 ||=|| 2128||+||1 ||=||340,282,366,920,938,463,463,374,607,431,768,211,457 (39 डिजिट्स )||
 * - style="background:white; color:#700000"
 * || || || || ||=||59,649,589,127,497,217 (17 डिजिट्स ) × 5,704,689,200,685,129,054,721 (22 डिजिट्स ) (पूरी तरह से तथ्यात्मक 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 डिजिट्स )||
 * - style="background:white; color:#700000; vertical-align:top"
 * || || || || ||=||1,238,926,361,552,897 (16 डिजिट्स ) × 93,461,639,715,357,977,769,163,558,199,606,896,584,051,237,541,638,188,580,280,321 (62 डिजिट्स ) (पूरी तरह से तथ्यात्मक 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 डिजिट्स )||
 * - 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 डिजिट्स ) × 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 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1990)
 * - valign="top"
 * F10 ||=|| 21024||+||1
 * =||179,769,313,486,231,590,772,930...304,835,356,329,624,224,137,217 (309 डिजिट्स )||
 * - 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 डिजिट्स ) × 130,439,874,405,488,189,727,484...806,217,820,753,127,014,424,577 (252 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1995)
 * - valign="top"
 * F11 ||=|| 22048||+||1
 * =||32,317,006,071,311,007,300,714,8...193,555,853,611,059,596,230,657 (617 डिजिट्स )||
 * - style="background:white; color:#700000; vertical-align:top"
 * || || || || ||=|| 319,489 × 974,849 × 167,988,556,341,760,475,137 (21 डिजिट्स ) × 3,560,841,906,445,833,920,513 (22 डिजिट्स ) × 173,462,447,179,147,555,430,258...491,382,441,723,306,598,834,177 (564 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1988)
 * }
 * }

अप्रैल 2023 तक, केवल F0 से F11 को पूरी तरह से सम्मिलित किया गया है। वितरित कंप्यूटिंग प्रोजेक्ट फ़र्मेट सर्च फ़र्मेट संख्याओं के नए कारकों की खोज कर रहा है। ओईआईएस में सभी फ़र्मेट कारकों का सेट A050922 (या, क्रमबद्ध, A023394) है।

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

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

स्यूडोप्राइम्स और फ़र्मेट संख्याएँ
फॉर्म 2p − 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 = 22m। उस स्थिति में समीकरण nn + 1 = F(2m+m) उस स्थिति में रखता है

माना कि फ़र्मेट संख्या Fn का सबसे बड़ा अभाज्य गुणनखंड P(Fn) है। तब,
 * $$P(F_n) \ge 2^{n+2}(4n+9) + 1.$$

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


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


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

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

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

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

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

इस फॉर्म के संभावित अभाज्य का एक उदाहरण 1215131072 + 242131072 (केलेन शेंटन द्वारा पाया गया) है।

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

, $$a^{2^{ \overset{n} {}}} \!\!+ 1$$, ऐसे अभाज्यों को फ़र्मेट अभाज्य आधार a कहा जाता है। निःसंदेह, ये अभाज्य संख्याएँ केवल तभी उपस्थित होती हैं जब a समता (गणित) हो।

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

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

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

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

(सबसे छोटी संख्या के लिए $$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