एक तत्व वाला फ़ील्ड: Difference between revisions

Revision as of 17:35, 26 July 2023

गणित में, एक तत्व वाला फ़ील्ड किसी वस्तु के लिए एक सूचक नाम होता है जिसे एक ही तत्व वाले परिमित फ़ील्ड के समान व्यवहार करना चाहिए, यदि ऐसा फ़ील्ड मौजूद हो सकता है। इस वस्तु को F₁ दर्शाया गया है, या, फ़्रेंच-अंग्रेज़ी वाक्य में, F_un.^[1] एक तत्व और अंकन F₁ के साथ नाम फ़ील्ड केवल विचारोत्तेजक हैं, क्योंकि शास्त्रीय अमूर्त बीजगणित में एक तत्व वाला कोई फ़ील्ड नहीं है। इसके बजाय, F₁ इस विचार को संदर्भित करता है कि समुच्चय (गणित) और संक्रिया (गणित) को बदलने का एक तरीका होना चाहिए, अमूर्त बीजगणित के लिए पारंपरिक रचक खंड, अन्य, अधिक लचीली वस्तुओं के साथ। F₁ के कई सिद्धांत प्रस्तावित किया गया है, लेकिन यह स्पष्ट नहीं है कि उनमें से कौन सा, यदि कोई हो, F₁ देता है सभी वांछित गुण. हालाँकि इन सिद्धांतों में अभी भी एक भी तत्व वाला कोई फ़ील्ड नहीं है, एक फ़ील्ड जैसी वस्तु है जिसकी विशेषता (बीजगणित) एक है।

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

F₁ के गणित का अध्ययन करने की संभावना मूल रूप से 1956 में जैक्स टिट्स द्वारा सुझाया गया था, जिसे प्रकाशित किया गया था टिट्स 1957, प्रक्षेप्य ज्यामिति में समरूपता और सरल परिसरों के संयोजन के बीच सादृश्य के आधार पर। F₁ गैर-अनुवांशिक ज्यामिति और रीमैन परिकल्पना के संभावित प्रमाण से जुड़ा हुआ है।

इतिहास

1957 में, जैक्स टिट्स ने बिल्डिंग (गणित) का सिद्धांत पेश किया, जो बीजगणितीय समूह को अमूर्त सरल परिसरों से जोड़ता है। धारणाओं में से एक गैर-तुच्छता की स्थिति है: यदि इमारत एक N-आयामी अमूर्त सरलीकृत परिसर है, और यदि k < n, तो भवन का प्रत्येक k-प्रसमुच्चय कम से कम तीन n-प्रसमुच्चय में समाहित होना चाहिए। यह शास्त्रीय प्रक्षेप्य ज्यामिति की उस शर्त के अनुरूप है कि एक रेखा में कम से कम तीन बिंदु होने चाहिए। हालाँकि, ऐसी डिजेनरेसी (गणित) ज्यामितियाँ हैं जो प्रक्षेप्य ज्यामिति होने के लिए सभी शर्तों को पूरा करती हैं, सिवाय इसके कि रेखाएँ केवल दो बिंदुओं को स्वीकार करती हैं। इमारतों के सिद्धांत में अनुरूप वस्तुओं को अपार्टमेंट कहा जाता है। अपार्टमेंट इमारतों के सिद्धांत में ऐसी घटक भूमिका निभाते हैं कि टिट्स ने प्रक्षेप्य ज्यामिति के एक सिद्धांत के अस्तित्व का अनुमान लगाया जिसमें विकृत चिरसम्मत ज्यामिति लोगों के बराबर खड़ी होगी। उन्होंने कहा, यह ज्यामिति विशिष्ट फ़ील्ड के ऊपर घटित होगी।^[2] इस सादृश्य का उपयोग करके F₁ के कुछ प्रारंभिक गुणों का वर्णन करना संभव था लेकिन इसका निर्माण संभव नहीं हो सका है।

टिट्स की प्रारंभिक टिप्पणियों के बाद, 1990 के दशक की शुरुआत तक बहुत कम प्रगति हुई थी। 1980 के दशक के उत्तरार्ध में, अलेक्जेंडर स्मिरनोव ने बातचीत की एक श्रृंखला दी जिसमें उन्होंने अनुमान लगाया कि रीमैन परिकल्पना को एक तत्व वाले फ़ील्ड पर पूर्णांकों को वक्र के रूप में मानकर सिद्ध किया जा सकता है। 1991 तक, स्मिरनोव ने F₁ के ऊपर बीजगणितीय ज्यामिति की दिशा में कुछ कदम उठाए थे,^[3] F₁ के अनुवर्ती का परिचय और प्रक्षेप्य रेखा P¹ को संभालने के लिए उनका उपयोग करना F₁ के ऊपर.^[3]इस P में बीजगणितीय संख्याओं को मानचित्र के रूप में माना जाता था¹, और रीमैन-हर्विट्ज़ सूत्र के अनुमानित अनुमान इन मानचित्रों के लिए रीमैन-हर्विट्ज़ सूत्र का सुझाव दिया गया था। ये सन्निकटन abc अनुमान जैसे बहुत गहरे दावे दर्शाते हैं। F₁ का विस्तार बाद में इन्हें F_q के रूप में दर्शाया गया q = 1ⁿ के साथ. मिखाइल कापरानोव के साथ, स्मिरनोव ने यह पता लगाने के लिए काम किया कि प्रमुख विशेषता में बीजगणितीय और संख्या सिद्धांत निर्माण विशेषता में कैसे दिख सकते हैं, जिसका समापन 1995 में जारी एक अप्रकाशित कार्य में हुआ था।^[4] 1993 में, यूरी मनिन ने रीमैन ज़ेटा फलन पर व्याख्यान की एक श्रृंखला दी जहां उन्होंने F₁ पर बीजगणितीय ज्यामिति का एक सिद्धांत विकसित करने का प्रस्ताव रखा।^[5] उन्होंने सुझाव दिया कि जीटा F₁ पर बीजगणितीय विविधता के कार्य करता है बहुत ही सरल विवरण होंगे, और उन्होंने बीजगणितीय K-सिद्धांत F₁ के K-सिद्धांत के बीच एक संबंध प्रस्तावित किया और गोले के समरूप समूह। इसने कई लोगों को F₁ के स्पष्ट सिद्धांतों का निर्माण करने का प्रयास करने के लिए प्रेरित किया है।

F₁ पर विविधता की पहली प्रकाशित परिभाषा 1999 में क्रिस्टोफ़ सोले से आया,^[6] जिन्होंने कुछ रिंग की श्रेणी (गणित) से जटिल संख्याओं और प्रकार्यक पर बीजगणित का उपयोग करके इसका निर्माण किया।^[6] 2000 में, झू ने प्रस्ताव दिया कि F₁ F₂ के समान था सिवाय इसके कि एक और एक का योग एक था, शून्य नहीं।^[7] डिटमार ने सुझाव दिया कि F₁ किसी वलय की योगात्मक संरचना को भूलकर और गुणन पर ध्यान केंद्रित करके पाया जाना चाहिए।^[8] टोएन और वाकी ने हकीम के सापेक्ष योजनाओं के सिद्धांत पर निर्माण किया और F₁ को परिभाषित किया सममित मोनोइडल श्रेणी का उपयोग करना।^[9] बाद में वेज़ानी द्वारा उनके निर्माण को डिटमार के समकक्ष दिखाया गया।^[10] निकोलाई दुरोव ने F₁ का निर्माण किया एक क्रमविनिमेय बीजगणितीय मोनैड (श्रेणी सिद्धांत) के रूप में,^[11] बोर्गर ने परिमित फ़ील्डों और पूर्णांकों से इसका निर्माण करने के लिए अवरोहांक (श्रेणी सिद्धांत) का उपयोग किया।^[12] एलेन कोन्स और कैटरिना कंसानी ने एक नई श्रेणी बनाने के लिए गुणक मोनोइडस की श्रेणी और रिंगों की श्रेणी को जोड़कर सोले और डिटमार दोनों की धारणाओं को विकसित किया। ${\mathfrak {M}}{\mathfrak {R}},$ फिर F₁ को परिभाषित करना-योजनाओं पर एक विशेष प्रकार का प्रतिनिधित्व योग्य होना ${\mathfrak {M}}{\mathfrak {R}}.$ ^[13] इसका उपयोग करते हुए, वे F₁ पर कई संख्या-सैद्धांतिक निर्माणों की एक धारणा प्रदान करने में कामयाब रहे जैसे कि उद्देश्य और फ़ील्ड विस्तार, साथ ही F₁ के ऊपर झूठ प्रकार#शेवल्ली समूहों के समूह का निर्माण_². मटिल्डे मार्कोली के साथ-साथ कॉन्स और कंसानी ने भी F को जोड़ा है₁ गैर-अनुवांशिक ज्यामिति के साथ।^[14] कम्प्यूटेशनल जटिलता सिद्धांत में अद्वितीय गेम अनुमान से संबंध रखने का भी सुझाव दिया गया है।^[15] ओलिवर लॉर्शिड ने, अन्य लोगों के साथ, हाल ही में F पर शेवेल्ली समूहों का वर्णन करने के टिट्स के मूल उद्देश्य को प्राप्त किया है₁ ब्लूप्रिंट नामक वस्तुओं का परिचय देकर, जो मोटी हो जाओ और मोनोइड्स दोनों का एक साथ सामान्यीकरण है।^[16]^[17] इनका उपयोग तथाकथित नीली योजनाओं को परिभाषित करने के लिए किया जाता है, जिनमें से एक स्पेक F है₁.^[18] लोर्शेड के विचार F से अधिक समूहों के अन्य विचारों से कुछ हद तक भिन्न हैं₁, उसमें F₁-योजना स्वयं सामान्य योजनाओं के आधार विस्तार का वेइल समूह नहीं है। लोर्सचीड सबसे पहले स्तन श्रेणी को परिभाषित करता है, जो नीली योजनाओं की श्रेणी की एक पूर्ण उपश्रेणी है, और वेइल अनुवर्ती को परिभाषित करता है, जो स्तन श्रेणी से समुच्चय तक का एक फ़नकार है। बीजगणितीय समूह का एक टिट्स-वेइल मॉडल ${\mathcal {G}}$ एक समूह संचालन के साथ एक नीली योजना जी है जो कि स्तन श्रेणी में एक रूपवाद है, जिसका आधार विस्तार है ${\mathcal {G}}$ और जिसका वेइल विस्तार वेइल समूह के समरूपी है ${\mathcal {G}}.$ F₁-ज्यामिति को उष्णकटिबंधीय ज्यामिति से जोड़ा गया है, इस तथ्य के माध्यम से कि अर्धवृत्त (विशेष रूप से, उष्णकटिबंधीय अर्धवृत्त) एक मोनॉइड ए के तत्वों के परिमित औपचारिक योग के कुछ मोनॉयड अर्धवृत्त एन[ए] के भागफल के रूप में उत्पन्न होते हैं। , जो स्वयं एक F है₁-बीजगणित. यह संबंध लोर्शेड के ब्लूप्रिंट के उपयोग से स्पष्ट हो गया है।^[19] जियान्सिराकुसा बंधुओं ने एक उष्णकटिबंधीय योजना सिद्धांत का निर्माण किया है, जिसके लिए उनकी उष्णकटिबंधीय योजनाओं की श्रेणी टोन-वाक्वी F की श्रेणी के बराबर है।₁-योजनाएँ।^[20] यह श्रेणी नीली योजनाओं की श्रेणी में वफादार फ़नकार को एम्बेड करती है, लेकिन पूर्ण फ़नकार को नहीं, और ड्यूरोव योजनाओं की श्रेणी की एक पूर्ण उपश्रेणी है।

