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

(12 intermediate revisions by 5 users not shown)

Line 1:

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

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

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

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

== सममित बहुपद ==

Line 7:

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

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

: <math>X_1+X_2+\cdots+X_n, \, </math>

Line 14:

:<math>X_1X_2\cdots X_n. \, </math>

कुछ और जटिल उदाहरण है ''X''13''X''2''X''3 + ''X''1''X''23''X''3 + ''X''1''X''2''X''33 + ''X''13''X''2''X''4 + ''X''1''X''23''X''4 + ''X''1''X''2''X''43 + ... जहां योग कुछ चर और दो अन्य चर की तीसरी शक्ति के सभी उत्पादों को सम्मलित करने के लिए आगे बढ़ता है। कई विशिष्ट प्रकार के सममित बहुपद हैं, जैसे [[प्राथमिक सममित बहुपद]], [[शक्ति योग सममित बहुपद]], ~~[[मोनोमियल सममित बहुपद|~~एकपद सममित बहुपद]], [[पूर्ण सजातीय सममित बहुपद]], और [[शूर बहुपद]] हैं।

कुछ और जटिल उदाहरण है ''X''13''X''2''X''3 + ''X''1''X''23''X''3 + ''X''1''X''2''X''33 + ''X''13''X''2''X''4 + ''X''1''X''23''X''4 + ''X''1''X''2''X''43 + ... जहां योग कुछ चर और दो अन्य चर की तीसरी शक्ति के सभी उत्पादों को सम्मलित करने के लिए आगे बढ़ता है। कई विशिष्ट प्रकार के सममित बहुपद हैं, जैसे प्राथमिक सममित बहुपद, शक्ति योग सममित बहुपद, एकपद सममित बहुपद, पूर्ण सजातीय सममित बहुपद, और [[शूर बहुपद]] हैं।

== सममित फलन की ~~रिंग~~ ==

== सममित फलन की वलय ==

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

:<math>p_3(X_1,\ldots,X_n)=e_1(X_1,\ldots,X_n)^3-3e_2(X_1,\ldots,X_n)e_1(X_1,\ldots,X_n)+3e_3(X_1,\ldots,X_n),</math>

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

:<math>p_3=e_1^3-3e_2 e_1 + 3e_3</math>

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

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

=== परिभाषाएँ ===

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

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

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

==== औपचारिक शक्ति श्रृंखला की वलय के रूप में ====

सबसे सरल (चूंकि कुछ सीमा तक भारी) निर्माण कई चर में औपचारिक शक्ति श्रृंखला शक्ति श्रृंखला की ~~रिंग~~ से प्रारंभ होता है <math>R[[X_1,X_2,...]]</math> R पर असीम रूप से (गणना करने योग्य अनंत) कई अनिश्चित; इस शक्ति श्रृंखला ~~रिंग~~ के तत्व शर्तों के औपचारिक अनंत योग हैं, जिनमें से प्रत्येक में R से गुणांक [[ एकपद |एकपद]] द्वारा गुणा किया जाता है, जहां प्रत्येक एकपद निर्धारक रूप से कई परिमित शक्तियों का उत्पाद होता है। Λ''R'' को परिभाषित करता है इसके उप-वलय के रूप में उन शक्ति श्रृंखला S से मिलकर बनता है जो संतुष्ट करती हैं

सबसे सरल (चूंकि कुछ सीमा तक भारी) निर्माण कई चर में औपचारिक शक्ति श्रृंखला शक्ति श्रृंखला की वलय से प्रारंभ होता है <math>R[[X_1,X_2,...]]</math> R पर असीम रूप से (गणना करने योग्य अनंत) कई अनिश्चित; इस शक्ति श्रृंखला वलय के तत्व शर्तों के औपचारिक अनंत योग हैं, जिनमें से प्रत्येक में R से गुणांक [[ एकपद |एकपद]] द्वारा गुणा किया जाता है, जहां प्रत्येक एकपद निर्धारक रूप से कई परिमित शक्तियों का उत्पाद होता है। Λ''R'' को परिभाषित करता है इसके उप-वलय के रूप में उन शक्ति श्रृंखला S से मिलकर बनता है जो संतुष्ट करती हैं

#S निर्धारक के किसी भी क्रमपरिवर्तन के अनुसार अपरिवर्तनीय है, और

#S में होने वाले एकपदों के बहुपद की कोटि परिबद्ध है।

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Line 51:

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

* 'एकपद सममित फलन ' mα. मान लीजिए α = (α1,α2,...) गैर-ऋणात्मक पूर्णांकों का ~~अनुक्रम~~ है, जिनमें से केवल बहुत से गैर-शून्य हैं। तब हम α~~: X~~ द्वारा परिभाषित एकपद पर विचार कर सकते ~~हैंα~~: ''X''α = ''X''1α1''X''2α2''X''3α3.... फिर mα Xα द्वारा निर्धारित सममित ~~कार्य~~ है, अर्थात Xα से प्राप्त सभी एकपदीयों का ~~योग~~ समरूपता ~~द्वारा।~~ औपचारिक परिभाषा के लिए, β ~ α को परिभाषित करें जिसका अर्थ है कि अनुक्रम β अनुक्रम α और सेट का क्रमपरिवर्तन है

* ''''एकपद सममित फलन''' ' mα. मान लीजिए α = (α1,α2,...) गैर-ऋणात्मक पूर्णांकों का क्रम है, जिनमें से केवल बहुत से गैर-शून्य हैं। तब हम α द्वारा परिभाषित एकपद पर विचार कर सकते हैं: ''X''α = ''X''1α1''X''2α2''X''3α3.... फिर mα Xα द्वारा निर्धारित सममित फलन है, अर्थात Xα से प्राप्त सभी एकपदीयों का योग। समरूपता द्वारा औपचारिक परिभाषा के लिए, β ~ α को परिभाषित करें जिसका अर्थ है कि अनुक्रम β अनुक्रम α और सेट का क्रमपरिवर्तन है

::<math>m_\alpha=\sum\nolimits_{\beta\sim\alpha}X^\beta.</math>

:यह सममित ~~कार्य~~ एकपद सममित बहुपद ''m''α(''X''1,...,''Xn'') से मेल खाता है किसी भी बड़े n के लिए एकपदी Xα रखने के लिए पर्याप्त है। अलग-अलग एकपद सममित फलन को [[पूर्णांक विभाजन]] द्वारा पैरामीटर किया जाता है (प्रत्येक mα अद्वितीय प्रतिनिधि एकपदी Xλ है भागों के साथ λ''i'' कमजोर घटते क्रम में)। चूंकि किसी भी सममित फलन में कुछ mα के एकपद सम्मलित हैं एक ही गुणांक के साथ उन सभी को सम्मलित करना चाहिए, प्रत्येक सममित फलन को एकपद सममित फलन के आर-रैखिक संयोजन के रूप में लिखा जा सकता है, और विशिष्ट एकपद सममित फलन इसलिए Λ''R'' का आधार बनाते हैं आर-[[मॉड्यूल (गणित)]] के रूप में।

:यह सममित फलन एकपद सममित बहुपद ''m''α(''X''1,...,''Xn'') से मेल खाता है किसी भी बड़े n के लिए एकपदी Xα रखने के लिए पर्याप्त है। अलग-अलग एकपद सममित फलन को [[पूर्णांक विभाजन]] द्वारा पैरामीटर किया जाता है (प्रत्येक mα अद्वितीय प्रतिनिधि एकपदी Xλ है भागों के साथ λ''i'' कमजोर घटते क्रम में)। चूंकि किसी भी सममित फलन में कुछ mα के एकपद सम्मलित हैं एक ही गुणांक के साथ उन सभी को सम्मलित करना चाहिए, प्रत्येक सममित फलन को एकपद सममित फलन के आर-रैखिक संयोजन के रूप में लिखा जा सकता है, और विशिष्ट एकपद सममित फलन इसलिए Λ''R'' का आधार बनाते हैं आर-[[मॉड्यूल (गणित)]] के रूप में।

