ऍक्स-कोचेन प्रमेय

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

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

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

सबसे पहले सर्ज लैंग के प्रमेय को सिद्ध करते हुए कहा गया है कि समान प्रमेय $Y_{d}=\varnothing$ के साथ परिमित क्षेत्र F_p पर औपचारिक लॉरेंट श्रृंखला के क्षेत्र F_p((t)) के लिए सत्य है। दूसरे शब्दों में, d² से अधिक वेरिएबल वाले घात d के प्रत्येक सजातीय बहुपद में सामान्य शून्य होता है (इसलिए F_p((t)) C₂ क्षेत्र है)।

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

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

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

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

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

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

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

$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}).$

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

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

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

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

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

यह भी देखें

• रूपों पर ब्रौअर का प्रमेय
• अर्ध-बीजगणितीय समापन

संदर्भ

• 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