प्रेरणाएँ

बीजगणितीय संख्या सिद्धांत

F के लिए एक प्रेरणा₁ बीजगणितीय संख्या सिद्धांत से आता है। परिमित फ़ील्डों पर वक्रों के लिए रीमैन परिकल्पना का आंद्रे वेइल का प्रमाण एक परिमित फ़ील्ड k पर एक वक्र C से शुरू होता है, जो एक बीजगणितीय विविधता F के फ़ंक्शन फ़ील्ड से सुसज्जित होता है, जो कि k का एक फ़ील्ड विस्तार है। ऐसा प्रत्येक फ़ंक्शन फ़ील्ड हस्से-वील ज़ेटा फ़ंक्शन को जन्म देता है $ζ F$ , और परिमित फ़ील्डों के लिए रीमैन परिकल्पना शून्य निर्धारित करती है $ζ F$ . फिर वेइल का प्रमाण अध्ययन के लिए सी के विभिन्न ज्यामितीय गुणों का उपयोग करता है $ζ F$ .

परिमेय संख्या Q का फ़ील्ड रीमैन ज़ेटा फ़ंक्शन के समान तरीके से जुड़ा हुआ है, लेकिन Q किसी किस्म का फ़ंक्शन फ़ील्ड नहीं है। इसके बजाय, Q योजना का कार्य फ़ील्ड है (गणित) $Spec Z$ . यह एक आयामी योजना है (जिसे बीजगणितीय वक्र के रूप में भी जाना जाता है), और इसलिए कुछ आधार फ़ील्ड होना चाहिए जिस पर यह वक्र स्थित है, जिसमें से Q एक फ़ील्ड अनुवर्ती होगा (उसी तरह जैसे C है) k के ऊपर एक वक्र है, और F k का विस्तार है)। F की आशा₁-ज्यामिति यह है कि एक उपयुक्त वस्तु F₁ इस आधार फ़ील्ड की भूमिका निभा सकता है, जो F के साथ वेइल के प्रमाण की नकल करके रीमैन परिकल्पना के प्रमाण की अनुमति देगा₁ के के स्थान पर.

अरकेलोव ज्यामिति

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

अपेक्षित गुण

F₁ फ़ील्ड नहीं है

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

अन्य गुण

परिमित समुच्चय F के ऊपर F़िन स्थान और प्रक्षेप्य स्थान दोनों हैं₁.
नुकीले समुच्चय F के ऊपर सदिश स्थान हैं₁.^[21]
परिमित फ़ील्ड F_q F का क्वांटम समूह हैं₁, जहां q विकृति है।
वेइल समूह 'F' पर सरल बीजगणितीय समूह हैं₁:
एक अर्धसरल बीजगणितीय समूह के लिए डायनकिन आरेख दिया गया है, इसका वेइल समूह है^[22] F पर अर्धसरल बीजगणितीय समूह₁.
F़िन स्कीम स्पेक Z, F के ऊपर एक वक्र है₁.
समूह F पर हॉपफ बीजगणित हैं₁. अधिक आम तौर पर, बीजगणितीय वस्तुओं के आरेखों के संदर्भ में पूरी तरह से परिभाषित किसी भी चीज़ में F होना चाहिए₁-समुच्चय की श्रेणी में एनालॉग।
समुच्चय पर ग्रुप एक्शन (गणित) 'F' के ऊपर जी का प्रोजेक्टिव प्रतिनिधित्व है₁, और इस प्रकार, G समूह हॉपफ बीजगणित 'F' है₁[जी]।
टोरिक किस्म 'F' निर्धारित करती है₁-किस्में। F के कुछ विवरणों में₁-ज्यामिति का विपरीत भी सत्य है, इस अर्थ में कि F के अदिशों का विस्तार₁-ज़ेड की किस्में टोरिक हैं।^[23] जबकि F के लिए अन्य दृष्टिकोण₁-ज्यामिति उदाहरणों के व्यापक वर्गों को स्वीकार करती है, टोरिक किस्में सिद्धांत के मूल में स्थित प्रतीत होती हैं।
पी का जीटा फ़ंक्शन^एन('F'₁) होना चाहिए ζ(s) = s(s − 1)⋯(s − N).^[6]* 'F' का एम-वें के-समूह₁ गोले के स्पेक्ट्रम का एम-वां स्थिर समरूप समूह होना चाहिए।^[6]

गणना

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

समुच्चय प्रक्षेप्य स्थान हैं

P(F) के तत्वों की संख्याⁿ
_q) = पीⁿ⁻¹('F'_q), द (n − 1)-परिमित फ़ील्ड F पर आयामी प्रक्षेप्य स्थान_q, q-ब्रैकेट|q-पूर्णांक है^[24]

[n]_{q}:={\frac {q^{n}-1}{q-1}}=1+q+q^{2}+\dots +q^{n-1}.

ले रहा q = 1 पैदावार [n]_q = n.

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

क्रमपरिवर्तन अधिकतम झंडे हैं

वहाँ अरेन! n तत्वों और [n] के साथ एक समुच्चय का क्रमपरिवर्तन!_q F में अधिकतम ध्वज (रैखिक बीजगणित)।ⁿ
_q, कहाँ

[n]!_{q}:=[1]_{q}[2]_{q}\dots [n]_{q}

Q-Pochammer प्रतीक है#अन्य q-कार्यों से संबंध|q-फैक्टोरियल। वास्तव में, एक समुच्चय के क्रमपरिवर्तन को फ़िल्टरेशन (गणित) # समुच्चय माना जा सकता है, क्योंकि ध्वज एक फ़िल्टर्ड वेक्टर स्पेस है: उदाहरण के लिए, ऑर्डरिंग (0, 1, 2) समुच्चय का {0, 1, 2} निस्पंदन {0} ⊂ {0,1} ⊂ {0,1,2} से मेल खाता है।

उपसमुच्चय उपस्थान हैं

द्विपद गुणांक

{\frac {n!}{m!(n-m)!}}

एन-तत्व समुच्चय के एम-तत्व उपसमुच्चय की संख्या देता है, और क्यू-फैक्टोरियल#क्यू-ब्रैकेट और क्यू-द्विपद | क्यू-द्विपद गुणांक से संबंध देता है

{\frac {[n]!_{q}}{[m]!_{q}[n-m]!_{q}}}

'F' के ऊपर एक n-आयामी वेक्टर समष्टि के m-आयामी उप-स्थानों की संख्या देता है_q.

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

मोनॉइड योजनाएं

डिटमार द्वारा मोनॉइड योजनाओं का निर्माण^[25] F का मूल कहा गया है₁-ज्यामिति ,^[16] F के अधिकांश अन्य सिद्धांतों की तरह₁-ज्यामिति में मोनॉइड योजनाओं का विवरण होता है। नैतिक रूप से, यह 1950 और 1960 के दशक में क्रमविनिमेय वलय ्स को मोनोइड्स के साथ बदलकर विकसित किए गए स्कीम (गणित) के सिद्धांत की नकल करता है। इसका प्रभाव वलय की योगात्मक संरचना को भूल जाना है, केवल गुणक संरचना को छोड़ना है। इस कारण से, इसे कभी-कभी गैर-योगात्मक ज्यामिति भी कहा जाता है।

मोनोइड्स

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

मोनोइड्स के लिए $A$ और $B,$ एक मोनोइड समरूपता एक फलन है $f : A \to B$ ऐसा है कि;

$f (0) = 0$ ;
$f (1) = 1,$ और
$f (ab) = f (a) f (b)$ हरएक के लिए $a$ और $b$ में $A .$

मोनॉइड योजनाएं

एक मोनॉइड का स्पेक्ट्रम $A,$ निरूपित $Spec A,$ के प्रमुख आदर्शों का समुच्चय है $A .$ आधार (टोपोलॉजी) खुले समुच्चय को परिभाषित करके, एक मोनॉइड के स्पेक्ट्रम को ज़ारिस्की टोपोलॉजी दी जा सकती है

U_{h}=\{{\mathfrak {p}}\in {\text{Spec}}A:h\notin {\mathfrak {p}}\},