* 'प्राथमिक सममित ~~कार्य~~' e''k'', किसी प्राकृत संख्या k के लिए; के पास ''ek'' = ''m''α जहां <math>\textstyle

* ''''प्राथमिक सममित फलन'''<nowiki/>' e''k'', किसी प्राकृत संख्या k के लिए; के पास ''ek'' = ''m''α जहां <math>\textstyle

X^\alpha=\prod_{i=1}^kX_i</math> है। शक्ति श्रृंखला के रूप में, यह k विशिष्ट निर्धारक के सभी विशिष्ट उत्पादों का योग है। यह सममित ~~कार्य~~ प्राथमिक सममित बहुपद किसी भी n ≥ k के लिए ''ek''(''X''1,...,''Xn'') से मेल खाता है ।

X^\alpha=\prod_{i=1}^kX_i</math> है। शक्ति श्रृंखला के रूप में, यह k विशिष्ट निर्धारक के सभी विशिष्ट उत्पादों का योग है। यह सममित फलन प्राथमिक सममित बहुपद किसी भी n ≥ k के लिए ''ek''(''X''1,...,''Xn'') से मेल खाता है ।

* 'शक्ति योग सममित ~~कार्य~~' p''k'', किसी भी धनात्मक पूर्णांक k के लिए; ''pk'' = ''m''(''k'') है, एकपदी X ~~के लिए एकपदी सममित फलन~~1 यह सममित ~~कार्य~~ शक्ति योग सममित बहुपद p ''pk''(''X''1,...,''Xn'') = ''X''1''k'' + ... + ''Xnk'' से मेल खाता है ~~किसी भी n ≥ 1 के लिए।~~

* ''''शक्ति योग सममित फलन'''<nowiki/>' p''k'', किसी भी धनात्मक पूर्णांक k के लिए; ''pk'' = ''m''(''k'') है, एकपदी ''X''1''k'' के लिए एकपदी सममित फलन यह सममित फलन। यह सममित फ़ंक्शन किसी भी n ≥ 1 के लिए शक्ति योग सममित बहुपद ''pk''(''X''1,...,''Xn'') = ''X''1''k'' + ... + ''Xnk'' से मेल खाता है ।

* 'पूर्ण सजातीय सममित ~~कार्य~~' h''k'', किसी प्राकृत संख्या k के लिए; h''k'' सभी एकपदी सममितीय फलन mα का योग है जहां α k का पूर्णांक विभाजन है। शक्ति श्रृंखला के रूप में, यह डिग्री k के सभी एकपदीयों का योग है, जो इसके नाम को प्रेरित करता है। यह सममित ~~कार्य~~ पूर्ण सजातीय सममित बहुपद ''hk''(''X''1,...,''Xn'') से मेल खाता है किसी भी n ≥ k के लिए।

* ''''पूर्ण सजातीय सममित फलन'''<nowiki/>' h''k'', किसी प्राकृत संख्या k के लिए; h''k'' सभी एकपदी सममितीय फलन mα का योग है जहां α k का पूर्णांक विभाजन है। शक्ति श्रृंखला के रूप में, यह डिग्री k के सभी एकपदीयों का योग है, जो इसके नाम को प्रेरित करता है। यह सममित फलन पूर्ण सजातीय सममित बहुपद ''hk''(''X''1,...,''Xn'') से मेल खाता है किसी भी n ≥ k के लिए।

* 'शूर फलन ' Sλ किसी भी विभाजन λ के लिए, जो शूर बहुपद ''s''λ(''X''1,...,''Xn'') के संगत है किसी भी बड़े n के लिए एकपदी ''X''λ रखने के लिए पर्याप्त है।

* ''''शूर फलन''' ' Sλ किसी भी विभाजन λ के लिए, जो शूर बहुपद ''s''λ(''X''1,...,''Xn'') के संगत है किसी भी बड़े n के लिए एकपदी ''X''λ रखने के लिए पर्याप्त है।

कोई घात योग सममित फलन p0 नहीं है: चूंकि परिभाषित करना संभव है (और कुछ संदर्भों में प्राकृतिक)। <math>\textstyle p_0(X_1,\ldots,X_n)=\sum_{i=1}^nX_i^0=n</math> n चरों में सममित बहुपद के रूप में, ये मान आकारिकी ρ''n'' के साथ संगत नहीं हैं। भेद करनेवाला <math>\textstyle(\prod_{i<j}(X_i-X_j))^2</math> सभी n के लिए सममित बहुपद देने वाली अभिव्यक्ति का और उदाहरण है, किन्तु किसी भी सममित ~~कार्य~~ को परिभाषित नहीं करता है। प्रत्यावर्ती बहुपदों के भागफल के रूप में शूर बहुपदों को परिभाषित करने वाले भाव कुछ सीमा तक विवेचक के समान हैं, किन्तु बहुपद ''s''λ(''X''1,...,''Xn'') अलग-अलग n के लिए संगत हो जाते हैं और इसलिए सममित ~~कार्य~~ को परिभाषित करते हैं।

कोई घात योग सममित फलन p0 नहीं है: चूंकि परिभाषित करना संभव है (और कुछ संदर्भों में प्राकृतिक)। <math>\textstyle p_0(X_1,\ldots,X_n)=\sum_{i=1}^nX_i^0=n</math> n चरों में सममित बहुपद के रूप में, ये मान आकारिकी ρ''n'' के साथ संगत नहीं हैं। भेद करनेवाला <math>\textstyle(\prod_{i<j}(X_i-X_j))^2</math> सभी n के लिए सममित बहुपद देने वाली अभिव्यक्ति का और उदाहरण है, किन्तु किसी भी सममित फलन को परिभाषित नहीं करता है। प्रत्यावर्ती बहुपदों के भागफल के रूप में शूर बहुपदों को परिभाषित करने वाले भाव कुछ सीमा तक विवेचक के समान हैं, किन्तु बहुपद ''s''λ(''X''1,...,''Xn'') अलग-अलग n के लिए संगत हो जाते हैं और इसलिए सममित फलन को परिभाषित करते हैं।

=== सममित बहुपदों और सममित फलन से संबंधित सिद्धांत ===

Line 66:

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

: यदि P और Q डिग्री d के सममित ~~कार्य~~ हैं, तो की पहचान है <math>P=Q</math> सममित फलन की [[अगर और केवल अगर|यदि और केवल]] यदि किसी की पहचान है ''P''(''X''1,...,''Xd'') = ''Q''(''X''1,...,''Xd'') निर्धारक में सममित बहुपदों की। इस मामले में वास्तव में ''P''(''X''1,...,''Xn'') = ''Q''(''X''1,...,''Xn'') किसी भी संख्या n के लिए निर्धारक हैं।

: यदि P और Q डिग्री d के सममित फलन हैं, तो की पहचान है <math>P=Q</math> सममित फलन की [[अगर और केवल अगर|यदि और केवल]] यदि किसी की पहचान है ''P''(''X''1,...,''Xd'') = ''Q''(''X''1,...,''Xd'') निर्धारक में सममित बहुपदों की। इस मामले में वास्तव में ''P''(''X''1,...,''Xn'') = ''Q''(''X''1,...,''Xn'') किसी भी संख्या n के लिए निर्धारक हैं।

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

== सममित फलन की ~~रिंग~~ के गुण ==

== सममित फलन की वलय के गुण ==

=== पहचान ===

Line 85:

# विभाजनों द्वारा पैरामीट्रिज्ड एकपद सममित फलन का सेट Λ''R'' का आधार बनता है श्रेणीबद्ध आर-मॉड्यूल (गणित) के रूप में, d के विभाजन द्वारा पैरामीट्रिज्ड डिग्री डी के सजातीय होने के कारण; शूर फलन के सेट के लिए भी यही सच है (विभाजन द्वारा पैरामीट्रिज्ड)।

