View source for एक तत्व वाला फ़ील्ड

{{Use dmy dates|date=September 2020}}
गणित में, '''एक तत्व वाला फ़ील्ड''' किसी वस्तु के लिए एक सूचक नाम होता है जिसे एक ही तत्व वाले [[परिमित क्षेत्र|परिमित फ़ील्ड]] के समान व्यवहार करना चाहिए, यदि ऐसा फ़ील्ड सम्मलित हो सकता है। इस वस्तु को F<sub>1</sub> दर्शाया गया है, या, फ़्रेंच-अंग्रेज़ी वाक्य में, F<sub>un</sub>.<ref>"[[wikt:un#French|un]]" is French for "one", and [[wikt:fun|fun]] is a playful English word. For examples of this notation, see, e.g. {{harvtxt|Le Bruyn|2009}}, or the links by Le Bruyn, Connes, and Consani.</ref> एक तत्व और अंकन F<sub>1</sub> के साथ नाम फ़ील्ड केवल विचारोत्तेजक हैं, क्योंकि शास्त्रीय [[अमूर्त बीजगणित]] में एक तत्व वाला कोई फ़ील्ड नहीं है। इसके अतिरिक्त, F<sub>1</sub> इस विचार को संदर्भित करता है कि [[Index.php?title=समुच्चय (गणित|समुच्चय (गणित)]] और [[Index.php?title=संक्रिया (गणित)|संक्रिया (गणित)]] को बदलने का एक तरीका होना चाहिए, अमूर्त बीजगणित के लिए पारंपरिक रचक खंड, अन्य, अधिक लचीली वस्तुओं के साथ। F<sub>1</sub> के कई सिद्धांत प्रस्तावित किया गया है, लेकिन यह स्पष्ट नहीं है कि उनमें से कौन सा, यदि कोई हो, F<sub>1</sub> देता है सभी वांछित गुण. चूंकि इन सिद्धांतों में अभी भी एक भी तत्व वाला कोई फ़ील्ड नहीं है, एक फ़ील्ड जैसी वस्तु है जिसकी [[विशेषता (बीजगणित)]] एक है।

F<sub>1</sub> के अधिकांश प्रस्तावित सिद्धांत अमूर्त बीजगणित को पूरी तरह से प्रतिस्थापित कर देते हैं। सदिश समष्टि और [[बहुपद वलय]] जैसी गणितीय वस्तुओं को उनके अमूर्त गुणों की नकल करके इन नए सिद्धांतों में सम्मलित किया जा सकता है। यह नई नींव पर [[क्रमविनिमेय बीजगणित]] और [[बीजगणितीय ज्यामिति]] के विकास की अनुमति देता है। F<sub>1</sub> के सिद्धांतों की परिभाषित विशेषताओं में से एक यह है कि ये नए आधार शास्त्रीय अमूर्त बीजगणित की तुलना में अधिक वस्तुओं की अनुमति देते हैं, जिनमें से एक विशेषता के फ़ील्ड की तरह व्यवहार करता है।

F<sub>1</sub> के गणित का अध्ययन करने की संभावना मूल रूप से 1956 में [[जैक्स टिट्स]] द्वारा सुझाया गया था, जिसे प्रकाशित किया गया था {{harvnb|टिट्स|1957}}, [[प्रक्षेप्य ज्यामिति]] में समरूपता और सरल परिसरों के संयोजन के बीच सादृश्य के आधार पर। F<sub>1</sub> [[गैर-अनुवांशिक ज्यामिति]] और [[रीमैन परिकल्पना]] के संभावित प्रमाण से जुड़ा हुआ है।

==इतिहास==
1957 में, जैक्स टिट्स ने बिल्डिंग (गणित) का सिद्धांत पेश किया, जो [[बीजगणितीय समूह]] को अमूर्त सरल परिसरों से जोड़ता है। धारणाओं में से एक गैर-तुच्छता की स्थिति है: यदि इमारत एक N-आयामी अमूर्त सरलीकृत परिसर है, और यदि {{nowrap|''k'' < ''n''}}, तो भवन का प्रत्येक k-प्रसमुच्चय कम से कम तीन n-प्रसमुच्चय में समाहित होना चाहिए। यह शास्त्रीय प्रक्षेप्य ज्यामिति की उस शर्त के अनुरूप है कि एक रेखा में कम से कम तीन बिंदु होने चाहिए। चूंकि, ऐसी डिजेनरेसी (गणित) ज्यामितियाँ हैं जो प्रक्षेप्य ज्यामिति होने के लिए सभी शर्तों को पूरा करती हैं, सिवाय इसके कि रेखाएँ केवल दो बिंदुओं को स्वीकार करती हैं। इमारतों के सिद्धांत में अनुरूप वस्तुओं को अपार्टमेंट कहा जाता है। अपार्टमेंट इमारतों के सिद्धांत में ऐसी घटक भूमिका निभाते हैं कि टिट्स ने प्रक्षेप्य ज्यामिति के एक सिद्धांत के अस्तित्व का अनुमान लगाया जिसमें विकृत चिरसम्मत ज्यामिति लोगों के बराबर खड़ी होगी। उन्होंने कहा, यह ज्यामिति विशिष्ट फ़ील्ड के ऊपर घटित होगी।<ref>{{harvtxt|Tits|1957}}.</ref> इस सादृश्य का उपयोग करके F<sub>1</sub> के कुछ प्रारंभिक गुणों का वर्णन करना संभव था लेकिन इसका निर्माण संभव नहीं हो सका है।

टिट्स की प्रारंभिक टिप्पणियों के बाद, 1990 के दशक के आरंभ तक बहुत कम प्रगति हुई थी। 1980 के दशक के उत्तरार्ध में, अलेक्जेंडर स्मिरनोव ने बातचीत की एक श्रृंखला दी जिसमें उन्होंने अनुमान लगाया कि रीमैन परिकल्पना को एक तत्व वाले फ़ील्ड पर पूर्णांकों को वक्र के रूप में मानकर सिद्ध किया जा सकता है। 1991 तक, स्मिरनोव ने F<sub>1</sub> के ऊपर बीजगणितीय ज्यामिति की दिशा में कुछ कदम उठाए थे,<ref name="Smirnov 1992">{{harvtxt|Smirnov|1992}}</ref> F<sub>1</sub> के अनुवर्ती का परिचय और प्रक्षेप्य रेखा P<sup>1</sup> को संभालने के लिए उनका उपयोग करना F<sub>1</sub> के ऊपर.<ref name="Smirnov 1992"/>इस P  में [[बीजगणितीय संख्या]]ओं को मानचित्र के रूप में माना जाता था<sup>1</sup>, और रीमैन-हर्विट्ज़ सूत्र के अनुमानित अनुमान इन मानचित्रों के लिए रीमैन-हर्विट्ज़ सूत्र का सुझाव दिया गया था। ये सन्निकटन [[Index.php?title=abc अनुमान|abc अनुमान]] जैसे बहुत गहरे दावे दर्शाते हैं। F<sub>1</sub> का विस्तार बाद में इन्हें F<sub>''q''</sub> के रूप में दर्शाया गया q = 1<sup>n</sup> के साथ. [[मिखाइल कापरानोव]] के साथ, स्मिरनोव ने यह पता लगाने के लिए काम किया कि प्रमुख विशेषता में बीजगणितीय और [[संख्या सिद्धांत]] निर्माण विशेषता में कैसे दिख सकते हैं, जिसका समापन 1995 में जारी एक अप्रकाशित कार्य में हुआ था।<ref>{{harvtxt|Kapranov|Smirnov|1995}}</ref> 1993 में, [[यूरी मनिन]] ने [[Index.php?title=रीमैन ज़ेटा फलन|रीमैन ज़ेटा फलन]] पर व्याख्यान की एक श्रृंखला दी जहां उन्होंने F<sub>1</sub> पर बीजगणितीय ज्यामिति का एक सिद्धांत विकसित करने का प्रस्ताव रखा।<ref>{{harvtxt|Manin|1995}}.</ref> उन्होंने सुझाव दिया कि जीटा F<sub>1</sub> पर [[बीजगणितीय विविधता]] के कार्य करता है बहुत ही सरल विवरण होंगे, और उन्होंने [[बीजगणितीय K-सिद्धांत]] F<sub>1</sub> के K-सिद्धांत के बीच एक संबंध प्रस्तावित किया और [[गोले के समरूप समूह]]। इसने कई लोगों को F<sub>1</sub> के स्पष्ट सिद्धांतों का निर्माण करने का प्रयास करने के लिए प्रेरित किया है।

F<sub>1</sub> पर विविधता की पहली प्रकाशित परिभाषा 1999 में क्रिस्टोफ़ सोले से आया,<ref name="Soule1999">{{harvtxt|Soulé|1999}}</ref> जिन्होंने कुछ रिंग की [[श्रेणी (गणित)]] से जटिल संख्याओं और प्रकार्यक पर बीजगणित का उपयोग करके इसका निर्माण किया।<ref name="Soule1999">{{harvtxt|Soulé|1999}}</ref> 2000 में, झू ने प्रस्ताव दिया कि F<sub>1</sub> F<sub>2</sub> के समान था सिवाय इसके कि एक और एक का योग एक था, शून्य नहीं।<ref>{{harvtxt|Lescot|2009}}.</ref> डिटमार ने सुझाव दिया कि F<sub>1</sub> किसी वलय की योगात्मक संरचना को भूलकर और गुणन पर ध्यान केंद्रित करके पाया जाना चाहिए।<ref>{{harvtxt|Deitmar|2005}}.</ref> टोएन और वाकी ने हकीम के सापेक्ष योजनाओं के सिद्धांत पर निर्माण किया और F<sub>1</sub> को परिभाषित किया [[सममित मोनोइडल श्रेणी]] का उपयोग करना।<ref>{{harvtxt|Toën|Vaquié|2005}}.</ref> बाद में वेज़ानी द्वारा उनके निर्माण को डिटमार के समकक्ष दिखाया गया।<ref>{{harvtxt|Vezzani|2010}}</ref> [[निकोलाई दुरोव]] ने F<sub>1</sub> का निर्माण किया एक क्रमविनिमेय बीजगणितीय मोनैड (श्रेणी सिद्धांत) के रूप में,<ref>{{harvtxt|Durov|2008}}.</ref> बोर्गर ने परिमित फ़ील्डों और पूर्णांकों से इसका निर्माण करने के लिए [[Index.php?title=अवरोहांक (श्रेणी सिद्धांत)|अवरोहांक (श्रेणी सिद्धांत)]] का उपयोग किया।<ref>{{harvtxt|Borger|2009}}.</ref>
[[एलेन कोन्स]] और [[कैटरिना कंसानी]] ने एक नई श्रेणी बनाने के लिए गुणक [[Index.php?title=|मोनोइडस]] की श्रेणी और रिंगों की श्रेणी को जोड़कर सोले और डिटमार दोनों की धारणाओं को विकसित किया। <math>\mathfrak{M}\mathfrak{R},</math> फिर F<sub>1</sub> को परिभाषित करना-योजनाओं पर एक विशेष प्रकार का प्रतिनिधित्व योग्य होना <math>\mathfrak{M}\mathfrak{R}.</math><ref>{{harvtxt|Connes|Consani|2010}}.</ref> इसका उपयोग करते हुए, वे F<sub>1</sub> पर कई संख्या-सैद्धांतिक निर्माणों की एक धारणा प्रदान करने में कामयाब रहे जैसे कि उद्देश्य और फ़ील्ड विस्तार, साथ ही F<sub>1</sub> के ऊपर झूठ प्रकार#शेवल्ली समूहों के समूह का निर्माण<sub><sup>2</sup></sub>. [[मटिल्डे मार्कोली]] के साथ-साथ कॉन्स और कंसानी ने भी F<sub>1</sub> को जोड़ा है गैर-अनुवांशिक ज्यामिति के साथ।<ref>{{harvtxt|Connes|Consani|Marcolli|2009}}</ref> [[कम्प्यूटेशनल जटिलता सिद्धांत]] में अद्वितीय गेम अनुमान से संबंध रखने का भी सुझाव दिया गया है।<ref>{{citation|url=https://gilkalai.wordpress.com/2018/01/10/subhash-khot-dor-minzer-and-muli-safra-proved-the-2-to-2-games-conjecture/|title=Subhash Khot, Dor Minzer and Muli Safra proved the 2-to-2 Games Conjecture|work=Combinatorics and more|first=Gil|last=Kalai|authorlink=Gil Kalai|date=2018-01-10}}</ref>
ओलिवर लॉर्शिड ने, अन्य लोगों के साथ, हाल ही में F<sub>1</sub> पर शेवेल्ली समूहों का वर्णन करने के टिट्स के मूल उद्देश्य को प्राप्त किया है मूल योजना नामक वस्तुओं का परिचय देकर, जो [[मोटी हो जाओ]] और मोनोइड्स दोनों का एक साथ सामान्यीकरण है।<ref name=":0"/><ref>{{harv|Lorscheid|2018b}}</ref> इनका उपयोग तथाकथित नीली योजनाओं को परिभाषित करने के लिए किया जाता है, जिनमें से एक स्पेक F<sub>1</sub> है।<sub>11</sub><ref>{{harvtxt|Lorscheid|2016}}</ref> लोर्शेड के विचार F<sub>1</sub> से अधिक समूहों के अन्य विचारों से कुछ हद तक भिन्न हैं, उसमें F<sub>1</sub>-योजना स्वयं सामान्य योजनाओं के आधार विस्तार का वेइल समूह नहीं है। लोर्सचीड सबसे पहले टिट्स श्रेणी को परिभाषित करता है, जो नीली योजनाओं की श्रेणी की एक पूर्ण उपश्रेणी है, और वेइल अनुवर्ती को परिभाषित करता है, जो टिट्स श्रेणी से समुच्चय तक का एक प्रकार्यक है। बीजगणितीय समूह का एक टिट्स-वेइल मॉडल <math>\mathcal{G}</math> एक समूह संचालन के साथ एक नीली योजना जी है जो कि टिट्स श्रेणी में एक रूपवाद है, जिसका आधार विस्तार है <math>\mathcal{G}</math> और जिसका वेइल विस्तार वेइल समूह के समरूपी है <math>\mathcal{G}.</math>
F<sub>1</sub>-ज्यामिति को [[Index.php?title=ट्रोपिकल ज्यामिति|ट्रोपिकल ज्यामिति]] से जोड़ा गया है, इस तथ्य के माध्यम से कि अर्धवृत्त (विशेष रूप से, ट्रोपिकल अर्धवृत्त) एक मोनॉइड A के तत्वों के परिमित औपचारिक योग के कुछ मोनॉयड अर्धवृत्त N[A] के भागफल के रूप में उत्पन्न होते हैं। , जो स्वयं एक F<sub>1</sub> है-बीजगणित. यह संबंध लोर्शेड के मूल योजना के उपयोग से स्पष्ट हो गया है।<ref>{{harvtxt|Lorscheid|2015}}</ref> जियान्सिराकुसा बंधुओं ने एक ट्रोपिकल योजना सिद्धांत का निर्माण किया है, जिसके लिए उनकी ट्रोपिकल योजनाओं की श्रेणी टोन-वाक्वी F<sub>1</sub> की श्रेणी के बराबर -योजनाएँ है।<ref>{{harvtxt|Giansiracusa|Giansiracusa|2016}}</ref> यह श्रेणी नीली योजनाओं की श्रेणी में ईमानदारी से, लेकिन पूरी तरह से नहीं, अंतर्निहित है, और ड्यूरोव योजनाओं की श्रेणी की एक पूर्ण उपश्रेणी है।

==प्रेरणाएँ==

===बीजगणितीय संख्या सिद्धांत===
F<sub>1</sub> के लिए एक प्रेरणा [[बीजगणितीय संख्या सिद्धांत]] से आता है। [[परिमित क्षेत्रों पर वक्रों के लिए रीमैन परिकल्पना|परिमित फ़ील्डों पर वक्रों के लिए रीमैन परिकल्पना]] का आंद्रे वेइल का प्रमाण एक परिमित फ़ील्ड k पर एक वक्र C से प्रारंभ होता है, जो एक बीजगणितीय विविधता F के फलन फ़ील्ड से सुसज्जित होता है, जो कि k का एक फ़ील्ड विस्तार है। ऐसा प्रत्येक फलन फ़ील्ड हस्से-वील ज़ेटा फलन को जन्म देता है {{math|ζ<sub>''F''</sub>}}, और परिमित फ़ील्डों के लिए रीमैन परिकल्पना शून्य निर्धारित करती है {{math|ζ<sub>''F''</sub>}}. फिर वेइल का प्रमाण अध्ययन के लिए सी के विभिन्न ज्यामितीय गुणों का उपयोग करता है {{math|ζ<sub>''F''</sub>}}.

परिमेय संख्या Q का फ़ील्ड रीमैन ज़ेटा फलन के समान तरीके से जुड़ा हुआ है, लेकिन Q किसी किस्म का फलन फ़ील्ड नहीं है। इसके अतिरिक्त, Q योजना का कार्य फ़ील्ड है (गणित) {{math|Spec '''Z'''}}. यह एक आयामी योजना है (जिसे [[बीजगणितीय वक्र]] के रूप में भी जाना जाता है), और इसलिए कुछ आधार फ़ील्ड होना चाहिए जिस पर यह वक्र स्थित है, जिसमें से Q एक फ़ील्ड अनुवर्ती होगा (उसी तरह जैसे ''C'' है) ''k'' के ऊपर एक वक्र है, और ''F'' ''k'' का विस्तार है)। F<sub>1</sub>-ज्यामिति की आशा यह है कि एक उपयुक्त वस्तु F<sub>1</sub> इस आधार क्षेत्र की भूमिका निभा सकती है, जो के के स्थान पर F<sub>1</sub> के साथ वेइल के प्रमाण की नकल करके रीमैन परिकल्पना के प्रमाण की अनुमति देती है।