प्रत्येक के लिए $h$ में $A .$ एक मोनोइडल स्पेस एक टोपोलॉजिकल स्पेस है जिसमें मल्टीप्लिकेटिव मोनोइड्स का एक शीफ (गणित) होता है जिसे स्ट्रक्चर शीफ कहा जाता है। एक F़िन मोनॉइड योजना एक मोनॉइडल स्थान है जो एक मोनॉइड के स्पेक्ट्रम के लिए आइसोमोर्फिक है, और एक 'मोनॉइड स्कीम' मोनॉइड का एक समूह है जिसमें F़िन मोनॉइड योजनाओं द्वारा एक खुला आवरण होता है।

मोनॉइड योजनाओं को 'बेस अनुवर्ती' फ़ैक्टर के माध्यम से रिंग-सैद्धांतिक योजनाओं में बदला जा सकता है $-\otimes _{\mathbf {F} _{1}}\mathbf {Z}$ जो मोनॉइड ए को 'जेड'-मॉड्यूल (यानी रिंग) में भेजता है $\mathbf {Z} [A]/\langle 0_{A}\rangle ,$ और एक मोनोइड समरूपता $f : A \to B$ एक वलय समरूपता तक विस्तारित है $f_{\mathbf {Z} }:A\otimes _{\mathbf {F} _{1}}\mathbf {Z} \to B\otimes _{\mathbf {F} _{1}}\mathbf {Z}$ जो Z-मॉड्यूल समरूपता के रूप में रैखिक है। F़िन मोनॉइड योजना का आधार विस्तार सूत्र के माध्यम से परिभाषित किया गया है

\operatorname {Spec} (A)\times _{\operatorname {Spec} (\mathbf {F} _{1})}\operatorname {Spec} (\mathbf {Z} )=\operatorname {Spec} {\big (}A\otimes _{\mathbf {F} _{1}}\mathbf {Z} {\big )},

जो बदले में एक सामान्य मोनॉइड योजना के आधार विस्तार को परिभाषित करता है।

परिणाम

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

हालाँकि, मोनॉइड योजनाएँ F के सिद्धांत के सभी अपेक्षित गुणों को पूरा नहीं करती हैं₁-ज्यामिति, एकमात्र ऐसी किस्में जिनमें मोनॉइड स्कीम एनालॉग्स हैं, टोरिक किस्म हैं।^[26] अधिक सटीक रूप से, यदि $X$ एक मोनोइड योजना है जिसका आधार विस्तार एक फ्लैट आकारवाद है, बीजगणितीय ज्यामिति # एस की शब्दावली, परिमित आकारवाद की जुड़ा हुआ स्थान योजना # परिमित प्रकार के आकारवाद, फिर का आधार विस्तार $X$ एक टोरिक किस्म है. F की अन्य धारणाएँ₁-ज्यामिति, जैसे कि कोन्स-कंसानी,^[27] F का वर्णन करने के लिए इस मॉडल का निर्माण करें₁-ऐसी किस्में जो टोरिक नहीं हैं।

फ़ील्ड अनुवर्ती

कोई एक तत्व वाले फ़ील्ड के फ़ील्ड विस्तार को एकता की जड़ों के समूह के रूप में, या अधिक सूक्ष्मता से (ज्यामितीय संरचना के साथ) एकता की जड़ों की समूह योजना के रूप में परिभाषित कर सकता है। यह क्रम n के चक्रीय समूह के लिए गैर-स्वाभाविक रूप से समरूपता है, समरूपता एकता की एक आदिम जड़ की पसंद पर निर्भर करती है:^[28]

\mathbf {F} _{1^{n}}=\mu _{n}.

इस प्रकार 'F' के ऊपर आयाम d का एक सदिश समष्टि_1ⁿ क्रम dn का एक सीमित समुच्चय है जिस पर एकता की जड़ें आधार बिंदु के साथ मिलकर स्वतंत्र रूप से कार्य करती हैं।

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

इसी प्रकार, वास्तविक संख्या R, F के ऊपर एक बीजगणित है_1², अनंत आयाम का, क्योंकि वास्तविक संख्याओं में ±1 होता है, लेकिन एकता का कोई अन्य मूल नहीं होता है, और सम्मिश्र संख्या C, F के ऊपर एक बीजगणित है_1ⁿ सभी n के लिए, फिर से अनंत आयाम का, क्योंकि सम्मिश्र संख्याओं में एकता की सभी जड़ें होती हैं।

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

यह भी देखें

↑ "un" is French for "one", and fun is a playful English word. For examples of this notation, see, e.g. Le Bruyn (2009), or the links by Le Bruyn, Connes, and Consani.
↑ Tits (1957).
↑ ^3.0 ^3.1 Smirnov (1992)
↑ Kapranov & Smirnov (1995)
↑ Manin (1995).
↑ ^6.0 ^6.1 ^6.2 ^6.3 Soulé (1999)
↑ Lescot (2009).
↑ Deitmar (2005).
↑ Toën & Vaquié (2005).
↑ Vezzani (2010)
↑ Durov (2008).
↑ Borger (2009).
↑ Connes & Consani (2010).
↑ Connes, Consani & Marcolli (2009)
↑ Kalai, Gil (10 January 2018), "Subhash Khot, Dor Minzer and Muli Safra proved the 2-to-2 Games Conjecture", Combinatorics and more
↑ ^16.0 ^16.1 Lorscheid (2018a)
↑ (Lorscheid 2018b)
↑ Lorscheid (2016)
↑ Lorscheid (2015)
↑ Giansiracusa & Giansiracusa (2016)
↑ Noah Snyder, The field with one element, Secret Blogging Seminar, 14 August 2007.
↑ This Week's Finds in Mathematical Physics, Week 187
↑ Deitmar (2006).
↑ This Week's Finds in Mathematical Physics, Week 183, q-arithmetic
↑ Deitmar (2005)
↑ Deitmar (2006)
↑ Connes & Consani (2010)
↑ Mikhail Kapranov, linked at The F_un folklore

ग्रन्थसूची