# Λ''R'' बहुपद वलय ''R''[''Y''1,''Y''2, ...] के लिए श्रेणीबद्ध R-बीजगणित के रूप में [[समरूपी]] है, अपरिमित रूप से अनेक चरों में, जहाँ Y''i'' सभी i > 0 के लिए डिग्री i दी गई है, समरूपता वह है जो Y''i'' भेजता है तब ''i''∈ Λ''R'' प्रत्येक i के लिए।

# Λ''R'' का इनवॉल्यूशन (गणित) [[ automorphism |~~automorphism~~]] ω है जो प्रारंभिक सममित फलन ~~को बदल देता है~~ e''i'' और पूर्ण सजातीय सममित फलन h''i'' सभी के लिए ~~मैं~~ यह प्रत्येक शक्ति योग सममित फलन p''i'' भी भेजता है ''pi'' से (−1)''i''−1''pi'', और यह Sλ को बदलाव करते हुए दूसरे के बीच शूर फलन की अनुमति देता है और Sλt जहां Λt λ का स्थानान्तरण विभाजन है।

# Λ''R'' का इनवॉल्यूशन (गणित) [[ automorphism |ऑटोमोर्फिज्म]] ω है जो प्रारंभिक सममित फलन e''i'' को बदल देता है और पूर्ण सजातीय सममित फलन h''i'' सभी के लिए यह प्रत्येक शक्ति योग सममित फलन p''i'' भी भेजता है ''pi'' से (−1)''i''−1''pi'', और यह Sλ को बदलाव करते हुए दूसरे के बीच शूर फलन की अनुमति देता है और Sλt जहां Λt λ का स्थानान्तरण विभाजन है।

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

* Λ''R'' का ~~उपरिंग~~ n चर में R पर सममित बहुपदों की ~~रिंग~~ के लिए अधिकतम n में डिग्री के अपने तत्वों द्वारा उत्पन्न समरूप है;

* Λ''R'' का सबवलय n चर में R पर सममित बहुपदों की वलय के लिए अधिकतम n में डिग्री के अपने तत्वों द्वारा उत्पन्न समरूप है;

* Λ''R'' की हिल्बर्ट-पॉइनकेयर श्रृंखला है <math>\textstyle\prod_{i=1}^\infty\frac1{1-t^i}</math>, विभाजन (संख्या सिद्धांत) पूर्णांक विभाजन का ~~कार्य~~ उत्पन्न करना (यह संपत्ति 1 से भी अनुसरण करता है);

* Λ''R'' की हिल्बर्ट-पॉइनकेयर श्रृंखला है <math>\textstyle\prod_{i=1}^\infty\frac1{1-t^i}</math>, विभाजन (संख्या सिद्धांत) पूर्णांक विभाजन का फलन उत्पन्न करना (यह संपत्ति 1 से भी अनुसरण करता है);

* प्रत्येक n > 0 के लिए, Λ''R'' के सजातीय भाग द्वारा गठित R-मॉड्यूल डिग्री n की, डिग्री के अपने तत्वों द्वारा उत्पन्न ~~उपरिंग~~ के साथ मॉड्यूलो एन से सख्ती से कम है, रैंक 1 का [[मुफ्त मॉड्यूल]] है, और

@@ Line 1: / Line 1: @@
-[[बीजगणित]] में और विशेष रूप से [[बीजगणितीय कॉम्बिनेटरिक्स|बीजगणितीय साहचर्य]] में, सममित फलन की रिंग 'n' निर्धारक में [[सममित बहुपद]] की [[अंगूठी (गणित)|रिंग (गणित)]] की विशिष्ट सीमा है, क्योंकि 'n' अनंत तक जाती है। यह वलय सार्वभौमिक संरचना के रूप में कार्य करता है जिसमें सममित बहुपदों के बीच संबंधों को निर्धारकों की संख्या ''n'' से स्वतंत्र विधियों से व्यक्त किया जा सकता है (किन्तु इसके तत्व न तो बहुपद हैं और न ही कार्य)। अन्य बातों के अतिरिक्त, यह वलय सममित समूह के प्रतिनिधित्व सिद्धांत में महत्वपूर्ण भूमिका निभाता है।
+[[बीजगणित]] में और विशेष रूप से [[बीजगणितीय कॉम्बिनेटरिक्स|बीजगणितीय साहचर्य]] में, '''सममित फलन की वलय''' 'n' निर्धारक में [[सममित बहुपद]] की वलय (गणित) की विशिष्ट सीमा है, क्योंकि 'n' अनंत तक जाती है। यह वलय सार्वभौमिक संरचना के रूप में फलन करता है जिसमें सममित बहुपदों के बीच संबंधों को निर्धारकों की संख्या ''n'' से स्वतंत्र विधियों से व्यक्त किया जा सकता है (किन्तु इसके तत्व न तो बहुपद हैं और न ही फलन)। अन्य बातों के अतिरिक्त, यह वलय सममित समूह के प्रतिनिधित्व सिद्धांत में महत्वपूर्ण भूमिका निभाता है।
-सममित फलन की रिंग को सह-उत्पाद और [[द्विरेखीय रूप]] दिया जा सकता है जो इसे सकारात्मक स्वसम्मिलित श्रेणीबद्ध बीजगणित हॉपफ बीजगणित में बनाता है जो क्रमविनिमेय और सहसम्बन्धी दोनों है।
+सममित फलन की वलय को सह-उत्पाद और [[द्विरेखीय रूप]] दिया जा सकता है जो इसे सकारात्मक स्वसम्मिलित श्रेणीबद्ध बीजगणित हॉपफ बीजगणित में बनाता है जो क्रमविनिमेय और सहसम्बन्धी दोनों है।
 == सममित बहुपद ==
@@ Line 7: / Line 7: @@
 {{main |सममित बहुपद}}
-सममित फलन का अध्ययन सममित बहुपदों पर आधारित है। अनिश्चितकों के कुछ परिमित समुच्चय में बहुपद वलय में, बहुपद को सममित कहा जाता है यदि यह वही रहता है जब भी किसी भी प्रकार से निर्धारक को अनुमति दी जाती है। अधिक औपचारिक रूप से,n निर्धारक में बहुपद की रिंग पर [[सममित समूह]] S<sub>n</sub> के [[अंगूठी (गणित)|रिंग ऑटोमोर्फिज्म]]  द्वारा [[समूह क्रिया]] होती है , जहां क्रमचय उपयोग किए गए क्रम[[परिवर्तन]] के अनुसार प्रत्येक निर्धारक को साथ प्रतिस्थापित करके बहुपद पर कार्य करता है। अपरिवर्तनीय (गणित) इस क्रिया के लिए समूह क्रिया के अंतर्गत अपरिवर्तित सममित बहुपदों का उपसमूह बनाता है, यदि निर्धारक ''X''<sub>1</sub>, ..., ''X<sub>n</sub>'' हैं, तो ऐसे सममित बहुपदों के उदाहरण हैं।
+सममित फलन का अध्ययन सममित बहुपदों पर आधारित है। अनिश्चितकों के कुछ परिमित समुच्चय में बहुपद वलय में, बहुपद को सममित कहा जाता है यदि यह वही रहता है जब भी किसी भी प्रकार से निर्धारक को अनुमति दी जाती है। अधिक औपचारिक रूप से,n निर्धारक में बहुपद की वलय पर [[सममित समूह]] S<sub>n</sub> के [[अंगूठी (गणित)|वलय ऑटोमोर्फिज्म]] द्वारा [[समूह क्रिया]] होती है , जहां क्रमचय उपयोग किए गए क्रम[[परिवर्तन]] के अनुसार प्रत्येक निर्धारक को साथ प्रतिस्थापित करके बहुपद पर फलन करता है। अपरिवर्तनीय (गणित) इस क्रिया के लिए समूह क्रिया के अंतर्गत अपरिवर्तित सममित बहुपदों का उपसमूह बनाता है, यदि निर्धारक ''X''<sub>1</sub>, ..., ''X<sub>n</sub>'' हैं, तो ऐसे सममित बहुपदों के उदाहरण हैं।
 : <math>X_1+X_2+\cdots+X_n, \, </math>
