सममित फलन वलय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 25: Line 25:
=== परिभाषाएँ ===
=== परिभाषाएँ ===


सममित कार्यों की अंगूठी को किसी भी [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय अंगूठी]] ''आर'' पर परिभाषित किया जा सकता है, और इसे Λ के रूप में दर्शाया जाएगा<sub>''R''</sub>; मूल मामला R = 'Z' के लिए है। अंगूठी एल<sub>''R''</sub> वास्तव में वलय के ऊपर वर्गीकृत वलय R-बीजगणित है। इसके लिए दो मुख्य निर्माण हैं; नीचे दिया गया पहला (स्टेनली, 1999) में पाया जा सकता है, और दूसरा अनिवार्य रूप से (मैकडोनाल्ड, 1979) में दिया गया है।
सममित कार्यों की अंगूठी को किसी भी [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय अंगूठी]] R पर परिभाषित किया जा सकता है और इसे Λ<sub>''R''</sub> के रूप में दर्शाया जाएगा; मूल अवस्था R = 'Z' के लिए है। अंगूठी Λ<sub>''R''</sub> वास्तव में वलय के ऊपर वर्गीकृत वलय R-बीजगणित है। इसके लिए दो मुख्य निर्माण हैं; नीचे दिया गया पहला (स्टेनली, 1999) में पाया जा सकता है और दूसरा अनिवार्य रूप से (मैकडोनाल्ड, 1979) में दिया गया है।


==== औपचारिक शक्ति श्रृंखला की अंगूठी के रूप में ====
==== औपचारिक शक्ति श्रृंखला की अंगूठी के रूप में ====


सबसे आसान (हालांकि कुछ हद तक भारी) निर्माण कई चर में औपचारिक शक्ति श्रृंखला # पावर श्रृंखला की अंगूठी से शुरू होता है <math>R[[X_1,X_2,...]]</math> आर पर असीम रूप से (गणना करने योग्य अनंत) कई अनिश्चित; इस पावर सीरीज़ अंगूठी के तत्व शर्तों के औपचारिक अनंत योग हैं, जिनमें से प्रत्येक में R से गुणांक [[ एकपद |एकपद]] द्वारा गुणा किया जाता है, जहां प्रत्येक एकपद अनिश्चित रूप से कई परिमित शक्तियों का उत्पाद होता है। Λ को परिभाषित करता है<sub>''R''</sub> इसके उप-वलय के रूप में उन शक्ति श्रृंखला S से मिलकर बनता है जो संतुष्ट करती हैं
सबसे आसान (हालांकि कुछ हद तक भारी) निर्माण कई चर में औपचारिक शक्ति श्रृंखला # पावर श्रृंखला की अंगूठी से शुरू होता है <math>R[[X_1,X_2,...]]</math> R पर असीम रूप से (गणना करने योग्य अनंत) कई अनिश्चित; इस पावर सीरीज़ अंगूठी के तत्व शर्तों के औपचारिक अनंत योग हैं, जिनमें से प्रत्येक में R से गुणांक [[ एकपद |एकपद]] द्वारा गुणा किया जाता है, जहां प्रत्येक एकपद अनिश्चित रूप से कई परिमित शक्तियों का उत्पाद होता है। Λ को परिभाषित करता है<sub>''R''</sub> इसके उप-वलय के रूप में उन शक्ति श्रृंखला S से मिलकर बनता है जो संतुष्ट करती हैं
#S अनिश्चित के किसी भी क्रमपरिवर्तन के तहत अपरिवर्तनीय है, और
#S अनिश्चित के किसी भी क्रमपरिवर्तन के तहत अपरिवर्तनीय है, और
#S में होने वाले एकपदों के बहुपद की कोटि परिबद्ध है।
#S में होने वाले एकपदों के बहुपद की कोटि परिबद्ध है।
ध्यान दें कि दूसरी स्थिति के कारण, घात श्रृंखला का उपयोग यहां केवल निश्चित डिग्री के असीम रूप से कई पदों को अनुमति देने के लिए किया जाता है, बजाय सभी संभावित डिग्री के पदों के योग के लिए। इसकी अनुमति देना जरूरी है क्योंकि तत्व जिसमें उदाहरण के लिए एक्स शब्द होता है<sub>1</sub> X शब्द भी होना चाहिए<sub>''i''</sub> सममित होने के लिए प्रत्येक i > 1 के लिए। पूरी शक्ति श्रृंखला अंगूठी के विपरीत, सबअंगूठी Λ<sub>''R''</sub> मोनोमियल्स की कुल डिग्री द्वारा वर्गीकृत किया जाता है: स्थिति 2 के कारण, Λ का प्रत्येक तत्व<sub>''R''</sub> Λ के [[सजातीय बहुपद]] तत्वों का परिमित योग है<sub>''R''</sub> (जो स्वयं समान कोटि के पदों के अनंत योग हैं)। प्रत्येक k ≥ 0 के लिए, तत्व e<sub>''k''</sub>∈ एल<sub>''R''</sub> k विशिष्ट अनिश्चित के सभी उत्पादों के औपचारिक योग के रूप में परिभाषित किया गया है, जो डिग्री k का स्पष्ट रूप से सजातीय है।
ध्यान दें कि दूसरी स्थिति के कारण, घात श्रृंखला का उपयोग यहां केवल निश्चित डिग्री के असीम रूप से कई पदों को अनुमति देने के लिए किया जाता है, बजाय सभी संभावित डिग्री के पदों के योग के लिए। इसकी अनुमति देना जरूरी है क्योंकि तत्व जिसमें उदाहरण के लिए एक्स शब्द होता है<sub>1</sub> X शब्द भी होना चाहिए<sub>''i''</sub> सममित होने के लिए प्रत्येक i > 1 के लिए। पूरी शक्ति श्रृंखला अंगूठी के विपरीत, सबअंगूठी Λ<sub>''R''</sub> मोनोमियल्स की कुल डिग्री द्वारा वर्गीकृत किया जाता है: स्थिति 2 के कारण, Λ का प्रत्येक तत्व<sub>''R''</sub> Λ के [[सजातीय बहुपद]] तत्वों का परिमित योग है<sub>''R''</sub> (जो स्वयं समान कोटि के पदों के अनंत योग हैं)। प्रत्येक k ≥ 0 के लिए, तत्व e<sub>''k''</sub>∈ Λ<sub>''R''</sub> k विशिष्ट अनिश्चित के सभी उत्पादों के औपचारिक योग के रूप में परिभाषित किया गया है, जो डिग्री k का स्पष्ट रूप से सजातीय है।


==== बीजगणितीय सीमा के रूप में ====
==== बीजगणितीय सीमा के रूप में ====


