शूर बहुपद

"S-polynomial" redirects here. For the polynomials used in computing Gröbner bases, see Gröbner basis § S-polynomial.

गणित में, शूर बहुपद, जिसका नाम ईसाई स्कूर के नाम पर रखा गया है, n चरों में कुछ सममित बहुपद हैं, जो पूर्णांक विभाजनों द्वारा अनुक्रमित हैं, जो प्राथमिक सममित बहुपदों और पूर्ण सजातीय सममित बहुपदों का सामान्यीकरण करते हैं। प्रतिनिधित्व सिद्धांत में वे सामान्य रेखीय समूहों के बहुपद अलघुकरणीय अभ्यावेदन के पात्र हैं। शूर बहुपद सभी सममित बहुपदों के स्थान के लिए एक आधार (रैखिक बीजगणित) बनाते हैं। शूर बहुपदों के किसी भी गुणनफल को शूर बहुपदों के रैखिक संयोजन के रूप में गैर-ऋणात्मक समाकल गुणांकों के साथ लिखा जा सकता है; इन गुणांकों के मूल्यों को लिटिलवुड-रिचर्डसन नियम द्वारा संयुक्त रूप से दिया गया है। अधिक सामान्यतः, स्कू शूर बहुपद विभाजन के जोड़े से जुड़े होते हैं और शूर बहुपदों के समान गुण होते हैं।

परिभाषा (जैकोबी का द्विवार्षिक सूत्र)

शूर बहुपदों को पूर्णांक विभाजनों द्वारा अनुक्रमित किया जाता है। एक विभाजन λ = (λ₁, λ₂, …,λ_n) दिया गया, जहाँ λ₁ ≥ λ₂ ≥ … ≥ λ_n, और प्रत्येक λ_j एक गैर-नकारात्मक पूर्णांक है, निम्न कार्य करता है

$$a_{(\lambda _{1}+n-1,\lambda _{2}+n-2,\dots ,\lambda _{n})}(x_{1},x_{2},\dots ,x_{n})=\det \left[{\begin{matrix}x_{1}^{\lambda _{1}+n-1}&x_{2}^{\lambda _{1}+n-1}&\dots &x_{n}^{\lambda _{1}+n-1}\\x_{1}^{\lambda _{2}+n-2}&x_{2}^{\lambda _{2}+n-2}&\dots &x_{n}^{\lambda _{2}+n-2}\\\vdots &\vdots &\ddots &\vdots \\x_{1}^{\lambda _{n}}&x_{2}^{\lambda _{n}}&\dots &x_{n}^{\lambda _{n}}\end{matrix}}\right]$$

निर्धारक के गुणों द्वारा बहुपदों को वैकल्पिक कर रहे हैं। एक बहुपद वैकल्पिक है यदि यह चर के किसी भी स्थानान्तरण (गणित) के तहत संकेत बदलता है।

चूंकि वे वैकल्पिक हैं, वे सभी वांडरमोंडे निर्धारक द्वारा विभाज्य हैं

$$a_{(n-1,n-2,\dots ,0)}(x_{1},x_{2},\dots ,x_{n})=\det \left[{\begin{matrix}x_{1}^{n-1}&x_{2}^{n-1}&\dots &x_{n}^{n-1}\\x_{1}^{n-2}&x_{2}^{n-2}&\dots &x_{n}^{n-2}\\\vdots &\vdots &\ddots &\vdots \\1&1&\dots &1\end{matrix}}\right]=\prod _{1\leq j<k\leq n}(x_{j}-x_{k}).$$

शूर बहुपदों को अनुपात के रूप में परिभाषित किया गया है

$$s_{\lambda }(x_{1},x_{2},\dots ,x_{n})={\frac {a_{(\lambda _{1}+n-1,\lambda _{2}+n-2,\dots ,\lambda _{n}+0)}(x_{1},x_{2},\dots ,x_{n})}{a_{(n-1,n-2,\dots ,0)}(x_{1},x_{2},\dots ,x_{n})}}.$$

इसे जैकोबी के द्विअर्थी सूत्र के रूप में जाना जाता है। यह वेइल वर्ण सूत्र की एक विशेष स्तिथि है।