@@ Line 14: / Line 14: @@
 :<math>X_1X_2\cdots X_n. \, </math>
-कुछ और जटिल उदाहरण है ''X''<sub>1</sub><sup>3</sup>''X''<sub>2</sub>''X''<sub>3</sub> + ''X''<sub>1</sub>''X''<sub>2</sub><sup>3</sup>''X''<sub>3</sub> + ''X''<sub>1</sub>''X''<sub>2</sub>''X''<sub>3</sub><sup>3</sup> + ''X''<sub>1</sub><sup>3</sup>''X''<sub>2</sub>''X''<sub>4</sub> + ''X''<sub>1</sub>''X''<sub>2</sub><sup>3</sup>''X''<sub>4</sub> + ''X''<sub>1</sub>''X''<sub>2</sub>''X''<sub>4</sub><sup>3</sup> + ... जहां योग कुछ चर और दो अन्य चर की तीसरी शक्ति के सभी उत्पादों को सम्मलित करने के लिए आगे बढ़ता है। कई विशिष्ट प्रकार के सममित बहुपद हैं, जैसे [[प्राथमिक सममित बहुपद]], [[शक्ति योग सममित बहुपद]], [[मोनोमियल सममित बहुपद|एकपद सममित बहुपद]], [[पूर्ण सजातीय सममित बहुपद]], और [[शूर बहुपद]] हैं।
+कुछ और जटिल उदाहरण है ''X''<sub>1</sub><sup>3</sup>''X''<sub>2</sub>''X''<sub>3</sub> + ''X''<sub>1</sub>''X''<sub>2</sub><sup>3</sup>''X''<sub>3</sub> + ''X''<sub>1</sub>''X''<sub>2</sub>''X''<sub>3</sub><sup>3</sup> + ''X''<sub>1</sub><sup>3</sup>''X''<sub>2</sub>''X''<sub>4</sub> + ''X''<sub>1</sub>''X''<sub>2</sub><sup>3</sup>''X''<sub>4</sub> + ''X''<sub>1</sub>''X''<sub>2</sub>''X''<sub>4</sub><sup>3</sup> + ... जहां योग कुछ चर और दो अन्य चर की तीसरी शक्ति के सभी उत्पादों को सम्मलित करने के लिए आगे बढ़ता है। कई विशिष्ट प्रकार के सममित बहुपद हैं, जैसे प्राथमिक सममित बहुपद, शक्ति योग सममित बहुपद, एकपद सममित बहुपद, पूर्ण सजातीय सममित बहुपद, और [[शूर बहुपद]] हैं।
-== सममित फलन की रिंग ==
+== सममित फलन की वलय ==
-सममित बहुपदों के बीच अधिकांश संबंध अनिर्धारकों की संख्या n पर निर्भर नहीं करते हैं, अतिरिक्त इसके कि संबंध में कुछ बहुपदों को n को परिभाषित करने के लिए अधिक बड़ा होना आवश्यक हो सकता है। उदाहरण के लिए  तीसरी शक्ति  योग बहुपद p<sub>3</sub> के लिए न्यूटन की पहचान ओर जाता है
+सममित बहुपदों के बीच अधिकांश संबंध अनिर्धारकों की संख्या n पर निर्भर नहीं करते हैं, अतिरिक्त इसके कि संबंध में कुछ बहुपदों को n को परिभाषित करने के लिए अधिक बड़ा होना आवश्यक हो सकता है। उदाहरण के लिए तीसरी शक्ति योग बहुपद p<sub>3</sub> के लिए न्यूटन की पहचान ओर जाता है
 :<math>p_3(X_1,\ldots,X_n)=e_1(X_1,\ldots,X_n)^3-3e_2(X_1,\ldots,X_n)e_1(X_1,\ldots,X_n)+3e_3(X_1,\ldots,X_n),</math>
-जहां <math>e_i</math> प्रारंभिक सममित बहुपदों को निरूपित करें; यह सूत्र सभी [[प्राकृतिक संख्या]]ओं n के लिए मान्य है और इस पर एकमात्र उल्लेखनीय निर्भरता यह है कि ''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') = 0 जब भी n < k हो।  कोई इसे पहचान के रूप में लिखना चाहेगा
+जहां <math>e_i</math> प्रारंभिक सममित बहुपदों को निरूपित करें; यह सूत्र सभी [[प्राकृतिक संख्या]]ओं n के लिए मान्य है और इस पर एकमात्र उल्लेखनीय निर्भरता यह है कि ''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') = 0 जब भी n < k हो। कोई इसे पहचान के रूप में लिखना चाहेगा
 :<math>p_3=e_1^3-3e_2 e_1 + 3e_3</math>
-यह n पर बिल्कुल भी निर्भर नहीं करता है और यह सममित फलन के वलय में किया जा सकता है। उस वलय में सभी [[पूर्णांक]] k ≥ 1 के लिए अशून्य तत्व ''e<sub>k</sub>'' होते हैं  और रिंग के किसी भी अवयव  को e<sub>''k''</sub> अवयवों  में बहुपद व्यंजक द्वारा दिया जा सकता है।
+यह n पर बिल्कुल भी निर्भर नहीं करता है और यह सममित फलन के वलय में किया जा सकता है। उस वलय में सभी [[पूर्णांक]] k ≥ 1 के लिए अशून्य तत्व ''e<sub>k</sub>'' होते हैं और वलय के किसी भी अवयव को e<sub>''k''</sub> अवयवों में बहुपद व्यंजक द्वारा दिया जा सकता है।
 === परिभाषाएँ ===
-सममित फलन की रिंग को किसी भी [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय रिंग]] R पर परिभाषित किया जा सकता है और इसे Λ<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 पर असीम रूप से (गणना करने योग्य अनंत) कई अनिश्चित; इस शक्ति श्रृंखला रिंग के तत्व शर्तों के औपचारिक अनंत योग हैं, जिनमें से प्रत्येक में R से गुणांक [[ एकपद |एकपद]] द्वारा गुणा किया जाता है, जहां प्रत्येक एकपद निर्धारक रूप से कई परिमित शक्तियों का उत्पाद होता है। Λ<sub>''R''</sub> को परिभाषित करता है इसके उप-वलय के रूप में उन शक्ति श्रृंखला S से मिलकर बनता है जो संतुष्ट करती हैं
+सबसे सरल (चूंकि कुछ सीमा तक भारी) निर्माण कई चर में औपचारिक शक्ति श्रृंखला शक्ति श्रृंखला की वलय से प्रारंभ होता है <math>R[[X_1,X_2,...]]</math> R पर असीम रूप से (गणना करने योग्य अनंत) कई अनिश्चित; इस शक्ति श्रृंखला वलय के तत्व शर्तों के औपचारिक अनंत योग हैं, जिनमें से प्रत्येक में R से गुणांक [[ एकपद |एकपद]] द्वारा गुणा किया जाता है, जहां प्रत्येक एकपद निर्धारक रूप से कई परिमित शक्तियों का उत्पाद होता है। Λ<sub>''R''</sub> को परिभाषित करता है इसके उप-वलय के रूप में उन शक्ति श्रृंखला S से मिलकर बनता है जो संतुष्ट करती हैं
 #S निर्धारक के किसी भी क्रमपरिवर्तन के अनुसार अपरिवर्तनीय है, और
 #S में होने वाले एकपदों के बहुपद की कोटि परिबद्ध है।