Borger, James (2009), Λ-rings and the field with one element, arXiv:0906.3146
Consani, Caterina; Connes, Alain, eds. (2011), 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, Baltimore, MD: Johns Hopkins University Press, ISBN 978-1-4214-0352-6, Zbl 1245.00040
Connes, Alain; Consani, Caterina; Marcolli, Matilde (2009), "Fun with $\mathbb {F} _{1}$ ", Journal of Number Theory, 129 (6): 1532–1561, arXiv:0806.2401, doi:10.1016/j.jnt.2008.08.007, MR 2521492, S2CID 5327852, Zbl 1228.11143
Connes, Alain; Consani, Caterina (2010), "Schemes over F₁ and zeta functions", Compositio Mathematica, London Mathematical Society, 146 (6): 1383–1415, arXiv:0903.2024, doi:10.1112/S0010437X09004692, S2CID 14448430
Deitmar, Anton (2005), "Schemes over F₁", in van der Geer, G.; Moonen, B.; Schoof, R. (eds.), Number Fields and Function Fields: Two Parallel Worlds, Progress in Mathematics, vol. 239
Deitmar, Anton (2006), F₁-schemes and toric varieties, arXiv:math/0608179, Bibcode:2006math......8179D
Durov, Nikolai (2008), "New Approach to Arakelov Geometry", arXiv:0704.2030 [math.AG]
Giansiracusa, Jeffrey; Giansiracusa, Noah (2016), "Equations of tropical varieties", Duke Mathematical Journal, 165 (18): 3379–3433, arXiv:1308.0042, doi:10.1215/00127094-3645544, S2CID 16276528
Kapranov, Mikhail; Smirnov, Alexander (1995), Cohomology determinants and reciprocity laws: number field case (PDF)
Le Bruyn, Lieven (2009), "(non)commutative f-un geometry", arXiv:0909.2522 [math.RA]
Lescot, Paul (2009), Algebre absolue (PDF), archived from the original (PDF) on 27 July 2011, retrieved 21 November 2009
López Peña, Javier; Lorscheid, Oliver (2011), "Mapping F₁-land: An overview of geometries over the field with one element", Noncommutative Geometry, Arithmetic, and Related Topics: 241–265, arXiv:0909.0069
Lorscheid, Oliver (2009), "Algebraic groups over the field with one element", arXiv:0907.3824 [math.AG]
Lorscheid, Oliver (2016), "A blueprinted view on F₁-geometry", in Koen, Thas (ed.), Absolute arithmetic and F₁-geometry, European Mathematical Society Publishing House, arXiv:1301.0083
Lorscheid, Oliver (2018a), "F₁ for everyone", Jahresbericht der Deutschen Mathematiker-Vereinigung, Springer, 120 (2): 83–116, arXiv:1801.05337, doi:10.1365/s13291-018-0177-x, S2CID 119664210
Lorscheid, Oliver (2018b), "The geometry of blueprints part II: Tits-Weyl models of algebraic groups", Forum of Mathematics, Sigma, 6, arXiv:1201.1324, doi:10.1017/fms.2018.17, S2CID 117587513
Lorscheid, Oliver (2015), Scheme-theoretic tropicalization, arXiv:1508.07949
Manin, Yuri (1995), "Lectures on zeta functions and motives (according to Deninger and Kurokawa)" (PDF), Astérisque, 228 (4): 121–163
Scholze, Peter (2017), p-adic geometry, p. 13, arXiv:1712.03708
Smirnov, Alexander (1992), "Hurwitz inequalities for number fields" (PDF), Algebra i Analiz (in Russian), 4 (2): 186–209{{citation}}: CS1 maint: unrecognized language (link)
Soulé, Christophe (1999), On the field with one element (exposé à l'Arbeitstagung, Bonn, June 1999) (PDF), Preprint IHES
Soulé, Christophe (2003), Les variétés sur le corps à un élément (in French), arXiv:math/0304444, Bibcode:2003math......4444S{{citation}}: CS1 maint: unrecognized language (link)
Tits, Jacques (1957), "Sur les analogues algébriques des groupes semi-simples complexes", Colloque d'algèbre supérieure, tenu à Bruxelles du 19 au 22 décembre 1956, Centre Belge de Recherches Mathématiques Établissements Ceuterick, Louvain, Paris: Librairie Gauthier-Villars, pp. 261–289
Toën, Bertrand; Vaquié, Michel (2005), Au dessous de Spec Z, arXiv:math/0509684
Vezzani, Alberto (2010), "Deitmar's versus Toën-Vaquié's schemes over F₁", Mathematische Zeitschrift, 271: 1–16, arXiv:1005.0287, doi:10.1007/s00209-011-0896-5, S2CID 119145251

बाहरी संबंध

John Baez's This Week's Finds in Mathematical Physics: Week 259
The Field With One Element at the n-category cafe
The Field With One Element at Secret Blogging Seminar
Looking for F_un and The F_un folklore, Lieven le Bruyn.
Mapping F_1-land:An overview of geometries over the field with one element, Javier López Peña, Oliver Lorscheid
F_un Mathematics, Lieven le Bruyn, Koen Thas.
Vanderbilt conference on Noncommutative Geometry and Geometry over the Field with One Element Archived 12 December 2013 at the Wayback Machine (Schedule Archived 15 February 2012 at the Wayback Machine)
NCG and F_un, by Alain Connes and K. Consani: summary of talks and slides

[1] "un" is French for "one", and fun is a playful English word. For examples of this notation, see, e.g. Le Bruyn (2009), or the links by Le Bruyn, Connes, and Consani.

[2] Tits (1957).

[Smirnov_1992-3] 3.0 ^3.1 Smirnov (1992)

[4] Kapranov & Smirnov (1995)

[5] Manin (1995).

[Soule1999-6] 6.0 ^6.1 ^6.2 ^6.3 Soulé (1999)

[7] Lescot (2009).

[8] Deitmar (2005).

[9] Toën & Vaquié (2005).

[10] Vezzani (2010)

[11] Durov (2008).

[12] Borger (2009).

[13] Connes & Consani (2010).

[14] Connes, Consani & Marcolli (2009)

[15] Kalai, Gil (10 January 2018), "Subhash Khot, Dor Minzer and Muli Safra proved the 2-to-2 Games Conjecture", Combinatorics and more

[:0-16] 16.0 ^16.1 Lorscheid (2018a)

[17] (Lorscheid 2018b)

[18] Lorscheid (2016)

[19] Lorscheid (2015)

[20] Giansiracusa & Giansiracusa (2016)

[21] Noah Snyder, The field with one element, Secret Blogging Seminar, 14 August 2007.

[22] This Week's Finds in Mathematical Physics, Week 187

[23] Deitmar (2006).

[24] This Week's Finds in Mathematical Physics, Week 183, q-arithmetic

[25] Deitmar (2005)

[26] Deitmar (2006)

[27] Connes & Consani (2010)

[28] Mikhail Kapranov, linked at The F_un folklore

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

@@ Line 1: / Line 1: @@
 {{Use dmy dates|date=September 2020}}
-गणित में, एक तत्व वाला क्षेत्र किसी वस्तु के लिए एक सूचक नाम होता है जिसे एक ही तत्व वाले [[परिमित क्षेत्र]] के समान व्यवहार करना चाहिए, यदि ऐसा क्षेत्र मौजूद हो सकता है। इस वस्तु को F दर्शाया गया है<sub>1</sub>, या, फ़्रेंच-अंग्रेज़ी वाक्य में, एफ<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> एक तत्व और अंकन एफ के साथ नाम फ़ील्ड<sub>1</sub> केवल विचारोत्तेजक हैं, क्योंकि शास्त्रीय [[अमूर्त बीजगणित]] में एक तत्व वाला कोई क्षेत्र नहीं है। इसके बजाय, एफ<sub>1</sub> इस विचार को संदर्भित करता है कि [[सेट (गणित)]] और [[ऑपरेशन (गणित)]] को बदलने का एक तरीका होना चाहिए, अमूर्त बीजगणित के लिए पारंपरिक बिल्डिंग ब्लॉक, अन्य, अधिक लचीली वस्तुओं के साथ। एफ के कई सिद्धांत<sub>1</sub> प्रस्तावित किया गया है, लेकिन यह स्पष्ट नहीं है कि उनमें से कौन सा, यदि कोई हो, एफ देता है<sub>1</sub> सभी वांछित गुण. हालाँकि इन सिद्धांतों में अभी भी एक भी तत्व वाला कोई क्षेत्र नहीं है, एक क्षेत्र जैसी वस्तु है जिसकी [[विशेषता (बीजगणित)]] एक है।
+गणित में, '''एक तत्व वाला फ़ील्ड''' किसी वस्तु के लिए एक सूचक नाम होता है जिसे एक ही तत्व वाले [[परिमित क्षेत्र|परिमित फ़ील्ड]] के समान व्यवहार करना चाहिए, यदि ऐसा फ़ील्ड मौजूद हो सकता है। इस वस्तु को 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> देता है सभी वांछित गुण. हालाँकि इन सिद्धांतों में अभी भी एक भी तत्व वाला कोई फ़ील्ड नहीं है, एक फ़ील्ड जैसी वस्तु है जिसकी [[विशेषता (बीजगणित)]] एक है।
-एफ के सर्वाधिक प्रस्तावित सिद्धांत<sub>1</sub> अमूर्त बीजगणित को पूरी तरह से बदलें। वेक्टर रिक्त स्थान और [[बहुपद वलय]] जैसी गणितीय वस्तुओं को उनके अमूर्त गुणों की नकल करके इन नए सिद्धांतों में शामिल किया जा सकता है। यह नई नींव पर [[क्रमविनिमेय बीजगणित]] और [[बीजगणितीय ज्यामिति]] के विकास की अनुमति देता है। एफ के सिद्धांतों की परिभाषित विशेषताओं में से एक<sub>1</sub> यह है कि ये नए आधार शास्त्रीय अमूर्त बीजगणित की तुलना में अधिक वस्तुओं की अनुमति देते हैं, जिनमें से एक विशेषता के क्षेत्र की तरह व्यवहार करता है।
+F<sub>1</sub> के अधिकांश प्रस्तावित सिद्धांत अमूर्त बीजगणित को पूरी तरह से प्रतिस्थापित कर देते हैं। सदिश समष्टि और [[बहुपद वलय]] जैसी गणितीय वस्तुओं को उनके अमूर्त गुणों की नकल करके इन नए सिद्धांतों में शामिल किया जा सकता है। यह नई नींव पर [[क्रमविनिमेय बीजगणित]] और [[बीजगणितीय ज्यामिति]] के विकास की अनुमति देता है। F<sub>1</sub> के सिद्धांतों की परिभाषित विशेषताओं में से एक यह है कि ये नए आधार शास्त्रीय अमूर्त बीजगणित की तुलना में अधिक वस्तुओं की अनुमति देते हैं, जिनमें से एक विशेषता के फ़ील्ड की तरह व्यवहार करता है।
-एफ के गणित का अध्ययन करने की संभावना<sub>1</sub> मूल रूप से 1956 में [[जैक्स टिट्स]] द्वारा सुझाया गया था, जिसे प्रकाशित किया गया था {{harvnb|Tits|1957}}, [[प्रक्षेप्य ज्यामिति]] में समरूपता और सरल परिसरों के संयोजन के बीच सादृश्य के आधार पर। एफ<sub>1</sub> [[गैर-अनुवांशिक ज्यामिति]] और [[रीमैन परिकल्पना]] के संभावित प्रमाण से जुड़ा हुआ है।
+F<sub>1</sub> के गणित का अध्ययन करने की संभावना मूल रूप से 1956 में [[जैक्स टिट्स]] द्वारा सुझाया गया था, जिसे प्रकाशित किया गया था {{harvnb|टिट्स|1957}}, [[प्रक्षेप्य ज्यामिति]] में समरूपता और सरल परिसरों के संयोजन के बीच सादृश्य के आधार पर। F<sub>1</sub> [[गैर-अनुवांशिक ज्यामिति]] और [[रीमैन परिकल्पना]] के संभावित प्रमाण से जुड़ा हुआ है।
 ==इतिहास==
-में, जैक्स टिट्स ने बिल्डिंग (गणित) का सिद्धांत पेश किया, जो [[बीजगणितीय समूह]]ों को अमूर्त सरल परिसरों से जोड़ता है। धारणाओं में से एक गैर-तुच्छता की स्थिति है: यदि इमारत एक एन-आयामी अमूर्त सरलीकृत परिसर है, और यदि {{nowrap|''k'' < ''n''}}, तो भवन का प्रत्येक k-सिम्प्लेक्स कम से कम तीन n-सिंपलेक्स में समाहित होना चाहिए। यह शास्त्रीय प्रक्षेप्य ज्यामिति की उस शर्त के अनुरूप है कि एक रेखा में कम से कम तीन बिंदु होने चाहिए। हालाँकि, ऐसी डिजेनरेसी (गणित) ज्यामितियाँ हैं जो प्रक्षेप्य ज्यामिति होने के लिए सभी शर्तों को पूरा करती हैं, सिवाय इसके कि रेखाएँ केवल दो बिंदुओं को स्वीकार करती हैं। इमारतों के सिद्धांत में अनुरूप वस्तुओं को अपार्टमेंट कहा जाता है। अपार्टमेंट इमारतों के सिद्धांत में ऐसी घटक भूमिका निभाते हैं कि टिट्स ने प्रक्षेप्य ज्यामिति के एक सिद्धांत के अस्तित्व का अनुमान लगाया जिसमें विकृत ज्यामिति शास्त्रीय लोगों के बराबर खड़ी होगी। उन्होंने कहा, यह ज्यामिति विशिष्ट क्षेत्र के ऊपर घटित होगी।<ref>{{harvtxt|Tits|1957}}.</ref> इस सादृश्य का उपयोग करके एफ के कुछ प्रारंभिक गुणों का वर्णन करना संभव था<sub>1</sub>लेकिन इसका निर्माण संभव नहीं हो सका।
+में, जैक्स टिट्स ने बिल्डिंग (गणित) का सिद्धांत पेश किया, जो [[बीजगणितीय समूह]] को अमूर्त सरल परिसरों से जोड़ता है। धारणाओं में से एक गैर-तुच्छता की स्थिति है: यदि इमारत एक N-आयामी अमूर्त सरलीकृत परिसर है, और यदि {{nowrap|''k'' < ''n''}}, तो भवन का प्रत्येक k-प्रसमुच्चय कम से कम तीन n-प्रसमुच्चय में समाहित होना चाहिए। यह शास्त्रीय प्रक्षेप्य ज्यामिति की उस शर्त के अनुरूप है कि एक रेखा में कम से कम तीन बिंदु होने चाहिए। हालाँकि, ऐसी डिजेनरेसी (गणित) ज्यामितियाँ हैं जो प्रक्षेप्य ज्यामिति होने के लिए सभी शर्तों को पूरा करती हैं, सिवाय इसके कि रेखाएँ केवल दो बिंदुओं को स्वीकार करती हैं। इमारतों के सिद्धांत में अनुरूप वस्तुओं को अपार्टमेंट कहा जाता है। अपार्टमेंट इमारतों के सिद्धांत में ऐसी घटक भूमिका निभाते हैं कि टिट्स ने प्रक्षेप्य ज्यामिति के एक सिद्धांत के अस्तित्व का अनुमान लगाया जिसमें विकृत चिरसम्मत ज्यामिति लोगों के बराबर खड़ी होगी। उन्होंने कहा, यह ज्यामिति विशिष्ट फ़ील्ड के ऊपर घटित होगी।<ref>{{harvtxt|Tits|1957}}.</ref> इस सादृश्य का उपयोग करके F<sub>1</sub> के कुछ प्रारंभिक गुणों का वर्णन करना संभव था लेकिन इसका निर्माण संभव नहीं हो सका है।
-टिट्स की प्रारंभिक टिप्पणियों के बाद, 1990 के दशक की शुरुआत तक बहुत कम प्रगति हुई थी। 1980 के दशक के उत्तरार्ध में, अलेक्जेंडर स्मिरनोव ने बातचीत की एक श्रृंखला दी जिसमें उन्होंने अनुमान लगाया कि रीमैन परिकल्पना को एक तत्व वाले क्षेत्र पर पूर्णांकों को वक्र के रूप में मानकर सिद्ध किया जा सकता है। 1991 तक, स्मिरनोव ने एफ के ऊपर बीजगणितीय ज्यामिति की दिशा में कुछ कदम उठाए थे<sub>1</sub>,<ref name="Smirnov 1992">{{harvtxt|Smirnov|1992}}</ref> एफ के एक्सटेंशन का परिचय<sub>1</sub> और प्रक्षेप्य रेखा पी को संभालने के लिए उनका उपयोग करना<sup>1</sup>F के ऊपर<sub>1</sub>.<ref name="Smirnov 1992"/>इस पी में [[बीजगणितीय संख्या]]ओं को मानचित्र के रूप में माना जाता था<sup>1</sup>, और रीमैन-हर्विट्ज़ सूत्र के अनुमानित अनुमान|इन मानचित्रों के लिए रीमैन-हर्विट्ज़ सूत्र का सुझाव दिया गया था। ये सन्निकटन [[एबीसी अनुमान]] जैसे बहुत गहरे दावे दर्शाते हैं। एफ का विस्तार<sub>1</sub> बाद में इन्हें एफ के रूप में दर्शाया गया<sub>''q''</sub> क्यू = 1 के साथ<sup>n</sup>. [[मिखाइल कापरानोव]] के साथ, स्मिरनोव ने यह पता लगाने के लिए काम किया कि प्रमुख विशेषता में बीजगणितीय और [[संख्या सिद्धांत]] | संख्या-सैद्धांतिक निर्माण विशेषता में कैसे दिख सकते हैं, जिसका समापन 1995 में जारी एक अप्रकाशित कार्य में हुआ।<ref>{{harvtxt|Kapranov|Smirnov|1995}}</ref> 1993 में, [[यूरी मनिन]] ने [[रीमैन ज़ेटा फ़ंक्शन]] पर व्याख्यान की एक श्रृंखला दी जहां उन्होंने एफ पर बीजगणितीय ज्यामिति का एक सिद्धांत विकसित करने का प्रस्ताव रखा।<sub>1</sub>.<ref>{{harvtxt|Manin|1995}}.</ref> उन्होंने सुझाव दिया कि जीटा एफ पर [[बीजगणितीय विविधता]] के कार्य करता है<sub>1</sub> बहुत ही सरल विवरण होंगे, और उन्होंने [[बीजगणितीय K-सिद्धांत]]|F के K-सिद्धांत के बीच एक संबंध प्रस्तावित किया<sub>1</sub> और [[गोले के समरूप समूह]]। इसने कई लोगों को एफ के स्पष्ट सिद्धांतों का निर्माण करने का प्रयास करने के लिए प्रेरित किया<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> के स्पष्ट सिद्धांतों का निर्माण करने का प्रयास करने के लिए प्रेरित किया है।
-एफ पर विविधता की पहली प्रकाशित परिभाषा<sub>1</sub> 1999 में क्रिस्टोफ़ सोले से आया,<ref name="Soule1999">{{harvtxt|Soulé|1999}}</ref> जिन्होंने कुछ छल्लों की [[श्रेणी (गणित)]] से जटिल संख्याओं और फ़ैनक्टरों पर बीजगणित का उपयोग करके इसका निर्माण किया।<ref name="Soule1999">{{harvtxt|Soulé|1999}}</ref> 2000 में, झू ने प्रस्ताव दिया कि एफ<sub>1</sub> एफ के समान था<sub>2</sub> सिवाय इसके कि एक और एक का योग एक था, शून्य नहीं।<ref>{{harvtxt|Lescot|2009}}.</ref> डिटमार ने सुझाव दिया कि एफ<sub>1</sub> किसी वलय की योगात्मक संरचना को भूलकर और गुणन पर ध्यान केंद्रित करके पाया जाना चाहिए।<ref>{{harvtxt|Deitmar|2005}}.</ref> टोएन और वाकी ने हकीम के सापेक्ष योजनाओं के सिद्धांत पर निर्माण किया और एफ को परिभाषित किया<sub>1</sub> [[सममित मोनोइडल श्रेणी]] का उपयोग करना।<ref>{{harvtxt|Toën|Vaquié|2005}}.</ref> बाद में वेज़ानी द्वारा उनके निर्माण को डिटमार के समकक्ष दिखाया गया।<ref>{{harvtxt|Vezzani|2010}}</ref> [[निकोलाई दुरोव]] ने एफ का निर्माण किया<sub>1</sub> एक क्रमविनिमेय बीजगणितीय मोनैड (श्रेणी सिद्धांत) के रूप में।<ref>{{harvtxt|Durov|2008}}.</ref> बोर्गर ने परिमित क्षेत्रों और पूर्णांकों से इसका निर्माण करने के लिए [[वंश (श्रेणी सिद्धांत)]] का उपयोग किया।<ref>{{harvtxt|Borger|2009}}.</ref>
+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>
-[[एलेन कोन्स]] और [[कैटरिना कंसानी]] ने एक नई श्रेणी बनाने के लिए गुणक [[मोनोइड]]्स की श्रेणी और रिंगों की श्रेणी को जोड़कर सोले और डिटमार दोनों की धारणाओं को विकसित किया। <math>\mathfrak{M}\mathfrak{R},</math> फिर एफ को परिभाषित करना<sub>1</sub>-योजनाओं पर एक विशेष प्रकार का प्रतिनिधित्व योग्य फ़नकार होना <math>\mathfrak{M}\mathfrak{R}.</math><ref>{{harvtxt|Connes|Consani|2010}}.</ref> इसका उपयोग करते हुए, वे एफ पर कई संख्या-सैद्धांतिक निर्माणों की एक धारणा प्रदान करने में कामयाब रहे<sub>1</sub> जैसे कि उद्देश्य और क्षेत्र विस्तार, साथ ही F के ऊपर झूठ प्रकार#शेवल्ली समूहों के समूह का निर्माण<sub>1<sup>2</sup></sub>. [[मटिल्डे मार्कोली]] के साथ-साथ कॉन्स और कंसानी ने भी एफ को जोड़ा है<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>
+[[एलेन कोन्स]] और [[कैटरिना कंसानी]] ने एक नई श्रेणी बनाने के लिए गुणक [[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>
-ओलिवर लॉर्शिड ने, अन्य लोगों के साथ, हाल ही में एफ पर शेवेल्ली समूहों का वर्णन करने के टिट्स के मूल उद्देश्य को प्राप्त किया है<sub>1</sub> ब्लूप्रिंट नामक वस्तुओं का परिचय देकर, जो [[मोटी हो जाओ]] और मोनोइड्स दोनों का एक साथ सामान्यीकरण है।<ref name=":0"/><ref>{{harv|Lorscheid|2018b}}</ref> इनका उपयोग तथाकथित नीली योजनाओं को परिभाषित करने के लिए किया जाता है, जिनमें से एक स्पेक एफ है<sub>1</sub>.<ref>{{harvtxt|Lorscheid|2016}}</ref> लोर्शेड के विचार एफ से अधिक समूहों के अन्य विचारों से कुछ हद तक भिन्न हैं<sub>1</sub>, उसमें एफ<sub>1</sub>-योजना स्वयं सामान्य योजनाओं के आधार विस्तार का वेइल समूह नहीं है। लोर्सचीड सबसे पहले स्तन श्रेणी को परिभाषित करता है, जो नीली योजनाओं की श्रेणी की एक पूर्ण उपश्रेणी है, और वेइल एक्सटेंशन को परिभाषित करता है, जो स्तन श्रेणी से सेट तक का एक फ़नकार है। बीजगणितीय समूह का एक टिट्स-वेइल मॉडल <math>\mathcal{G}</math> एक समूह संचालन के साथ एक नीली योजना जी है जो कि स्तन श्रेणी में एक रूपवाद है, जिसका आधार विस्तार है <math>\mathcal{G}</math> और जिसका वेइल विस्तार वेइल समूह के समरूपी है <math>\mathcal{G}.</math>
+ओलिवर लॉर्शिड ने, अन्य लोगों के साथ, हाल ही में F पर शेवेल्ली समूहों का वर्णन करने के टिट्स के मूल उद्देश्य को प्राप्त किया है<sub>1</sub> ब्लूप्रिंट नामक वस्तुओं का परिचय देकर, जो [[मोटी हो जाओ]] और मोनोइड्स दोनों का एक साथ सामान्यीकरण है।<ref name=":0"/><ref>{{harv|Lorscheid|2018b}}</ref> इनका उपयोग तथाकथित नीली योजनाओं को परिभाषित करने के लिए किया जाता है, जिनमें से एक स्पेक F है<sub>1</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>
-एफ<sub>1</sub>-ज्यामिति को [[उष्णकटिबंधीय ज्यामिति]] से जोड़ा गया है, इस तथ्य के माध्यम से कि अर्धवृत्त (विशेष रूप से, उष्णकटिबंधीय अर्धवृत्त) एक मोनॉइड ''ए'' के तत्वों के परिमित औपचारिक योग के कुछ मोनॉयड अर्धवृत्त एन[''ए''] के भागफल के रूप में उत्पन्न होते हैं। , जो स्वयं एक एफ है<sub>1</sub>-बीजगणित. यह संबंध लोर्शेड के ब्लूप्रिंट के उपयोग से स्पष्ट हो गया है।<ref>{{harvtxt|Lorscheid|2015}}</ref> जियान्सिराकुसा बंधुओं ने एक उष्णकटिबंधीय योजना सिद्धांत का निर्माण किया है, जिसके लिए उनकी उष्णकटिबंधीय योजनाओं की श्रेणी टोन-वाक्वी एफ की श्रेणी के बराबर है।<sub>1</sub>-योजनाएँ।<ref>{{harvtxt|Giansiracusa|Giansiracusa|2016}}</ref> यह श्रेणी नीली योजनाओं की श्रेणी में वफादार फ़नकार को एम्बेड करती है, लेकिन पूर्ण फ़नकार को नहीं, और ड्यूरोव योजनाओं की श्रेणी की एक [[पूर्ण उपश्रेणी]] है।
+F<sub>1</sub>-ज्यामिति को [[उष्णकटिबंधीय ज्यामिति]] से जोड़ा गया है, इस तथ्य के माध्यम से कि अर्धवृत्त (विशेष रूप से, उष्णकटिबंधीय अर्धवृत्त) एक मोनॉइड ''ए'' के तत्वों के परिमित औपचारिक योग के कुछ मोनॉयड अर्धवृत्त एन[''ए''] के भागफल के रूप में उत्पन्न होते हैं। , जो स्वयं एक F है<sub>1</sub>-बीजगणित. यह संबंध लोर्शेड के ब्लूप्रिंट के उपयोग से स्पष्ट हो गया है।<ref>{{harvtxt|Lorscheid|2015}}</ref> जियान्सिराकुसा बंधुओं ने एक उष्णकटिबंधीय योजना सिद्धांत का निर्माण किया है, जिसके लिए उनकी उष्णकटिबंधीय योजनाओं की श्रेणी टोन-वाक्वी F की श्रेणी के बराबर है।<sub>1</sub>-योजनाएँ।<ref>{{harvtxt|Giansiracusa|Giansiracusa|2016}}</ref> यह श्रेणी नीली योजनाओं की श्रेणी में वफादार फ़नकार को एम्बेड करती है, लेकिन पूर्ण फ़नकार को नहीं, और ड्यूरोव योजनाओं की श्रेणी की एक [[पूर्ण उपश्रेणी]] है।
 ==प्रेरणाएँ==
 ===बीजगणितीय संख्या सिद्धांत===
-एफ के लिए एक प्रेरणा<sub>1</sub> [[बीजगणितीय संख्या सिद्धांत]] से आता है। [[परिमित क्षेत्रों पर वक्रों के लिए रीमैन परिकल्पना]] का आंद्रे वेइल का प्रमाण एक परिमित क्षेत्र k पर एक वक्र C से शुरू होता है, जो एक बीजगणितीय विविधता F के फ़ंक्शन फ़ील्ड से सुसज्जित होता है, जो कि k का एक क्षेत्र विस्तार है। ऐसा प्रत्येक फ़ंक्शन फ़ील्ड हस्से-वील ज़ेटा फ़ंक्शन को जन्म देता है {{math|ζ<sub>''F''</sub>}}, और परिमित क्षेत्रों के लिए रीमैन परिकल्पना शून्य निर्धारित करती है {{math|ζ<sub>''F''</sub>}}. फिर वेइल का प्रमाण अध्ययन के लिए सी के विभिन्न ज्यामितीय गुणों का उपयोग करता है {{math|ζ<sub>''F''</sub>}}.
+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'' का विस्तार है)। एफ की आशा<sub>1</sub>-ज्यामिति यह है कि एक उपयुक्त वस्तु एफ<sub>1</sub> इस आधार क्षेत्र की भूमिका निभा सकता है, जो एफ के साथ वेइल के प्रमाण की नकल करके रीमैन परिकल्पना के प्रमाण की अनुमति देगा<sub>1</sub> के के स्थान पर.
+परिमेय संख्या Q का फ़ील्ड रीमैन ज़ेटा फ़ंक्शन के समान तरीके से जुड़ा हुआ है, लेकिन Q किसी किस्म का फ़ंक्शन फ़ील्ड नहीं है। इसके बजाय, Q योजना का कार्य फ़ील्ड है (गणित) {{math|Spec '''Z'''}}. यह एक आयामी योजना है (जिसे [[बीजगणितीय वक्र]] के रूप में भी जाना जाता है), और इसलिए कुछ आधार फ़ील्ड होना चाहिए जिस पर यह वक्र स्थित है, जिसमें से Q एक फ़ील्ड अनुवर्ती होगा (उसी तरह जैसे ''C'' है) ''k'' के ऊपर एक वक्र है, और ''F'' ''k'' का विस्तार है)। F की आशा<sub>1</sub>-ज्यामिति यह है कि एक उपयुक्त वस्तु F<sub>1</sub> इस आधार फ़ील्ड की भूमिका निभा सकता है, जो F के साथ वेइल के प्रमाण की नकल करके रीमैन परिकल्पना के प्रमाण की अनुमति देगा<sub>1</sub> के के स्थान पर.
 ===अरकेलोव ज्यामिति===
-एक तत्व वाले क्षेत्र पर ज्यामिति भी अराकेलोव ज्यामिति से प्रेरित है, जहां [[जटिल ज्यामिति]] के उपकरणों का उपयोग करके [[डायोफैंटाइन समीकरण]]ों का अध्ययन किया जाता है। सिद्धांत में परिमित क्षेत्रों और जटिल संख्याओं के बीच जटिल तुलना शामिल है। यहां एफ का अस्तित्व है<sub>1</sub> तकनीकी कारणों से उपयोगी है.
+एक तत्व वाले फ़ील्ड पर ज्यामिति भी अराकेलोव ज्यामिति से प्रेरित है, जहां [[जटिल ज्यामिति]] के उपकरणों का उपयोग करके [[डायोफैंटाइन समीकरण]]ों का अध्ययन किया जाता है। सिद्धांत में परिमित फ़ील्डों और जटिल संख्याओं के बीच जटिल तुलना शामिल है। यहां F का अस्तित्व है<sub>1</sub> तकनीकी कारणों से उपयोगी है.
 ==अपेक्षित गुण==
-===एफ<sub>1</sub> फ़ील्ड नहीं है===
+===F<sub>1</sub> फ़ील्ड नहीं है===
-एफ<sub>1</sub> एक फ़ील्ड नहीं हो सकता क्योंकि परिभाषा के अनुसार सभी फ़ील्ड में दो अलग-अलग तत्व होने चाहिए, योगात्मक पहचान शून्य और गुणक पहचान एक। भले ही यह प्रतिबंध हटा दिया गया हो (उदाहरण के लिए योगात्मक और गुणक पहचानों को एक ही तत्व बनाकर), एक तत्व वाला वलय शून्य वलय होना चाहिए, जो एक परिमित क्षेत्र की तरह व्यवहार नहीं करता है। उदाहरण के लिए, शून्य रिंग पर सभी [[मॉड्यूल (गणित)]] आइसोमोर्फिक हैं (क्योंकि ऐसे मॉड्यूल का एकमात्र तत्व शून्य तत्व है)। हालाँकि, एफ की प्रमुख प्रेरणाओं में से एक<sub>1</sub> सेट का विवरण F के रूप में है<sub>1</sub>-वेक्टर रिक्त स्थान - यदि परिमित सेट शून्य रिंग के ऊपर मॉड्यूल थे, तो प्रत्येक परिमित सेट एक ही आकार का होगा, जो कि मामला नहीं है। इसके अलावा, तुच्छ वलय के वलय का स्पेक्ट्रम खाली होता है, लेकिन एक क्षेत्र के स्पेक्ट्रम में एक बिंदु होता है।
+F<sub>1</sub> एक फ़ील्ड नहीं हो सकता क्योंकि परिभाषा के अनुसार सभी फ़ील्ड में दो अलग-अलग तत्व होने चाहिए, योगात्मक पहचान शून्य और गुणक पहचान एक। भले ही यह प्रतिबंध हटा दिया गया हो (उदाहरण के लिए योगात्मक और गुणक पहचानों को एक ही तत्व बनाकर), एक तत्व वाला वलय शून्य वलय होना चाहिए, जो एक परिमित फ़ील्ड की तरह व्यवहार नहीं करता है। उदाहरण के लिए, शून्य रिंग पर सभी [[मॉड्यूल (गणित)]] आइसोमोर्फिक हैं (क्योंकि ऐसे मॉड्यूल का एकमात्र तत्व शून्य तत्व है)। हालाँकि, F की प्रमुख प्रेरणाओं में से एक<sub>1</sub> समुच्चय का विवरण F के रूप में है<sub>1</sub>-सदिश समष्टि - यदि परिमित समुच्चय शून्य रिंग के ऊपर मॉड्यूल थे, तो प्रत्येक परिमित समुच्चय एक ही आकार का होगा, जो कि मामला नहीं है। इसके अलावा, तुच्छ वलय के वलय का स्पेक्ट्रम खाली होता है, लेकिन एक फ़ील्ड के स्पेक्ट्रम में एक बिंदु होता है।
 ===अन्य गुण===
-* परिमित समुच्चय एफ के ऊपर एफ़िन स्थान और [[प्रक्षेप्य स्थान]] दोनों हैं<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>
-* परिमित क्षेत्र एफ<sub>''q''</sub> F का [[क्वांटम समूह]] हैं<sub>1</sub>, जहां q विकृति है।
+* परिमित फ़ील्ड F<sub>''q''</sub> F का [[क्वांटम समूह]] हैं<sub>1</sub>, जहां q विकृति है।
-* [[वेइल समूह]] 'एफ' पर सरल बीजगणितीय समूह हैं<sub>1</sub>:
+* [[वेइल समूह]] '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़िन स्कीम स्पेक Z, F के ऊपर एक वक्र है<sub>1</sub>.
-* समूह एफ पर [[हॉपफ बीजगणित]] हैं<sub>1</sub>. अधिक आम तौर पर, बीजगणितीय वस्तुओं के आरेखों के संदर्भ में पूरी तरह से परिभाषित किसी भी चीज़ में एफ होना चाहिए<sub>1</sub>-सेट की श्रेणी में एनालॉग।
+* समूह F पर [[हॉपफ बीजगणित]] हैं<sub>1</sub>. अधिक आम तौर पर, बीजगणितीय वस्तुओं के आरेखों के संदर्भ में पूरी तरह से परिभाषित किसी भी चीज़ में F होना चाहिए<sub>1</sub>-समुच्चय की श्रेणी में एनालॉग।
-* सेट पर ग्रुप एक्शन (गणित) 'एफ' के ऊपर जी का प्रोजेक्टिव प्रतिनिधित्व है<sub>1</sub>, और इस प्रकार, G [[समूह हॉपफ बीजगणित]] 'F' है<sub>1</sub>[जी]।
+* समुच्चय पर ग्रुप एक्शन (गणित) 'F' के ऊपर जी का प्रोजेक्टिव प्रतिनिधित्व है<sub>1</sub>, और इस प्रकार, G [[समूह हॉपफ बीजगणित]] 'F' है<sub>1</sub>[जी]।
-* [[टोरिक किस्म]] 'एफ' निर्धारित करती है<sub>1</sub>-किस्में। एफ के कुछ विवरणों में<sub>1</sub>-ज्यामिति का विपरीत भी सत्य है, इस अर्थ में कि एफ के अदिशों का विस्तार<sub>1</sub>-ज़ेड की किस्में टोरिक हैं।<ref>{{harvtxt|Deitmar|2006}}.</ref> जबकि एफ के लिए अन्य दृष्टिकोण<sub>1</sub>-ज्यामिति उदाहरणों के व्यापक वर्गों को स्वीकार करती है, टोरिक किस्में सिद्धांत के मूल में स्थित प्रतीत होती हैं।
+* [[टोरिक किस्म]] 'F' निर्धारित करती है<sub>1</sub>-किस्में। F के कुछ विवरणों में<sub>1</sub>-ज्यामिति का विपरीत भी सत्य है, इस अर्थ में कि F के अदिशों का विस्तार<sub>1</sub>-ज़ेड की किस्में टोरिक हैं।<ref>{{harvtxt|Deitmar|2006}}.</ref> जबकि F के लिए अन्य दृष्टिकोण<sub>1</sub>-ज्यामिति उदाहरणों के व्यापक वर्गों को स्वीकार करती है, टोरिक किस्में सिद्धांत के मूल में स्थित प्रतीत होती हैं।
-* पी का जीटा फ़ंक्शन<sup>एन</sup>('एफ'<sub>1</sub>) होना चाहिए {{nowrap|1=ζ(''s'') = ''s''(''s'' − 1)⋯(''s'' − ''N'')}}.<ref name="Soule1999"/>* 'एफ' का एम-वें के-समूह<sub>1</sub> गोले के स्पेक्ट्रम का एम-वां [[स्थिर समरूप समूह]] होना चाहिए।<ref name="Soule1999"/>
+* पी का जीटा फ़ंक्शन<sup>एन</sup>('F'<sub>1</sub>) होना चाहिए {{nowrap|1=ζ(''s'') = ''s''(''s'' − 1)⋯(''s'' − ''N'')}}.<ref name="Soule1999"/>* 'F' का एम-वें के-समूह<sub>1</sub> गोले के स्पेक्ट्रम का एम-वां [[स्थिर समरूप समूह]] होना चाहिए।<ref name="Soule1999"/>
 ==गणना==
-एक सेट (गणित) पर विभिन्न संरचनाएं प्रक्षेप्य स्थान पर संरचनाओं के अनुरूप होती हैं, और उनकी गणना उसी तरह की जा सकती है:
+एक समुच्चय (गणित) पर विभिन्न संरचनाएं प्रक्षेप्य स्थान पर संरचनाओं के अनुरूप होती हैं, और उनकी गणना उसी तरह की जा सकती है:
-===सेट प्रक्षेप्य स्थान हैं===
+===समुच्चय प्रक्षेप्य स्थान हैं===
-P(F) के तत्वों की संख्या{{su|b=''q''|p=''n''}}) = पी<sup>n−1</sup>('F'<sub>''q''</sub>), द {{nowrap|(''n'' − 1)}}-परिमित क्षेत्र F पर आयामी प्रक्षेप्य स्थान<sub>''q''</sub>, q-ब्रैकेट|''q''-पूर्णांक है<ref>[http://math.ucr.edu/home/baez/week183.html This Week's Finds in Mathematical Physics, Week 183, ''q''-arithmetic]</ref>
+P(F) के तत्वों की संख्या{{su|b=''q''|p=''n''}}) = पी<sup>n−1</sup>('F'<sub>''q''</sub>), द {{nowrap|(''n'' − 1)}}-परिमित फ़ील्ड F पर आयामी प्रक्षेप्य स्थान<sub>''q''</sub>, q-ब्रैकेट|''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''}}.
@@ Line 55: / Line 55: @@
 ===क्रमपरिवर्तन अधिकतम झंडे हैं===