यह एक सममित कार्य है क्योंकि अंश और भाजक दोनों वैकल्पिक हैं, और एक बहुपद है क्योंकि सभी वैकल्पिक बहुपद वैंडरमोंड निर्धारक द्वारा विभाज्य हैं।

गुण

श्रेणी d शूर बहुपद में n चर सजातीय घात d के स्थान के लिए सममित बहुपद n चर एक रेखीय आधार हैं। एक विभाजन λ = (λ₁, λ₂, ..., λ_n) के लिए, शूर बहुपद एकपदी का योग निम्न है,

$s_{\lambda }(x_{1},x_{2},\ldots ,x_{n})=\sum _{T}x^{T}=\sum _{T}x_{1}^{t_{1}}\cdots x_{n}^{t_{n}}$

जहां योग सभी अर्धमानक युवा झांकी पर T का आकार λ है। प्रतिपादक t₁, ..., t_n T का भार देता है, दूसरे शब्दों में प्रत्येक t_i संख्या की घटनाओं की गणना i में T करता है। यह लिंडस्ट्रॉम-गेसेल-वियनॉट लेम्मा (जैसा कि उस पृष्ठ पर उल्लिखित है) का उपयोग करके पहले गियाम्बेली सूत्र की परिभाषा के बराबर दिखाया जा सकता है।

शूर बहुपदों को एकपद सममित बहुपद m_μ के रैखिक संयोजनों के रूप में व्यक्त किया जा सकता है, गैर-नकारात्मक पूर्णांक गुणांक K_λμ के साथ निम्न संख्या घन कहा जाता है,

$s_{\lambda }=\sum _{\mu }K_{\lambda \mu }m_{\mu }.\$

कोस्तका संख्या K_λμ आकार λ और वजन μ के अर्ध-मानक युवा झांकी की संख्या द्वारा दिए गए हैं।

जैकोबी-ट्रुडी सर्वसमिका

पहला जैकोबी-ट्रूडी सूत्र शूर बहुपद को पूर्ण सजातीय सममित बहुपदों के संदर्भ में एक निर्धारक के रूप में व्यक्त करता है,

$s_{\lambda }=\det(h_{\lambda _{i}+j-i})_{i,j=1}^{l(\lambda )}=\det \left[{\begin{matrix}h_{\lambda _{1}}&h_{\lambda _{1}+1}&\dots &h_{\lambda _{1}+n-1}\\h_{\lambda _{2}-1}&h_{\lambda _{2}}&\dots &h_{\lambda _{2}+n-2}\\\vdots &\vdots &\ddots &\vdots \\h_{\lambda _{n}-n+1}&h_{\lambda _{n}-n+2}&\dots &h_{\lambda _{n}}\end{matrix}}\right],$

जहाँ h_i := s_(i).

दूसरा जैकोबी-ट्रुडी सूत्र शूर बहुपद को प्रारंभिक सममित बहुपदों के संदर्भ में एक निर्धारक के रूप में व्यक्त करता है,