-ध्यान दें कि दूसरी स्थिति के कारण, घात श्रृंखला का उपयोग यहां केवल निश्चित डिग्री के असीम रूप से कई पदों को अनुमति देने के लिए किया जाता है, अतिरिक्त सभी संभावित डिग्री के पदों के योग के लिए। इसकी अनुमति देना जरूरी है क्योंकि तत्व जिसमें उदाहरण के लिए X<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 का स्पष्ट रूप से सजातीय है।
+ध्यान दें कि दूसरी स्थिति के कारण, घात श्रृंखला का उपयोग यहां केवल निश्चित डिग्री के असीम रूप से कई पदों को अनुमति देने के लिए किया जाता है, अतिरिक्त सभी संभावित डिग्री के पदों के योग के लिए। इसकी अनुमति देना आवश्यक है क्योंकि तत्व जिसमें उदाहरण के लिए X<sub>1</sub> शब्द होता है सममित होने के लिए प्रत्येक i > 1 के लिए X<sub>''i''</sub> शब्द भी होना चाहिए। पूरी शक्ति श्रृंखला वलय के विपरीत, सबवलय Λ<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>,...,''X<sub>n</sub>'']<sup>'''S'''<sub>''n''</sub></sup> के साथ संबंध को बेहतर ढंग से इंगित करता है। निर्धारक में सममित बहुपदों का प्रत्येक n के लिए [[विशेषण]] वलय समरूपता ρ<sub>''n''</sub> है समरूप वलय ''R''[''X''<sub>1</sub>,...,''X<sub>n</sub>''<sub>+1</sub>]<sup>'''S'''<sub>''n''+1</sub></sup> पर और निर्धारक के साथ ''R''[''X''<sub>1</sub>,...,''X<sub>n</sub>'']<sup>'''S'''<sub>''n''</sub></sup>, अंतिम निर्धारक X को सेट करके ''X<sub>n</sub>''<sub>+1</sub>से 0 परिभाषित किया गया है । चूंकि ρ<sub>''n''</sub> गैर-तुच्छ कर्नेल (बीजगणित) है, उस कर्नेल के गैर-शून्य तत्वों में कम से कम डिग्री है <math>n+1</math> (वे X के गुणक हैं ''X''<sub>1</sub>''X''<sub>2</sub>...''X<sub>n</sub>''<sub>+1</sub>) । इसका मतलब है कि ρ<sub>''n''</sub> का प्रतिबंध अधिक से अधिक n डिग्री के तत्वों के लिए विशेषण [[रैखिक नक्शा]] है, और ''ρ<sub>n</sub>''(''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>''<sub>+1</sub>)) = ''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') for all ''k'' ≤ ''n''. इस प्रतिबंध के व्युत्क्रम को विशिष्ट रूप से रिंग समरूपता φ<sub>''n''</sub> तक बढ़ाया जा सकता है ''R''[''X''<sub>1</sub>,...,''X<sub>n</sub>'']<sup>'''S'''<sub>''n''</sub></sup> से ''R''[''X''<sub>1</sub>,...,''X<sub>n</sub>''<sub>+1</sub>]<sup>'''S'''<sub>''n''+1</sub></sup>, जैसा कि उदाहरण के लिए सममित बहुपदों के मूलभूत प्रमेय से लिया गया है। छवियों के बाद से ''φ<sub>n</sub>''(''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'')) = ''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>''<sub>+1</sub>) , ''k'' = 1,...,''n'' के लिए अभी भी R, समाकारिता φ<sub>''n''</sub> पर [[इंजेक्शन|अन्तःक्षेपण]] बीजगणितीय रूप से स्वतंत्र हैं और इसे रिंग के समावेश (कुछ असामान्य) के रूप में देखा जा सकता है; φ<sub>''n''</sub> लागू करना से पहले उपस्तिथ एकपद से समरूपता द्वारा प्राप्त नए निर्धारक वाले सभी एकपद को जोड़ने के लिए बहुपद राशि। रिंग Λ<sub>''R''</sub> तब इन समावेशन के अधीन इन सभी अंगूठियो का संघ ([[प्रत्यक्ष सीमा]]) है। चूंकि सभी φ<sub>''n''</sub> सम्मलित रिंग की कुल डिग्री द्वारा ग्रेडिंग के साथ संगत हैं, Λ<sub>''R''</sub> वर्गीकृत रिंग की संरचना प्राप्त करता है।
+Λ<sub>''R''</sub> का एक और निर्माण वर्णन करने में कुछ अधिक समय लगता है, किन्तु n निर्धारक में सममित बहुपदों के वलय ''R''[''X''<sub>1</sub>,...,''X<sub>n</sub>'']<sup>'''S'''<sub>''n''</sub></sup> के साथ संबंध को श्रेष्ठतर विधि से इंगित करता है। निर्धारक में सममित बहुपदों का प्रत्येक n के लिए समरूप वलय ''R''[''X''<sub>1</sub>,...,''X<sub>n</sub>''<sub>+1</sub>]<sup>'''S'''<sub>''n''+1</sub></sup> पर [[विशेषण]] वलय समरूपता ρ<sub>''n''</sub> है, जिसमें ''R''[''X''<sub>1</sub>,...,''X<sub>n</sub>'']<sup>'''S'''<sub>''n''</sub></sup> पर एक और निर्धारक है, जिसे सेट करके परिभाषित किया गया है। अंतिम निर्धारक को सेट करके ''X<sub>n</sub>''<sub>+1</sub>से 0 । चूंकि ρ<sub>''n''</sub> गैर-तुच्छ कर्नेल (बीजगणित) है, उस कर्नेल के गैर-शून्य तत्वों में कम से कम डिग्री <math>n+1</math> है ।(वे X के गुणक हैं ''X''<sub>1</sub>''X''<sub>2</sub>...''X<sub>n</sub>''<sub>+1</sub>) इसका मतलब यह है कि ρ<sub>''n''</sub> का प्रतिबंध अधिक से अधिक डिग्री के तत्वों के लिए विशेषण [[रैखिक नक्शा]] है, और ''ρ<sub>n</sub>''(''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>''<sub>+1</sub>)) = ''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') सभी के लिए ''k'' ≤ ''n'' है। इस प्रतिबंध के व्युत्क्रम को विशिष्ट रूप से ''R''[''X''<sub>1</sub>,...,''X<sub>n</sub>'']<sup>'''S'''<sub>''n''</sub></sup> से ''R''[''X''<sub>1</sub>,...,''X<sub>n</sub>''<sub>+1</sub>]<sup>'''S'''<sub>''n''+1</sub></sup>, तक वलय समरूपता φ<sub>''n''</sub> तक बढ़ाया जा सकता है । जैसा कि उदाहरण के लिए सममित बहुपदों के मूलभूत प्रमेय से लिया गया है। चूंकि ''k'' = 1,...,''n'' के लिए ''φ<sub>n</sub>''(''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'')) = ''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>''<sub>+1</sub>) , बिंब अभी भी R पर बीजगणितीय रूप से स्वतंत्र हैं, समाकारिता φ<sub>''n''</sub> पर [[इंजेक्शन|अन्तःक्षेपण]] बीजगणितीय रूप से स्वतंत्र हैं और इसे वलय के समावेश (कुछ असामान्य) के रूप में देखा जा सकता है; φ<sub>''n''</sub> लागू करना से पहले उपस्तिथ एकपद से समरूपता द्वारा प्राप्त नए निर्धारक वाले सभी एकपद को जोड़ने के लिए बहुपद राशि। वलय Λ<sub>''R''</sub> तब इन समावेशन के अधीन इन सभी अंगूठियो का संघ ([[प्रत्यक्ष सीमा]]) है। चूंकि सभी φ<sub>''n''</sub> सम्मलित वलय की कुल डिग्री द्वारा ग्रेडिंग के साथ संगत हैं, Λ<sub>''R''</sub> वर्गीकृत वलय की संरचना प्राप्त करता है।
-यह निर्माण (मैकडोनाल्ड, 1979) में से थोड़ा अलग है। वह निर्माण केवल विशेषण आकारिकी ρ<sub>''n''</sub> का उपयोग करता है अन्तःक्षेपण रूपवाद φ<sub>''n''</sub> का उल्लेख किए बिना। यह Λ<sub>''R''</sub> के सजातीय घटकों का निर्माण करता है अलग से, एक और ρ<sub>''n''</sub> का उपयोग करके उनके [[प्रत्यक्ष योग]] को रिंग संरचना से तैयार करता है। यह भी देखा गया है कि परिणाम को वर्गीकृत अंगूठियो की [[श्रेणी (गणित)]] में व्युत्क्रम सीमा के रूप में वर्णित किया जा सकता है। चूंकि यह विवरण कुछ सीमा तक इंजेक्शन आकारिता की सीधी सीमा के लिए विशिष्ट महत्वपूर्ण संपत्ति को अस्पष्ट करता है, अर्थात् प्रत्येक व्यक्तिगत तत्व (सममित कार्य) पहले से ही सीमा निर्माण में उपयोग की जाने वाली किसी वस्तु में eमानदारी से प्रतिनिधित्व किया जाता है, यहां रिंग ''R''[''X''<sub>1</sub>,...,''X<sub>d</sub>'']<sup>'''S'''<sub>''d''</sub></sup> यह d के लिए सममित फलन की डिग्री लेने के लिए पर्याप्त है, क्योंकि उस रिंग के डिग्री d में भाग को समरूप रूप से मैप किया जाता है, जो कि φn द्वारा अधिक निर्धारक होता है। सभी के लिए n≥ d। इसका तात्पर्य है कि अलग-अलग तत्वों के बीच संबंधों का अध्ययन करने के लिए सममित बहुपदों और सममित फलन के बीच कोई मूलभूत अंतर नहीं है।
+यह निर्माण (मैकडोनाल्ड, 1979) में से थोड़ा अलग है। वह निर्माण केवल विशेषण आकारिकी ρ<sub>''n''</sub> का उपयोग करता है अन्तःक्षेपण रूपवाद φ<sub>''n''</sub> का उल्लेख किए बिना। यह Λ<sub>''R''</sub> के सजातीय घटकों का निर्माण करता है अलग से, एक और ρ<sub>''n''</sub> का उपयोग करके उनके [[प्रत्यक्ष योग]] को वलय संरचना से तैयार करता है। यह भी देखा गया है कि परिणाम को वर्गीकृत अंगूठियो की [[श्रेणी (गणित)]] में व्युत्क्रम सीमा के रूप में वर्णित किया जा सकता है। चूंकि यह विवरण कुछ सीमा तक इंजेक्शन आकारिता की सीधी सीमा के लिए विशिष्ट महत्वपूर्ण संपत्ति को अस्पष्ट करता है, अर्थात् प्रत्येक व्यक्तिगत तत्व (सममित फलन) पहले से ही सीमा निर्माण में उपयोग की जाने वाली किसी वस्तु में eमानदारी से प्रतिनिधित्व किया जाता है, यहां वलय ''R''[''X''<sub>1</sub>,...,''X<sub>d</sub>'']<sup>'''S'''<sub>''d''</sub></sup> यह d के लिए सममित फलन की डिग्री लेने के लिए पर्याप्त है, क्योंकि उस वलय के डिग्री d में भाग को समरूप रूप से मैप किया जाता है, जो कि φn द्वारा अधिक निर्धारक होता है। सभी के लिए n≥ d। इसका तात्पर्य है कि अलग-अलग तत्वों के बीच संबंधों का अध्ययन करने के लिए सममित बहुपदों और सममित फलन के बीच कोई मूलभूत अंतर नहीं है।
 === व्यक्तिगत सममित फलन को परिभाषित करना ===
-Λ<sub>''R''</sub> के तत्वों के लिए नाम सममित कार्य [[मिथ्या नाम]] है: न तो निर्माण में तत्व कार्य (गणित) हैं और वास्तव में, सममित बहुपदों के विपरीत, ऐसे तत्वों से स्वतंत्र चर का कोई कार्य नहीं जोड़ा जा सकता है (उदाहरण के लिए e<sub>1</sub> सभी असीम रूप से कई चरों का योग होगा, जो तब तक परिभाषित नहीं होता है जब तक कि चर पर प्रतिबंध नहीं लगाया जाता है)। चूँकि नाम पारंपरिक और अच्छी प्रकार से स्थापित है; यह (मैकडॉनल्ड, 1979) दोनों में पाया जा सकता है, जो कहता है (पृष्ठ 12 पर फुटनोट)
+Λ<sub>''R''</sub> के तत्वों के लिए नाम सममित फलन [[मिथ्या नाम]] है: न तो निर्माण में तत्व फलन (गणित) हैं और वास्तव में, सममित बहुपदों के विपरीत, ऐसे तत्वों से स्वतंत्र चर का कोई फलन नहीं जोड़ा जा सकता है (उदाहरण के लिए e<sub>1</sub> सभी असीम रूप से कई चरों का योग होगा, जो तब तक परिभाषित नहीं होता है जब तक कि चर पर प्रतिबंध नहीं लगाया जाता है)। चूँकि नाम पारंपरिक और अच्छी प्रकार से स्थापित है; यह (मैकडॉनल्ड, 1979) दोनों में पाया जा सकता है, जो कहता है (पृष्ठ 12 पर फुटनोट)
 <blockquote>Λ के तत्व (Λ<sub>''n''</sub> के तत्वों के विपरीत) अब बहुपद नहीं हैं: वे एकपदी के औपचारिक अनंत योग हैं। इसलिए हम सममित फलन की पुरानी शब्दावली पर वापस आ गए हैं।</blockquote>
-(यहाँ Λ<sub>''n''</sub> एन निर्धारक में सममित बहुपदों की रिंग को दर्शाता है), और (स्टेनली, 1999) में भी।
+(यहाँ Λ<sub>''n''</sub> एन निर्धारक में सममित बहुपदों की वलय को दर्शाता है), और (स्टेनली, 1999) में भी।
 सममित फलन को परिभाषित करने के लिए या तो पहले निर्माण के रूप में सीधे शक्ति श्रृंखला का संकेत देना चाहिए, या दूसरे निर्माण के साथ संगत विधियों से प्रत्येक प्राकृतिक संख्या n के लिए n निर्धारक में सममित बहुपद देना चाहिए। उदाहरण के लिए, निर्धारक संख्या में अभिव्यक्ति दोनों कर सकती है
@@ Line 51: / Line 51: @@
 निम्नलिखित सममित फलन के मूलभूत उदाहरण हैं।
-* 'एकपद सममित फलन ' m<sub>α</sub>. मान लीजिए α = (α<sub>1</sub>,α<sub>2</sub>,...) गैर-ऋणात्मक पूर्णांकों का अनुक्रम है, जिनमें से केवल बहुत से गैर-शून्य हैं। तब हम α: X द्वारा परिभाषित एकपद पर विचार कर सकते हैंα: ''X''<sup>α</sup> = ''X''<sub>1</sub><sup>α<sub>1</sub></sup>''X''<sub>2</sub><sup>α<sub>2</sub></sup>''X''<sub>3</sub><sup>α<sub>3</sub></sup>.... फिर m<sub>α</sub> X<sup>α</sup> द्वारा निर्धारित सममित कार्य है, अर्थात X<sup>α</sup> से प्राप्त सभी एकपदीयों का योग समरूपता द्वारा। औपचारिक परिभाषा के लिए, β ~ α को परिभाषित करें जिसका अर्थ है कि अनुक्रम β अनुक्रम α और सेट का क्रमपरिवर्तन है
+* ''''एकपद सममित फलन''' ' m<sub>α</sub>. मान लीजिए α = (α<sub>1</sub>,α<sub>2</sub>,...) गैर-ऋणात्मक पूर्णांकों का क्रम है, जिनमें से केवल बहुत से गैर-शून्य हैं। तब हम α द्वारा परिभाषित एकपद पर विचार कर सकते हैं: ''X''<sup>α</sup> = ''X''<sub>1</sub><sup>α<sub>1</sub></sup>''X''<sub>2</sub><sup>α<sub>2</sub></sup>''X''<sub>3</sub><sup>α<sub>3</sub></sup>.... फिर m<sub>α</sub> X<sup>α</sup> द्वारा निर्धारित सममित फलन है, अर्थात X<sup>α</sup> से प्राप्त सभी एकपदीयों का योग। समरूपता द्वारा औपचारिक परिभाषा के लिए, β ~ α को परिभाषित करें जिसका अर्थ है कि अनुक्रम β अनुक्रम α और सेट का क्रमपरिवर्तन है
 ::<math>m_\alpha=\sum\nolimits_{\beta\sim\alpha}X^\beta.</math>
