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

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

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

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

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

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

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

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

असाधारण अभाज्य
एमिल आर्टिन ने परिमित असाधारण समुच्चय Y के साथ इस प्रमेय का अनुमान लगायाdखाली होना (अर्थात, सभी पी-एडिक फ़ील्ड सी2 फ़ील्ड|सी हैं2), लेकिन गाइ टेरजानी 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 mod 4 है, और अन्यथा 0 mod 16 है। इससे सहज ही सजातीय स्वरूप का पता चलता है


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

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

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

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

यह भी देखें

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

संदर्भ

 * (Corollary 5.4.19)
 * (Corollary 5.4.19)