ऍक्स-कोचेन प्रमेय: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|On the existence of zeros of homogeneous polynomials over the p-adic numbers}} जेम्स एक्स और साइमन बी. कोचे...")
 
No edit summary
 
(9 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|On the existence of zeros of homogeneous polynomials over the p-adic numbers}}
{{short description|On the existence of zeros of homogeneous polynomials over the p-adic numbers}}
[[जेम्स एक्स]] और साइमन बी. कोचेन के नाम पर एक्स-कोचेन प्रमेय में कहा गया है कि प्रत्येक सकारात्मक पूर्णांक ''डी'' के लिए एक सीमित सेट ''वाई'' है।<sub>d</sub>अभाज्य संख्याओं का, जैसे कि यदि p कोई अभाज्य संख्या है जो Y में नहीं है<sub>d</sub>फिर कम से कम d में p-adic संख्याओं पर घात d वाला प्रत्येक सजातीय बहुपद<sup>2</sup>+1 वेरिएबल में एक गैर-तुच्छ शून्य होता है।<ref>James Ax and Simon Kochen, ''Diophantine problems over local fields I.'', American Journal of Mathematics, '''87''', pages 605–630, (1965)</ref>


जेम्स ऍक्स  और साइमन बी. कोचेन के नाम पर ऍक्स -कोचेन प्रमेय में कहा गया है कि प्रत्येक सकारात्मक पूर्णांक d के लिए अभाज्य संख्याओं का सीमित समुच्चय ''Y<sub>d</sub>'' होता है, जैसे कि यदि p कोई अभाज्य है जो ''Y<sub>d</sub>'' में नहीं है तो डिग्री d का प्रत्येक सजातीय बहुपद कम से कम ''d''<sup>2</sup> + 1 वेरिएबल में p-एडिक संख्याओं पर सामान्य शून्य होता है।<ref>James Ax and Simon Kochen, ''Diophantine problems over local fields I.'', American Journal of Mathematics, '''87''', pages 605–630, (1965)</ref>
==प्रमेय का प्रमाण                      ==
प्रमेय का प्रमाण [[मॉडल सिद्धांत]] जैसे [[गणितीय तर्क]] के विधियों का व्यापक उपयोग करता है।


==प्रमेय का प्रमाण==
सबसे पहले सर्ज लैंग के प्रमेय को सिद्ध करते हुए कहा गया है कि समान प्रमेय <math>Y_d = \varnothing                                                                                                                                                                                     
प्रमेय का प्रमाण [[मॉडल सिद्धांत]] जैसे [[गणितीय तर्क]] के तरीकों का व्यापक उपयोग करता है।
                                                                                                                                                                                                                                                                                                                             
                                                                                                                                                                              </math> के साथ परिमित क्षेत्र '''F'''<sub>''p''</sub> पर औपचारिक लॉरेंट श्रृंखला के क्षेत्र '''F'''<sub>''p''</sub>((''t'')) के लिए सत्य है। दूसरे शब्दों में, ''d''<sup>2</sup> से अधिक वेरिएबल वाले घात d के प्रत्येक सजातीय बहुपद में सामान्य शून्य होता है (इसलिए F<sub>''p''</sub>((t)) C<sub>2</sub> क्षेत्र है)।


सबसे पहले [[सर्ज लैंग]] के प्रमेय को साबित करें, जिसमें कहा गया है कि फ़ील्ड एफ के लिए अनुरूप प्रमेय सत्य है<sub>''p''</sub>((टी)) एक सीमित क्षेत्र 'एफ' पर औपचारिक [[लॉरेंट श्रृंखला]]<sub>''p''</sub> साथ <math>Y_d = \varnothing</math>. दूसरे शब्दों में, घात d वाला प्रत्येक सजातीय बहुपद, d से अधिक के साथ<sup>2</sup> चर में एक गैर-तुच्छ शून्य होता है (इसलिए F<sub>''p''</sub>((t)) एक अर्ध-बीजगणितीय रूप से बंद फ़ील्ड है|C<sub>2</sub> मैदान)।
फिर से पता चलता है कि यदि दो हेन्सेल के लेम्मा वैल्यूएशन (बीजगणित) क्षेत्र में समतुल्य मूल्यांकन समूह और अवशेष क्षेत्र हैं, और अवशेष क्षेत्र में [[विशेषता (बीजगणित)]] 0 है, तो वे प्राथमिक रूप से समकक्ष हैं (जिसका अर्थ है कि पहला आदेश वाक्य के लिए सत्य है यदि और केवल यदि यह दूसरे के लिए सत्य है)।