एल का और निर्माण<sub>''R''</sub> वर्णन करने में कुछ अधिक समय लगता है, किन्तु अंगूठी R [X के साथ संबंध को बेहतर ढंग से इंगित करता है<sub>1</sub>,...,एक्स<sub>''n''</sub>]<sup>S<sub>''n''</sub>n अनिश्चित में सममित बहुपदों का </sup>। प्रत्येक n के लिए [[विशेषण]] वलय समरूपता ρ है<sub>''n''</sub> समरूप वलय R[X<sub>1</sub>,...,एक्स<sub>''n''+1</sub>]<sup>S<sub>''n''+1</sub></sup> R[X पर और अनिश्चित के साथ<sub>1</sub>,...,एक्स<sub>''n''</sub>]<sup>S<sub>''n''</sub></sup>, अंतिम अनिश्चित X को सेट करके परिभाषित किया गया है<sub>''n''+1</sub> से 0. हालांकि ρ<sub>''n''</sub> गैर-तुच्छ कर्नेल (बीजगणित) है, उस कर्नेल के गैर-शून्य तत्वों में कम से कम डिग्री है <math>n+1</math> (वे X के गुणक हैं<sub>1</sub>X<sub>2</sub>...एक्स<sub>''n''+1</sub>). इसका मतलब है कि ρ का प्रतिबंध<sub>''n''</sub> अधिक से अधिक n डिग्री के तत्वों के लिए विशेषण [[रैखिक नक्शा]] है, और ρ<sub>''n''</sub>(यह है<sub>''k''</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''+1</sub>)) = ई<sub>''k''</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''</sub>) सभी के लिए k≤ n. इस प्रतिबंध के व्युत्क्रम को विशिष्ट रूप से अंगूठी समरूपता φ तक बढ़ाया जा सकता है<sub>''n''</sub> आर [एक्स से<sub>1</sub>,...,एक्स<sub>''n''</sub>]<sup>S<sub>''n''</sub></sup> से R[X<sub>1</sub>,...,एक्स<sub>''n''+1</sub>]<sup>S<sub>''n''+1</sub></sup>, जैसा कि उदाहरण के लिए सममित बहुपदों के मूलभूत प्रमेय से लिया गया है। छवियों के बाद से φ<sub>''n''</sub>(यह है<sub>''k''</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''</sub>)) = ई<sub>''k''</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''+1</sub>) k = 1,...,n के लिए अभी भी R, समाकारिता φ पर बीजगणितीय रूप से स्वतंत्र हैं<sub>''n''</sub> [[इंजेक्शन]] है और इसे रिंगों के समावेश (कुछ असामान्य) के रूप में देखा जा सकता है; φ लागू करना<sub>''n''</sub> पहले से मौजूद एकपद से समरूपता द्वारा प्राप्त नए अनिश्चित वाले सभी एकपद को जोड़ने के लिए बहुपद राशि। अंगूठी एल<sub>''R''</sub> तब इन समावेशन के अधीन इन सभी छल्लों का संघ ([[प्रत्यक्ष सीमा]]) है। चूंकि सभी φ<sub>''n''</sub> सम्मलित रिंगों की कुल डिग्री द्वारा ग्रेडिंग के साथ संगत हैं, Λ<sub>''R''</sub> वर्गीकृत अंगूठी की संरचना प्राप्त करता है।
Λ का और निर्माण<sub>''R''</sub> वर्णन करने में कुछ अधिक समय लगता है, किन्तु अंगूठी R [X के साथ संबंध को बेहतर ढंग से इंगित करता है<sub>1</sub>,...,एक्स<sub>''n''</sub>]<sup>S<sub>''n''</sub>n अनिश्चित में सममित बहुपदों का </sup>। प्रत्येक n के लिए [[विशेषण]] वलय समरूपता ρ है<sub>''n''</sub> समरूप वलय R[X<sub>1</sub>,...,एक्स<sub>''n''+1</sub>]<sup>S<sub>''n''+1</sub></sup> R[X पर और अनिश्चित के साथ<sub>1</sub>,...,एक्स<sub>''n''</sub>]<sup>S<sub>''n''</sub></sup>, अंतिम अनिश्चित X को सेट करके परिभाषित किया गया है<sub>''n''+1</sub> से 0. हालांकि ρ<sub>''n''</sub> गैर-तुच्छ कर्नेल (बीजगणित) है, उस कर्नेल के गैर-शून्य तत्वों में कम से कम डिग्री है <math>n+1</math> (वे X के गुणक हैं<sub>1</sub>X<sub>2</sub>...एक्स<sub>''n''+1</sub>). इसका मतलब है कि ρ का प्रतिबंध<sub>''n''</sub> अधिक से अधिक n डिग्री के तत्वों के लिए विशेषण [[रैखिक नक्शा]] है, और ρ<sub>''n''</sub>(यह है<sub>''k''</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''+1</sub>)) = ई<sub>''k''</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''</sub>) सभी के लिए k≤ n. इस प्रतिबंध के व्युत्क्रम को विशिष्ट रूप से अंगूठी समरूपता φ तक बढ़ाया जा सकता है<sub>''n''</sub> R [एक्स से<sub>1</sub>,...,एक्स<sub>''n''</sub>]<sup>S<sub>''n''</sub></sup> से R[X<sub>1</sub>,...,एक्स<sub>''n''+1</sub>]<sup>S<sub>''n''+1</sub></sup>, जैसा कि उदाहरण के लिए सममित बहुपदों के मूलभूत प्रमेय से लिया गया है। छवियों के बाद से φ<sub>''n''</sub>(यह है<sub>''k''</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''</sub>)) = ई<sub>''k''</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''+1</sub>) k = 1,...,n के लिए अभी भी R, समाकारिता φ पर बीजगणितीय रूप से स्वतंत्र हैं<sub>''n''</sub> [[इंजेक्शन]] है और इसे रिंगों के समावेश (कुछ असामान्य) के रूप में देखा जा सकता है; φ लागू करना<sub>''n''</sub> पहले से मौजूद एकपद से समरूपता द्वारा प्राप्त नए अनिश्चित वाले सभी एकपद को जोड़ने के लिए बहुपद राशि। अंगूठी Λ<sub>''R''</sub> तब इन समावेशन के अधीन इन सभी छल्लों का संघ ([[प्रत्यक्ष सीमा]]) है। चूंकि सभी φ<sub>''n''</sub> सम्मलित रिंगों की कुल डिग्री द्वारा ग्रेडिंग के साथ संगत हैं, Λ<sub>''R''</sub> वर्गीकृत अंगूठी की संरचना प्राप्त करता है।


यह निर्माण (मैकडोनाल्ड, 1979) में से थोड़ा अलग है। वह निर्माण केवल विशेषण आकारिकी ρ का उपयोग करता है<sub>''n''</sub> इंजेक्शन morphisms φ का उल्लेख किए बिना<sub>''n''</sub>: यह Λ के सजातीय घटकों का निर्माण करता है<sub>''R''</sub> अलग से, और ρ का उपयोग करके उनके [[प्रत्यक्ष योग]] को अंगूठी संरचना से लैस करता है<sub>''n''</sub>. यह भी देखा गया है कि परिणाम को वर्गीकृत छल्लों की [[श्रेणी (गणित)]] में व्युत्क्रम सीमा के रूप में वर्णित किया जा सकता है। हालांकि यह विवरण कुछ हद तक इंजेक्टिव मोर्फिज्म की सीधी सीमा के लिए विशिष्ट महत्वपूर्ण संपत्ति को अस्पष्ट करता है, अर्थात् प्रत्येक व्यक्तिगत तत्व (सममित कार्य) पहले से ही सीमा निर्माण में उपयोग की जाने वाली किसी वस्तु में ईमानदारी से प्रतिनिधित्व किया जाता है, यहां अंगूठी आर [एक्स<sub>1</sub>,...,एक्स<sub>''d''</sub>]<sup>S<sub>''d''</sub></सुप>। यह d के लिए सममित फ़ंक्शन की डिग्री लेने के लिए पर्याप्त है, क्योंकि उस अंगूठी के डिग्री d में भाग को आइसोमोर्फिक रूप से मैप किया जाता है, जो कि φ द्वारा अधिक अनिश्चित होता है।<sub>''n''</sub> सभी के लिए एन ≥ डी। इसका तात्पर्य है कि अलग-अलग तत्वों के बीच संबंधों का अध्ययन करने के लिए सममित बहुपदों और सममित कार्यों के बीच कोई मूलभूत अंतर नहीं है।
यह निर्माण (मैकडोनाल्ड, 1979) में से थोड़ा अलग है। वह निर्माण केवल विशेषण आकारिकी ρ का उपयोग करता है<sub>''n''</sub> इंजेक्शन morphisms φ का उल्लेख किए बिना<sub>''n''</sub>: यह Λ के सजातीय घटकों का निर्माण करता है<sub>''R''</sub> अलग से, और ρ का उपयोग करके उनके [[प्रत्यक्ष योग]] को अंगूठी संरचना से लैस करता है<sub>''n''</sub>. यह भी देखा गया है कि परिणाम को वर्गीकृत छल्लों की [[श्रेणी (गणित)]] में व्युत्क्रम सीमा के रूप में वर्णित किया जा सकता है। हालांकि यह विवरण कुछ हद तक इंजेक्टिव मोर्फिज्म की सीधी सीमा के लिए विशिष्ट महत्वपूर्ण संपत्ति को अस्पष्ट करता है, अर्थात् प्रत्येक व्यक्तिगत तत्व (सममित कार्य) पहले से ही सीमा निर्माण में उपयोग की जाने वाली किसी वस्तु में ईमानदारी से प्रतिनिधित्व किया जाता है, यहां अंगूठी R [एक्स<sub>1</sub>,...,एक्स<sub>''d''</sub>]<sup>S<sub>''d''</sub></सुप>। यह d के लिए सममित फ़ंक्शन की डिग्री लेने के लिए पर्याप्त है, क्योंकि उस अंगूठी के डिग्री d में भाग को आइसोमोर्फिक रूप से मैप किया जाता है, जो कि φ द्वारा अधिक अनिश्चित होता है।<sub>''n''</sub> सभी के लिए एन ≥ डी। इसका तात्पर्य है कि अलग-अलग तत्वों के बीच संबंधों का अध्ययन करने के लिए सममित बहुपदों और सममित कार्यों के बीच कोई मूलभूत अंतर नहीं है।