-वहाँ अरेन! n तत्वों और [n] के साथ एक सेट का क्रमपरिवर्तन!<sub>''q''</sub> एफ में अधिकतम [[ध्वज (रैखिक बीजगणित)]]।{{su|b=''q''|p=''n''}}, कहाँ
+वहाँ अरेन! n तत्वों और [n] के साथ एक समुच्चय का क्रमपरिवर्तन!<sub>''q''</sub> F में अधिकतम [[ध्वज (रैखिक बीजगणित)]]।{{su|b=''q''|p=''n''}}, कहाँ
 :<math>[n]!_q := [1]_q [2]_q \dots [n]_q</math>
-Q-Pochammer प्रतीक है#अन्य q-कार्यों से संबंध|q-फैक्टोरियल। वास्तव में, एक सेट के क्रमपरिवर्तन को फ़िल्टरेशन (गणित) # सेट माना जा सकता है, क्योंकि ध्वज एक फ़िल्टर्ड वेक्टर स्पेस है: उदाहरण के लिए, ऑर्डरिंग {{nowrap|(0, 1, 2)}} सेट का {0, 1, 2} निस्पंदन {0} ⊂ {0,1} ⊂ {0,1,2} से मेल खाता है।
+Q-Pochammer प्रतीक है#अन्य q-कार्यों से संबंध|q-फैक्टोरियल। वास्तव में, एक समुच्चय के क्रमपरिवर्तन को फ़िल्टरेशन (गणित) # समुच्चय माना जा सकता है, क्योंकि ध्वज एक फ़िल्टर्ड वेक्टर स्पेस है: उदाहरण के लिए, ऑर्डरिंग {{nowrap|(0, 1, 2)}} समुच्चय का {0, 1, 2} निस्पंदन {0} ⊂ {0,1} ⊂ {0,1,2} से मेल खाता है।
 ===उपसमुच्चय उपस्थान हैं===
 [[द्विपद गुणांक]]
