बीजगणितीय विस्तार

गणित में, एक बीजगणितीय विस्तार एक क्षेत्र विस्तार है $L/K$ जैसे कि बड़े क्षेत्र का प्रत्येक तत्व (गणित) $L$ छोटे क्षेत्र पर बीजगणितीय तत्व है $K$; अर्थात, यदि प्रत्येक तत्व $L$ में गुणांक वाले शून्येतर बहुपद का एक मूल है $K$. एक क्षेत्र विस्तार जो बीजगणितीय नहीं है, उसको पारलौकिक विस्तार कहा जाता है, और इसमें पारलौकिक तत्व होने चाहिए, अर्थात ऐसे तत्व जो बीजगणितीय नहीं हैं। क्षेत्र के बीजगणितीय विस्तार $$\Q$$ परिमेय संख्या को बीजगणितीय संख्या क्षेत्र कहा जाता है और बीजगणितीय संख्या सिद्धांत के अध्ययन की मुख्य वस्तुएँ हैं। सामान्य बीजगणितीय विस्तार का एक अन्य उदाहरण विस्तार है $$\Complex/\R$$ जटिल संख्याओं द्वारा वास्तविक संख्याओं का।

कुछ गुण
सभी पारलौकिक विस्तार एक क्षेत्र विस्तार की अनंत डिग्री के हैं। इसका तात्पर्य यह है कि सभी परिमित विस्तार बीजगणितीय हैं। आक्षेप (तर्क) यद्यपि सत्य नहीं है: ऐसे अनंत विस्तार हैं जो कि बीजगणितीय हैं। उदाहरण के लिए, सभी बीजगणितीय संख्याओं का क्षेत्र परिमेय संख्याओं का एक अनंत बीजगणितीय विस्तार है। मान लीजिए कि E, K का एक विस्तार क्षेत्र है, और एक ∈ E. यदि a, K पर बीजगणितीय है, तो K(a), k में गुणांक वाले a में सभी बहुपदों का समुच्चय, न केवल एक वलय (गणित) है, अपितु एक क्षेत्र भी है। : K(a) K का एक बीजगणितीय विस्तार है जिसकी K पर परिमित डिग्री है। इसका उलट सत्य नहीं है। Q[π] और Q[e] क्षेत्र हैं लेकिन π और e, Q के ऊपर पारलौकिक हैं। एक बीजगणितीय रूप से बंद क्षेत्र F का कोई उचित बीजगणितीय विस्तार नहीं है, अर्थात, F <E के साथ कोई बीजगणितीय विस्तार नहीं है। एक उदाहरण जटिल संख्याओं का क्षेत्र है। तथा प्रत्येक क्षेत्र में एक बीजगणितीय विस्तार होता है जो कि बीजगणितीय रूप से बंद होता है (इसे बीजगणितीय समापन कहा जाता है), लेकिन गणितीय प्रमाण के लिए सामान्य रूप से पसंद के स्वयंसिद्ध के कुछ रूप की आवश्यकता होती है। एक विस्तार L/K बीजगणितीय है यदि और केवल यदि L के एक क्षेत्र पर प्रत्येक उप K-बीजगणित एक क्षेत्र है।

गुण
निम्नलिखित तीन गुण धारण करते हैं:
 * 1) यदि E, F का बीजगणितीय विस्तार है और F, K का बीजगणितीय विस्तार है, तो E, K का बीजगणितीय विस्तार है।
 * 2) यदि ई और एफ एक सामान्य ओवरफील्ड C में K के बीजगणितीय विस्तार हैं, तो संयुक्त EF K का बीजगणितीय विस्तार है।
 * 3) यदि E, F का बीजगणितीय विस्तार है और E > K > F तो E, K का बीजगणितीय विस्तार है।

इन अंतिम परिणामों को पारपरिमित आगमन का उपयोग करके सामान्यीकृत किया जा सकता है:

1. संघ एक आधार क्षेत्र पर बीजगणितीय विस्तार की किसी भी श्रृंखला का स्वयं उसी आधार क्षेत्र पर एक बीजगणितीय विस्तार है। यह तथ्य, ज़ोर्न के लेम्मा (उचित रूप से चयन किए गए आंशिकतः क्रमित समुच्चय पर क्रियान्वित ) के साथ, बीजगणितीय समापन के अस्तित्व को स्थापित करता है।

सामान्यीकरण
आदर्श सिद्धांत स्वैच्छिक सिद्धांतों के लिए बीजगणितीय विस्तार की धारणा को सामान्यीकृत करता है: एन में एम के एक अंतः स्थापन को 'बीजीय विस्तार' कहा जाता है यदि एन में प्रत्येक एक्स के लिए एम में पैरामीटर के साथ एक अच्छी तरह से गठित सूत्र पी है, जैसे कि पी (एक्स) सत्य है और समूह है


 * $$\left\{y\in N \mid p(y)\right\}$$

परिमित है। यह ज्ञात हुआ है कि इस परिभाषा को क्षेत्रों के सिद्धांत पर क्रियान्वित करने से बीजगणितीय विस्तार की सामान्य परिभाषा मिलती है। एन ओवर एम के गैलोज़ समूह को पुनः स्वाकारिता के समूह (गणित) के रूप में परिभाषित किया जा सकता है, और यह ज्ञात हुआ है कि सामान्य स्थिति के लिए गैलोज़ समूहों के अधिकांश सिद्धांत विकसित किए जा सकते हैं।

सापेक्ष बीजगणितीय समापन
एक क्षेत्र k और एक क्षेत्र K युक्त k दिया गया है, K में k के 'सापेक्ष बीजगणितीय समापन' को K के उपक्षेत्र के रूप में परिभाषित किया गया है जिसमें K के सभी तत्व सम्मिलित हैं जो k के ऊपर बीजगणितीय हैं, वह K के सभी अवयव हैं जो k में गुणांक वाले किसी शून्येतर बहुपद के मूल हैं।

यह भी देखें

 * अभिन्न तत्व
 * लुरोथ की प्रमेय
 * गाल्वा विस्तार
 * वियोज्य विस्तार
 * सामान्य विस्तार