-:यह सममित कार्य एकपद सममित बहुपद ''m''<sub>α</sub>(''X''<sub>1</sub>,...,''X<sub>n</sub>'') से मेल खाता है किसी भी बड़े n के लिए एकपदी X<sup>α</sup> रखने के लिए पर्याप्त है। अलग-अलग एकपद सममित फलन को [[पूर्णांक विभाजन]] द्वारा पैरामीटर किया जाता है (प्रत्येक m<sub>α</sub> अद्वितीय प्रतिनिधि एकपदी X<sup>λ</sup> है भागों के साथ λ<sub>''i''</sub> कमजोर घटते क्रम में)। चूंकि किसी भी सममित फलन में कुछ m<sub>α</sub> के एकपद सम्मलित हैं एक ही गुणांक के साथ उन सभी को सम्मलित करना चाहिए, प्रत्येक सममित फलन को एकपद सममित फलन के आर-रैखिक संयोजन के रूप में लिखा जा सकता है, और विशिष्ट एकपद सममित फलन इसलिए Λ<sub>''R''</sub> का आधार बनाते हैं आर-[[मॉड्यूल (गणित)]] के रूप में।
+:यह सममित फलन एकपद सममित बहुपद ''m''<sub>α</sub>(''X''<sub>1</sub>,...,''X<sub>n</sub>'') से मेल खाता है किसी भी बड़े n के लिए एकपदी X<sup>α</sup> रखने के लिए पर्याप्त है। अलग-अलग एकपद सममित फलन को [[पूर्णांक विभाजन]] द्वारा पैरामीटर किया जाता है (प्रत्येक m<sub>α</sub> अद्वितीय प्रतिनिधि एकपदी X<sup>λ</sup> है भागों के साथ λ<sub>''i''</sub> कमजोर घटते क्रम में)। चूंकि किसी भी सममित फलन में कुछ m<sub>α</sub> के एकपद सम्मलित हैं एक ही गुणांक के साथ उन सभी को सम्मलित करना चाहिए, प्रत्येक सममित फलन को एकपद सममित फलन के आर-रैखिक संयोजन के रूप में लिखा जा सकता है, और विशिष्ट एकपद सममित फलन इसलिए Λ<sub>''R''</sub> का आधार बनाते हैं आर-[[मॉड्यूल (गणित)]] के रूप में।
-* 'प्राथमिक सममित कार्य' e<sub>''k''</sub>, किसी प्राकृत संख्या k के लिए; के पास ''e<sub>k</sub>'' = ''m''<sub>α</sub> जहां <math>\textstyle
+* ''''प्राथमिक सममित फलन'''<nowiki/>' e<sub>''k''</sub>, किसी प्राकृत संख्या k के लिए; के पास ''e<sub>k</sub>'' = ''m''<sub>α</sub> जहां <math>\textstyle
-X^\alpha=\prod_{i=1}^kX_i</math> है। शक्ति श्रृंखला के रूप में, यह k विशिष्ट निर्धारक के सभी विशिष्ट उत्पादों का योग है। यह सममित कार्य प्राथमिक सममित बहुपद किसी भी n ≥ k के लिए ''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') से मेल खाता है ।
+X^\alpha=\prod_{i=1}^kX_i</math> है। शक्ति श्रृंखला के रूप में, यह k विशिष्ट निर्धारक के सभी विशिष्ट उत्पादों का योग है। यह सममित फलन प्राथमिक सममित बहुपद किसी भी n ≥ k के लिए ''e<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') से मेल खाता है ।
-* 'शक्ति योग सममित कार्य' p<sub>''k''</sub>, किसी भी धनात्मक पूर्णांक k के लिए; ''p<sub>k</sub>'' = ''m''<sub>(''k'')</sub> है, एकपदी X के लिए एकपदी सममित फलन<sub>1</sub> यह सममित कार्य शक्ति योग सममित बहुपद p ''p<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') = ''X''<sub>1</sub><sup>''k''</sup> + ... + ''X<sub>n</sub><sup>k</sup>'' से मेल खाता है किसी भी n ≥ 1 के लिए।
+* ''''शक्ति योग सममित फलन'''<nowiki/>' p<sub>''k''</sub>, किसी भी धनात्मक पूर्णांक k के लिए; ''p<sub>k</sub>'' = ''m''<sub>(''k'')</sub> है, एकपदी ''X''<sub>1</sub><sup>''k''</sup> के लिए एकपदी सममित फलन यह सममित फलन। यह सममित फ़ंक्शन किसी भी n ≥ 1 के लिए शक्ति योग सममित बहुपद ''p<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') = ''X''<sub>1</sub><sup>''k''</sup> + ... + ''X<sub>n</sub><sup>k</sup>'' से मेल खाता है ।
-* 'पूर्ण सजातीय सममित कार्य' h<sub>''k''</sub>, किसी प्राकृत संख्या k के लिए; h<sub>''k''</sub> सभी एकपदी सममितीय फलन m<sub>α</sub> का योग है जहां α k का पूर्णांक विभाजन है। शक्ति श्रृंखला के रूप में, यह डिग्री k के सभी एकपदीयों का योग है, जो इसके नाम को प्रेरित करता है। यह सममित कार्य पूर्ण सजातीय सममित बहुपद ''h<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') से मेल खाता है किसी भी n ≥ k के लिए।
+* ''''पूर्ण सजातीय सममित फलन'''<nowiki/>' h<sub>''k''</sub>, किसी प्राकृत संख्या k के लिए; h<sub>''k''</sub> सभी एकपदी सममितीय फलन m<sub>α</sub> का योग है जहां α k का पूर्णांक विभाजन है। शक्ति श्रृंखला के रूप में, यह डिग्री k के सभी एकपदीयों का योग है, जो इसके नाम को प्रेरित करता है। यह सममित फलन पूर्ण सजातीय सममित बहुपद ''h<sub>k</sub>''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') से मेल खाता है किसी भी n ≥ k के लिए।
-* 'शूर फलन ' S<sub>λ</sub> किसी भी विभाजन λ के लिए, जो शूर बहुपद ''s''<sub>λ</sub>(''X''<sub>1</sub>,...,''X<sub>n</sub>'') के संगत है किसी भी बड़े n के लिए एकपदी ''X''<sup>λ</sup> रखने के लिए पर्याप्त है।
+* ''''शूर फलन''' ' S<sub>λ</sub> किसी भी विभाजन λ के लिए, जो शूर बहुपद ''s''<sub>λ</sub>(''X''<sub>1</sub>,...,''X<sub>n</sub>'') के संगत है किसी भी बड़े n के लिए एकपदी ''X''<sup>λ</sup> रखने के लिए पर्याप्त है।
-कोई घात योग सममित फलन p<sub>0</sub> नहीं है: चूंकि परिभाषित करना संभव है (और कुछ संदर्भों में प्राकृतिक)। <math>\textstyle p_0(X_1,\ldots,X_n)=\sum_{i=1}^nX_i^0=n</math> n चरों में सममित बहुपद के रूप में, ये मान आकारिकी ρ<sub>''n''</sub> के साथ संगत नहीं हैं। भेद करनेवाला <math>\textstyle(\prod_{i<j}(X_i-X_j))^2</math> सभी n के लिए सममित बहुपद देने वाली अभिव्यक्ति का और उदाहरण है, किन्तु किसी भी सममित कार्य को परिभाषित नहीं करता है। प्रत्यावर्ती बहुपदों के भागफल के रूप में शूर बहुपदों को परिभाषित करने वाले भाव कुछ सीमा तक विवेचक के समान हैं, किन्तु बहुपद ''s''<sub>λ</sub>(''X''<sub>1</sub>,...,''X<sub>n</sub>'') अलग-अलग n के लिए संगत हो जाते हैं और इसलिए सममित कार्य को परिभाषित करते हैं।
+कोई घात योग सममित फलन p<sub>0</sub> नहीं है: चूंकि परिभाषित करना संभव है (और कुछ संदर्भों में प्राकृतिक)। <math>\textstyle p_0(X_1,\ldots,X_n)=\sum_{i=1}^nX_i^0=n</math> n चरों में सममित बहुपद के रूप में, ये मान आकारिकी ρ<sub>''n''</sub> के साथ संगत नहीं हैं। भेद करनेवाला <math>\textstyle(\prod_{i<j}(X_i-X_j))^2</math> सभी n के लिए सममित बहुपद देने वाली अभिव्यक्ति का और उदाहरण है, किन्तु किसी भी सममित फलन को परिभाषित नहीं करता है। प्रत्यावर्ती बहुपदों के भागफल के रूप में शूर बहुपदों को परिभाषित करने वाले भाव कुछ सीमा तक विवेचक के समान हैं, किन्तु बहुपद ''s''<sub>λ</sub>(''X''<sub>1</sub>,...,''X<sub>n</sub>'') अलग-अलग n के लिए संगत हो जाते हैं और इसलिए सममित फलन को परिभाषित करते हैं।
 === सममित बहुपदों और सममित फलन से संबंधित सिद्धांत ===