=== व्यक्तिगत सममित कार्यों को परिभाषित करना ===
=== व्यक्तिगत सममित कार्यों को परिभाषित करना ===
Line 44: Line 44:
Λ के तत्वों के लिए नाम सममित कार्य<sub>''R''</sub> [[मिथ्या नाम]] है: न तो निर्माण में तत्व कार्य (गणित) हैं, और वास्तव में, सममित बहुपदों के विपरीत, ऐसे तत्वों से स्वतंत्र चर का कोई कार्य नहीं जोड़ा जा सकता है (उदाहरण के लिए ई<sub>1</sub> सभी असीम रूप से कई चरों का योग होगा, जो तब तक परिभाषित नहीं होता है जब तक कि चर पर प्रतिबंध नहीं लगाया जाता है)। हालाँकि नाम पारंपरिक और अच्छी प्रकार से स्थापित है; यह (मैकडॉनल्ड, 1979) दोनों में पाया जा सकता है, जो कहता है (पृष्ठ 12 पर फुटनोट)
Λ के तत्वों के लिए नाम सममित कार्य<sub>''R''</sub> [[मिथ्या नाम]] है: न तो निर्माण में तत्व कार्य (गणित) हैं, और वास्तव में, सममित बहुपदों के विपरीत, ऐसे तत्वों से स्वतंत्र चर का कोई कार्य नहीं जोड़ा जा सकता है (उदाहरण के लिए ई<sub>1</sub> सभी असीम रूप से कई चरों का योग होगा, जो तब तक परिभाषित नहीं होता है जब तक कि चर पर प्रतिबंध नहीं लगाया जाता है)। हालाँकि नाम पारंपरिक और अच्छी प्रकार से स्थापित है; यह (मैकडॉनल्ड, 1979) दोनों में पाया जा सकता है, जो कहता है (पृष्ठ 12 पर फुटनोट)
<blockquote>Λ के तत्व (Λ के तत्वों के विपरीत<sub>''n''</sub>) अब बहुपद नहीं हैं: वे एकपदी के औपचारिक अनंत योग हैं। इसलिए हम सममित कार्यों की पुरानी शब्दावली पर वापस आ गए हैं।</blockquote>
<blockquote>Λ के तत्व (Λ के तत्वों के विपरीत<sub>''n''</sub>) अब बहुपद नहीं हैं: वे एकपदी के औपचारिक अनंत योग हैं। इसलिए हम सममित कार्यों की पुरानी शब्दावली पर वापस आ गए हैं।</blockquote>
(यहाँ एल<sub>''n''</sub> एन अनिश्चित में सममित बहुपदों की अंगूठी को दर्शाता है), और (स्टेनली, 1999) में भी।
(यहाँ Λ<sub>''n''</sub> एन अनिश्चित में सममित बहुपदों की अंगूठी को दर्शाता है), और (स्टेनली, 1999) में भी।


सममित समारोह को परिभाषित करने के लिए या तो पहले निर्माण के रूप में सीधे शक्ति श्रृंखला का संकेत देना चाहिए, या दूसरे निर्माण के साथ संगत विधियों से प्रत्येक प्राकृतिक संख्या n के लिए n अनिश्चित में सममित बहुपद देना चाहिए। उदाहरण के लिए, अनिश्चित संख्या में अभिव्यक्ति दोनों कर सकती है
सममित समारोह को परिभाषित करने के लिए या तो पहले निर्माण के रूप में सीधे शक्ति श्रृंखला का संकेत देना चाहिए, या दूसरे निर्माण के साथ संगत विधियों से प्रत्येक प्राकृतिक संख्या n के लिए n अनिश्चित में सममित बहुपद देना चाहिए। उदाहरण के लिए, अनिश्चित संख्या में अभिव्यक्ति दोनों कर सकती है
Line 74: Line 74:
=== पहचान ===
=== पहचान ===


सममितीय फलनों का वलय सममित बहुपदों के बीच सर्वसमिकाओं को लिखने के लिए सुविधाजनक उपकरण है, जो कि निर्धारकों की संख्या से स्वतंत्र होते हैं: Λ में<sub>''R''</sub> ऐसी कोई संख्या नहीं है, फिर भी उपरोक्त सिद्धांत द्वारा Λ में कोई पहचान है<sub>''R''</sub> स्वचालित रूप से किसी भी संख्या में अनिश्चितताओं में आर पर सममित बहुपदों के छल्ले की पहचान देता है। कुछ मौलिक पहचान हैं
सममितीय फलनों का वलय सममित बहुपदों के बीच सर्वसमिकाओं को लिखने के लिए सुविधाजनक उपकरण है, जो कि निर्धारकों की संख्या से स्वतंत्र होते हैं: Λ में<sub>''R''</sub> ऐसी कोई संख्या नहीं है, फिर भी उपरोक्त सिद्धांत द्वारा Λ में कोई पहचान है<sub>''R''</sub> स्वचालित रूप से किसी भी संख्या में अनिश्चितताओं में R पर सममित बहुपदों के छल्ले की पहचान देता है। कुछ मौलिक पहचान हैं
:<math>\sum_{i=0}^k(-1)^ie_ih_{k-i}=0=\sum_{i=0}^k(-1)^ih_ie_{k-i}\quad\mbox{for all }k>0,</math>
:<math>\sum_{i=0}^k(-1)^ie_ih_{k-i}=0=\sum_{i=0}^k(-1)^ih_ie_{k-i}\quad\mbox{for all }k>0,</math>
जो प्रारंभिक और पूर्ण सजातीय सममित कार्यों के बीच समरूपता दिखाता है; इन संबंधों को पूर्ण सजातीय सममित बहुपद के तहत समझाया गया है।
जो प्रारंभिक और पूर्ण सजातीय सममित कार्यों के बीच समरूपता दिखाता है; इन संबंधों को पूर्ण सजातीय सममित बहुपद के तहत समझाया गया है।
Line 83: Line 83:


=== Λ के संरचनात्मक गुण<sub>''R''</sub> ===
=== Λ के संरचनात्मक गुण<sub>''R''</sub> ===
एल के महत्वपूर्ण गुण<sub>''R''</sub> निम्नलिखित को सम्मलित कीजिए।
Λ के महत्वपूर्ण गुण<sub>''R''</sub> निम्नलिखित को सम्मलित कीजिए।


# विभाजनों द्वारा पैरामीट्रिज्ड एकपद सममित कार्यों का सेट Λ का आधार बनता है<sub>''R''</sub> ग्रेडेड आर-मॉड्यूल (गणित) के रूप में, डी के विभाजन द्वारा पैरामीट्रिज्ड डिग्री डी के सजातीय होने के कारण; शूर फ़ंक्शंस के सेट के लिए भी यही सच है (विभाजन द्वारा पैरामीट्रिज्ड)।
# विभाजनों द्वारा पैरामीट्रिज्ड एकपद सममित कार्यों का सेट Λ का आधार बनता है<sub>''R''</sub> ग्रेडेड आर-मॉड्यूल (गणित) के रूप में, डी के विभाजन द्वारा पैरामीट्रिज्ड डिग्री डी के सजातीय होने के कारण; शूर फ़ंक्शंस के सेट के लिए भी यही सच है (विभाजन द्वारा पैरामीट्रिज्ड)।
# एल<sub>''R''</sub> बहुपद वलय R [Y के लिए ग्रेडेड R-बीजगणित के रूप में [[समरूपी]] है<sub>1</sub>,और<sub>2</sub>, ...] अपरिमित रूप से अनेक चरों में, जहाँ Y<sub>''i''</sub> सभी i > 0 के लिए डिग्री i दी गई है, समरूपता वह है जो Y भेजता है<sub>''i''</sub> तब<sub>''i''</sub>∈ एल<sub>''R''</sub> प्रत्येक i के लिए।
# Λ<sub>''R''</sub> बहुपद वलय R [Y के लिए ग्रेडेड R-बीजगणित के रूप में [[समरूपी]] है<sub>1</sub>,और<sub>2</sub>, ...] अपरिमित रूप से अनेक चरों में, जहाँ Y<sub>''i''</sub> सभी i > 0 के लिए डिग्री i दी गई है, समरूपता वह है जो Y भेजता है<sub>''i''</sub> तब<sub>''i''</sub>∈ Λ<sub>''R''</sub> प्रत्येक i के लिए।
# Λ का इनवॉल्यूशन (गणित) [[ automorphism |automorphism]] ω है<sub>''R''</sub> जो प्रारंभिक सममित कार्यों को बदल देता है ई<sub>''i''</sub> और पूर्ण सजातीय सममित फलन h<sub>''i''</sub> सभी के लिए मैं यह प्रत्येक शक्ति योग सममित फ़ंक्शन पी भी भेजता है<sub>''i''</sub> से (−1)<sup>i−1</sup>प<sub>''i''</sub>, और यह एस को इंटरचेंज करते हुए दूसरे के बीच शूर कार्यों की अनुमति देता है<sub>λ</sub> और एस<sub>λ<sup>t</sup></sub> जहां एल<sup>t</sup> λ का स्थानान्तरण विभाजन है।
# Λ का इनवॉल्यूशन (गणित) [[ automorphism |automorphism]] ω है<sub>''R''</sub> जो प्रारंभिक सममित कार्यों को बदल देता है ई<sub>''i''</sub> और पूर्ण सजातीय सममित फलन h<sub>''i''</sub> सभी के लिए मैं यह प्रत्येक शक्ति योग सममित फ़ंक्शन पी भी भेजता है<sub>''i''</sub> से (−1)<sup>i−1</sup>प<sub>''i''</sub>, और यह एस को इंटरचेंज करते हुए दूसरे के बीच शूर कार्यों की अनुमति देता है<sub>λ</sub> और एस<sub>λ<sup>t</sup></sub> जहां Λ<sup>t</sup> λ का स्थानान्तरण विभाजन है।


संपत्ति 2 सममित बहुपदों के मौलिक प्रमेय का सार है। इसका तात्पर्य तुरंत कुछ अन्य गुणों से है:
संपत्ति 2 सममित बहुपदों के मौलिक प्रमेय का सार है। इसका तात्पर्य तुरंत कुछ अन्य गुणों से है:
* Λ का सबरिंग<sub>''R''</sub> एन चर में आर पर सममित बहुपदों की अंगूठी के लिए अधिकतम एन में डिग्री के अपने तत्वों द्वारा उत्पन्न आइसोमोर्फिक है;
* Λ का सबरिंग<sub>''R''</sub> एन चर में R पर सममित बहुपदों की अंगूठी के लिए अधिकतम एन में डिग्री के अपने तत्वों द्वारा उत्पन्न आइसोमोर्फिक है;
* Λ की हिल्बर्ट-पॉइनकेयर श्रृंखला<sub>''R''</sub> है <math>\textstyle\prod_{i=1}^\infty\frac1{1-t^i}</math>, विभाजन (संख्या सिद्धांत) # पूर्णांक विभाजन का कार्य उत्पन्न करना (यह संपत्ति 1 से भी अनुसरण करता है);
* Λ की हिल्बर्ट-पॉइनकेयर श्रृंखला<sub>''R''</sub> है <math>\textstyle\prod_{i=1}^\infty\frac1{1-t^i}</math>, विभाजन (संख्या सिद्धांत) # पूर्णांक विभाजन का कार्य उत्पन्न करना (यह संपत्ति 1 से भी अनुसरण करता है);
* प्रत्येक n > 0 के लिए, Λ के सजातीय भाग द्वारा गठित आर-मॉड्यूल<sub>''R''</sub> डिग्री एन की, डिग्री के अपने तत्वों द्वारा उत्पन्न सबअंगूठी के साथ मॉड्यूलो एन से सख्ती से कम है, रैंक 1 का [[मुफ्त मॉड्यूल]] है, और (की छवि) ई<sub>''n''</sub> इस आर-मॉड्यूल का जनरेटर है;
* प्रत्येक n > 0 के लिए, Λ के सजातीय भाग द्वारा गठित आर-मॉड्यूल<sub>''R''</sub> डिग्री एन की, डिग्री के अपने तत्वों द्वारा उत्पन्न सबअंगूठी के साथ मॉड्यूलो एन से सख्ती से कम है, रैंक 1 का [[मुफ्त मॉड्यूल]] है, और (की छवि) ई<sub>''n''</sub> इस आर-मॉड्यूल का जनरेटर है;
Line 104: Line 104:
=== निर्माण कार्य ===
=== निर्माण कार्य ===


एल की पहली परिभाषा<sub>''R''</sub> के सबअंगूठी के रूप में <math>R[[X_1, X_2, ...]]</math> सममित कार्यों के कई अनुक्रमों के उत्पन्न कार्यों को सुरुचिपूर्ण ढंग से व्यक्त करने की अनुमति देता है। पहले बताए गए संबंधों के विपरीत, जो Λ के लिए आंतरिक हैं<sub>''R''</sub>, इन भावों में RX में संक्रियाएँ सम्मलित हैं<sub>1</sub>,एक्स<sub>2</sub>,...;t किन्तु इसके उपसमूह Λ के बाहर<sub>''R''</sub>t, इसलिए वे केवल तभी अर्थपूर्ण हैं जब सममित कार्यों को अनिश्चित एक्स में औपचारिक शक्ति श्रृंखला के रूप में देखा जाता है<sub>''i''</sub>. हम इस व्याख्या पर जोर देने के लिए सममित कार्यों के बाद (एक्स) लिखेंगे।
Λ की पहली परिभाषा<sub>''R''</sub> के सबअंगूठी के रूप में <math>R[[X_1, X_2, ...]]</math> सममित कार्यों के कई अनुक्रमों के उत्पन्न कार्यों को सुरुचिपूर्ण ढंग से व्यक्त करने की अनुमति देता है। पहले बताए गए संबंधों के विपरीत, जो Λ के लिए आंतरिक हैं<sub>''R''</sub>, इन भावों में RX में संक्रियाएँ सम्मलित हैं<sub>1</sub>,एक्स<sub>2</sub>,...;t किन्तु इसके उपसमूह Λ के बाहर<sub>''R''</sub>t, इसलिए वे केवल तभी अर्थपूर्ण हैं जब सममित कार्यों को अनिश्चित एक्स में औपचारिक शक्ति श्रृंखला के रूप में देखा जाता है<sub>''i''</sub>. हम इस व्याख्या पर जोर देने के लिए सममित कार्यों के बाद (एक्स) लिखेंगे।


