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

(30 intermediate revisions by 6 users not shown)

Line 1:

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

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

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

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

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

Line 7:

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

सममित बहुपदों के बीच अधिकांश संबंध अनिर्धारकों की संख्या 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>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 पर बिल्कुल भी निर्भर नहीं करता है और यह सममित ~~कार्यों~~ के वलय में किया जा सकता है। उस वलय में अशून्य तत्व ''ek'' होते हैं ~~सभी [[पूर्णांक]] k ≥ 1 के लिए,~~ और ~~अंगूठी~~ के किसी भी ~~तत्व~~ को ~~तत्वों~~ 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 निर्धारक के किसी भी क्रमपरिवर्तन के अनुसार अपरिवर्तनीय है, और

#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,...,~~एक्स~~''n'']S''n''~~n अनिश्चित~~ में सममित बहुपदों का ~~।~~ प्रत्येक n के लिए ~~[[विशेषण]]~~ वलय ~~समरूपता ρ है~~''n''~~ समरूप वलय R~~[X1,...,~~एक्स~~''n''+1]S''n''+1 R[X ~~पर और अनिश्चित के साथ~~1,...,~~एक्स~~''n'']S''n'', ~~अंतिम अनिश्चित X को~~ सेट करके परिभाषित किया गया है''n''+1 से 0. चूंकि ρ''n'' गैर-तुच्छ कर्नेल (बीजगणित) है, उस कर्नेल के गैर-शून्य तत्वों में कम से कम डिग्री है <math>n+1</math> (वे X के गुणक हैं1X2...~~एक्स~~''n''+1). इसका मतलब है कि ρ ~~का प्रतिबंध~~''n'' अधिक से अधिक n डिग्री के तत्वों के लिए विशेषण [[रैखिक नक्शा]] है, और ρ''n''(~~यह है~~''k''(~~एक्स~~1,...,~~एक्स~~''n''+1)) = ई''k''(~~एक्स~~1,...,~~एक्स~~''n'') सभी के लिए ~~k≤ n.~~ इस प्रतिबंध के व्युत्क्रम को विशिष्ट रूप से ~~अंगूठी समरूपता φ तक बढ़ाया जा सकता है~~''n''~~ R~~ [X से1,...,~~एक्स~~''n'']S''n'' से R[X1,...,~~एक्स~~''n''+1]S''n''+1, जैसा कि उदाहरण के लिए सममित बहुपदों के मूलभूत प्रमेय से लिया गया है। ~~छवियों~~ के ~~बाद से~~ φ''n''(~~यह है~~''k''(~~एक्स~~1,...,~~एक्स~~''n'')) = ई''k''(~~एक्स~~1,...,~~एक्स~~''n''+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'' ~~इंजेक्शन morphisms φ~~ का उल्लेख किए ~~बिना~~''n''~~: यह Λ~~ के सजातीय घटकों का निर्माण करता है''R'' ~~अलग से, और ρ~~ का उपयोग करके उनके [[प्रत्यक्ष योग]] को ~~अंगूठी~~ संरचना से ~~लैस~~ करता ~~है''n''.~~ यह भी देखा गया है कि परिणाम को वर्गीकृत ~~छल्लों~~ की [[श्रेणी (गणित)]] में व्युत्क्रम सीमा के रूप में वर्णित किया जा सकता है। चूंकि यह विवरण कुछ सीमा तक ~~इंजेक्टिव मोर्फिज्म~~ की सीधी सीमा के लिए विशिष्ट महत्वपूर्ण संपत्ति को अस्पष्ट करता है, अर्थात् प्रत्येक व्यक्तिगत तत्व (सममित ~~कार्य~~) पहले से ही सीमा निर्माण में उपयोग की जाने वाली किसी वस्तु में ~~ईमानदारी~~ से प्रतिनिधित्व किया जाता है, यहां ~~अंगूठी~~ R [~~एक्स~~1,...,~~एक्स~~''d'']S''d''</~~सुप~~>। यह d के लिए सममित ~~फ़ंक्शन~~ की डिग्री लेने के लिए पर्याप्त है, क्योंकि उस ~~अंगूठी~~ के डिग्री d में भाग को ~~आइसोमोर्फिक~~ रूप से मैप किया जाता है, जो कि φ द्वारा अधिक ~~अनिश्चित~~ होता है।~~''n''~~ सभी के लिए ~~एन ≥ डी।~~ इसका तात्पर्य है कि अलग-अलग तत्वों के बीच संबंधों का अध्ययन करने के लिए सममित बहुपदों और सममित ~~कार्यों~~ के बीच कोई मूलभूत अंतर नहीं है।

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

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

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

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

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

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

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

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

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

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

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