@@ Line 66: / Line 66: @@
 किसी भी सममित फलन P के लिए, n में संबंधित सममित बहुपद किसी भी प्राकृत संख्या n के लिए निर्धारक होते हैं, जिन्हें ''P''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') द्वारा निर्दिष्ट किया जा सकता है। सममित फलन के वलय की दूसरी परिभाषा का तात्पर्य निम्नलिखित मूलभूत सिद्धांत से है।
-: यदि P और Q डिग्री d के सममित कार्य हैं, तो की पहचान है <math>P=Q</math> सममित फलन की [[अगर और केवल अगर|यदि और केवल]] यदि किसी की पहचान है ''P''(''X''<sub>1</sub>,...,''X<sub>d</sub>'') = ''Q''(''X''<sub>1</sub>,...,''X<sub>d</sub>'') निर्धारक में सममित बहुपदों की। इस मामले में वास्तव में ''P''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') = ''Q''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') किसी भी संख्या n के लिए निर्धारक हैं।
+: यदि P और Q डिग्री d के सममित फलन हैं, तो की पहचान है <math>P=Q</math> सममित फलन की [[अगर और केवल अगर|यदि और केवल]] यदि किसी की पहचान है ''P''(''X''<sub>1</sub>,...,''X<sub>d</sub>'') = ''Q''(''X''<sub>1</sub>,...,''X<sub>d</sub>'') निर्धारक में सममित बहुपदों की। इस मामले में वास्तव में ''P''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') = ''Q''(''X''<sub>1</sub>,...,''X<sub>n</sub>'') किसी भी संख्या n के लिए निर्धारक हैं।
 ऐसा इसलिए है क्योंकि कुछ चरों के लिए शून्य को प्रतिस्थापित करके चरों की संख्या को सदैव कम किया जा सकता है और समाकारिता φ<sub>''n''</sub> को लागू करके चरों की संख्या में वृद्धि की जा सकती है। उन समरूपताओं की परिभाषा आश्वस्त करती है कि ''φ<sub>n</sub>''(''P''(''X''<sub>1</sub>,...,''X<sub>n</sub>'')) = ''P''(''X''<sub>1</sub>,...,''X<sub>n</sub>''<sub>+1</sub>) (और इसी प्रकार Q के लिए) जब भी n ≥ d. इस सिद्धांत के प्रभावी अनुप्रयोग के लिए न्यूटन की पहचान की व्युत्पत्ति न्यूटन की पहचान का प्रमाण देखें।