प्रारंभिक सममित कार्यों के लिए जनरेटिंग फ़ंक्शन है
प्रारंभिक सममित कार्यों के लिए जनरेटिंग फ़ंक्शन है

Revision as of 08:57, 16 May 2023

बीजगणित में और विशेष रूप से बीजगणितीय साहचर्य में, सममित कार्यों की अंगूठी 'n' अनिश्चित में सममित बहुपद की अंगूठी (गणित) की विशिष्ट सीमा है, क्योंकि 'n' अनंत तक जाती है। यह वलय सार्वभौमिक संरचना के रूप में कार्य करता है जिसमें सममित बहुपदों के बीच संबंधों को निर्धारकों की संख्या n से स्वतंत्र विधियों से व्यक्त किया जा सकता है (किन्तु इसके तत्व न तो बहुपद हैं और न ही कार्य)। अन्य बातों के अतिरिक्त, यह वलय सममित समूह के प्रतिनिधित्व सिद्धांत में महत्वपूर्ण भूमिका निभाता है।

सममित कार्यों की अंगूठी को सह-उत्पाद और द्विरेखीय रूप दिया जा सकता है जो इसे सकारात्मक स्वसम्मिलित ग्रेडेड बीजगणित हॉपफ बीजगणित में बनाता है जो क्रमविनिमेय और सहसम्बन्धी दोनों है।

सममित बहुपद

सममित कार्यों का अध्ययन सममित बहुपदों पर आधारित है। अनिश्चितकों के कुछ परिमित समुच्चय में बहुपद वलय में, बहुपद को सममित कहा जाता है यदि यह वही रहता है जब भी किसी भी प्रकार से अनिश्चित को अनुमति दी जाती है। अधिक औपचारिक रूप से, सममित समूह Sn के अंगूठी ऑटोमोर्फिज्म द्वारा समूह क्रिया होती है n अनिश्चित में बहुपद की अंगूठी पर, जहां क्रमचय उपयोग किए गए क्रमपरिवर्तन के अनुसार प्रत्येक अनिश्चित को साथ प्रतिस्थापित करके बहुपद पर कार्य करता है। अपरिवर्तनीय (गणित) इस क्रिया के लिए समूह क्रिया के अंतर्गत अपरिवर्तित सममित बहुपदों का उपसमूह बनाता है। यदि अनिश्चित X1, ..., Xn,हैं, तो ऐसे सममित बहुपदों के उदाहरण हैं

और

कुछ और जटिल उदाहरण हैX13X2X3 + X1X23X3 + X1X2X33 + X13X2X4 + X1X23X4 + X1X2X43 + ... जहां योग कुछ चर और दो अन्य चर की तीसरी शक्ति के सभी उत्पादों को सम्मलित करता है। कई विशिष्ट प्रकार के सममित बहुपद हैं, जैसे प्राथमिक सममित बहुपद, शक्ति योग सममित बहुपद, एकपद सममित बहुपद, पूर्ण सजातीय सममित बहुपद, और शूर बहुपद

सममित कार्यों की अंगूठी

सममित बहुपदों के बीच अधिकांश संबंध अनिर्धारकों की संख्या n पर निर्भर नहीं करते हैं, अतिरिक्त इसके कि संबंध में कुछ बहुपदों को n को परिभाषित करने के लिए अधिक बड़ा होना आवश्यक हो सकता है। उदाहरण के लिए न्यूटन की तत्समक तीसरी घात योग बहुपद p3 के लिए न्यूटन की तत्समक ओर जाता है

जहां प्रारंभिक सममित बहुपदों को निरूपित करें; यह सूत्र सभी प्राकृतिक संख्याओं n के लिए मान्य है और इस पर एकमात्र उल्लेखनीय निर्भरता यह है कि ek(X1,...,Xn) = 0 जब भी n < k. कोई इसे पहचान के रूप में लिखना चाहेगा

यह n पर बिल्कुल भी निर्भर नहीं करता है और यह सममित कार्यों के वलय में किया जा सकता है। उस वलय में अशून्य तत्व ek होते हैं सभी पूर्णांक k ≥ 1 के लिए, और अंगूठी के किसी भी तत्व को तत्वों ek में बहुपद अभिव्यक्ति द्वारा दिया जा सकता है।

परिभाषाएँ

सममित कार्यों की अंगूठी को किसी भी क्रमविनिमेय अंगूठी R पर परिभाषित किया जा सकता है और इसे ΛR के रूप में दर्शाया जाएगा; मूल अवस्था R = 'Z' के लिए है। अंगूठी ΛR वास्तव में वलय के ऊपर वर्गीकृत वलय R-बीजगणित है। इसके लिए दो मुख्य निर्माण हैं; नीचे दिया गया पहला (स्टेनली, 1999) में पाया जा सकता है और दूसरा अनिवार्य रूप से (मैकडोनाल्ड, 1979) में दिया गया है।

औपचारिक शक्ति श्रृंखला की अंगूठी के रूप में

सबसे आसान (हालांकि कुछ हद तक भारी) निर्माण कई चर में औपचारिक शक्ति श्रृंखला # पावर श्रृंखला की अंगूठी से शुरू होता है R पर असीम रूप से (गणना करने योग्य अनंत) कई अनिश्चित; इस पावर सीरीज़ अंगूठी के तत्व शर्तों के औपचारिक अनंत योग हैं, जिनमें से प्रत्येक में R से गुणांक एकपद द्वारा गुणा किया जाता है, जहां प्रत्येक एकपद अनिश्चित रूप से कई परिमित शक्तियों का उत्पाद होता है। Λ को परिभाषित करता हैR इसके उप-वलय के रूप में उन शक्ति श्रृंखला S से मिलकर बनता है जो संतुष्ट करती हैं

  1. S अनिश्चित के किसी भी क्रमपरिवर्तन के तहत अपरिवर्तनीय है, और
  2. S में होने वाले एकपदों के बहुपद की कोटि परिबद्ध है।

ध्यान दें कि दूसरी स्थिति के कारण, घात श्रृंखला का उपयोग यहां केवल निश्चित डिग्री के असीम रूप से कई पदों को अनुमति देने के लिए किया जाता है, बजाय सभी संभावित डिग्री के पदों के योग के लिए। इसकी अनुमति देना जरूरी है क्योंकि तत्व जिसमें उदाहरण के लिए एक्स शब्द होता है1 X शब्द भी होना चाहिएi सममित होने के लिए प्रत्येक i > 1 के लिए। पूरी शक्ति श्रृंखला अंगूठी के विपरीत, सबअंगूठी ΛR मोनोमियल्स की कुल डिग्री द्वारा वर्गीकृत किया जाता है: स्थिति 2 के कारण, Λ का प्रत्येक तत्वR Λ के सजातीय बहुपद तत्वों का परिमित योग हैR (जो स्वयं समान कोटि के पदों के अनंत योग हैं)। प्रत्येक k ≥ 0 के लिए, तत्व ek∈ ΛR k विशिष्ट अनिश्चित के सभी उत्पादों के औपचारिक योग के रूप में परिभाषित किया गया है, जो डिग्री k का स्पष्ट रूप से सजातीय है।