$s_{\lambda }=\det(e_{\lambda '_{i}+j-i})_{i,j=1}^{l(\lambda ')}=\det \left[{\begin{matrix}e_{\lambda '_{1}}&e_{\lambda '_{1}+1}&\dots &e_{\lambda '_{1}+l-1}\\e_{\lambda '_{2}-1}&e_{\lambda '_{2}}&\dots &e_{\lambda '_{2}+l-2}\\\vdots &\vdots &\ddots &\vdots \\e_{\lambda '_{l}-l+1}&e_{\lambda '_{l}-l+2}&\dots &e_{\lambda '_{l}}\end{matrix}}\right],$

जहाँ e_i := s_(1ⁱ) और λ' λ के संयुग्मी विभाजन है .

दोनों सर्वसमिकाओं में, नकारात्मक पादांक वाले कार्यों को शून्य के रूप में परिभाषित किया गया है।

गियाम्बेली सर्वसमिका

एक अन्य निर्धारक सर्वसमिका गियाम्बेली का सूत्र है, जो नवोदित आरेख के भीतर निहित हुक विभाजनों के संदर्भ में मनमाने ढंग से विभाजन के लिए शूर फलन को व्यक्त करता है। फ्रोबेनियस के अंकन में, विभाजन को निरूपित किया गया है

$(a_{1},\ldots ,a_{r}\mid b_{1},\ldots ,b_{r})$

जहां, स्थिति में प्रत्येक विकर्ण तत्व के लिए ii, a_i एक ही पंक्ति में दाईं ओर बक्सों की संख्या को दर्शाता है और b_i एक ही पंक्ति (क्रमशः हाथ और पैर की लंबाई) में इसके नीचे के बक्सों की संख्या को दर्शाता है।

'गियाम्बेली सर्वसमिका' निर्धारक के रूप में इस विभाजन के अनुरूप शूर फलन को व्यक्त करता है

$s_{(a_{1},\ldots ,a_{r}\mid b_{1},\ldots ,b_{r})}=\det(s_{(a_{i}\mid b_{j})})$

उनमें से हुक विभाजन के लिए व्यक्त करता है।

कॉची सर्वसमिका

शूर कार्यों के लिए कॉची सर्वसमिका (अब असीम रूप से कई चर में), और इसकी दोहरी स्थिति निम्न है

$\sum _{\lambda }s_{\lambda }(x)s_{\lambda }(y)=\sum _{\lambda }m_{\lambda }(x)h_{\lambda }(y)=\prod _{i,j}(1-x_{i}y_{j})^{-1},$

और

$\sum _{\lambda }s_{\lambda }(x)s_{\lambda '}(y)=\sum _{\lambda }m_{\lambda }(x)e_{\lambda }(y)=\prod _{i,j}(1+x_{i}y_{j}),$

जहां सभी विभाजन λ पर योग लिया जाता है, और $h_{\lambda }(x)$, $e_{\lambda }(x)$ क्रमशः पूर्ण सममित कार्यों और प्राथमिक सममित कार्यों को निरूपित करता है। यदि शूर बहुपदों के उत्पादों पर $n$ चर $(x_{1},\dots ,x_{n})$योग लिया जाता है, योग में केवल लंबाई $\ell (\lambda )\leq n$ के विभाजन सम्मिलित हैं अन्यथा शूर बहुपद गायब हो जाते हैं।

सममित कार्यों के अन्य परिवारों के लिए इन सर्वसमिकाों के कई सामान्यीकरण हैं। उदाहरण के लिए, मैकडोनाल्ड बहुपद, शुबर्ट बहुपद और ग्रोथेंडिक बहुपद कॉची जैसी सर्वसमिका स्वीकार करते हैं।

आगे की सर्वसमिका

शूर बहुपद की गणना हॉल-लिटिलवुड बहुपद के लिए सूत्र की विशेषज्ञता के माध्यम से भी की जा सकती है,

$s_{\lambda }(x_{1},\dotsc ,x_{n})=\sum _{w\in S_{n}/S_{n}^{\lambda }}w\left(x^{\lambda }\prod _{\lambda _{i}>\lambda _{j}}{\frac {x_{i}}{x_{i}-x_{j}}}\right)$

जहाँ $S_{n}^{\lambda }$ क्रमपरिवर्तन का उपसमूह है जैसे कि $\lambda _{w(i)}=\lambda _{i}$ सभी के लिए i, और w सूचकांकों की अनुमति देकर चर पर कार्य करता है।

मुरनाघन-नाकायमा नियम

मर्नाघन-नाकायामा नियम शूर बहुपद के संदर्भ में एक शूर बहुपद के साथ एक शक्ति-योग सममित समारोह का एक उत्पाद व्यक्त करता है:

$p_{r}\cdot s_{\lambda }=\sum _{\mu }(-1)^{ht(\mu /\lambda )+1}s_{\mu }$

जहां योग सभी विभाजन μ पर है जैसे कि μ/λ आकार r का रिम-हुक है और ht(μ/λ) आरेख μ/λ में पंक्तियों की संख्या है।

लिटिलवुड-रिचर्डसन नियम और पियरी का सूत्र

लिटिलवुड-रिचर्डसन गुणांक तीन पूर्णांक विभाजनों पर निर्भर करते हैं, कहते हैं $\lambda ,\mu ,\nu$, जिसका कि $\lambda$ और $\mu$ गुणा किए जा रहे शूर कार्यों का वर्णन करें, और $\nu$ शूर फलन देता है जिसका यह रैखिक संयोजन में गुणांक है; दूसरे शब्दों में वे गुणांक हैं $c_{\lambda ,\mu }^{\nu }$ ऐसा है कि

$s_{\lambda }s_{\mu }=\sum _{\nu }c_{\lambda ,\mu }^{\nu }s_{\nu }.$

लिटिलवुड-रिचर्डसन नियम कहता है कि $c_{\lambda ,\mu }^{\nu }$ तिरछी झांकी की लिटिलवुड-रिचर्डसन झांकी की संख्या $\nu /\lambda$ और वजन का $\mu$ के बराबर है।

पियरी का सूत्र लिटिलवुड-रिचर्डसन नियम की एक विशेष स्तिथि है, जो शूर बहुपदों के संदर्भ में उत्पाद $h_{r}s_{\lambda }$ को व्यक्त करता है। दोहरा संस्करण शूर बहुपद $e_{r}s_{\lambda }$ के संदर्भ में व्यक्त करता है।

विशेषज्ञता

शूर बहुपद का मूल्यांकन s_λ में (1, 1, ..., 1) आकार की अर्ध-मानक युवा झाँकी की संख्या λ में प्रविष्टियों के साथ 1, 2, ..., n देता है।

उदाहरण के लिए, वेइल वर्ण सूत्र का उपयोग करके

$$s_{\lambda }(1,1,\dots ,1)=\prod _{1\leq i<j\leq n}{\frac {\lambda _{i}-\lambda _{j}+j-i}{j-i}}.$$

इस सूत्र में, λ, यंग डायग्राम की प्रत्येक पंक्ति की चौड़ाई को इंगित करने वाला टपल, शून्य के साथ तब तक विस्तारित होता है जब तक कि इसकी लंबाई n न हो। λ_i तत्वों का योग d है। हुक लंबाई सूत्र भी देखें जो निश्चित λ के लिए समान मात्रा की गणना करता है।

उदाहरण

निम्नलिखित विस्तारित उदाहरण से इन विचारों को स्पष्ट करने में मदद मिलेगी। स्थिति n = 3, d = 4 पर विचार करें। फेरर्स आरेखों या किसी अन्य विधि का उपयोग करके, हम पाते हैं कि अधिकतम तीन भागों में 4 के केवल चार विभाजन हैं। अपने पास

$s_{(2,1,1)}(x_{1},x_{2},x_{3})={\frac {1}{\Delta }}\;\det \left[{\begin{matrix}x_{1}^{4}&x_{2}^{4}&x_{3}^{4}\\x_{1}^{2}&x_{2}^{2}&x_{3}^{2}\\x_{1}&x_{2}&x_{3}\end{matrix}}\right]=x_{1}\,x_{2}\,x_{3}\,(x_{1}+x_{2}+x_{3})$

$s_{(2,2,0)}(x_{1},x_{2},x_{3})={\frac {1}{\Delta }}\;\det \left[{\begin{matrix}x_{1}^{4}&x_{2}^{4}&x_{3}^{4}\\x_{1}^{3}&x_{2}^{3}&x_{3}^{3}\\1&1&1\end{matrix}}\right]=x_{1}^{2}\,x_{2}^{2}+x_{1}^{2}\,x_{3}^{2}+x_{2}^{2}\,x_{3}^{2}+x_{1}^{2}\,x_{2}\,x_{3}+x_{1}\,x_{2}^{2}\,x_{3}+x_{1}\,x_{2}\,x_{3}^{2}$

और इतने पर, जहाँ $\Delta$ वैंडरमोंड निर्धारक $a_{(2,1,0)}(x_{1},x_{2},x_{3})$ है। संक्षेप:

1. $s_{(2,1,1)}=e_{1}\,e_{3}$
2. $s_{(2,2,0)}=e_{2}^{2}-e_{1}\,e_{3}$
3. $s_{(3,1,0)}=e_{1}^{2}\,e_{2}-e_{2}^{2}-e_{1}\,e_{3}$
4. $s_{(4,0,0)}=e_{1}^{4}-3\,e_{1}^{2}\,e_{2}+2\,e_{1}\,e_{3}+e_{2}^{2}.$

प्रत्येक सजातीय घात-तीन चर में चार सममित बहुपद इन चार शूर बहुपदों के एक अद्वितीय रैखिक संयोजन के रूप में व्यक्त किए जा सकते हैं, और इस संयोजन को एक उचित उन्मूलन क्रम के लिए ग्रोबनेर आधार का उपयोग करके फिर से पाया जा सकता है। उदाहरण के लिए,

$\phi (x_{1},x_{2},x_{3})=x_{1}^{4}+x_{2}^{4}+x_{3}^{4}$

स्पष्ट रूप से एक सममित बहुपद है जो घात चार का सजातीय है, और हमारे पास है

$\phi =s_{(2,1,1)}-s_{(3,1,0)}+s_{(4,0,0)}.\,\!$

प्रतिनिधित्व सिद्धांत से संबंध

शूर बहुपद सममित समूहों, सामान्य रैखिक समूहों और एकात्मक समूहों के प्रतिनिधित्व सिद्धांत में पाए जाते हैं। वेइल चरित्र सूत्र का अर्थ है कि शूर बहुपद सामान्य रैखिक समूहों के परिमित-आयामी अलघुकरणीय प्रतिनिधित्व के वर्ण हैं, और शूर के काम को अन्य सघन और अर्धसूत्रीय झूठ समूहों में सामान्य बनाने में मदद करता है।

इस संबंध के लिए कई अभिव्यक्तियाँ उत्पन्न होती हैं, जिनमें से एक सबसे महत्वपूर्ण शूर कार्यों का विस्तार है_λ सममित शक्ति कार्यों के संदर्भ में $p_{k}=\sum _{i}x_{i}^{k}$. अगर हम χ लिखते हैं^λ
_ρ विभाजन λ द्वारा अनुक्रमित सममित समूह के प्रतिनिधित्व के चरित्र के लिए विभाजन ρ द्वारा अनुक्रमित चक्र प्रकार के तत्वों पर मूल्यांकन किया गया, फिर

$s_{\lambda }=\sum _{\nu }{\frac {\chi _{\nu }^{\lambda }}{z_{\nu }}}p_{\nu }=\sum _{\rho =(1^{r_{1}},2^{r_{2}},3^{r_{3}},\dots )}\chi _{\rho }^{\lambda }\prod _{k}{\frac {p_{k}^{r_{k}}}{r_{k}!k^{r_{k}}}},$

जहां ρ = (1^{r₁</सुप>, 2r₂</सुप>, 3r₃, ...) का अर्थ है कि विभाजन ρ में r है_k लंबाई के हिस्से k।}

इसका एक प्रमाण आर. स्टेनली के एन्युमरेटिव कॉम्बिनेटरिक्स वॉल्यूम 2, कोरोलरी 7.17.5 में पाया जा सकता है।

पूर्णांक χ^λ
_ρ मुर्नाघन-नाकायमा नियम का उपयोग करके गणना की जा सकती है।

शूर सकारात्मकता

प्रतिनिधित्व सिद्धांत के साथ संबंध के कारण, एक सममित कार्य जो शूर कार्यों में सकारात्मक रूप से फैलता है, के होते हैं विशेष रुचि। उदाहरण के लिए, तिरछा शूर कार्य सामान्य शूर कार्यों में सकारात्मक रूप से विस्तारित होता है, और गुणांक लिटिलवुड-रिचर्डसन गुणांक हैं।

इसका एक विशेष मामला पूर्ण सजातीय सममित कार्यों का विस्तार है_λ शूर कार्यों में। यह अपघटन दर्शाता है कि कैसे एक क्रमचय मॉड्यूल अप्रासंगिक अभ्यावेदन में विघटित हो जाता है।

शुर सकारात्मकता सिद्ध करने की विधियाँ

किसी दिए गए सममित समारोह एफ की शूर सकारात्मकता साबित करने के लिए कई दृष्टिकोण हैं। यदि एफ को संयोजन तरीके से वर्णित किया गया है, तो अर्ध-मानक युवा झांकी के साथ एक आक्षेप का उत्पादन करने के लिए एक सीधा दृष्टिकोण है। एडेलमैन-ग्रीन पत्राचार और रॉबिन्सन-शेंस्टेड-नुथ पत्राचार ऐसे पूर्वाग्रहों के उदाहरण हैं।

अधिक संरचना वाला एक आक्षेप तथाकथित क्रिस्टल_बेस का उपयोग करके एक प्रमाण है। इस पद्धति को अंतर्निहित संयोजी वस्तुओं पर स्थानीय नियमों के साथ वर्णित एक निश्चित ग्राफ संरचना को परिभाषित करने के रूप में वर्णित किया जा सकता है।

इसी तरह का विचार द्वैत तुल्यता की धारणा है। यह दृष्टिकोण एक ग्राफ़ संरचना का भी उपयोग करता है, लेकिन मूलभूत क्वासिमेट्रिक आधार में विस्तार का प्रतिनिधित्व करने वाली वस्तुओं पर। यह आरएसके-पत्राचार से निकटता से संबंधित है।

सामान्यीकरण

तिरछा शूर कार्य

तिरछा शूर कार्य करता है_λ/μ दो विभाजन λ और μ पर निर्भर करता है, और संपत्ति द्वारा परिभाषित किया जा सकता है

$\langle s_{\lambda /\mu },s_{\nu }\rangle =\langle s_{\lambda },s_{\mu }s_{\nu }\rangle .$

यहां, आंतरिक उत्पाद हॉल आंतरिक उत्पाद है, जिसके लिए शूर बहुपद एक ऑर्थोनॉर्मल आधार बनाते हैं।

साधारण शूर बहुपदों के समान, इनकी गणना करने के कई तरीके हैं। संबंधित जैकोबी-ट्रुडी सर्वसमिका हैं

$s_{\lambda /\mu }=\det(h_{\lambda _{i}-\mu _{j}-i+j})_{i,j=1}^{l(\lambda )}$

$s_{\lambda '/\mu '}=\det(e_{\lambda _{i}-\mu _{j}-i+j})_{i,j=1}^{l(\lambda )}$

तिरछा शूर बहुपदों की एक मिश्रित व्याख्या भी है, अर्थात् यह तिरछी आकृति के सभी अर्ध-मानक युवा झांकी (या स्तंभ-सख्त झांकी) का योग है $\lambda /\mu$.

तिरछा शूर बहुपद शूर बहुपद में सकारात्मक रूप से फैलता है। गुणांक के लिए एक नियम है लिटिलवुड-रिचर्डसन नियम द्वारा दिया गया।

डबल शूर बहुपद

डबल शूर बहुपद स्थानांतरित शूर बहुपदों के सामान्यीकरण के रूप में देखा जा सकता है। ये बहुपद भी फैक्टोरियल शूर बहुपदों से निकटता से संबंधित हैं। एक विभाजन दिया λ, और एक क्रम a₁, a₂,… कोई दोहरे शूर बहुपद को परिभाषित कर सकता है s_λ(x || a) जैसा

$$s_{\lambda }(x||a)=\sum _{T}\prod _{\alpha \in \lambda }(x_{T(\alpha )}-a_{T(\alpha )-c(\alpha )})$$

जहां योग सभी अर्ध-मानक युवा झांकी के ऊपर ले जाया जाता है T आकार का λ, और पूर्णांक प्रविष्टियाँ में 1, …, n. यहाँ T(α) बॉक्स में मान को दर्शाता है α में T और c(α) बॉक्स की सामग्री है।

लिटिलवुड-रिचर्डसन गुणांक (अनुक्रम ए के आधार पर) के लिए एक संयोजी नियम एआई मोलेव द्वारा दिया गया था।विशेष रूप से, इसका तात्पर्य है कि शिफ्ट किए गए शूर बहुपदों में गैर-नकारात्मक लिटलवुड-रिचर्डसन गुणांक हैं।

स्थानांतरित शूर बहुपद s^*_λ(y) विशेषज्ञता द्वारा डबल शूर बहुपद से प्राप्त किया जा सकता है a_i = −i और y_i = x_i + i.

डबल शूर बहुपद दोहरे शुबर्ट बहुपद के विशेष मामले हैं।

क्रमगुणित शूर बहुपद

फैक्टोरियल शूर बहुपदों को निम्नानुसार परिभाषित किया जा सकता है। एक विभाजन λ दिया गया है, और एक दोगुना अनंत अनुक्रम …, ए₋₁, ए₀, ए₁, … कोई फैक्टोरियल शूर बहुपद एस को परिभाषित कर सकता है_λ(एक्स | ए) के रूप में

$$s_{\lambda }(x|a)=\sum _{T}\prod _{\alpha \in \lambda }(x_{T(\alpha )}-a_{T(\alpha )+c(\alpha )})$$

जहां आकार λ, और पूर्णांक प्रविष्टियों के सभी अर्ध-मानक युवा टेबलॉक्स टी पर योग लिया जाता है 1 में, …, एन। यहाँ T(α) बॉक्स α में T के मान को दर्शाता है और c(α) सामग्री है बॉक्स का।

एक निर्धारक सूत्र भी है,

$$s_{\lambda }(x|a)={\frac {\det[(x_{j}|a)^{\lambda _{i}+n-i}]_{i,j=1}^{l(\lambda )}}{\prod _{i<j}(x_{i}-x_{j})}}$$

कहाँ (वाई|ए)^{के </सुप> = (वाई - ए₁) ... (वाई - ए_k). यह स्पष्ट है कि अगर हम जाने देते हैं a_i = 0 मैं सभी के लिए, हम सामान्य शूर बहुपद एस पुनर्प्राप्त करते हैं_λ.}

n वेरिएबल्स में डबल शूर बहुपद और फैक्टोरियल शूर बहुपद सर्वसमिका के माध्यम से संबंधित हैं एस_λ(x||ए) = एस_λ(एक्स | यू) जहां ए_n−i+1 = यू_i.

अन्य सामान्यीकरण

शूर बहुपदों के कई सामान्यीकरण हैं:

• हॉल-लिटिलवुड बहुपद
• स्थानांतरित शूर बहुपद
• ध्वजांकित शूर बहुपद
• शुबर्ट बहुपद
• स्टेनली सममित कार्य (स्थिर शुबर्ट बहुपद के रूप में भी जाना जाता है)
• प्रमुख बहुपद (जिन्हें Demazure वर्णों के रूप में भी जाना जाता है)
• अर्ध-सममित शूर बहुपद
• पंक्ति-सख्त शूर बहुपद
• जैक बहुपद
• मॉड्यूलर शूर बहुपद
• लूप शूर कार्य करता है
• मैकडोनाल्ड बहुपद
• सहानुभूतिपूर्ण और ऑर्थोगोनल समूह के लिए शूर बहुपद।
• के-शूर कार्य करता है
• ग्रोथेंडिक बहुपद (के-सिद्धांत| शूर बहुपदों का के-सैद्धांतिक अनुरूप)
• एलएलटी बहुपद

यह भी देखें

• मैं काम कर रहा हूं
• लिटिलवुड-रिचर्डसन नियम, जहां शूर बहुपदों से जुड़ी कुछ सर्वसमिकाएं मिलती हैं।

संदर्भ

• Macdonald, I. G. (1995). Symmetric functions and Hall polynomials. Oxford Mathematical Monographs (2nd ed.). Oxford University Press. ISBN 978-0-19-853489-1. MR 1354144.
• Sagan, Bruce E. (2001) [1994], "Schur functions in algebraic combinatorics", Encyclopedia of Mathematics, EMS Press
• Sturmfels, Bernd (1993). Algorithms in Invariant Theory. Springer. ISBN 978-0-387-82445-1.
• Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (in British English). Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.