-:<math>\frac{n!}{m!(n-m)!}</math> एन-तत्व सेट के एम-तत्व उपसमुच्चय की संख्या देता है, और क्यू-फैक्टोरियल#क्यू-ब्रैकेट और क्यू-द्विपद | क्यू-द्विपद गुणांक से संबंध देता है
+:<math>\frac{n!}{m!(n-m)!}</math> एन-तत्व समुच्चय के एम-तत्व उपसमुच्चय की संख्या देता है, और क्यू-फैक्टोरियल#क्यू-ब्रैकेट और क्यू-द्विपद | क्यू-द्विपद गुणांक से संबंध देता है
 :<math>\frac{[n]!_q}{[m]!_q[n-m]!_q}</math> 'F' के ऊपर एक n-आयामी वेक्टर समष्टि के m-आयामी उप-स्थानों की संख्या देता है<sub>''q''</sub>.
@@ Line 67: / Line 67: @@
 ==मोनॉइड योजनाएं==
-डिटमार द्वारा मोनॉइड योजनाओं का निर्माण<ref>{{harvtxt|Deitmar|2005}}</ref> एफ का मूल कहा गया है<sub>1</sub>-ज्यामिति ,<ref name=":0">{{harvtxt|Lorscheid|2018a}}</ref> एफ के अधिकांश अन्य सिद्धांतों की तरह<sub>1</sub>-ज्यामिति में मोनॉइड योजनाओं का विवरण होता है। नैतिक रूप से, यह 1950 और 1960 के दशक में [[ क्रमविनिमेय वलय ]]्स को मोनोइड्स के साथ बदलकर विकसित किए गए स्कीम (गणित) के सिद्धांत की नकल करता है। इसका प्रभाव वलय की योगात्मक संरचना को भूल जाना है, केवल गुणक संरचना को छोड़ना है। इस कारण से, इसे कभी-कभी गैर-योगात्मक ज्यामिति भी कहा जाता है।
+डिटमार द्वारा मोनॉइड योजनाओं का निर्माण<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''}} जिसमें एक अवशोषित तत्व 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''}} ऐसा है कि;
@@ Line 78: / Line 78: @@
 ===मोनॉइड योजनाएं===