बीजगणितीय सीमा के रूप में

Λ का और निर्माणR वर्णन करने में कुछ अधिक समय लगता है, किन्तु अंगूठी R [X के साथ संबंध को बेहतर ढंग से इंगित करता है1,...,एक्सn]Snn अनिश्चित में सममित बहुपदों का । प्रत्येक n के लिए विशेषण वलय समरूपता ρ हैn समरूप वलय R[X1,...,एक्सn+1]Sn+1 R[X पर और अनिश्चित के साथ1,...,एक्सn]Sn, अंतिम अनिश्चित X को सेट करके परिभाषित किया गया हैn+1 से 0. हालांकि ρn गैर-तुच्छ कर्नेल (बीजगणित) है, उस कर्नेल के गैर-शून्य तत्वों में कम से कम डिग्री है (वे X के गुणक हैं1X2...एक्सn+1). इसका मतलब है कि ρ का प्रतिबंधn अधिक से अधिक n डिग्री के तत्वों के लिए विशेषण रैखिक नक्शा है, और ρn(यह हैk(एक्स1,...,एक्सn+1)) = ईk(एक्स1,...,एक्सn) सभी के लिए k≤ n. इस प्रतिबंध के व्युत्क्रम को विशिष्ट रूप से अंगूठी समरूपता φ तक बढ़ाया जा सकता हैn R [एक्स से1,...,एक्सn]Sn से R[X1,...,एक्सn+1]Sn+1, जैसा कि उदाहरण के लिए सममित बहुपदों के मूलभूत प्रमेय से लिया गया है। छवियों के बाद से φn(यह हैk(एक्स1,...,एक्सn)) = ईk(एक्स1,...,एक्सn+1) k = 1,...,n के लिए अभी भी R, समाकारिता φ पर बीजगणितीय रूप से स्वतंत्र हैंn इंजेक्शन है और इसे रिंगों के समावेश (कुछ असामान्य) के रूप में देखा जा सकता है; φ लागू करनाn पहले से मौजूद एकपद से समरूपता द्वारा प्राप्त नए अनिश्चित वाले सभी एकपद को जोड़ने के लिए बहुपद राशि। अंगूठी ΛR तब इन समावेशन के अधीन इन सभी छल्लों का संघ (प्रत्यक्ष सीमा) है। चूंकि सभी φn सम्मलित रिंगों की कुल डिग्री द्वारा ग्रेडिंग के साथ संगत हैं, ΛR वर्गीकृत अंगूठी की संरचना प्राप्त करता है।

यह निर्माण (मैकडोनाल्ड, 1979) में से थोड़ा अलग है। वह निर्माण केवल विशेषण आकारिकी ρ का उपयोग करता हैn इंजेक्शन morphisms φ का उल्लेख किए बिनाn: यह Λ के सजातीय घटकों का निर्माण करता हैR अलग से, और ρ का उपयोग करके उनके प्रत्यक्ष योग को अंगूठी संरचना से लैस करता हैn. यह भी देखा गया है कि परिणाम को वर्गीकृत छल्लों की श्रेणी (गणित) में व्युत्क्रम सीमा के रूप में वर्णित किया जा सकता है। हालांकि यह विवरण कुछ हद तक इंजेक्टिव मोर्फिज्म की सीधी सीमा के लिए विशिष्ट महत्वपूर्ण संपत्ति को अस्पष्ट करता है, अर्थात् प्रत्येक व्यक्तिगत तत्व (सममित कार्य) पहले से ही सीमा निर्माण में उपयोग की जाने वाली किसी वस्तु में ईमानदारी से प्रतिनिधित्व किया जाता है, यहां अंगूठी R [एक्स1,...,एक्सd]Sd</सुप>। यह d के लिए सममित फ़ंक्शन की डिग्री लेने के लिए पर्याप्त है, क्योंकि उस अंगूठी के डिग्री d में भाग को आइसोमोर्फिक रूप से मैप किया जाता है, जो कि φ द्वारा अधिक अनिश्चित होता है।n सभी के लिए एन ≥ डी। इसका तात्पर्य है कि अलग-अलग तत्वों के बीच संबंधों का अध्ययन करने के लिए सममित बहुपदों और सममित कार्यों के बीच कोई मूलभूत अंतर नहीं है।

व्यक्तिगत सममित कार्यों को परिभाषित करना

Λ के तत्वों के लिए नाम सममित कार्यR मिथ्या नाम है: न तो निर्माण में तत्व कार्य (गणित) हैं, और वास्तव में, सममित बहुपदों के विपरीत, ऐसे तत्वों से स्वतंत्र चर का कोई कार्य नहीं जोड़ा जा सकता है (उदाहरण के लिए ई1 सभी असीम रूप से कई चरों का योग होगा, जो तब तक परिभाषित नहीं होता है जब तक कि चर पर प्रतिबंध नहीं लगाया जाता है)। हालाँकि नाम पारंपरिक और अच्छी प्रकार से स्थापित है; यह (मैकडॉनल्ड, 1979) दोनों में पाया जा सकता है, जो कहता है (पृष्ठ 12 पर फुटनोट)

Λ के तत्व (Λ के तत्वों के विपरीतn) अब बहुपद नहीं हैं: वे एकपदी के औपचारिक अनंत योग हैं। इसलिए हम सममित कार्यों की पुरानी शब्दावली पर वापस आ गए हैं।

(यहाँ Λn एन अनिश्चित में सममित बहुपदों की अंगूठी को दर्शाता है), और (स्टेनली, 1999) में भी।

सममित समारोह को परिभाषित करने के लिए या तो पहले निर्माण के रूप में सीधे शक्ति श्रृंखला का संकेत देना चाहिए, या दूसरे निर्माण के साथ संगत विधियों से प्रत्येक प्राकृतिक संख्या n के लिए n अनिश्चित में सममित बहुपद देना चाहिए। उदाहरण के लिए, अनिश्चित संख्या में अभिव्यक्ति दोनों कर सकती है

प्राथमिक सममित समारोह की परिभाषा के रूप में लिया जा सकता है यदि अनिश्चित की संख्या अनंत है, या किसी भी परिमित संख्या में प्राथमिक सममित बहुपद की परिभाषा के रूप में। समान सममित फलन के लिए सममित बहुपदों को समरूपता ρ के साथ संगत होना चाहिएn (उनमें से कुछ को शून्य पर सेट करके अनिश्चितताओं की संख्या घटाकर प्राप्त की जाती है, ताकि शेष अनिश्चितताओं में किसी भी एकपद के गुणांक अपरिवर्तित रहें), और उनकी डिग्री बंधी रहनी चाहिए। (सममित बहुपदों के परिवार का उदाहरण जो दोनों स्थितियों में विफल रहता है ; परिवार केवल दूसरी स्थिति में विफल रहता है।) n अनिश्चित में किसी भी सममित बहुपद का उपयोग सममित बहुपदों के संगत परिवार के निर्माण के लिए किया जा सकता है, समरूपता ρ का उपयोग करकेi for i < n अनिश्चित की संख्या कम करने के लिए, और φi i ≥ n के लिए अनिश्चितताओं की संख्या बढ़ाने के लिए (जो पहले से मौजूद मोनोमियल्स से समरूपता द्वारा प्राप्त नए अनिश्चितकों में सभी मोनोमियल्स को जोड़ने के बराबर है)।