फिर एक से पता चलता है कि यदि दो हेन्सेल के लेम्मा वैल्यूएशन (बीजगणित) फ़ील्ड में समतुल्य मूल्यांकन समूह और अवशेष फ़ील्ड हैं, और अवशेष फ़ील्ड में [[विशेषता (बीजगणित)]] 0 है, तो वे प्राथमिक रूप से समकक्ष हैं (जिसका अर्थ है कि पहला आदेश वाक्य एक के लिए सत्य है यदि और केवल यदि यह दूसरे के लिए सत्य है)
अगला इसे दो क्षेत्र पर प्रयुक्त करता है, क्षेत्र '''F'''<sub>''p''</sub>((''t'')) के सभी प्राइम पर अल्ट्राप्रोडक्ट द्वारा दिया गया है और दूसरा, p-एडिक क्षेत्र ''Q<sub>p</sub>'' के सभी प्राइम पर अल्ट्राप्रोडक्ट द्वारा दिया गया है। दोनों अवशेष क्षेत्र '''F'''<sub>''p''</sub> क्षेत्र पर अल्ट्राप्रोडक्ट द्वारा दिए गए हैं, इसलिए आइसोमोर्फिक हैं और विशेषता 0 है, और दोनों मूल्य समूह समान हैं, इसलिए अल्ट्राप्रोडक्ट प्राथमिक रूप से समकक्ष हैं। (अल्ट्राप्रोडक्ट्स लेने का उपयोग अवशेष क्षेत्र को विशेषता 0 के लिए विवश करने के लिए किया जाता है;'''F'''<sub>''p''</sub>((''t'')) और ''Q<sub>p</sub>'' दोनों के अवशेष क्षेत्रों में गैर-शून्य विशेषता p है।)


अगला इसे दो फ़ील्ड पर लागू करता है, एक फ़ील्ड F के सभी अभाज्यों पर [[अल्ट्राप्रोडक्ट]] द्वारा दिया गया है<sub>''p''</sub>((टी)) और दूसरा पी-एडिक फ़ील्ड्स क्यू के सभी अभाज्यों पर एक अल्ट्राप्रोडक्ट द्वारा दिया गया है<sub>''p''</sub>.
इन अल्ट्राप्रोडक्ट्स की प्रारंभिक तुल्यता का तात्पर्य है कि मूल्यवान क्षेत्रों की भाषा में किसी भी वाक्य के लिए, असाधारण अभाज्य संख्याओं का सीमित समुच्चय Y होता है, जैसे कि इस समुच्चय में उपस्थित किसी भी p के लिए वाक्य '''F'''<sub>''p''</sub>((''t'')) के लिए सत्य है यदि और केवल यदि यह p-एडिक संख्याओं के क्षेत्र के लिए सत्य है। इसे वाक्य में प्रयुक्त करते हुए कहा गया है कि कम से कम ''d''<sup>2</sup>+1 वेरिएबल में डिग्री d का प्रत्येक गैर-स्थिर सजातीय बहुपद 0 का प्रतिनिधित्व करता है, और लैंग के प्रमेय का उपयोग करते हुए, किसी को x-कोचेन प्रमेय मिलता है।
दोनों अवशेष फ़ील्ड फ़ील्ड एफ पर एक अल्ट्राप्रोडक्ट द्वारा दिए गए हैं<sub>''p''</sub>, इसलिए आइसोमोर्फिक हैं और विशेषता 0 है, और दोनों मूल्य समूह समान हैं, इसलिए अल्ट्राप्रोडक्ट्स प्राथमिक रूप से समकक्ष हैं। (अल्ट्राप्रोडक्ट्स लेने का उपयोग अवशेष क्षेत्र को विशेषता 0 के लिए मजबूर करने के लिए किया जाता है; एफ के अवशेष क्षेत्र<sub>''p''</sub>((टी))
और प्र<sub>''p''</sub> दोनों में गैर-शून्य विशेषता पी है।)
 
