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

अमूर्त बीजगणित में, एक क्षेत्र $$L$$ का एक उपसमुच्चय $$S$$ एक उपक्षेत्र $$K$$ पर बीजगणितीय रूप से स्वतंत्र होता है यदि $$S$$ के तत्व $$K$$ में गुणांक वाले किसी गैर-तुच्छ (गणित) बहुपद समीकरण को संतुष्ट नहीं करते हैं।

विशेष रूप से, एक तत्व सेट $$\{\alpha\}$$, $$K$$ पर बीजगणितीय रूप से स्वतंत्र है यदि और केवल यदि $$\alpha$$, $$K$$ पर पारलौकिक है। सामान्य तौर पर, बीजगणितीय रूप से स्वतंत्र सेट $$S$$ के सभी तत्व $$K$$ पर आवश्यकता से पूरे क्षेत्र में अधिक होते हैं। $$S$$ के शेष तत्वों द्वारा उत्पन्न $$K$$ पर विस्तार होता है।

उदाहरण
दो वास्तविक संख्याएँ $$\sqrt{\pi}$$ और $$2\pi+1$$ प्रत्येक पारलौकिक संख्याएँ हैं: वे किसी भी गैर-तुच्छ बहुपद की जड़ें नहीं हैं जिनके गुणांक परिमेय संख्याएँ हैं। इस प्रकार, दो सिंगलटन सेट $$\{\sqrt{\pi}\}$$ और $$\{2\pi+1\}$$ परिमेय संख्याओं के क्षेत्र $$\mathbb{Q}$$ पर बीजगणितीय रूप से स्वतंत्र हैं।

हालाँकि, सेट $$\{ \sqrt{\pi}, 2\pi+1 \}$$ परिमेय संख्याओं पर बीजगणितीय रूप से स्वतंत्र नहीं है, क्योंकि गैर-तुच्छ बहुपद है
 * $$P(x,y)=2x^2-y+1$$

शून्य है जब $$x=\sqrt{\pi}$$ और $$y=2\pi+1$$.

ज्ञात स्थिरांकों की बीजगणितीय स्वतंत्रता
हालांकि $$\pi$$ और E दोनों को अनुवांशिक माना जाता है, यह ज्ञात नहीं है कि दोनों का सेट $$\mathbb{Q}$$ पर बीजगणितीय रूप से स्वतंत्र है या नहीं है। वास्तव में, यह भी ज्ञात नहीं है कि $$\pi+e$$ अपरिमेय है या नहीं है। नेस्टरेंको ने 1996 में साबित किया कि:
 * संख्या $$\pi$$,$$e^\pi$$, और Γ(1/4) $$\mathbb{Q}$$ पर बीजगणितीय रूप से स्वतंत्र हैं।
 * संख्या $$e^{\pi\sqrt{3}}$$ और Γ(1/3) $$\mathbb{Q}$$ पर बीजगणितीय रूप से स्वतंत्र हैं।
 * सभी सकारात्मक पूर्णांकों $$n$$ के लिए, संख्या $$e^{\pi\sqrt{n}}$$ बीजगणितीय रूप से $$\mathbb{Q}$$ पर स्वतंत्र है।

लिंडमैन-वीयरस्ट्रास प्रमेय
लिंडमैन-वीयरस्ट्रास प्रमेय का उपयोग अक्सर यह साबित करने के लिए किया जा सकता है कि कुछ सेट $$\mathbb{Q}$$ पर बीजगणितीय रूप से स्वतंत्र होते है। यह बताता है कि जब भी $$\alpha_1,\ldots,\alpha_n$$ बीजगणितीय संख्याएँ होती हैं जो $$\mathbb{Q}$$ पर रैखिक रूप से स्वतंत्र होती हैं, तो $$e^{\alpha_1},\ldots,e^{\alpha_n}$$ भी $$\mathbb{Q}$$ पर बीजगणितीय रूप से स्वतंत्र होती है।

बीजगणितीय matroids
एक क्षेत्र विस्तार दिया $$L/K$$ जो बीजगणितीय नहीं है, ज़ोर्न की लेम्मा का उपयोग यह दिखाने के लिए किया जा सकता है कि हमेशा अधिकतम बीजगणितीय रूप से स्वतंत्र उपसमुच्चय मौजूद होता है $$L$$ ऊपर $$K$$. इसके अलावा, सभी अधिकतम बीजगणितीय रूप से स्वतंत्र उपसमुच्चय में समान प्रमुखता होती है, जिसे विस्तार की श्रेष्ठता की डिग्री के रूप में जाना जाता है।

हर सेट के लिए $$S$$ के तत्वों का $$L$$, बीजगणितीय रूप से स्वतंत्र उपसमुच्चय $$S$$ मैट्रोइड के स्वतंत्र सेट को परिभाषित करने वाले सिद्धांतों को पूरा करें। इस matroid में, तत्वों के एक सेट की रैंक इसकी श्रेष्ठता की डिग्री है, और एक सेट द्वारा उत्पन्न फ्लैट है $$T$$ तत्वों का प्रतिच्छेदन है $$L$$ मैदान के साथ $$K[T]$$. एक मैट्रॉइड जिसे इस तरह से उत्पन्न किया जा सकता है उसे बीजगणितीय मैट्रोइड कहा जाता है। बीजगणितीय matroids का कोई अच्छा लक्षण वर्णन ज्ञात नहीं है, लेकिन कुछ matroids गैर-बीजीय होने के लिए जाने जाते हैं; सबसे छोटा Vámos matroid है। एक क्षेत्र पर एक मैट्रिक्स (गणित) द्वारा कई परिमित matroids Matroid प्रतिनिधित्व हो सकते हैं $$K$$, जिसमें मैट्रॉइड तत्व मैट्रिक्स कॉलम के अनुरूप होते हैं, और तत्वों का एक सेट स्वतंत्र होता है यदि स्तंभों का संबंधित सेट रैखिक स्वतंत्रता है। मैट्रिक्स की प्रत्येक पंक्ति के लिए एक अनिश्चित (चर) का चयन करके, और प्रत्येक कॉलम के भीतर मैट्रिक्स गुणांक का उपयोग करके प्रत्येक मैट्रोइड तत्व को एक रैखिक संयोजन निर्दिष्ट करने के लिए, इस प्रकार के एक रैखिक प्रतिनिधित्व के साथ प्रत्येक मैट्रॉइड को बीजगणितीय मैट्रॉइड के रूप में भी प्रदर्शित किया जा सकता है। ये पारलौकिक। इसका विलोम असत्य है: प्रत्येक बीजगणितीय मैट्रॉइड का एक रेखीय निरूपण नहीं होता है।