निम्नलिखित सममित कार्यों के मूलभूत उदाहरण हैं।

  • 'एकपद सिमेट्रिक फ़ंक्शंस' एमα. मान लीजिए = (ए1,ए2,...) गैर-ऋणात्मक पूर्णांकों का अनुक्रम है, जिनमें से केवल बहुत से गैर-शून्य हैं। तब हम α: X द्वारा परिभाषित एकपद पर विचार कर सकते हैंα = एक्स1α1एक्स2α2एक्स3α3.... फिर मα एक्स द्वारा निर्धारित सममित कार्य हैα, अर्थात X से प्राप्त सभी एकपदीयों का योगα समरूपता द्वारा। औपचारिक परिभाषा के लिए, β ~ α को परिभाषित करें जिसका अर्थ है कि अनुक्रम β अनुक्रम α और सेट का क्रमपरिवर्तन है
यह सममित कार्य एकपद सममित बहुपद एम से मेल खाता हैα(एक्स1,...,एक्सn) किसी भी बड़े n के लिए एकपदी X रखने के लिए पर्याप्त हैα. अलग-अलग एकपद सममित कार्यों को पूर्णांक विभाजन द्वारा पैरामीट्रिज किया जाता है (प्रत्येक मीα अद्वितीय प्रतिनिधि एकपदी X हैλ भागों के साथ λi कमजोर घटते क्रम में)। चूंकि किसी भी सममित समारोह में कुछ एम के एकपद सम्मलित हैंα ही गुणांक के साथ उन सभी को सम्मलित करना चाहिए, प्रत्येक सममित फ़ंक्शन को एकपद सममित कार्यों के आर-रैखिक संयोजन के रूप में लिखा जा सकता है, और विशिष्ट एकपद सममित फ़ंक्शन इसलिए Λ का आधार बनाते हैंR आर-मॉड्यूल (गणित) के रूप में।
  • 'प्राथमिक सममित कार्य' ईk, किसी प्राकृत संख्या k के लिए; के पास ई हैk= मीα कहाँ . शक्ति श्रृंखला के रूप में, यह k विशिष्ट अनिश्चित के सभी विशिष्ट उत्पादों का योग है। यह सममित कार्य प्राथमिक सममित बहुपद ई से मेल खाता हैk(एक्स1,...,एक्सn) किसी भी n ≥ k के लिए।
  • 'शक्ति योग सममित कार्य' pk, किसी भी धनात्मक पूर्णांक k के लिए; के पास पी हैk= मी(k), एकपदी X के लिए एकपदी सममित फलन1क</सुप>. यह सममित कार्य शक्ति योग सममित बहुपद p से मेल खाता हैk(एक्स1,...,एक्सn) = एक्स1कश्मीर + ... + एक्सnk किसी भी n ≥ 1 के लिए।
  • 'पूर्ण सजातीय सममित कार्य' एचk, किसी प्राकृत संख्या k के लिए; एचk सभी एकपदी सममितीय फलन m का योग हैα जहां α k का पूर्णांक विभाजन है। शक्ति श्रृंखला के रूप में, यह डिग्री k के सभी मोनोमियल्स का योग है, जो इसके नाम को प्रेरित करता है। यह सममित कार्य पूर्ण सजातीय सममित बहुपद h से मेल खाता हैk(एक्स1,...,एक्सn) किसी भी n ≥ k के लिए।
  • 'शूर फ़ंक्शंस' एसλ किसी भी विभाजन λ के लिए, जो शूर बहुपद s के संगत हैλ(एक्स1,...,एक्सn) किसी भी बड़े n के लिए एकपदी X रखने के लिए पर्याप्त हैλ</सुपा>.

कोई घात योग सममित फलन p नहीं है0: हालांकि परिभाषित करना संभव है (और कुछ संदर्भों में प्राकृतिक)। n चरों में सममित बहुपद के रूप में, ये मान आकारिकी ρ के साथ संगत नहीं हैंn. भेद करनेवाला सभी n के लिए सममित बहुपद देने वाली अभिव्यक्ति का और उदाहरण है, किन्तु किसी भी सममित कार्य को परिभाषित नहीं करता है। प्रत्यावर्ती बहुपदों के भागफल के रूप में शूर बहुपदों को परिभाषित करने वाले भाव कुछ हद तक विवेचक के समान हैं, किन्तु बहुपद एसλ(एक्स1,...,एक्सn) अलग-अलग एन के लिए संगत हो जाते हैं, और इसलिए सममित कार्य को परिभाषित करते हैं।

सममित बहुपदों और सममित कार्यों से संबंधित सिद्धांत

किसी भी सममित फलन P के लिए, n में संबंधित सममित बहुपद किसी भी प्राकृत संख्या n के लिए अनिश्चित होते हैं, जिन्हें P(X) द्वारा निर्दिष्ट किया जा सकता है।1,...,एक्सn). सममित कार्यों के वलय की दूसरी परिभाषा का तात्पर्य निम्नलिखित मूलभूत सिद्धांत से है:

यदि पी और क्यू डिग्री डी के सममित कार्य हैं, तो की पहचान है सममित कार्यों की अगर और केवल अगर किसी की पहचान है P(X1,...,एक्सd) = क्यू (एक्स1,...,एक्सd) डी अनिश्चित में सममित बहुपदों की। इस मामले में वास्तव में P(X1,...,एक्सn) = क्यू (एक्स1,...,एक्सn) किसी भी संख्या n के लिए अनिश्चित।

ऐसा इसलिए है क्योंकि कुछ चरों के लिए शून्य को प्रतिस्थापित करके चरों की संख्या को हमेशा कम किया जा सकता है, और समाकारिता φ को लागू करके चरों की संख्या में वृद्धि की जा सकती है।n; उन समरूपताओं की परिभाषा आश्वस्त करती है कि φn(पी (एक्स1,...,एक्सn)) = पी (एक्स1,...,एक्सn+1) (और इसी प्रकार Q के लिए) जब भी n ≥ d. इस सिद्धांत के प्रभावी अनुप्रयोग के लिए न्यूटन की पहचान # पहचान की व्युत्पत्ति | न्यूटन की पहचान का प्रमाण देखें।

सममित कार्यों की अंगूठी के गुण

पहचान

सममितीय फलनों का वलय सममित बहुपदों के बीच सर्वसमिकाओं को लिखने के लिए सुविधाजनक उपकरण है, जो कि निर्धारकों की संख्या से स्वतंत्र होते हैं: Λ मेंR ऐसी कोई संख्या नहीं है, फिर भी उपरोक्त सिद्धांत द्वारा Λ में कोई पहचान हैR स्वचालित रूप से किसी भी संख्या में अनिश्चितताओं में R पर सममित बहुपदों के छल्ले की पहचान देता है। कुछ मौलिक पहचान हैं

जो प्रारंभिक और पूर्ण सजातीय सममित कार्यों के बीच समरूपता दिखाता है; इन संबंधों को पूर्ण सजातीय सममित बहुपद के तहत समझाया गया है।

न्यूटन की पहचान, जिसमें पूर्ण सजातीय सममित कार्यों के लिए संस्करण भी है:


Λ के संरचनात्मक गुणR

