ऍक्स-कोचेन प्रमेय: Difference between revisions
No edit summary |
No edit summary |
||
| 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}} | ||
जेम्स x और साइमन b कोचेन के नाम पर x -कोचेन प्रमेय में कहा गया है कि प्रत्येक सकारात्मक पूर्णांक d के लिए अभाज्य संख्याओं का सीमित समुच्चय ''Y<sub>d</sub>'' होता है, जैसे कि यदि p कोई अभाज्य है जो ''Y<sub>d</sub>'' में नहीं है तो डिग्री d का प्रत्येक सजातीय बहुपद कम से कम ''d''<sup>2</sup> + 1 वेरिएबल में p-एडिक संख्याओं पर | जेम्स x और साइमन b कोचेन के नाम पर x -कोचेन प्रमेय में कहा गया है कि प्रत्येक सकारात्मक पूर्णांक 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> | ||
==प्रमेय का प्रमाण == | ==प्रमेय का प्रमाण == | ||
प्रमेय का प्रमाण [[मॉडल सिद्धांत]] जैसे [[गणितीय तर्क]] के विधियों का व्यापक उपयोग करता है। | प्रमेय का प्रमाण [[मॉडल सिद्धांत]] जैसे [[गणितीय तर्क]] के विधियों का व्यापक उपयोग करता है। | ||
| Line 7: | Line 7: | ||
सबसे पहले सर्ज लैंग के प्रमेय को सिद्ध करते हुए कहा गया है कि समान प्रमेय <math>Y_d = \varnothing | सबसे पहले सर्ज लैंग के प्रमेय को सिद्ध करते हुए कहा गया है कि समान प्रमेय <math>Y_d = \varnothing | ||
</math> के साथ परिमित क्षेत्र '''F'''<sub>''p''</sub> पर औपचारिक लॉरेंट श्रृंखला के क्षेत्र '''F'''<sub>''p''</sub>((''t'')) के लिए सत्य है। दूसरे शब्दों में, ''d''<sup>2</sup> से अधिक वेरिएबल वाले घात d के प्रत्येक सजातीय बहुपद में | </math> के साथ परिमित क्षेत्र '''F'''<sub>''p''</sub> पर औपचारिक लॉरेंट श्रृंखला के क्षेत्र '''F'''<sub>''p''</sub>((''t'')) के लिए सत्य है। दूसरे शब्दों में, ''d''<sup>2</sup> से अधिक वेरिएबल वाले घात d के प्रत्येक सजातीय बहुपद में सामान्य शून्य होता है (इसलिए F<sub>''p''</sub>((t)) C<sub>2</sub> क्षेत्र है)। | ||
फिर से पता चलता है कि यदि दो हेन्सेल के लेम्मा वैल्यूएशन (बीजगणित) क्षेत्र में समतुल्य मूल्यांकन समूह और अवशेष क्षेत्र हैं, और अवशेष क्षेत्र में [[विशेषता (बीजगणित)]] 0 है, तो वे प्राथमिक रूप से समकक्ष हैं (जिसका अर्थ है कि पहला आदेश वाक्य के लिए सत्य है यदि और केवल यदि यह दूसरे के लिए सत्य है)। | फिर से पता चलता है कि यदि दो हेन्सेल के लेम्मा वैल्यूएशन (बीजगणित) क्षेत्र में समतुल्य मूल्यांकन समूह और अवशेष क्षेत्र हैं, और अवशेष क्षेत्र में [[विशेषता (बीजगणित)]] 0 है, तो वे प्राथमिक रूप से समकक्ष हैं (जिसका अर्थ है कि पहला आदेश वाक्य के लिए सत्य है यदि और केवल यदि यह दूसरे के लिए सत्य है)। | ||
| Line 25: | Line 25: | ||
: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 के लिए, डी 2 से अधिक वेरिएबल के साथ डिग्री d की p-एडिक संख्याओं पर रूप है किंतु कोई | इसके बाद में टेरजेनियन<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| | {{harvtxt|ब्राउन|1978}} अभाज्य संख्याओं के असाधारण समुच्चय के लिए स्पष्ट किंतु बहुत बड़ी सीमा दी गई है। यदि डिग्री d 1, 2, या 3 है तो असाधारण समुच्चय रिक्त है। {{harvtxt|हीथ-ब्राउन|2010}} ने दिखाया कि यदि d = 5 असाधारण समुच्चय 13 से घिरा है, और {{harvtxt|वूली|2008}} ने दिखाया कि d = 7 के लिए असाधारण समुच्चय 883 से घिरा है और इस प्रकार यह d = 11 के लिए यह 8053 से घिरा है। | ||
==यह भी देखें == | ==यह भी देखें == | ||
| Line 37: | Line 37: | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
<references/> | <references/> | ||
==संदर्भ== | ==संदर्भ== | ||
Revision as of 13:11, 7 August 2023
जेम्स x और साइमन b कोचेन के नाम पर x -कोचेन प्रमेय में कहा गया है कि प्रत्येक सकारात्मक पूर्णांक 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-कोचेन प्रमेय मिलता है।
वैकल्पिक प्रमाण
जान डेनेफ़ को जीन-लुई कोलियट-थेलेन के अनुमान के लिए विशुद्ध ज्यामितीय प्रमाण मिला जो 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 से घिरा है।
यह भी देखें
- रूपों पर ब्रौअर का प्रमेय
- अर्ध-बीजगणितीय समापन
टिप्पणियाँ
- ↑ James Ax and Simon Kochen, Diophantine problems over local fields I., American Journal of Mathematics, 87, pages 605–630, (1965)
- ↑ Denef, Jan. "Proof of a conjecture of Colliot-Thélène" (PDF). Archived from the original (PDF) on 11 April 2017.
- ↑ Denef, Jan (2016), Geometric proofs of theorems of Ax–Kochen and Ersov, arXiv:1601.03607, Bibcode:2016arXiv160103607D
- ↑ 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) - ↑ Guy Terjanian, Formes p-adiques anisotropes. (French) Journal für die Reine und Angewandte Mathematik, 313 (1980), pages 217–220
संदर्भ
- Brown, Scott Shorey (1978), "Bounds on transfer principles for algebraically closed and complete discretely valued fields", Memoirs of the American Mathematical Society, 15 (204), doi:10.1090/memo/0204, ISBN 978-0-8218-2204-3, ISSN 0065-9266, MR 0494980
- Chang, C.C.; Keisler, H. Jerome (1989). Model Theory (third ed.). Elsevier. ISBN 978-0-7204-0692-4. (Corollary 5.4.19)
- Heath-Brown, D. R. (2010), "Zeros of p-adic forms", Proceedings of the London Mathematical Society, Third Series, 100 (2): 560–584, arXiv:0805.0534, doi:10.1112/plms/pdp043, ISSN 0024-6115, MR 2595750, S2CID 6594042
- Wooley, Trevor D. (2008), "Artin's conjecture for septic and unidecic forms", Acta Arithmetica, 133 (1): 25–35, Bibcode:2008AcAri.133...25W, doi:10.4064/aa133-1-2, ISSN 0065-1036, MR 2413363