इन अल्ट्राप्रोडक्ट्स की प्रारंभिक तुल्यता का तात्पर्य है कि मूल्यवान क्षेत्रों की भाषा में किसी भी वाक्य के लिए, असाधारण अभाज्य संख्याओं का एक सीमित सेट Y होता है, जैसे कि इस सेट में मौजूद किसी भी p के लिए वाक्य 'F' के लिए सत्य है।<sub>''p''</sub>((टी)) यदि और केवल यदि यह पी-एडिक संख्याओं के क्षेत्र के लिए सत्य है। इसे यह कहते हुए वाक्य पर लागू करना कि कम से कम d में घात d का प्रत्येक गैर-अस्थिर सजातीय बहुपद<sup>2</sup>+1 चर 0 का प्रतिनिधित्व करता है, और लैंग के प्रमेय का उपयोग करके, व्यक्ति को एक्स-कोचेन प्रमेय प्राप्त होता है।


==वैकल्पिक प्रमाण==
==वैकल्पिक प्रमाण==
[[ फिर से डेनेफ़ ]]को जीन-लुई कोलियट-थेलेन के अनुमान के लिए एक विशुद्ध ज्यामितीय प्रमाण मिला जो एक्स-कोचेन प्रमेय को सामान्यीकृत करता है।<ref>{{cite web|last=Denef|first=Jan|url=http://perswww.kuleuven.be/~u0009256/Denef-Mathematics/denef_papers/ColliotTheleneConjecture.pdf|title=Proof of a conjecture of Colliot-Thélène|archive-url=https://web.archive.org/web/20170411055107/http://perswww.kuleuven.be/~u0009256/Denef-Mathematics/denef_papers/ColliotTheleneConjecture.pdf|archive-date=11 April 2017|url-status=dead}}</ref><ref>{{Citation|last=Denef|first=Jan|title=Geometric proofs of theorems of Ax–Kochen and Ersov|year=2016|arxiv=1601.03607|bibcode=2016arXiv160103607D}}</ref>
[[ फिर से डेनेफ़ | जान डेनेफ़]] को जीन-लुई कोलियट-थेलेन के अनुमान के लिए विशुद्ध ज्यामितीय प्रमाण मिला जो ऍक्स -कोचेन प्रमेय को सामान्यीकृत करता है।<ref>{{cite web|last=Denef|first=Jan|url=http://perswww.kuleuven.be/~u0009256/Denef-Mathematics/denef_papers/ColliotTheleneConjecture.pdf|title=Proof of a conjecture of Colliot-Thélène|archive-url=https://web.archive.org/web/20170411055107/http://perswww.kuleuven.be/~u0009256/Denef-Mathematics/denef_papers/ColliotTheleneConjecture.pdf|archive-date=11 April 2017|url-status=dead}}</ref><ref>{{Citation|last=Denef|first=Jan|title=Geometric proofs of theorems of Ax–Kochen and Ersov|year=2016|arxiv=1601.03607|bibcode=2016arXiv160103607D}}</ref>
 
 
==असाधारण अभाज्य==
==असाधारण अभाज्य==
[[एमिल आर्टिन]] ने परिमित असाधारण समुच्चय Y के साथ इस प्रमेय का अनुमान लगाया<sub>d</sub>खाली होना (अर्थात, सभी पी-एडिक फ़ील्ड सी2 फ़ील्ड|सी हैं<sub>2</sub>), लेकिन [[गाइ टेरजानी]]<ref>{{cite journal | first=Guy | last=Terjanian | authorlink=Guy Terjanian | title=Un contre-example à une conjecture d'Artin | journal=Comptes Rendus de l'Académie des Sciences, Série A-B | volume=262 | page=A612 | year=1966 | zbl=0133.29705 | language=French }}</ref> d = 4 के लिए निम्नलिखित 2-एडिक प्रति-उदाहरण मिला। परिभाषित करें
एमिल आर्टिन ने परिमित असाधारण समुच्चय ''Y<sub>d</sub>'' के रिक्त होने के साथ इस प्रमेय का अनुमान लगाया (अर्थात, सभी पी-एडिक क्षेत्र C2 हैं), किंतु गाइ टेरजेनियन <ref>{{cite journal | first=Guy | last=Terjanian | authorlink=Guy Terjanian | title=Un contre-example à une conjecture d'Artin | journal=Comptes Rendus de l'Académie des Sciences, Série A-B | volume=262 | page=A612 | year=1966 | zbl=0133.29705 | language=French }}</ref> ने d = 4 के लिए निम्नलिखित 2-एडिक काउंटरउदाहरण पाया। परिभाषित करें


: <math> G(x) = G(x_1,x_2,x_3) = \sum x_i^4 - \sum_{i\,<\,j} x_i^2 x_j^2 - x_1 x_2 x_3 (x_1 + x_2+x_3). </math>
: <math> G(x) = G(x_1,x_2,x_3) = \sum x_i^4 - \sum_{i\,<\,j} x_i^2 x_j^2 - x_1 x_2 x_3 (x_1 + x_2+x_3). </math>
फिर G का गुण है कि यदि कुछ x विषम है तो यह 1 mod 4 है, और अन्यथा 0 mod 16 है। इससे सहज ही सजातीय स्वरूप का पता चलता है
फिर G का गुण है कि यदि कुछ x विषम है तो यह 1 मोड़ 4 है, और अन्यथा 0 मोड़ 16 है। इससे सहज ही सजातीय स्वरूप का पता चलता है


:G('x') + G('y') + G('z') + 4G('u') + 4G('v') + 4G('w')
:G('x') + G('y') + G('z') + 4G('u') + 4G('v') + 4G('w')


डिग्री का d = 4 in 18 > d<sup>2</sup> चर में 2-एडिक पूर्णांकों पर कोई गैर-तुच्छ शून्य नहीं है।
डिग्री d = 4 in 18 > d<sup>2</sup> वेरिएबल में 2-एडिक पूर्णांकों पर कोई सामान्य शून्य नहीं है।


बाद में टेरजेनियन<ref>Guy Terjanian, ''Formes ''p''-adiques anisotropes.'' (French) Journal für die Reine und Angewandte Mathematik, '''313''' (1980), pages 217–220</ref> दर्शाया गया है कि प्रत्येक अभाज्य p और p(p − 1) के गुणज d > 2 के लिए, d से अधिक डिग्री d की p-एडिक संख्याओं पर एक रूप होता है<sup>2</sup>चर लेकिन कोई गैर-तुच्छ शून्य नहीं। दूसरे शब्दों में, सभी d > 2, Y के लिए<sub>d</sub>सभी अभाज्य संख्याएँ p इस प्रकार समाहित हैं कि p(p − 1) d को विभाजित करती है।
इसके बाद में टेरजेनियन<ref>Guy Terjanian, ''Formes ''p''-adiques anisotropes.'' (French) Journal für die Reine und Angewandte Mathematik, '''313''' (1980), pages 217–220</ref> ने दिखाया कि प्रत्येक अभाज्य p और p(p − 1) के एकाधिक d > 2 के लिए, डी 2 से अधिक वेरिएबल के साथ डिग्री d की p-एडिक संख्याओं पर रूप है किंतु कोई सामान्य शून्य नहीं है। दूसरे शब्दों में, सभी d > 2 के लिए, ''Y<sub>d</sub>'' में सभी अभाज्य संख्याएँ p इस प्रकार समाहित हैं कि p(p − 1) d को विभाजित करता है।


{{harvtxt|Brown|1978}} अभाज्य संख्याओं के असाधारण सेट के लिए एक स्पष्ट लेकिन बहुत बड़ी सीमा दी गई है। यदि डिग्री d 1, 2, या 3 है तो असाधारण सेट खाली है। {{harvtxt|Heath-Brown|2010}} ने दिखाया कि यदि d = 5 असाधारण सेट 13 से घिरा है, और {{harvtxt|Wooley|2008}} ने दिखाया कि d = 7 के लिए असाधारण सेट 883 से घिरा है और d = 11 के लिए यह 8053 से घिरा है।
{{harvtxt|ब्राउन|1978}} अभाज्य संख्याओं के असाधारण समुच्चय के लिए स्पष्ट किंतु बहुत बड़ी सीमा दी गई है। यदि डिग्री d 1, 2, या 3 है तो असाधारण समुच्चय रिक्त है। {{harvtxt|हीथ-ब्राउन|2010}} ने दिखाया कि यदि d = 5 असाधारण समुच्चय 13 से घिरा है, और {{harvtxt|वूली|2008}} ने दिखाया कि d = 7 के लिए असाधारण समुच्चय 883 से घिरा है और इस प्रकार यह d = 11 के लिए यह 8053 से घिरा है।


==यह भी देखें==
==यह भी देखें                                                                                                                     ==
*रूपों पर ब्रौअर का प्रमेय
*रूपों पर ब्रौअर का प्रमेय
*[[अर्ध-बीजगणितीय समापन]]
*[[अर्ध-बीजगणितीय समापन]]
Line 40: Line 37:
==टिप्पणियाँ==
==टिप्पणियाँ==
<references/>
<references/>


==संदर्भ==
==संदर्भ==
Line 49: Line 45:
*{{Citation | last1=Wooley | first1=Trevor D. | author1-link=Trevor Wooley | title=Artin's conjecture for septic and unidecic forms | doi=10.4064/aa133-1-2 | mr=2413363  | year=2008 | journal=[[Acta Arithmetica]] | issn=0065-1036 | volume=133 | issue=1 | pages=25–35| bibcode=2008AcAri.133...25W | doi-access=free }}
*{{Citation | last1=Wooley | first1=Trevor D. | author1-link=Trevor Wooley | title=Artin's conjecture for septic and unidecic forms | doi=10.4064/aa133-1-2 | mr=2413363  | year=2008 | journal=[[Acta Arithmetica]] | issn=0065-1036 | volume=133 | issue=1 | pages=25–35| bibcode=2008AcAri.133...25W | doi-access=free }}


{{DEFAULTSORT:Ax-Kochen theorem}}[[Category: मॉडल सिद्धांत]] [[Category: संख्या सिद्धांत में प्रमेय]]
{{DEFAULTSORT:Ax-Kochen theorem}}
 
 


[[Category: Machine Translated Page]]
[[Category:CS1 maint]]
[[Category:Created On 25/07/2023]]
[[Category:Created On 25/07/2023|Ax-Kochen theorem]]
[[Category:Lua-based templates|Ax-Kochen theorem]]
[[Category:Machine Translated Page|Ax-Kochen theorem]]
[[Category:Pages with script errors|Ax-Kochen theorem]]
[[Category:Short description with empty Wikidata description|Ax-Kochen theorem]]
[[Category:Templates Vigyan Ready|Ax-Kochen theorem]]
[[Category:Templates that add a tracking category|Ax-Kochen theorem]]
[[Category:Templates that generate short descriptions|Ax-Kochen theorem]]
[[Category:Templates using TemplateData|Ax-Kochen theorem]]
[[Category:मॉडल सिद्धांत|Ax-Kochen theorem]]
[[Category:संख्या सिद्धांत में प्रमेय|Ax-Kochen theorem]]

Latest revision as of 11:49, 10 August 2023

जेम्स ऍक्स और साइमन बी. कोचेन के नाम पर ऍक्स -कोचेन प्रमेय में कहा गया है कि प्रत्येक सकारात्मक पूर्णांक d के लिए अभाज्य संख्याओं का सीमित समुच्चय Yd होता है, जैसे कि यदि p कोई अभाज्य है जो Yd में नहीं है तो डिग्री d का प्रत्येक सजातीय बहुपद कम से कम d2 + 1 वेरिएबल में p-एडिक संख्याओं पर सामान्य शून्य होता है।[1]

प्रमेय का प्रमाण

प्रमेय का प्रमाण मॉडल सिद्धांत जैसे गणितीय तर्क के विधियों का व्यापक उपयोग करता है।

सबसे पहले सर्ज लैंग के प्रमेय को सिद्ध करते हुए कहा गया है कि समान प्रमेय के साथ परिमित क्षेत्र Fp पर औपचारिक लॉरेंट श्रृंखला के क्षेत्र Fp((t)) के लिए सत्य है। दूसरे शब्दों में, d2 से अधिक वेरिएबल वाले घात d के प्रत्येक सजातीय बहुपद में सामान्य शून्य होता है (इसलिए Fp((t)) C2 क्षेत्र है)।

फिर से पता चलता है कि यदि दो हेन्सेल के लेम्मा वैल्यूएशन (बीजगणित) क्षेत्र में समतुल्य मूल्यांकन समूह और अवशेष क्षेत्र हैं, और अवशेष क्षेत्र में विशेषता (बीजगणित) 0 है, तो वे प्राथमिक रूप से समकक्ष हैं (जिसका अर्थ है कि पहला आदेश वाक्य के लिए सत्य है यदि और केवल यदि यह दूसरे के लिए सत्य है)।

अगला इसे दो क्षेत्र पर प्रयुक्त करता है, क्षेत्र Fp((t)) के सभी प्राइम पर अल्ट्राप्रोडक्ट द्वारा दिया गया है और दूसरा, p-एडिक क्षेत्र Qp के सभी प्राइम पर अल्ट्राप्रोडक्ट द्वारा दिया गया है। दोनों अवशेष क्षेत्र Fp क्षेत्र पर अल्ट्राप्रोडक्ट द्वारा दिए गए हैं, इसलिए आइसोमोर्फिक हैं और विशेषता 0 है, और दोनों मूल्य समूह समान हैं, इसलिए अल्ट्राप्रोडक्ट प्राथमिक रूप से समकक्ष हैं। (अल्ट्राप्रोडक्ट्स लेने का उपयोग अवशेष क्षेत्र को विशेषता 0 के लिए विवश करने के लिए किया जाता है;Fp((t)) और Qp दोनों के अवशेष क्षेत्रों में गैर-शून्य विशेषता p है।)

इन अल्ट्राप्रोडक्ट्स की प्रारंभिक तुल्यता का तात्पर्य है कि मूल्यवान क्षेत्रों की भाषा में किसी भी वाक्य के लिए, असाधारण अभाज्य संख्याओं का सीमित समुच्चय Y होता है, जैसे कि इस समुच्चय में उपस्थित किसी भी p के लिए वाक्य Fp((t)) के लिए सत्य है यदि और केवल यदि यह p-एडिक संख्याओं के क्षेत्र के लिए सत्य है। इसे वाक्य में प्रयुक्त करते हुए कहा गया है कि कम से कम d2+1 वेरिएबल में डिग्री d का प्रत्येक गैर-स्थिर सजातीय बहुपद 0 का प्रतिनिधित्व करता है, और लैंग के प्रमेय का उपयोग करते हुए, किसी को x-कोचेन प्रमेय मिलता है।

वैकल्पिक प्रमाण

जान डेनेफ़ को जीन-लुई कोलियट-थेलेन के अनुमान के लिए विशुद्ध ज्यामितीय प्रमाण मिला जो ऍक्स -कोचेन प्रमेय को सामान्यीकृत करता है।[2][3]

असाधारण अभाज्य

एमिल आर्टिन ने परिमित असाधारण समुच्चय Yd के रिक्त होने के साथ इस प्रमेय का अनुमान लगाया (अर्थात, सभी पी-एडिक क्षेत्र C2 हैं), किंतु गाइ टेरजेनियन [4] ने d = 4 के लिए निम्नलिखित 2-एडिक काउंटरउदाहरण पाया। परिभाषित करें

फिर G का गुण है कि यदि कुछ x विषम है तो यह 1 मोड़ 4 है, और अन्यथा 0 मोड़ 16 है। इससे सहज ही सजातीय स्वरूप का पता चलता है

G('x') + G('y') + G('z') + 4G('u') + 4G('v') + 4G('w')

डिग्री d = 4 in 18 > d2 वेरिएबल में 2-एडिक पूर्णांकों पर कोई सामान्य शून्य नहीं है।

इसके बाद में टेरजेनियन[5] ने दिखाया कि प्रत्येक अभाज्य p और p(p − 1) के एकाधिक d > 2 के लिए, डी 2 से अधिक वेरिएबल के साथ डिग्री d की p-एडिक संख्याओं पर रूप है किंतु कोई सामान्य शून्य नहीं है। दूसरे शब्दों में, सभी d > 2 के लिए, Yd में सभी अभाज्य संख्याएँ p इस प्रकार समाहित हैं कि p(p − 1) d को विभाजित करता है।

ब्राउन (1978) अभाज्य संख्याओं के असाधारण समुच्चय के लिए स्पष्ट किंतु बहुत बड़ी सीमा दी गई है। यदि डिग्री d 1, 2, या 3 है तो असाधारण समुच्चय रिक्त है। हीथ-ब्राउन (2010) ने दिखाया कि यदि d = 5 असाधारण समुच्चय 13 से घिरा है, और वूली (2008) ने दिखाया कि d = 7 के लिए असाधारण समुच्चय 883 से घिरा है और इस प्रकार यह d = 11 के लिए यह 8053 से घिरा है।

यह भी देखें

टिप्पणियाँ

  1. James Ax and Simon Kochen, Diophantine problems over local fields I., American Journal of Mathematics, 87, pages 605–630, (1965)
  2. Denef, Jan. "Proof of a conjecture of Colliot-Thélène" (PDF). Archived from the original (PDF) on 11 April 2017.
  3. Denef, Jan (2016), Geometric proofs of theorems of Ax–Kochen and Ersov, arXiv:1601.03607, Bibcode:2016arXiv160103607D
  4. Terjanian, Guy (1966). "Un contre-example à une conjecture d'Artin". Comptes Rendus de l'Académie des Sciences, Série A-B (in French). 262: A612. Zbl 0133.29705.{{cite journal}}: CS1 maint: unrecognized language (link)
  5. Guy Terjanian, Formes p-adiques anisotropes. (French) Journal für die Reine und Angewandte Mathematik, 313 (1980), pages 217–220

संदर्भ