:<math>e_2=\sum_{i<j}X_iX_j\,</math>

प्राथमिक सममित ~~समारोह~~ की परिभाषा के रूप में लिया जा सकता है यदि ~~अनिश्चित~~ की संख्या अनंत है, या किसी भी परिमित संख्या में प्राथमिक सममित बहुपद की परिभाषा के रूप में। समान सममित फलन के लिए सममित बहुपदों को समरूपता ρ ~~के साथ संगत होना चाहिए~~''n'' (उनमें से कुछ को शून्य पर सेट करके अनिश्चितताओं की संख्या घटाकर प्राप्त की जाती है, ~~ताकि~~ शेष अनिश्चितताओं में किसी भी एकपद के गुणांक अपरिवर्तित रहें), और उनकी डिग्री बंधी रहनी चाहिए। (सममित बहुपदों के परिवार का उदाहरण जो दोनों स्थितियों में विफल रहता है <math>\textstyle\prod_{i=1}^nX_i</math>; परिवार <math>\textstyle\prod_{i=1}^n(X_i+1)</math> केवल दूसरी स्थिति में विफल रहता है।) n ~~अनिश्चित~~ में किसी भी सममित बहुपद का उपयोग सममित बहुपदों के संगत परिवार के निर्माण के लिए किया जा सकता है, समरूपता ρ का उपयोग करके''i'' ~~for~~ i < n ~~अनिश्चित~~ की संख्या कम करने के लिए, और φ''i'' i ≥ n के लिए अनिश्चितताओं की संख्या बढ़ाने के लिए (जो पहले से ~~मौजूद~~ एकपदीयों से समरूपता द्वारा प्राप्त नए अनिश्चितकों में सभी एकपदीयों को जोड़ने के बराबर है)।

प्राथमिक सममित फलन की परिभाषा के रूप में लिया जा सकता है यदि निर्धारक की संख्या अनंत है, या किसी भी परिमित संख्या में प्राथमिक सममित बहुपद की परिभाषा के रूप में। समान सममित फलन के लिए सममित बहुपदों को समरूपता ρ''n'' के साथ संगत होना चाहिए (उनमें से कुछ को शून्य पर सेट करके अनिश्चितताओं की संख्या घटाकर प्राप्त की जाती है, जिससे शेष अनिश्चितताओं में किसी भी एकपद के गुणांक अपरिवर्तित रहें), और उनकी डिग्री बंधी रहनी चाहिए। (सममित बहुपदों के परिवार का उदाहरण जो दोनों स्थितियों में विफल रहता है <math>\textstyle\prod_{i=1}^nX_i</math>; परिवार <math>\textstyle\prod_{i=1}^n(X_i+1)</math> केवल दूसरी स्थिति में विफल रहता है।) n निर्धारक में किसी भी सममित बहुपद का उपयोग सममित बहुपदों के संगत परिवार के निर्माण के लिए किया जा सकता है, समरूपता का उपयोग करके ρ''i'' i < n निर्धारक की संख्या कम करने के लिए, और φ''i'' i ≥ n के लिए अनिश्चितताओं की संख्या बढ़ाने के लिए (जो पहले से उपस्तिथ एकपदीयों से समरूपता द्वारा प्राप्त नए अनिश्चितकों में सभी एकपदीयों को जोड़ने के बराबर है)।

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

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

