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

अमूर्त बीजगणित में, एक क्षेत्र $$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}$$ पर बीजगणितीय रूप से स्वतंत्र होती है।

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

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

कई परिमित मैट्रोइड्स एक मैट्रिक्स (गणित) क्षेत्र $$K$$ पर एक मैट्रिक्स द्वारा प्रतिनिधित्व किया जा सकता है, जिसमें मैट्रॉइड तत्व मैट्रिक्स कॉलम के अनुरूप होते हैं, और तत्वों का एक सेट स्वतंत्र होता है यदि स्तंभों का संबंधित सेट रैखिक रूप से स्वतंत्र होता है। मैट्रिक्स की प्रत्येक पंक्ति के लिए एक अनिश्चित (चर) का चयन करके और प्रत्येक मैट्रोइड तत्व को इन ट्रान्सेंडैंटल के एक रैखिक संयोजन को असाइन करने के लिए प्रत्येक कॉलम के भीतर मैट्रिक्स गुणांक का उपयोग करके इस प्रकार के एक रैखिक प्रतिनिधित्व के साथ प्रत्येक मैट्रॉइड तैयार करें। इसका विलोम असत्य है: प्रत्येक बीजगणितीय मैट्रॉइड का एक रेखीय निरूपण नहीं होता है।