-== सममित फलन की रिंग के गुण ==
+== सममित फलन की वलय के गुण ==
 === पहचान ===
@@ Line 85: / Line 85: @@
 # विभाजनों द्वारा पैरामीट्रिज्ड एकपद सममित फलन का सेट Λ<sub>''R''</sub> का आधार बनता है श्रेणीबद्ध आर-मॉड्यूल (गणित) के रूप में, d के विभाजन द्वारा पैरामीट्रिज्ड डिग्री डी के सजातीय होने के कारण; शूर फलन के सेट के लिए भी यही सच है (विभाजन द्वारा पैरामीट्रिज्ड)।
 # Λ<sub>''R''</sub> बहुपद वलय ''R''[''Y''<sub>1</sub>,''Y''<sub>2</sub>, ...] के लिए श्रेणीबद्ध R-बीजगणित के रूप में [[समरूपी]] है, अपरिमित रूप से अनेक चरों में, जहाँ Y<sub>''i''</sub> सभी i > 0 के लिए डिग्री i दी गई है, समरूपता वह है जो Y<sub>''i''</sub> भेजता है तब <sub>''i''</sub>∈ Λ<sub>''R''</sub> प्रत्येक i के लिए।
-# Λ<sub>''R''</sub> का इनवॉल्यूशन (गणित) [[ automorphism |automorphism]] ω है जो प्रारंभिक सममित फलन को बदल देता है e<sub>''i''</sub> और पूर्ण सजातीय सममित फलन h<sub>''i''</sub> सभी के लिए मैं यह प्रत्येक शक्ति योग सममित फलन p<sub>''i''</sub> भी भेजता है ''p<sub>i</sub>'' से (−1)<sup>''i''−1</sup>''p<sub>i</sub>'', और यह S<sub>λ</sub> को बदलाव करते हुए दूसरे के बीच शूर फलन की अनुमति देता है और S<sub>λ<sup>t</sup></sub> जहां Λ<sup>t</sup> λ का स्थानान्तरण विभाजन है।
+# Λ<sub>''R''</sub> का इनवॉल्यूशन (गणित) [[ automorphism |ऑटोमोर्फिज्म]] ω है जो प्रारंभिक सममित फलन e<sub>''i''</sub> को बदल देता है और पूर्ण सजातीय सममित फलन h<sub>''i''</sub> सभी के लिए यह प्रत्येक शक्ति योग सममित फलन p<sub>''i''</sub> भी भेजता है ''p<sub>i</sub>'' से (−1)<sup>''i''−1</sup>''p<sub>i</sub>'', और यह S<sub>λ</sub> को बदलाव करते हुए दूसरे के बीच शूर फलन की अनुमति देता है और S<sub>λ<sup>t</sup></sub> जहां Λ<sup>t</sup> λ का स्थानान्तरण विभाजन है।
 संपत्ति 2 सममित बहुपदों के मौलिक प्रमेय का सार है। इसका तात्पर्य तुरंत कुछ अन्य गुणों से है:
-* Λ<sub>''R''</sub> का उपरिंग n चर में R पर सममित बहुपदों की रिंग के लिए अधिकतम n में डिग्री के अपने तत्वों द्वारा उत्पन्न समरूप है;
+* Λ<sub>''R''</sub> का सबवलय n चर में R पर सममित बहुपदों की वलय के लिए अधिकतम n में डिग्री के अपने तत्वों द्वारा उत्पन्न समरूप है;
-* Λ<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> के सजातीय भाग द्वारा गठित R-मॉड्यूल डिग्री n की, डिग्री के अपने तत्वों द्वारा उत्पन्न उपरिंग के साथ मॉड्यूलो एन से सख्ती से कम है, रैंक 1 का [[मुफ्त मॉड्यूल]] है, और

Anonymous

Search

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

Namespaces

More

Page actions