* 'एकपद ~~सिमेट्रिक फ़ंक्शंस~~' एमα. मान लीजिए = (ए1,ए2,...) गैर-ऋणात्मक पूर्णांकों का ~~अनुक्रम~~ है, जिनमें से केवल बहुत से गैर-शून्य हैं। तब हम α~~: X~~ द्वारा परिभाषित एकपद पर विचार कर सकते हैंα = ~~एक्स~~1α1~~एक्स~~2α2~~एक्स~~3α3.... फिर मα 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>

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

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

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

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

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

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

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

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

Anonymous

Search

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

Namespaces

More

Page actions

@@ Line 1: / Line 1: @@
-[[बीजगणित]] में और विशेष रूप से [[बीजगणितीय कॉम्बिनेटरिक्स|बीजगणितीय साहचर्य]] में, सममित कार्यों की अंगूठी 'n' अनिश्चित में [[सममित बहुपद]] की [[अंगूठी (गणित)]] की विशिष्ट सीमा है, क्योंकि 'n' अनंत तक जाती है। यह वलय सार्वभौमिक संरचना के रूप में कार्य करता है जिसमें सममित बहुपदों के बीच संबंधों को निर्धारकों की संख्या ''n'' से स्वतंत्र विधियों से व्यक्त किया जा सकता है (किन्तु इसके तत्व न तो बहुपद हैं और न ही कार्य)। अन्य बातों के अतिरिक्त, यह वलय सममित समूह के प्रतिनिधित्व सिद्धांत में महत्वपूर्ण भूमिका निभाता है।
+[[बीजगणित]] में और विशेष रूप से [[बीजगणितीय कॉम्बिनेटरिक्स|बीजगणितीय साहचर्य]] में, '''सममित फलन की वलय''' 'n' निर्धारक में [[सममित बहुपद]] की वलय (गणित) की विशिष्ट सीमा है, क्योंकि 'n' अनंत तक जाती है। यह वलय सार्वभौमिक संरचना के रूप में फलन करता है जिसमें सममित बहुपदों के बीच संबंधों को निर्धारकों की संख्या ''n'' से स्वतंत्र विधियों से व्यक्त किया जा सकता है (किन्तु इसके तत्व न तो बहुपद हैं और न ही फलन)। अन्य बातों के अतिरिक्त, यह वलय सममित समूह के प्रतिनिधित्व सिद्धांत में महत्वपूर्ण भूमिका निभाता है।
-सममित कार्यों की अंगूठी को सह-उत्पाद और [[द्विरेखीय रूप]] दिया जा सकता है जो इसे सकारात्मक स्वसम्मिलित ग्रेडेड बीजगणित हॉपफ बीजगणित में बनाता है जो क्रमविनिमेय और सहसम्बन्धी दोनों है।
+सममित फलन की वलय को सह-उत्पाद और [[द्विरेखीय रूप]] दिया जा सकता है जो इसे सकारात्मक स्वसम्मिलित श्रेणीबद्ध बीजगणित हॉपफ बीजगणित में बनाता है जो क्रमविनिमेय और सहसम्बन्धी दोनों है।
 == सममित बहुपद ==
@@ Line 7: / Line 7: @@
 {{main |सममित बहुपद}}
-सममित कार्यों का अध्ययन सममित बहुपदों पर आधारित है। अनिश्चितकों के कुछ परिमित समुच्चय में बहुपद वलय में, बहुपद को सममित कहा जाता है यदि यह वही रहता है जब भी किसी भी प्रकार से अनिश्चित को अनुमति दी जाती है। अधिक औपचारिक रूप से, [[सममित समूह]] S<sub>n</sub> के [[अंगूठी (गणित)|अंगूठी ऑटोमोर्फिज्म]] द्वारा [[समूह क्रिया]] होती है n अनिश्चित में बहुपद की अंगूठी पर, जहां क्रमचय उपयोग किए गए क्रम[[परिवर्तन]] के अनुसार प्रत्येक अनिश्चित को साथ प्रतिस्थापित करके बहुपद पर कार्य करता है। अपरिवर्तनीय (गणित)  इस क्रिया के लिए समूह क्रिया के अंतर्गत अपरिवर्तित सममित बहुपदों का उपसमूह बनाता है। यदि अनिश्चित  ''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 पर बिल्कुल भी निर्भर नहीं करता है और यह सममित कार्यों के वलय में किया जा सकता है। उस वलय में अशून्य तत्व ''e<sub>k</sub>'' होते हैं सभी [[पूर्णांक]] k ≥ 1 के लिए, और अंगूठी के किसी भी तत्व को तत्वों 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 निर्धारक के किसी भी क्रमपरिवर्तन के अनुसार अपरिवर्तनीय है, और
 #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>,...,एक्स<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 [X से<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> का एक और निर्माण वर्णन करने में कुछ अधिक समय लगता है, किन्तु 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> इंजेक्शन 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> सभी के लिए एन ≥ डी। इसका तात्पर्य है कि अलग-अलग तत्वों के बीच संबंधों का अध्ययन करने के लिए सममित बहुपदों और सममित कार्यों के बीच कोई मूलभूत अंतर नहीं है।