===अरकेलोव ज्यामिति===
एक तत्व वाले फ़ील्ड पर ज्यामिति भी अराकेलोव ज्यामिति से प्रेरित है, जहां [[जटिल ज्यामिति]] के उपकरणों का उपयोग करके [[डायोफैंटाइन समीकरण]] का अध्ययन किया जाता है। सिद्धांत में परिमित फ़ील्डों और जटिल संख्याओं के बीच जटिल तुलना सम्मलित है। यहां F<sub>1</sub> का अस्तित्व है तकनीकी कारणों से उपयोगी है.

==अपेक्षित गुण==

===F<sub>1</sub> फ़ील्ड नहीं है===
F<sub>1</sub> एक फ़ील्ड नहीं हो सकता क्योंकि परिभाषा के अनुसार सभी फ़ील्ड में दो अलग-अलग तत्व होने चाहिए, योगात्मक पहचान शून्य और गुणक पहचान एक। भले ही यह प्रतिबंध हटा दिया गया हो (उदाहरण के लिए योगात्मक और गुणक पहचानों को एक ही तत्व बनाकर), एक तत्व वाला वलय शून्य वलय होना चाहिए, जो एक परिमित फ़ील्ड की तरह व्यवहार नहीं करता है। उदाहरण के लिए, शून्य रिंग पर सभी [[मॉड्यूल (गणित)]] आइसोमोर्फिक हैं (क्योंकि ऐसे मॉड्यूल का एकमात्र तत्व शून्य तत्व है)। चूंकि, F<sub>1</sub> की प्रमुख प्रेरणाओं में से F<sub>1</sub> समुच्चय का विवरण F<sub>1</sub> के रूप में है -सदिश समष्टि - यदि परिमित समुच्चय शून्य रिंग के ऊपर मॉड्यूल थे, तो प्रत्येक परिमित समुच्चय एक ही आकार का होगा, जो कि मामला नहीं है। इसके अतिरिक्त, तुच्छ वलय के वलय का स्पेक्ट्रम खाली होता है, लेकिन एक फ़ील्ड के स्पेक्ट्रम में एक बिंदु होता है।