-एक मोनॉइड का स्पेक्ट्रम {{math |''A'',}} निरूपित {{math |Spec ''A'',}} के [[प्रमुख आदर्श]]ों का समुच्चय है {{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''.}} एक मोनोइडल स्पेस एक टोपोलॉजिकल स्पेस है जिसमें मल्टीप्लिकेटिव मोनोइड्स का एक शीफ (गणित) होता है जिसे स्ट्रक्चर शीफ कहा जाता है। एक एफ़िन मोनॉइड योजना एक मोनॉइडल स्थान है जो एक मोनॉइड के स्पेक्ट्रम के लिए आइसोमोर्फिक है, और एक 'मोनॉइड स्कीम' मोनॉइड का एक समूह है जिसमें एफ़िन मोनॉइड योजनाओं द्वारा एक खुला आवरण होता है।
+प्रत्येक के लिए {{math |''h''}} में {{math |''A''.}} एक मोनोइडल स्पेस एक टोपोलॉजिकल स्पेस है जिसमें मल्टीप्लिकेटिव मोनोइड्स का एक शीफ (गणित) होता है जिसे स्ट्रक्चर शीफ कहा जाता है। एक F़िन मोनॉइड योजना एक मोनॉइडल स्थान है जो एक मोनॉइड के स्पेक्ट्रम के लिए आइसोमोर्फिक है, और एक 'मोनॉइड स्कीम' मोनॉइड का एक समूह है जिसमें F़िन मोनॉइड योजनाओं द्वारा एक खुला आवरण होता है।
-मोनॉइड योजनाओं को 'बेस एक्सटेंशन' फ़ैक्टर के माध्यम से रिंग-सैद्धांतिक योजनाओं में बदला जा सकता है <math>-\otimes_{\mathbf{F}_1}\mathbf{Z}</math> जो मोनॉइड ए को 'जेड'-मॉड्यूल (यानी रिंग) में भेजता है <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-मॉड्यूल समरूपता के रूप में रैखिक है। एफ़िन मोनॉइड योजना का आधार विस्तार सूत्र के माध्यम से परिभाषित किया गया है
+मोनॉइड योजनाओं को 'बेस अनुवर्ती' फ़ैक्टर के माध्यम से रिंग-सैद्धांतिक योजनाओं में बदला जा सकता है <math>-\otimes_{\mathbf{F}_1}\mathbf{Z}</math> जो मोनॉइड ए को 'जेड'-मॉड्यूल (यानी रिंग) में भेजता है <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>
 जो बदले में एक सामान्य मोनॉइड योजना के आधार विस्तार को परिभाषित करता है।
 ===परिणाम===