+यह निर्माण (मैकडोनाल्ड, 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> [[मिथ्या नाम]] है: न तो निर्माण में तत्व कार्य (गणित) हैं, और वास्तव में, सममित बहुपदों के विपरीत, ऐसे तत्वों से स्वतंत्र चर का कोई कार्य नहीं जोड़ा जा सकता है (उदाहरण के लिए ई<sub>1</sub> सभी असीम रूप से कई चरों का योग होगा, जो तब तक परिभाषित नहीं होता है जब तक कि चर पर प्रतिबंध नहीं लगाया जाता है)। हालाँकि नाम पारंपरिक और अच्छी प्रकार से स्थापित है; यह (मैकडॉनल्ड, 1979) दोनों में पाया जा सकता है, जो कहता है (पृष्ठ 12 पर फुटनोट)
+Λ<sub>''R''</sub> के तत्वों के लिए नाम सममित फलन [[मिथ्या नाम]] है: न तो निर्माण में तत्व फलन (गणित) हैं और वास्तव में, सममित बहुपदों के विपरीत, ऐसे तत्वों से स्वतंत्र चर का कोई फलन नहीं जोड़ा जा सकता है (उदाहरण के लिए e<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 निर्धारक में सममित बहुपद देना चाहिए। उदाहरण के लिए, निर्धारक संख्या में अभिव्यक्ति दोनों कर सकती है
 :<math>e_2=\sum_{i<j}X_iX_j\,</math>
-प्राथमिक सममित समारोह की परिभाषा के रूप में लिया जा सकता है यदि अनिश्चित की संख्या अनंत है, या किसी भी परिमित संख्या में प्राथमिक सममित बहुपद की परिभाषा के रूप में। समान सममित फलन के लिए सममित बहुपदों को समरूपता ρ के साथ संगत होना चाहिए<sub>''n''</sub> (उनमें से कुछ को शून्य पर सेट करके अनिश्चितताओं की संख्या घटाकर प्राप्त की जाती है, ताकि शेष अनिश्चितताओं में किसी भी एकपद के गुणांक अपरिवर्तित रहें), और उनकी डिग्री बंधी रहनी चाहिए। (सममित बहुपदों के परिवार का उदाहरण जो दोनों स्थितियों में विफल रहता है <math>\textstyle\prod_{i=1}^nX_i</math>; परिवार <math>\textstyle\prod_{i=1}^n(X_i+1)</math> केवल दूसरी स्थिति में विफल रहता है।) n अनिश्चित में किसी भी सममित बहुपद का उपयोग सममित बहुपदों के संगत परिवार के निर्माण के लिए किया जा सकता है, समरूपता ρ का उपयोग करके<sub>''i''</sub> for i < n अनिश्चित की संख्या कम करने के लिए, और φ<sub>''i''</sub> i ≥ n के लिए अनिश्चितताओं की संख्या बढ़ाने के लिए (जो पहले से मौजूद एकपदीयों से समरूपता द्वारा प्राप्त नए अनिश्चितकों में सभी एकपदीयों को जोड़ने के बराबर है)।
+प्राथमिक सममित फलन की परिभाषा के रूप में लिया जा सकता है यदि निर्धारक की संख्या अनंत है, या किसी भी परिमित संख्या में प्राथमिक सममित बहुपद की परिभाषा के रूप में। समान सममित फलन के लिए सममित बहुपदों को समरूपता ρ<sub>''n''</sub> के साथ संगत होना चाहिए (उनमें से कुछ को शून्य पर सेट करके अनिश्चितताओं की संख्या घटाकर प्राप्त की जाती है, जिससे शेष अनिश्चितताओं में किसी भी एकपद के गुणांक अपरिवर्तित रहें), और उनकी डिग्री बंधी रहनी चाहिए। (सममित बहुपदों के परिवार का उदाहरण जो दोनों स्थितियों में विफल रहता है <math>\textstyle\prod_{i=1}^nX_i</math>; परिवार <math>\textstyle\prod_{i=1}^n(X_i+1)</math> केवल दूसरी स्थिति में विफल रहता है।) n निर्धारक में किसी भी सममित बहुपद का उपयोग सममित बहुपदों के संगत परिवार के निर्माण के लिए किया जा सकता है, समरूपता का उपयोग करके ρ<sub>''i''</sub> i < n निर्धारक की संख्या कम करने के लिए, और φ<sub>''i''</sub> i ≥ n के लिए अनिश्चितताओं की संख्या बढ़ाने के लिए (जो पहले से उपस्तिथ एकपदीयों से समरूपता द्वारा प्राप्त नए अनिश्चितकों में सभी एकपदीयों को जोड़ने के बराबर है)।
-निम्नलिखित सममित कार्यों के मूलभूत उदाहरण हैं।
+निम्नलिखित सममित फलन के मूलभूत उदाहरण हैं।
-* 'एकपद सिमेट्रिक फ़ंक्शंस' एम<sub>α</sub>. मान लीजिए = (ए<sub>1</sub>,ए<sub>2</sub>,...) गैर-ऋणात्मक पूर्णांकों का अनुक्रम है, जिनमें से केवल बहुत से गैर-शून्य हैं। तब हम α: X द्वारा परिभाषित एकपद पर विचार कर सकते हैं<sup>α</sup> = एक्स<sub>1</sub><sup>α<sub>1</sub></sup>एक्स<sub>2</sub><sup>α<sub>2</sub></sup>एक्स<sub>3</sub><sup>α<sub>3</sub></sup>.... फिर म<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>
-:यह सममित कार्य एकपद सममित बहुपद एम से मेल खाता है<sub>α</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''</sub>) किसी भी बड़े n के लिए एकपदी X रखने के लिए पर्याप्त है<sup>α</sup>. अलग-अलग एकपद सममित कार्यों को [[पूर्णांक विभाजन]] द्वारा पैरामीट्रिज किया जाता है (प्रत्येक मी<sub>α</sub> अद्वितीय प्रतिनिधि एकपदी X है<sup>λ</sup> भागों के साथ λ<sub>''i''</sub> कमजोर घटते क्रम में)। चूंकि किसी भी सममित समारोह में कुछ एम के एकपद सम्मलित हैं<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> का आधार बनाते हैं आर-[[मॉड्यूल (गणित)]] के रूप में।
-* 'प्राथमिक सममित कार्य' ई<sub>''k''</sub>, किसी प्राकृत संख्या k के लिए; के पास ई है<sub>''k''</sub>= मी<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 विशिष्ट अनिश्चित के सभी विशिष्ट उत्पादों का योग है। यह सममित कार्य प्राथमिक सममित बहुपद ई से मेल खाता है<sub>''k''</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''</sub>) किसी भी n ≥ k के लिए।
+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 के लिए; के पास पी है<sub>''k''</sub>= मी<sub>(''k'')</sub>, एकपदी X के लिए एकपदी सममित फलन<sub>1</sub><sup>क</सुप>. यह सममित कार्य शक्ति योग सममित बहुपद p से मेल खाता है<sub>''k''</sub>(एक्स<sub>1</sub>,...,एक्स<sub>''n''</sub>) = एक्स<sub>1</sub><sup>कश्मीर</sup> + ... + एक्स<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>'' से मेल खाता है