Λ के महत्वपूर्ण गुणR निम्नलिखित को सम्मलित कीजिए।

  1. विभाजनों द्वारा पैरामीट्रिज्ड एकपद सममित कार्यों का सेट Λ का आधार बनता हैR ग्रेडेड आर-मॉड्यूल (गणित) के रूप में, डी के विभाजन द्वारा पैरामीट्रिज्ड डिग्री डी के सजातीय होने के कारण; शूर फ़ंक्शंस के सेट के लिए भी यही सच है (विभाजन द्वारा पैरामीट्रिज्ड)।
  2. ΛR बहुपद वलय R [Y के लिए ग्रेडेड R-बीजगणित के रूप में समरूपी है1,और2, ...] अपरिमित रूप से अनेक चरों में, जहाँ Yi सभी i > 0 के लिए डिग्री i दी गई है, समरूपता वह है जो Y भेजता हैi तबi∈ ΛR प्रत्येक i के लिए।
  3. Λ का इनवॉल्यूशन (गणित) automorphism ω हैR जो प्रारंभिक सममित कार्यों को बदल देता है ईi और पूर्ण सजातीय सममित फलन hi सभी के लिए मैं यह प्रत्येक शक्ति योग सममित फ़ंक्शन पी भी भेजता हैi से (−1)i−1i, और यह एस को इंटरचेंज करते हुए दूसरे के बीच शूर कार्यों की अनुमति देता हैλ और एसλt जहां Λt λ का स्थानान्तरण विभाजन है।

संपत्ति 2 सममित बहुपदों के मौलिक प्रमेय का सार है। इसका तात्पर्य तुरंत कुछ अन्य गुणों से है:

  • Λ का सबरिंगR एन चर में R पर सममित बहुपदों की अंगूठी के लिए अधिकतम एन में डिग्री के अपने तत्वों द्वारा उत्पन्न आइसोमोर्फिक है;
  • Λ की हिल्बर्ट-पॉइनकेयर श्रृंखलाR है , विभाजन (संख्या सिद्धांत) # पूर्णांक विभाजन का कार्य उत्पन्न करना (यह संपत्ति 1 से भी अनुसरण करता है);
  • प्रत्येक n > 0 के लिए, Λ के सजातीय भाग द्वारा गठित आर-मॉड्यूलR डिग्री एन की, डिग्री के अपने तत्वों द्वारा उत्पन्न सबअंगूठी के साथ मॉड्यूलो एन से सख्ती से कम है, रैंक 1 का मुफ्त मॉड्यूल है, और (की छवि) ईn इस आर-मॉड्यूल का जनरेटर है;
  • सममित कार्यों के प्रत्येक परिवार के लिए (एफi)i>0 जिसमें एफi डिग्री i का सजातीय है और पिछले बिंदु (सभी i के लिए) के मुक्त आर-मॉड्यूल का जनरेटर देता है, आर[वाई से ग्रेडेड आर-अलजेब्रस का वैकल्पिक समरूपता है1,और2, ...] ऊपर के रूप में ΛR वाई भेजता हैi एफ के लिएi; दूसरे शब्दों में, परिवार (fi)i>0 Λ के मुक्त बहुपद जनरेटर का सेट बनाता हैR.

यह अंतिम बिंदु विशेष रूप से परिवार पर लागू होता है (एचi)i>0 पूर्ण सजातीय सममित कार्यों की। यदि R में फ़ील्ड है (गणित) परिमेय संख्याओं के संबंध में, यह परिवार पर भी लागू होता है (पृi)i>0 शक्ति योग सममित कार्यों की। यह बताता है कि इन परिवारों में से प्रत्येक के पहले एन तत्व सममित बहुपदों के सेट को एन वेरिएबल्स में परिभाषित करते हैं जो सममित बहुपदों की उस अंगूठी के मुक्त बहुपद जनरेटर हैं।

तथ्य यह है कि पूर्ण सजातीय सममित कार्य Λ के मुक्त बहुपद जनरेटर का सेट बनाते हैंR पहले से ही ऑटोमोर्फिज्म के अस्तित्व को दर्शाता है ω प्राथमिक सममित कार्यों को पूर्ण सजातीय कार्यों में भेज रहा है, जैसा कि संपत्ति 3 में उल्लिखित है। तथ्य यह है कि ω Λ का अंतर्वलन हैR ऊपर दिए गए संबंधों के पहले सेट द्वारा व्यक्त प्राथमिक और पूर्ण सजातीय सममित कार्यों के बीच समरूपता से अनुसरण करता है।

सममित कार्यों की अंगूठी ΛZ पूर्णांक Z का ऍक्स्प वलय है। यह Λ-ring|lambda-अंगूठी भी प्राकृतिक फैशन में है; वास्तव में यह जनरेटर में सार्वभौमिक लैम्ब्डा-अंगूठी है।

निर्माण कार्य

Λ की पहली परिभाषाR के सबअंगूठी के रूप में सममित कार्यों के कई अनुक्रमों के उत्पन्न कार्यों को सुरुचिपूर्ण ढंग से व्यक्त करने की अनुमति देता है। पहले बताए गए संबंधों के विपरीत, जो Λ के लिए आंतरिक हैंR, इन भावों में RX में संक्रियाएँ सम्मलित हैं1,एक्स2,...;t किन्तु इसके उपसमूह Λ के बाहरRt, इसलिए वे केवल तभी अर्थपूर्ण हैं जब सममित कार्यों को अनिश्चित एक्स में औपचारिक शक्ति श्रृंखला के रूप में देखा जाता हैi. हम इस व्याख्या पर जोर देने के लिए सममित कार्यों के बाद (एक्स) लिखेंगे।

प्रारंभिक सममित कार्यों के लिए जनरेटिंग फ़ंक्शन है

इसी प्रकार किसी के पास पूर्ण सजातीय सममित कार्य हैं

स्पष्ट तथ्य यह है कि प्रारंभिक और पूर्ण सजातीय सममित कार्यों के बीच समरूपता की व्याख्या करता है। पावर योग सममित कार्यों के लिए जनरेटिंग फ़ंक्शन के रूप में व्यक्त किया जा सकता है

((मैकडॉनल्ड, 1979) पी(टी) को Σ के रूप में परिभाषित करता हैk>0पीk(एक्स) टीk−1, और इसके व्यंजकों में यहाँ दिए गए कारकों के संबंध में कारक t का अभाव है)। दो अंतिम व्यंजक, जिनमें जनक फलन E(t) और H(t) के औपचारिक अवकलज सम्मलित हैं, न्यूटन की सर्वसमिका और पूर्ण सजातीय सममित फलन के लिए उनके रूपों को दर्शाते हैं। इन अभिव्यक्तियों को कभी-कभी लिखा जाता है

जिसकी मात्रा समान है, किन्तु इसके लिए आवश्यक है कि R में परिमेय संख्याएँ हों, ताकि निरंतर पद 1 के साथ घात श्रृंखला का लघुगणक परिभाषित किया जा सके (द्वारा ).

विशेषज्ञता

होने देना सममित कार्यों की अंगूठी बनें और इकाई तत्व के साथ क्रमविनिमेय बीजगणित। बीजगणित समरूपता विशेषज्ञता कहा जाता है।[1] उदाहरण:

  • कुछ वास्तविक संख्याएँ दी गई हैं और , फिर प्रतिस्थापन और विशेषज्ञता है।
  • होने देना , तब प्रमुख विशेषज्ञता कहा जाता है।

यह भी देखें

संदर्भ

  1. Stanley, Richard P.; Fomin, Sergey P. गणनात्मक कॉम्बिनेटरिक्स. Vol. 2. Cambridge University Press.
  • Macdonald, I. G. Symmetric functions and Hall polynomials. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford, 1979. viii+180 pp. ISBN 0-19-853530-9 MR553598
  • Macdonald, I. G. Symmetric functions and Hall polynomials. Second edition. Oxford Mathematical Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1995. x+475 pp. ISBN 0-19-853489-2 MR1354144
  • Stanley, Richard P. Enumerative Combinatorics, Vol. 2, Cambridge University Press, 1999. ISBN 0-521-56069-1 (hardback) ISBN 0-521-78987-7 (paperback).