-यह निर्माण एफ के कई वांछित गुणों को प्राप्त करता है<sub>1</sub>-ज्यामिति: {{math |Spec '''F'''<sub>1</sub>}} में एक ही बिंदु होता है, इसलिए यह पारंपरिक ज्यामिति में एक क्षेत्र के स्पेक्ट्रम के समान व्यवहार करता है, और एफ़िन मोनॉइड योजनाओं की श्रेणी गुणक मोनॉयड की श्रेणी से दोहरी होती है, जो एफ़िन योजनाओं और कम्यूटेटिव रिंगों के द्वंद्व को दर्शाती है। इसके अलावा, यह सिद्धांत एफ से अपेक्षित संयोजक गुणों को संतुष्ट करता है<sub>1</sub> पिछले अनुभागों में उल्लिखित; उदाहरण के लिए, प्रक्षेप्य स्थान {{math |'''F'''<sub>1</sub>}} आयाम का {{math|''n''}} एक मोनॉइड योजना प्रक्षेप्य स्थान के एक अपार्टमेंट के समान है {{math |'''F'''<sub>''q''</sub>}} आयाम का {{math|''n''}} जब एक इमारत के रूप में वर्णित किया गया है।
+यह निर्माण 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''}} एक मोनोइड योजना है जिसका आधार विस्तार एक फ्लैट आकारवाद है, बीजगणितीय ज्यामिति # एस की शब्दावली, परिमित आकारवाद की [[ जुड़ा हुआ स्थान ]] योजना # परिमित प्रकार के आकारवाद, फिर का आधार विस्तार {{math |''X''}} एक टोरिक किस्म है. एफ की अन्य धारणाएँ<sub>1</sub>-ज्यामिति, जैसे कि कोन्स-कंसानी,<ref>{{harvtxt|Connes|Consani|2010}}</ref> एफ का वर्णन करने के लिए इस मॉडल का निर्माण करें<sub>1</sub>-ऐसी किस्में जो टोरिक नहीं हैं।
+हालाँकि, मोनॉइड योजनाएँ F के सिद्धांत के सभी अपेक्षित गुणों को पूरा नहीं करती हैं<sub>1</sub>-ज्यामिति, एकमात्र ऐसी किस्में जिनमें मोनॉइड स्कीम एनालॉग्स हैं, टोरिक किस्म हैं।<ref>{{harvtxt|Deitmar|2006}}</ref> अधिक सटीक रूप से, यदि {{math |''X''}} एक मोनोइड योजना है जिसका आधार विस्तार एक फ्लैट आकारवाद है, बीजगणितीय ज्यामिति # एस की शब्दावली, परिमित आकारवाद की [[ जुड़ा हुआ स्थान ]] योजना # परिमित प्रकार के आकारवाद, फिर का आधार विस्तार {{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>
+कोई एक तत्व वाले फ़ील्ड के फ़ील्ड विस्तार को एकता की जड़ों के समूह के रूप में, या अधिक सूक्ष्मता से (ज्यामितीय संरचना के साथ) [[एकता की जड़ों की समूह योजना]] के रूप में परिभाषित कर सकता है। यह क्रम n के [[चक्रीय समूह]] के लिए गैर-स्वाभाविक रूप से समरूपता है, समरूपता एकता की एक आदिम जड़ की पसंद पर निर्भर करती है:<ref>Mikhail Kapranov, linked at The F_un folklore</ref>
 :<math>\mathbf{F}_{1^n} = \mu_n.</math>
-इस प्रकार 'F' के ऊपर आयाम d का एक सदिश समष्टि<sub>1<sup>''n''</sup></sub> क्रम dn का एक सीमित सेट है जिस पर एकता की जड़ें आधार बिंदु के साथ मिलकर स्वतंत्र रूप से कार्य करती हैं।
+इस प्रकार 'F' के ऊपर आयाम d का एक सदिश समष्टि<sub>1<sup>''n''</sup></sub> क्रम 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}}). यह इस तथ्य से मेल खाता है कि एक परिमित क्षेत्र की इकाइयों का समूह एफ<sub>''q''</sub> (जो हैं {{nowrap|''q'' − 1}}गैर-शून्य तत्व) क्रम का एक चक्रीय समूह है {{nowrap|''q'' − 1}}, जिस पर क्रम का कोई भी चक्रीय समूह विभाजित होता है {{nowrap|''q'' − 1}} स्वतंत्र रूप से कार्य करता है (एक शक्ति तक बढ़ाकर), और क्षेत्र का शून्य तत्व आधार बिंदु है।
+इस दृष्टि से परिमित फ़ील्ड '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 के लिए, फिर से अनंत आयाम का, क्योंकि सम्मिश्र संख्याओं में एकता की सभी जड़ें होती हैं।
-इस दृष्टिकोण से, कोई भी घटना जो केवल एकता की जड़ों वाले क्षेत्र पर निर्भर करती है उसे 'एफ' से आते हुए देखा जा सकता है।<sub>1</sub> - उदाहरण के लिए, [[असतत फूरियर रूपांतरण]] (जटिल-मूल्यवान) और संबंधित [[संख्या-सैद्धांतिक परिवर्तन]] (जेड/''एन''जेड-मूल्यवान)।
+इस दृष्टिकोण से, कोई भी घटना जो केवल एकता की जड़ों वाले फ़ील्ड पर निर्भर करती है उसे 'F' से आते हुए देखा जा सकता है।<sub>1</sub> - उदाहरण के लिए, [[असतत फूरियर रूपांतरण]] (जटिल-मूल्यवान) और संबंधित [[संख्या-सैद्धांतिक परिवर्तन]] (जेड/''एन''जेड-मूल्यवान)।
 ==यह भी देखें==

Anonymous

Search

एक तत्व वाला फ़ील्ड: Difference between revisions

Namespaces

More

Page actions

Revision as of 17:35, 26 July 2023

Contents

इतिहास