===अन्य गुण===
* परिमित समुच्चय F के ऊपर F<sub>1</sub> स्थान और [[प्रक्षेप्य स्थान]] दोनों हैं.
* अंकित समुच्चय F<sub>1</sub> के ऊपर सदिश स्थान हैं.<ref>[http://sbseminar.wordpress.com/2007/08/14/the-field-with-one-element Noah Snyder, The field with one element, Secret Blogging Seminar, 14 August 2007.]</ref>
* परिमित फ़ील्ड F<sub>''q''</sub> F<sub>1</sub> का [[क्वांटम समूह]] हैं, जहां q विकृति है।
* [[वेइल समूह]] 'F<sub>1</sub>' पर सरल बीजगणितीय समूह हैं।
*: एक अर्धसरल बीजगणितीय समूह के लिए डायनकिन आरेख दिया गया है, इसका वेइल समूह है<ref>[http://math.ucr.edu/home/baez/week187.html This Week's Finds in Mathematical Physics, Week 187]</ref> F<sub>1</sub> पर अर्धसरल बीजगणितीय समूह।
* एफ़िन स्कीम स्पेक Z, F<sub>1</sub> पर एक वक्र है।
* समूह F<sub>1</sub> पर [[हॉपफ बीजगणित]] हैं। अधिक सामान्यत:, बीजगणितीय वस्तुओं के आरेखों के संदर्भ में पूरी तरह से परिभाषित किसी भी चीज़ में F<sub>1</sub>होना चाहिए-समुच्चय की श्रेणी में एनालॉग होना चाहिए।
* समुच्चय पर ग्रुप एक्शन (गणित) 'F' के ऊपर जी का प्रोजेक्टिव प्रतिनिधित्व है<sub>1</sub>, और इस प्रकार, G [[समूह हॉपफ बीजगणित]] 'F' है<sub>1</sub>[G]।
* [[टोरिक किस्म]] 'F<sub>1</sub>' निर्धारित करती है-किस्में। F<sub>1</sub> के कुछ विवरणों में-ज्यामिति का विपरीत भी सत्य है, इस अर्थ में कि F<sub>1</sub> के अदिशों का विस्तार-ज़ेड की किस्में टोरिक हैं।<ref>{{harvtxt|Deitmar|2006}}.</ref> जबकि F<sub>1</sub> के लिए अन्य दृष्टिकोण-ज्यामिति उदाहरणों के व्यापक वर्गों को स्वीकार करती है, टोरिक किस्में सिद्धांत के मूल में स्थित प्रतीत होती हैं।
* P<sup>N</sup> का जीटा फलन ('F'<sub>1</sub>) होना चाहिए {{nowrap|1=ζ(''s'') = ''s''(''s'' − 1)⋯(''s'' − ''N'')}}.<ref name="Soule1999"/>* 'F<sub>1</sub>' का m-वें के-समूह गोले के स्पेक्ट्रम का m-वां [[स्थिर समरूप समूह]] होना चाहिए।<ref name="Soule1999"/>


==गणना==
एक समुच्चय (गणित) पर विभिन्न संरचनाएं प्रक्षेप्य स्थान पर संरचनाओं के अनुरूप होती हैं, और उनकी गणना उसी तरह की जा सकती है:

===समुच्चय प्रक्षेप्य स्थान हैं===
P(F{{su|b=''q''|p=''n''}}) के तत्वों की संख्या = P<sup>n−1</sup>('F'<sub>''q''</sub>), द {{nowrap|(''n'' − 1)}}-परिमित फ़ील्ड F<sub>''q''</sub> पर आयामी प्रक्षेप्य स्थान, ''q''-पूर्णांक है<ref>[http://math.ucr.edu/home/baez/week183.html This Week's Finds in Mathematical Physics, Week 183, ''q''-arithmetic]</ref>
:<math>[n]_q := \frac{q^n-1}{q-1}=1+q+q^2+\dots+q^{n-1}.</math>
ले रहा {{nowrap|1=''q'' = 1}} पैदावार {{nowrap|1=[''n'']<sub>''q''</sub> = ''n''}}.

q-पूर्णांक का q की शक्तियों के योग में विस्तार प्रक्षेप्य स्थान के [[ शूबर्ट कोशिका ]] अपघटन से मेल खाता है।

===क्रमपरिवर्तन अधिकतम झंडे हैं===
जहाँ n ! तत्वों और [n]!<sub>''q''</sub> के साथ एक समुच्चय का क्रमपरिवर्तन F{{su|b=''q''|p=''n''}}, में अधिकतम [[ध्वज (रैखिक बीजगणित)]]। जहाँ
:<math>[n]!_q := [1]_q [2]_q \dots [n]_q</math>
q-फैक्टोरियल है. वास्तव में, किसी सेट के क्रमपरिवर्तन को फ़िल्टर किया गया सेट माना जा सकता है, क्योंकि ध्वज एक फ़िल्टर किया गया वेक्टर स्थान है: उदाहरण के लिए, सेट का क्रम (0, 1, 2) {0, 1, 2} निस्पंदन से मेल खाता है { 0} ⊂ {0,1} ⊂ {0,1,2}।

===उपसमुच्चय उपस्थान हैं===
[[द्विपद गुणांक]]
:<math>\frac{n!}{m!(n-m)!}</math> n-तत्व समुच्चय के m-तत्व उपसमुच्चय की संख्या देता है, और q-पद गुणांक से संबंध देता है।
:<math>\frac{[n]!_q}{[m]!_q[n-m]!_q}</math> 'F<sub>''q''</sub>' के ऊपर एक n-आयामी वेक्टर समष्टि के m-आयामी उप-स्थानों की संख्या देता है।

q-द्विपद गुणांक का q की शक्तियों के योग में विस्तार [[ग्रासमैनियन]] के शूबर्ट सेल अपघटन से मेल खाता है।

==मोनॉइड योजनाएं==
डिटमार द्वारा मोनॉइड योजनाओं का निर्माण<ref>{{harvtxt|Deitmar|2005}}</ref> F<sub>1</sub> का मूल कहा गया है-ज्यामिति ,<ref name=":0">{{harvtxt|Lorscheid|2018a}}</ref> F<sub>1</sub> के अधिकांश अन्य सिद्धांतों की तरह-ज्यामिति में मोनॉइड योजनाओं का विवरण होता है। नैतिक रूप से, यह 1950 और 1960 के दशक में [[ क्रमविनिमेय वलय | क्रमविनिमेय वलय]] को मोनोइड्स के साथ बदलकर विकसित किए गए स्कीम (गणित) के सिद्धांत की नकल करता है। इसका प्रभाव वलय की योगात्मक संरचना को भूल जाना है, केवल गुणक संरचना को छोड़ना है। इस कारण से, इसे कभी-कभी गैर-योगात्मक ज्यामिति भी कहा जाता है।

===मोनोइड्स===
गुणक मोनॉइड एक मोनॉइड है {{math |''A''}} जिसमें एक अवशोषित तत्व 0 भी सम्मलित है (मोनॉइड की पहचान 1 से अलग), जैसे कि {{math |0''a'' {{=}} 0}} हरएक के लिए {{math |''a''}} मोनॉयड में {{math |''A''.}} फिर एक तत्व वाले फ़ील्ड को परिभाषित किया जाता है {{math |'''F'''<sub>1</sub> {{=}} {0,1},}} दो तत्वों वाले फ़ील्ड का गुणक मोनॉयड, जो गुणक मोनॉयड की श्रेणी में [[प्रारंभिक वस्तु]] है। एक मोनोइड में एक मोनोइड आदर्श {{math |''A''}} एक उपसमुच्चय है {{math |''I''}} जो गुणात्मक रूप से बंद है, इसमें 0 है, और ऐसा है {{math |''IA'' {{=}} {''ra'' : ''r''∈''I'', ''a''∈''A''} {{=}} ''I''.}} ऐसा आदर्श प्रधान है यदि <math>A\setminus I</math> गुणात्मक रूप से बंद है और इसमें 1 सम्मलित है।

मोनोइड्स के लिए {{math |''A''}} और {{math |''B'',}} एक मोनोइड समरूपता एक फलन है {{math |''f'' : ''A'' → ''B''}} ऐसा है कि;
* {{math |''f''(0) {{=}} 0}};
* {{math |''f''(1) {{=}} 1,}} और
* {{math |''f''(''ab'') {{=}} ''f''(''a'')''f''(''b'')}} हरएक के लिए {{math |''a''}} और {{math |''b''}} में {{math |''A''.}}

===मोनॉइड योजनाएं===
एक मोनॉइड का स्पेक्ट्रम {{math |''A'',}} निरूपित {{math |Spec ''A'',}} के [[प्रमुख आदर्श]] का समुच्चय है {{math |''A''.}} [[आधार (टोपोलॉजी)]] खुले समुच्चय को परिभाषित करके, एक मोनॉइड के स्पेक्ट्रम को [[ज़ारिस्की टोपोलॉजी]] दी जा सकती है
:<math>U_h = \{\mathfrak{p}\in\text{Spec}A:h\notin\mathfrak{p}\},</math>
प्रत्येक के लिए {{math |''h''}} में {{math |''A''.}} एक मोनोइडल स्पेस एक टोपोलॉजिकल स्पेस है जिसमें मल्टीप्लिकेटिव मोनोइड्स का एक शीफ (गणित) होता है जिसे स्ट्रक्चर शीफ कहा जाता है। एक F मोनॉइड योजना एक मोनॉइडल स्थान है जो एक मोनॉइड के स्पेक्ट्रम के लिए आइसोमोर्फिक है, और एक 'मोनॉइड स्कीम' मोनॉइड का एक समूह है जिसमें F मोनॉइड योजनाओं द्वारा एक खुला आवरण होता है।

मोनॉइड योजनाओं को 'बेस अनुवर्ती' प्रकार्यक के माध्यम से रिंग-सैद्धांतिक योजनाओं में बदला जा सकता है <math>-\otimes_{\mathbf{F}_1}\mathbf{Z}</math> जो मोनॉइड A को ''''Z'''<nowiki/>'-मॉड्यूल (अर्थात रिंग) में भेजता है <math>\mathbf{Z}[A]/\langle 0_A\rangle,</math> और एक मोनोइड समरूपता {{math |''f'' : ''A'' → ''B''}} एक वलय समरूपता तक विस्तारित है <math>f_{\mathbf{Z}}:A\otimes_{\mathbf{F}_1}\mathbf{Z}\to B\otimes_{\mathbf{F}_1}\mathbf{Z}</math> जो Z-मॉड्यूल समरूपता के रूप में रैखिक है। F मोनॉइड योजना का आधार विस्तार सूत्र के माध्यम से परिभाषित किया गया है
:<math>\operatorname{Spec}(A)\times_{\operatorname{Spec}(\mathbf{F}_1)}\operatorname{Spec}(\mathbf{Z})=\operatorname{Spec}\big( A\otimes_{\mathbf{F}_1}\mathbf{Z}\big),</math>
जो बदले में एक सामान्य मोनॉइड योजना के आधार विस्तार को परिभाषित करता है।

===परिणाम===
यह निर्माण F<sub>1</sub> के कई वांछित गुणों को प्राप्त करता है-ज्यामिति: {{math |Spec '''F'''<sub>1</sub>}} में एक ही बिंदु होता है, इसलिए यह पारंपरिक ज्यामिति में एक फ़ील्ड के स्पेक्ट्रम के समान व्यवहार करता है, और F मोनॉइड योजनाओं की श्रेणी गुणक मोनॉयड की श्रेणी से दोहरी होती है, जो F योजनाओं और कम्यूटेटिव रिंगों के द्वंद्व को दर्शाती है। इसके अतिरिक्त, यह सिद्धांत F<sub>1</sub> से अपेक्षित संयोजक गुणों को संतुष्ट करता है पिछले अनुभागों में उल्लिखित; उदाहरण के लिए, प्रक्षेप्य स्थान {{math |'''F'''<sub>1</sub>}} आयाम का {{math|''n''}} एक मोनॉइड योजना प्रक्षेप्य स्थान के एक अपार्टमेंट के समान है {{math |'''F'''<sub>''q''</sub>}} आयाम का {{math|''n''}} जब एक इमारत के रूप में वर्णित किया गया है।

चूंकि, मोनॉइड योजनाएँ F<sub>1</sub> के सिद्धांत के सभी अपेक्षित गुणों को पूरा नहीं करती हैं-ज्यामिति, एकमात्र ऐसी किस्में जिनमें मोनॉइड स्कीम सादृश्य हैं, टोरिक किस्म हैं।<ref>{{harvtxt|Deitmar|2006}}</ref> अधिक सटीक रूप से, यदि {{math |''X''}} एक मोनोइड योजना है जिसका आधार विस्तार एक फ्लैट आकारवाद है, बीजगणितीय ज्यामिति # S की शब्दावली, परिमित आकारवाद की [[ जुड़ा हुआ स्थान ]] योजना # परिमित प्रकार के आकारवाद, फिर का आधार विस्तार {{math |''X''}}  एक टोरिक किस्म है. F<sub>1</sub> की अन्य धारणाएँ-ज्यामिति, जैसे कि कोन्स-कंसानी,<ref>{{harvtxt|Connes|Consani|2010}}</ref> F<sub>1</sub> का वर्णन करने के लिए इस मॉडल का निर्माण करें-ऐसी किस्में जो टोरिक नहीं हैं।

==फ़ील्ड अनुवर्ती==
कोई एक तत्व वाले फ़ील्ड के फ़ील्ड विस्तार को एकता की जड़ों के समूह के रूप में, या अधिक सूक्ष्मता से (ज्यामितीय संरचना के साथ) [[एकता की जड़ों की समूह योजना]] के रूप में परिभाषित कर सकता है। यह क्रम n के [[चक्रीय समूह]] के लिए गैर-स्वाभाविक रूप से समरूपता है, समरूपता एकता की एक आदिम जड़ की पसंद पर निर्भर करती है:<ref>Mikhail Kapranov, linked at The F_un folklore</ref>
:<math>\mathbf{F}_{1^n} = \mu_n.</math>
इस प्रकार 'F<sub>1<sup>''n''</sup></sub>' के ऊपर आयाम d का एक सदिश समष्टि क्रम dn का एक सीमित समुच्चय है जिस पर एकता की जड़ें आधार बिंदु के साथ मिलकर स्वतंत्र रूप से कार्य करती हैं।

इस दृष्टि से परिमित फ़ील्ड 'F'<sub>''q''</sub> F<sub>1<sup>''n''</sup></sub> के ऊपर एक बीजगणित है, आयाम का {{nowrap|1=''d'' = (''q'' − 1)/''n''}} किसी भी n के लिए जो कि एक गुणनखंड है {{nowrap|''q'' − 1}} (उदाहरण के लिए {{nowrap|1=''n'' = ''q'' − 1}} या {{nowrap|1=''n'' = 1}}). यह इस तथ्य से मेल खाता है कि एक परिमित फ़ील्ड की इकाइयों का समूह F<sub>''q''</sub> (जो हैं {{nowrap|''q'' − 1}}गैर-शून्य तत्व) क्रम का एक चक्रीय समूह है {{nowrap|''q'' − 1}}, जिस पर क्रम का कोई भी चक्रीय समूह विभाजित होता है {{nowrap|''q'' − 1}} स्वतंत्र रूप से कार्य करता है (एक शक्ति तक बढ़ाकर), और फ़ील्ड का शून्य तत्व आधार बिंदु है।

इसी प्रकार, [[वास्तविक संख्या]] R, F<sub>1<sup>2</sup></sub> के ऊपर एक बीजगणित है, अनंत आयाम का, क्योंकि वास्तविक संख्याओं में ±1 होता है, लेकिन एकता का कोई अन्य मूल नहीं होता है, और सम्मिश्र संख्या C, F<sub>1<sup>''n''</sup></sub> के ऊपर एक बीजगणित है सभी n के लिए, फिर से अनंत आयाम का, क्योंकि सम्मिश्र संख्याओं में एकता की सभी जड़ें होती हैं।

इस दृष्टिकोण से, कोई भी घटना जो केवल एकता की जड़ों वाले फ़ील्ड पर निर्भर करती है उसे 'F<sub>1</sub>' से आते हुए देखा जा सकता है। - उदाहरण के लिए, [[असतत फूरियर रूपांतरण]] (जटिल-मूल्यवान) और संबंधित [[संख्या-सैद्धांतिक परिवर्तन]] (जेड/''एन''जेड-मान) है।

==यह भी देखें==
* [[अंकगणित व्युत्पन्न]]
* [[एक तत्व के साथ अर्धसमूह]]

==टिप्पणियाँ==
{{reflist}}


==ग्रन्थसूची==
* {{ Citation | last1 = Borger | first1 = James | title = Λ-rings and the field with one element | year = 2009 | arxiv=0906.3146 }}
* {{citation | editor1-last=Consani | editor1-first=Caterina | editor2-last=Connes | editor2-first=Alain | editor2-link=Alain Connes | title=Noncommutative geometry, arithmetic, and related topics. Proceedings of the 21st meeting of the Japan-U.S. Mathematics Institute (JAMI) held at Johns Hopkins University, Baltimore, MD, USA, March 23–26, 2009 | location=Baltimore, MD | publisher=Johns Hopkins University Press | isbn=978-1-4214-0352-6 | year=2011 | zbl=1245.00040 }}
* {{ Citation | last1 = Connes | first1 = Alain | author-link = Alain Connes | last2 = Consani | first2 = Caterina | last3 = Marcolli | first3 = Matilde | author3-link=Matilde Marcolli | title = Fun with <math>\mathbb{F}_1</math> | journal = Journal of Number Theory | volume = 129 | issue = 6 | year = 2009 | arxiv = 0806.2401 | pages=1532–1561 |zbl=1228.11143 | mr=2521492 | doi = 10.1016/j.jnt.2008.08.007 | s2cid = 5327852 }}
* {{Citation | last1 = Connes | first1 = Alain | author-link = Alain Connes | last2 = Consani | first2 = Caterina | title = Schemes over '''F'''<sub>1</sub> and zeta functions | journal = Compositio Mathematica | volume = 146 | number = 6  |publisher = London Mathematical Society | year = 2010 | pages = 1383–1415 | doi = 10.1112/S0010437X09004692 | arxiv = 0903.2024 | s2cid = 14448430 }}
* {{ Citation | last1 = Deitmar | first1 = Anton | chapter = Schemes over '''F'''<sub>1</sub> | title = Number Fields and Function Fields: Two Parallel Worlds | editor-last = van der Geer | editor-first = G. | editor2-last = Moonen | editor2-first = B. | editor3-last = Schoof | editor3-first = R. | series = Progress in Mathematics | volume = 239 | year = 2005 }}
* {{ Citation | last1 = Deitmar | first1 = Anton | title = '''F'''<sub>1</sub>-schemes and toric varieties | year = 2006 | arxiv = math/0608179 | bibcode = 2006math......8179D }}
* {{ cite arXiv | last1 = Durov | first1 = Nikolai | authorlink=Nikolai Durov | title = New Approach to Arakelov Geometry | year = 2008 | eprint = 0704.2030 |mode=cs2| class = math.AG }}
* {{ Citation | last1 = Giansiracusa | first1 = Jeffrey | last2 = Giansiracusa | first2 = Noah | title = Equations of tropical varieties | journal = Duke Mathematical Journal | volume = 165 | issue = 18 | pages = 3379–3433 | year = 2016 | arxiv = 1308.0042 | doi=10.1215/00127094-3645544| s2cid = 16276528 }}
* {{ Citation | last1 = Kapranov | first1 = Mikhail | last2 = Smirnov | first2 = Alexander | title = Cohomology determinants and reciprocity laws: number field case | year = 1995 | url = http://www.neverendingbooks.org/DATA/KapranovSmirnov.pdf }}
* {{ cite arXiv | last = Le Bruyn | first = Lieven | title = (non)commutative f-un geometry  | year = 2009 | eprint = 0909.2522 |mode=cs2 | class = math.RA }}
* {{Citation | last1 = Lescot | first1 = Paul | title = Algebre absolue | year = 2009 | url = http://www.univ-rouen.fr/LMRS/Persopage/Lescot/algabsodef.pdf | access-date = 21 November 2009 | archive-url = https://web.archive.org/web/20110727024554/http://www.univ-rouen.fr/LMRS/Persopage/Lescot/algabsodef.pdf | archive-date = 27 July 2011 | url-status = dead | df = dmy-all }}
* {{ Citation | last1 = López Peña | first1 = Javier | last2 = Lorscheid | first2 = Oliver | title = Mapping '''F'''<sub>1</sub>-land: An overview of geometries over the field with one element | journal = Noncommutative Geometry, Arithmetic, and Related Topics | pages = 241–265 | year = 2011 | arxiv = 0909.0069 }}
* {{ cite arXiv | title = Algebraic groups over the field with one element | first = Oliver | last = Lorscheid | year = 2009 | eprint = 0907.3824 |mode=cs2 | class = math.AG }}
* {{ Citation | last = Lorscheid | first = Oliver | chapter = A blueprinted view on '''F'''<sub>1</sub>-geometry | title = Absolute arithmetic and '''F'''<sub>1</sub>-geometry | editor-last = Koen | editor-first = Thas | publisher = European Mathematical Society Publishing House | year = 2016 | arxiv=1301.0083 }}
* {{Citation | last = Lorscheid | first = Oliver | title = '''F'''<sub>1</sub> for everyone |journal=Jahresbericht der Deutschen Mathematiker-Vereinigung |publisher=Springer |volume=120 |issue=2|pages=83–116| year=2018a | arxiv = 1801.05337 | doi=10.1365/s13291-018-0177-x| s2cid = 119664210 }}
* {{Citation |last1=Lorscheid |first1=Oliver |title=The geometry of blueprints part II: Tits-Weyl models of algebraic groups |journal=Forum of Mathematics, Sigma |date=2018b |volume=6 |doi=10.1017/fms.2018.17 |arxiv=1201.1324 |s2cid=117587513 }}
* {{Citation | last = Lorscheid | first = Oliver | title = Scheme-theoretic tropicalization | year = 2015 | arxiv = 1508.07949 }}
* {{ Citation | last1 = Manin | first1 = Yuri | author-link = Yuri Manin | title = Lectures on zeta functions and motives (according to Deninger and Kurokawa) | journal = Astérisque | volume = 228 | issue = 4 | year = 1995 | pages = 121–163 |url = http://www.numdam.org/article/AST_1995__228__121_0.pdf }}
* {{ Citation | last1 = Scholze | first1 = Peter | author-link = Peter Scholze | title = p-adic geometry | arxiv = 1712.03708 | year = 2017 | pages = 13}}
* {{ Citation | last1 = Smirnov | first1 = Alexander |  title = Hurwitz inequalities for number fields | journal = Algebra i Analiz | volume = 4 | issue = 2 | year = 1992 | pages = 186–209 |url = http://www.mathnet.ru/links/8dafb08c25c53919c3874603cbfef5c5/aa316.pdf | language = Russian }}
* {{ Citation | last1 = Soulé | first1 = Christophe | author1-link = Christophe Soule | title = On the field with one element (exposé à l'Arbeitstagung, Bonn, June 1999) | publisher = Preprint IHES | year = 1999 | url = https://www.ihes.fr/%7Esoule/f1-soule.pdf }}
* {{ Citation | last1 = Soulé | first1 = Christophe | author1-link = Christophe Soule | title = Les variétés sur le corps à un élément | year = 2003 | arxiv = math/0304444 | bibcode = 2003math......4444S | language = French }}
* {{ Citation | last1 = Tits | first1 = Jacques | author1-link = Jacques Tits|chapter = Sur les analogues algébriques des groupes semi-simples complexes | title = Colloque d'algèbre supérieure, tenu à Bruxelles du 19 au 22 décembre 1956, Centre Belge de Recherches Mathématiques Établissements Ceuterick, Louvain | publisher = Librairie Gauthier-Villars | place = Paris | year = 1957 | pages = 261–289 }}
* {{ Citation | last1 = Toën | first1 = Bertrand | last2 = Vaquié | first2 = Michel | author1-link = Bertrand Toën | title = Au dessous de Spec '''Z''' | arxiv = math/0509684 | year = 2005 }}
* {{ Citation |last1=Vezzani |first1=Alberto |title=Deitmar's versus Toën-Vaquié's schemes over '''F'''<sub>1</sub> |journal=Mathematische Zeitschrift |date=2010 |volume=271 |pages=1–16 |doi=10.1007/s00209-011-0896-5 |url=https://www.researchgate.net/publication/225695202|arxiv=1005.0287 |s2cid=119145251 }}


==बाहरी संबंध==
* [[John Baez]]'s This Week's Finds in Mathematical Physics: [http://math.ucr.edu/home/baez/week259.html Week 259]
* [http://golem.ph.utexas.edu/category/2007/04/the_field_with_one_element.html The Field With One Element] at the ''n''-category cafe
* [http://sbseminar.wordpress.com/2007/08/14/the-field-with-one-element/ The Field With One Element] at Secret Blogging Seminar
* [http://www.neverendingbooks.org/looking-for-f_un Looking for F<sub>un</sub>] and [http://www.neverendingbooks.org/the-f_un-folklore The F<sub>un</sub> folklore], Lieven le Bruyn.
* [http://arxiv.org/abs/0909.0069 Mapping F_1-land:An overview of geometries over the field with one element], Javier López Peña, Oliver Lorscheid
* [http://cage.ugent.be/~kthas/Fun  F<sub>un</sub> Mathematics], Lieven le Bruyn, [[Thas, Koen|Koen Thas]].
* Vanderbilt conference on [http://www.math.vanderbilt.edu/~ncgoa/workshop2008.html Noncommutative Geometry and Geometry over the Field with One Element] {{Webarchive|url=https://web.archive.org/web/20131212171146/http://www.math.vanderbilt.edu/~ncgoa/workshop2008.html |date=12 December 2013 }} ([http://www.math.vanderbilt.edu/~ncgoa/schedule_workshop08.pdf Schedule] {{Webarchive|url=https://web.archive.org/web/20120215091922/http://www.math.vanderbilt.edu/~ncgoa/schedule_workshop08.pdf |date=15 February 2012 }})
* [http://noncommutativegeometry.blogspot.com/2008/05/ncg-and-fun.html NCG and F_un], by [[Alain Connes]] and K. Consani: summary of talks and slides

{{DEFAULTSORT:Field With One Element}}[[Category: बीजगणितीय ज्यामिति]] [[Category: नॉनकम्यूटेटिव ज्योमेट्री]] [[Category: परिमित क्षेत्र]] [[Category: 1 (संख्या)]] 



[[Category: Machine Translated Page]]
[[Category:Created On 14/07/2023]]