सममित समूह का प्रतिनिधित्व सिद्धांत: Difference between revisions
(Created page with "{{more footnotes|date=April 2014}} गणित में, सममित समूह का प्रतिनिधित्व सिद्धांत परिमित...") |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, सममित समूह का निरूपण सिद्धांत परिमित समूहों के निरूपण सिद्धांत का एक विशेष स्थिति है, जिसके लिए एक ठोस और विस्तृत सिद्धांत प्राप्त किया जा सकता है। इसमें सममित कार्य सिद्धांत से परमाणुओं, अणुओं और ठोस पदार्थों के क्वांटम रसायन अध्ययन तक संभावित अनुप्रयोगों का एक बड़ा क्षेत्र है।<ref>Philip R. Bunker and Per Jensen (1998) | |||
गणित में, सममित समूह का | |||
''Molecular Symmetry and Spectroscopy'', 2nd ed. NRC Research Press,Ottawa | ''Molecular Symmetry and Spectroscopy'', 2nd ed. NRC Research Press,Ottawa | ||
[https://volumesdirect.com/products/molecular-symmetry-and-spectroscopy?_pos=1&_sid=ed0cc0319&_ss=r] | [https://volumesdirect.com/products/molecular-symmetry-and-spectroscopy?_pos=1&_sid=ed0cc0319&_ss=r] | ||
pp.198-202.{{ISBN|9780660196282}}</ref><ref>R.Pauncz (1995) ''The Symmetric Group in Quantum Chemistry'', | pp.198-202.{{ISBN|9780660196282}}</ref><ref>R.Pauncz (1995) ''The Symmetric Group in Quantum Chemistry'', | ||
CRC Press, Boca Raton, Florida </ref> | CRC Press, Boca Raton, Florida </ref> | ||
सममित समूह S<sub>''n''</sub> का क्रम n! है। इसके संयुग्मन वर्गों को n के विभाजन द्वारा लेबल किया जाता है। इसलिए एक परिमित समूह के निरूपण सिद्धांत के अनुसार, सम्मिश्र संख्याओं के ऊपर असमान अखंडनीय निरूपण की संख्या n के विभाजन की संख्या के समतुल्य है। परिमित समूहों के लिए सामान्य स्थिति के विपरीत, वास्तव में समान समुच्चय द्वारा असमान अखंडनीय निरूपण को पैरामीट्रिज करने का एक प्राकृतिक तरीका है , अर्थात् n के विभाजन या आकार n के समकक्ष यंग आरेखों द्वारा जो संयुग्मन वर्गों को पैरामीट्रिज करता है | |||
प्रत्येक | इस तरह के प्रत्येक अखंडनीय निरूपण को वास्तव में पूर्णांकों पर सिद्ध किया जा सकता है (प्रत्येक क्रमपरिवर्तन पूर्णांक गुणांक वाले आव्यूह द्वारा कार्य करता है); यंग आरेख द्वारा दिए गए आकार के यंग सारणी द्वारा उत्पन्न समष्टि पर कार्य करने वाले [[युवा समरूपता|यंग समरूपता]]ओं की गणना करके इसे स्पष्ट रूप से निर्मित किया जा सकता है। आयाम <math>d_\lambda</math> जो यंग आरेख <math>\lambda</math> से संबंधित [[हुक लंबाई सूत्र]] द्वारा दिया जाता है। | ||
प्रत्येक अखंडनीय निरूपण के लिए ρ हम एक अलघुकरणीय वर्ण, χ<sup>ρ</sup> को जोड़ सकते हैं। अतः χ<sup>ρ</sup>(π) की गणना करने के लिए जहां π एक क्रमचय है, कोई संयोजी मुर्नाघन-नाकायामा नियम का उपयोग कर सकता है।<sup><ref>Richard Stanley, ''Enumerative Combinatorics, Vol. 2''</ref> ध्यान दें कि χρ संयुग्मन वर्गों पर स्थिर है जो सभी क्रमपरिवर्तन σ के लिए χ<sup>ρ</sup>(π) = χ<sup>ρ</sup>(σ<sup>−1</sup>πσ) है। | |||
अन्य क्षेत्रों (गणित) की तुलना में स्थिति और अधिक सम्मिश्र हो सकती है। यदि क्षेत्र K की [[विशेषता (बीजगणित)]] शून्य के समतुल्य या n से अधिक है तो मस्के के प्रमेय द्वारा समूह वलय KS<sub>''n''</sub> अर्धसरल है। इन स्थिति में पूर्णांकों पर परिभाषित (यदि आवश्यक हो तो विशेषताओं को कम करने के बाद) अलघुकरणीय निरूपणों का पूर्ण समुच्चय देते हैं । | |||
हालाँकि, सममित समूह के अलघुकरणीय निरूपण यादृच्छिक विशेषता में ज्ञात नहीं हैं। इस संदर्भ में निरूपण के अतिरिक्त [[मॉड्यूल (गणित)|प्रतिरूपक (गणित)]] की भाषा का उपयोग करना अधिक सामान्य है। मापांक को कम करके पूर्णांकों पर परिभाषित एक अलघुकरणीय निरूपण से प्राप्त निरूपण सामान्य रूप से अप्रासंगिक नहीं होगा। इस तरह से बनाए गए प्रतिरूपक को स्पेक्ट मॉड्यूल कहा जाता है, और ऐसे प्रतिरूपक के अंदर हर अलघुकरणीय उत्पन्न होता है। अब बहुत कम अलघुकरणीय हैं, और हालांकि उन्हें वर्गीकृत किया जा सकता है लेकिन उन्हें बहुत कम समझा जाता है। उदाहरण के लिए, यहां तक कि उनके आयाम (वेक्टर समष्टि) भी सामान्य रूप से ज्ञात नहीं हैं। | |||
== निम्न-आयामी | यादृच्छिक क्षेत्र पर सममित समूह के लिए अलघुकरणीय प्रतिरूपक का निर्धारण व्यापक रूप से निरूपण सिद्धांत में सबसे महत्वपूर्ण खुली समस्याओं में से एक माना जाता है। | ||
== निम्न-आयामी निरूपण == | |||
=== सममित समूह === | === सममित समूह === | ||
सममित समूहों के निम्नतम-आयामी | सममित समूहों के निम्नतम-आयामी निरूपण को स्पष्ट रूप से और यादृच्छिक क्षेत्रों पर वर्णित किया जा सकता है,<ref>{{Citation | last1=Burnside | first1=William | author1-link=William Burnside | ||
| title=Theory of groups of finite order | publisher=[[Dover Publications]] | | title=Theory of groups of finite order | publisher=[[Dover Publications]] | ||
| location=New York |mr=0069818 | year=1955}}</ref><ref>{{Citation | last1=Rasala | first1=Richard | title=On the minimal degrees of characters of Sn | doi=10.1016/0021-8693(77)90366-0 |mr=0427445 | year=1977| journal=Journal of Algebra | issn=0021-8693 | volume=45 | issue=1 | pages=132–181 | | location=New York |mr=0069818 | year=1955}}</ref><ref>{{Citation | last1=Rasala | first1=Richard | title=On the minimal degrees of characters of Sn | doi=10.1016/0021-8693(77)90366-0 |mr=0427445 | year=1977| journal=Journal of Algebra | issn=0021-8693 | volume=45 | issue=1 | pages=132–181 | ||
| doi-access=free }}</ref> | | doi-access=free }}</ref>{{sfn|James|Kerber|1981}}{{pn|date=April 2022}} विशेषता शून्य में सबसे छोटी दो प्रकार यहाँ वर्णित हैं: | ||
प्रत्येक सममित समूह का एक आयामी | प्रत्येक सममित समूह का एक आयामी निरूपण होता है जिसे सामान्य निरूपण कहा जाता है, जहां प्रत्येक तत्व एक-एक सर्वसम आव्यूह के रूप में कार्य करता है। n ≥ 2 के लिए, क्रम 1 का एक और अलघुकरणीय निरूपण है, जिसे संकेत निरूपण या प्रत्यावर्ती अंक कहा जाता है, जो क्रमपरिवर्तन के संकेत के आधार पर प्रविष्टि ±1 के साथ एक आव्यूह द्वारा क्रमपरिवर्तन लेता है। ये सममित समूहों के केवल एक आयामी निरूपण हैं, क्योंकि एक आयामी निरूपण एबेलियन हैं, और सममित समूह का एबेलियनकरण C<sub>2</sub> क्रम 2 का चक्रीय समूह है। | ||
सभी n के लिए, क्रम n! के सममित समूह का एक n- | सभी n के लिए, क्रम n! के सममित समूह का एक n-आयामी निरूपण है, जिसे 'प्राकृतिक क्रमचय निरूपण' कहा जाता है, जिसमें ''n'' निर्देशांकों की स्वीकृति सम्मिलित है। इसमें सामान्य उपनिरूपण है जिसमें वैक्टर सम्मिलित हैं जिनके निर्देशांक सभी समान हैं। लंबकोणीय पूरक में वे वैक्टर होते हैं जिनके निर्देशांक शून्य और जब {{nowrap|''n'' ≥ 2}} होते हैं, इस उप-समष्टि पर निरूपण {{nowrap|(''n'' − 1)}}-आयामी अलघुकरणीय निरूपण, मानक निरूपण कहा जाता है। एक अन्य {{nowrap|(''n'' − 1)}}-आयामी अलघुकरणीय निरूपण चिह्न निरूपण के साथ प्रदिश द्वारा पाया जाता है। मानक निरूपण <math>\Lambda^k V</math> की एक बाहरी घात <math>V</math> अलघुकरणीय है, यदि <math>0\leq k\leq n-1</math> हो। {{harv|फुल्टन एंड हैरिस 2004}} | ||
के लिए {{nowrap|''n'' ≥ 7}}, ये एस के निम्नतम-आयामी अलघुकरणीय निरूपण हैं<sub>''n''</sub> - अन्य सभी अलघुकरणीय निरूपणों का आयाम कम से कम n है। हालांकि के लिए {{nowrap|1=''n'' = 4}}, एस से प्रक्षेपण<sub>4</sub> एस के लिए<sub>3</sub> एस की | के लिए {{nowrap|''n'' ≥ 7}}, ये एस के निम्नतम-आयामी अलघुकरणीय निरूपण हैं<sub>''n''</sub> - अन्य सभी अलघुकरणीय निरूपणों का आयाम कम से कम n है। हालांकि के लिए {{nowrap|1=''n'' = 4}}, एस से प्रक्षेपण<sub>4</sub> एस के लिए<sub>3</sub> एस की स्वीकृति देता है<sub>4</sub> एक द्वि-आयामी अलघुकरणीय निरूपण प्राप्त करने के लिए। के लिए {{nowrap|1=''n'' = 6}}, एस का असाधारण सकर्मक एम्बेडिंग<sub>5</sub> एस में<sub>6</sub> पांच आयामी अलघुकरणीय निरूपण की एक और जोड़ी पैदा करता है। | ||
{| class="wikitable" style="font-size:small; text-align:center;" | {| class="wikitable" style="font-size:small; text-align:center;" | ||
|- | |- | ||
! | ! <math>S_n</math> का अलघुकरणीय निरूपण | ||
! | ! आयाम | ||
! | ! <math>n</math> आकार का यंग आरेख | ||
|- | |- | ||
| | | सामान्य निरूपण | ||
| <math>1</math> | | <math>1</math> | ||
| <math>(n)</math> | | <math>(n)</math> | ||
|- | |- | ||
| | | संकेत निरूपण | ||
| <math>1</math> | | <math>1</math> | ||
| <math>(1^n)=(1,1,\dots,1)</math> | | <math>(1^n)=(1,1,\dots,1)</math> | ||
|- | |- | ||
| | | मानक निरूपण <math>V</math> | ||
| <math>n-1</math> | | <math>n-1</math> | ||
| <math>(n-1, 1)</math> | | <math>(n-1, 1)</math> | ||
|- | |- | ||
| | | बाहरी घात <math>\Lambda^k V</math> | ||
| <math>\binom{n-1}{k}</math> | | <math>\binom{n-1}{k}</math> | ||
| <math>(n-k, 1^k)</math> | | <math>(n-k, 1^k)</math> | ||
Line 58: | Line 55: | ||
=== | === प्रत्यावर्ती समूह === | ||
[[File:Compound of five tetrahedra.png|thumb|[[पाँच टेट्राहेड्रा का यौगिक]], जिस पर A<sub>5</sub> कार्य करता है, एक 3-आयामी | [[File:Compound of five tetrahedra.png|thumb|[[पाँच टेट्राहेड्रा का यौगिक]], जिस पर A<sub>5</sub> कार्य करता है, एक 3-आयामी निरूपण दे रहा है।]][[वैकल्पिक समूह|प्रत्यावर्ती समूह]]ों का निरूपण सिद्धांत समान है, हालांकि संकेत निरूपण गायब हो जाता है। के लिए {{nowrap|''n'' ≥ 7}}<nowiki>, निम्नतम-आयामी अलघुकरणीय निरूपण आयाम एक में सामान्य निरूपण हैं, और {{nowrap|(</nowiki>''n'' − 1)}क्रमचय निरूपण के अन्य योग से }-आयामी निरूपण, उच्च आयाम वाले अन्य सभी अलघुकरणीय प्रतिनिधित्वों के साथ, लेकिन छोटे n के लिए अपवाद हैं। | ||
के लिए | के लिए प्रत्यावर्ती समूह {{nowrap|''n'' ≥ 5}} में केवल एक आयामी अलघुकरणीय निरूपण है, सामान्य निरूपण। के लिए {{nowrap|1=''n'' = 3, 4}} ऑर्डर 3 के चक्रीय समूह के मानचित्रों के अनुरूप दो अतिरिक्त एक-आयामी अलघुकरणीय निरूपण हैं: {{nowrap|A<sub>3</sub> ≅ C<sub>3</sub>}} और {{nowrap|A<sub>4</sub> → A<sub>4</sub>/''V'' ≅ C<sub>3</sub>}}. | ||
* के लिए {{nowrap|''n'' ≥ 7}}, डिग्री का सिर्फ एक अलघुकरणीय | * के लिए {{nowrap|''n'' ≥ 7}}, डिग्री का सिर्फ एक अलघुकरणीय निरूपण है {{nowrap|''n'' − 1}}, और यह एक गैर-सामान्य अलघुकरणीय निरूपण की सबसे छोटी डिग्री है। | ||
* के लिए {{nowrap|1=''n'' = 3}} का स्पष्ट अनुरूप {{nowrap|(''n'' − 1)}}-आयामी | * के लिए {{nowrap|1=''n'' = 3}} का स्पष्ट अनुरूप {{nowrap|(''n'' − 1)}}-आयामी निरूपण कम हो जाता है - क्रमपरिवर्तन निरूपण नियमित निरूपण के साथ मेल खाता है, और इस प्रकार तीन एक-आयामी प्रतिनिधित्वों में टूट जाता है, जैसा कि {{nowrap|A<sub>3</sub> ≅ C<sub>3</sub>}} एबेलियन है; चक्रीय समूहों के निरूपण सिद्धांत के लिए [[असतत फूरियर रूपांतरण]] देखें। | ||
* के लिए {{nowrap|1=''n'' = 4}}, सिर्फ एक है {{nowrap|''n'' − 1}} अलघुकरणीय | * के लिए {{nowrap|1=''n'' = 4}}, सिर्फ एक है {{nowrap|''n'' − 1}} अलघुकरणीय निरूपण, लेकिन आयाम 1 के असाधारण अलघुकरणीय निरूपण हैं। | ||
* के लिए {{nowrap|1=''n'' = 5}}, [[आइकोसाहेड्रल समरूपता]] के रूप में इसकी क्रिया के अनुरूप, आयाम 3 के दो दोहरे अलघुकरणीय निरूपण हैं। | * के लिए {{nowrap|1=''n'' = 5}}, [[आइकोसाहेड्रल समरूपता]] के रूप में इसकी क्रिया के अनुरूप, आयाम 3 के दो दोहरे अलघुकरणीय निरूपण हैं। | ||
* के लिए {{nowrap|1=''n'' = 6}}, ए के असाधारण सकर्मक एम्बेडिंग के अनुरूप आयाम 5 का एक अतिरिक्त | * के लिए {{nowrap|1=''n'' = 6}}, ए के असाधारण सकर्मक एम्बेडिंग के अनुरूप आयाम 5 का एक अतिरिक्त अखंडनीय निरूपण है<sub>5</sub> में एक<sub>6</sub>. | ||
== | == निरूपण के टेंसर उत्पाद == | ||
=== क्रोनकर गुणांक === | === क्रोनकर गुणांक === | ||
के दो | के दो निरूपण के निरूपण का टेन्सर उत्पाद <math>S_n</math> यंग डायग्राम के अनुरूप <math>\lambda,\mu</math> के अलघुकरणीय निरूपण का संयोजन है <math>S_n</math>, | ||
:<math> | :<math> | ||
V_\lambda\otimes V_\mu \cong \sum_\nu C_{\lambda,\mu,\nu} V_\nu | V_\lambda\otimes V_\mu \cong \sum_\nu C_{\lambda,\mu,\nu} V_\nu | ||
</math> | </math> | ||
गुणांक <math>C_{\lambda\mu\nu}\in\mathbb{N}</math> सममित समूह के क्रोनेकर गुणांक कहलाते हैं। | गुणांक <math>C_{\lambda\mu\nu}\in\mathbb{N}</math> सममित समूह के क्रोनेकर गुणांक कहलाते हैं। | ||
उनकी गणना | उनकी गणना निरूपण के [[चरित्र सिद्धांत|अंक सिद्धांत]] से की जा सकती है {{harv|Fulton|Harris|2004}}: | ||
:<math> | :<math> | ||
C_{\lambda,\mu,\nu} = \sum_\rho \frac{1}{z_\rho} \chi_\lambda(C_\rho)\chi_\mu(C_\rho)\chi_\nu(C_\rho) | C_{\lambda,\mu,\nu} = \sum_\rho \frac{1}{z_\rho} \chi_\lambda(C_\rho)\chi_\mu(C_\rho)\chi_\nu(C_\rho) | ||
Line 121: | Line 118: | ||
=== कम क्रोनकर गुणांक === | === कम क्रोनकर गुणांक === | ||
के लिए <math>\lambda</math> एक | के लिए <math>\lambda</math> एक यंग आरेख और <math>n\geq \lambda_1</math>, <math>\lambda[n]=(n-|\lambda|,\lambda)</math> आकार का एक यंग आरेख है <math>n</math>. तब <math>C_{\lambda[n],\mu[n],\nu[n]}</math> का एक बंधा हुआ, गैर-घटता कार्य है <math>n</math>, और | ||
:<math> | :<math> | ||
\bar{C}_{\lambda,\mu,\nu} = \lim_{n\to\infty} C_{\lambda[n],\mu[n],\nu[n]} | \bar{C}_{\lambda,\mu,\nu} = \lim_{n\to\infty} C_{\lambda[n],\mu[n],\nu[n]} | ||
</math> | </math> | ||
एक कम क्रोनकर गुणांक कहा जाता है<ref name="bor09"/>या स्थिर क्रोनकर गुणांक।<ref name="as18"/>के मूल्य पर ज्ञात सीमाएँ हैं <math>n</math> कहाँ <math>C_{\lambda[n],\mu[n],\nu[n]}</math> अपनी सीमा तक पहुँचता है।<ref name="bor09"/>घटे हुए क्रोनकर गुणांकों के | एक कम क्रोनकर गुणांक कहा जाता है<ref name="bor09"/>या स्थिर क्रोनकर गुणांक।<ref name="as18"/>के मूल्य पर ज्ञात सीमाएँ हैं <math>n</math> कहाँ <math>C_{\lambda[n],\mu[n],\nu[n]}</math> अपनी सीमा तक पहुँचता है।<ref name="bor09"/>घटे हुए क्रोनकर गुणांकों के निरूपण की Deligne श्रेणियों के संरचना स्थिरांक हैं <math>S_n</math> साथ <math>n\in \mathbb{C}-\mathbb{N}</math>.<ref name="ent14"/> | ||
क्रोनकर गुणांकों के विपरीत, घटे हुए क्रोनकर गुणांकों को | क्रोनकर गुणांकों के विपरीत, घटे हुए क्रोनकर गुणांकों को यंग आरेखों के किसी भी ट्रिपल के लिए परिभाषित किया गया है, जरूरी नहीं कि समान आकार का हो। अगर <math>|\nu|=|\lambda|+|\mu|</math>, तब <math>\bar{C}_{\lambda,\mu,\nu}</math> [[लिटिलवुड-रिचर्डसन गुणांक]] के साथ मेल खाता है <math>c_{\lambda,\mu}^\nu</math>.<ref name="Dvir91"/>कम क्रोनकर गुणांकों को सममित कार्यों के स्थान में आधारों के परिवर्तन के माध्यम से लिटिलवुड-रिचर्डसन गुणांकों के रैखिक संयोजनों के रूप में लिखा जा सकता है, जो अभिव्यक्तियों को जन्म देते हैं जो स्पष्ट रूप से अभिन्न हैं, हालांकि प्रकट रूप से सकारात्मक नहीं हैं।<ref name="as18"/>घटे हुए क्रोनकर गुणांकों को क्रोनकर और लिटलवुड-रिचर्डसन गुणांकों के रूप में भी लिखा जा सकता है। <math>c^\lambda_{\alpha\beta\gamma}</math> लिटिलवुड के सूत्र के माध्यम से<ref name="lit58"/><ref name="oz17"/>:<math> | ||
\bar{C}_{\lambda,\mu,\nu} = \sum_{\lambda',\mu',\nu',\alpha,\beta,\gamma} C_{\lambda',\mu',\nu'} c^{\lambda}_{\lambda'\beta\gamma} c^{\mu}_{\mu'\alpha\gamma} c^\nu_{\nu'\alpha\beta} | \bar{C}_{\lambda,\mu,\nu} = \sum_{\lambda',\mu',\nu',\alpha,\beta,\gamma} C_{\lambda',\mu',\nu'} c^{\lambda}_{\lambda'\beta\gamma} c^{\mu}_{\mu'\alpha\gamma} c^\nu_{\nu'\alpha\beta} | ||
</math> | </math> | ||
Line 134: | Line 131: | ||
== | == सम्मिश्र निरूपण के आइगेनवेल्यू == | ||
एक तत्व दिया <math>w\in S_n</math> चक्र-प्रकार का <math>\mu=(\mu_1,\mu_2,\dots,\mu_k)</math> और आदेश <math>m=\text{lcm}(\mu_i)</math>, के eigenvalues <math>w</math> के एक | एक तत्व दिया <math>w\in S_n</math> चक्र-प्रकार का <math>\mu=(\mu_1,\mu_2,\dots,\mu_k)</math> और आदेश <math>m=\text{lcm}(\mu_i)</math>, के eigenvalues <math>w</math> के एक सम्मिश्र निरूपण में <math>S_n</math> प्रकार के हैं <math>\omega^{e_j}</math> साथ <math>\omega=e^{\frac{2\pi i}{m}}</math>, जहां पूर्णांक <math>e_j\in \frac{\mathbb{Z}}{m\mathbb{Z}}</math> के चक्रीय घातांक कहलाते हैं <math>w</math> निरूपण के संबंध में।<ref name="ste89"/> | ||
सममित समूह (और [[पुष्पांजलि उत्पाद]]ों) के चक्रीय प्रतिपादकों का एक संयोजी विवरण है। परिभाषित <math>\left(b_\mu(1),\dots,b_\mu(n)\right) = \left(\frac{m}{\mu_1},2\frac{m}{\mu_1},\dots, m, \frac{m}{\mu_2},2\frac{m}{\mu_2},\dots, m,\dots\right)</math>, होने दें <math>\mu</math>-इंडेक्स ऑफ ए यंग_टेबलाऊ#टेबलॉक्स के मानों का योग हो <math>b_\mu</math> | सममित समूह (और [[पुष्पांजलि उत्पाद]]ों) के चक्रीय प्रतिपादकों का एक संयोजी विवरण है। परिभाषित <math>\left(b_\mu(1),\dots,b_\mu(n)\right) = \left(\frac{m}{\mu_1},2\frac{m}{\mu_1},\dots, m, \frac{m}{\mu_2},2\frac{m}{\mu_2},\dots, m,\dots\right)</math>, होने दें <math>\mu</math>-इंडेक्स ऑफ ए यंग_टेबलाऊ#टेबलॉक्स के मानों का योग हो <math>b_\mu</math> सारणी के अवतरण पर, <math>\text{ind}_\mu(T) = \sum_{k\in \{\text{descents}(T)\}} b_\mu(k)\bmod m</math>. | ||
फिर के | फिर के निरूपण के चक्रीय घातांक <math>S_n</math> यंग आरेख द्वारा वर्णित <math>\lambda</math> हैं <math>\mu</math>इसी यंग सारणी के सूचकांक।<ref name="ste89"/> | ||
विशेष रूप से, अगर <math> w </math> आदेश का है <math>n</math>, तब <math>b_\mu(k)=k</math>, और <math>\text{ind}_\mu(T)</math> के प्रमुख सूचकांक के साथ मेल खाता है <math>T</math> (अवरोही का योग)। एक अलघुकरणीय | विशेष रूप से, अगर <math> w </math> आदेश का है <math>n</math>, तब <math>b_\mu(k)=k</math>, और <math>\text{ind}_\mu(T)</math> के प्रमुख सूचकांक के साथ मेल खाता है <math>T</math> (अवरोही का योग)। एक अलघुकरणीय निरूपण के चक्रीय घातांक <math>S_n</math> फिर चक्रीय समूह के निरूपण में प्रतिबंधित_प्रतिनिधित्व का वर्णन करें <math> \frac{\mathbb{Z}}{n\mathbb{Z}}</math>, साथ <math>\omega^{e_j}</math> की छवि के रूप में व्याख्या की जा रही है <math>w</math> द्वारा विशेषता (एक आयामी) निरूपण में <math>e_j</math>. | ||
== यह भी देखें == | == यह भी देखें == | ||
* | * प्रत्यावर्ती बहुपद | ||
* [[सममित बहुपद]] | * [[सममित बहुपद]] | ||
* [[मैं काम कर रहा हूं]] | * [[मैं काम कर रहा हूं]] | ||
Line 172: | Line 169: | ||
श्रेणी:परिमित समूहों का | श्रेणी:परिमित समूहों का निरूपण सिद्धांत | ||
श्रेणी:क्रमपरिवर्तन | श्रेणी:क्रमपरिवर्तन | ||
श्रेणी:पूर्णांक विभाजन | श्रेणी:पूर्णांक विभाजन |
Revision as of 12:27, 30 March 2023
गणित में, सममित समूह का निरूपण सिद्धांत परिमित समूहों के निरूपण सिद्धांत का एक विशेष स्थिति है, जिसके लिए एक ठोस और विस्तृत सिद्धांत प्राप्त किया जा सकता है। इसमें सममित कार्य सिद्धांत से परमाणुओं, अणुओं और ठोस पदार्थों के क्वांटम रसायन अध्ययन तक संभावित अनुप्रयोगों का एक बड़ा क्षेत्र है।[1][2]
सममित समूह Sn का क्रम n! है। इसके संयुग्मन वर्गों को n के विभाजन द्वारा लेबल किया जाता है। इसलिए एक परिमित समूह के निरूपण सिद्धांत के अनुसार, सम्मिश्र संख्याओं के ऊपर असमान अखंडनीय निरूपण की संख्या n के विभाजन की संख्या के समतुल्य है। परिमित समूहों के लिए सामान्य स्थिति के विपरीत, वास्तव में समान समुच्चय द्वारा असमान अखंडनीय निरूपण को पैरामीट्रिज करने का एक प्राकृतिक तरीका है , अर्थात् n के विभाजन या आकार n के समकक्ष यंग आरेखों द्वारा जो संयुग्मन वर्गों को पैरामीट्रिज करता है
इस तरह के प्रत्येक अखंडनीय निरूपण को वास्तव में पूर्णांकों पर सिद्ध किया जा सकता है (प्रत्येक क्रमपरिवर्तन पूर्णांक गुणांक वाले आव्यूह द्वारा कार्य करता है); यंग आरेख द्वारा दिए गए आकार के यंग सारणी द्वारा उत्पन्न समष्टि पर कार्य करने वाले यंग समरूपताओं की गणना करके इसे स्पष्ट रूप से निर्मित किया जा सकता है। आयाम जो यंग आरेख से संबंधित हुक लंबाई सूत्र द्वारा दिया जाता है।
प्रत्येक अखंडनीय निरूपण के लिए ρ हम एक अलघुकरणीय वर्ण, χρ को जोड़ सकते हैं। अतः χρ(π) की गणना करने के लिए जहां π एक क्रमचय है, कोई संयोजी मुर्नाघन-नाकायामा नियम का उपयोग कर सकता है।[3] ध्यान दें कि χρ संयुग्मन वर्गों पर स्थिर है जो सभी क्रमपरिवर्तन σ के लिए χρ(π) = χρ(σ−1πσ) है।
अन्य क्षेत्रों (गणित) की तुलना में स्थिति और अधिक सम्मिश्र हो सकती है। यदि क्षेत्र K की विशेषता (बीजगणित) शून्य के समतुल्य या n से अधिक है तो मस्के के प्रमेय द्वारा समूह वलय KSn अर्धसरल है। इन स्थिति में पूर्णांकों पर परिभाषित (यदि आवश्यक हो तो विशेषताओं को कम करने के बाद) अलघुकरणीय निरूपणों का पूर्ण समुच्चय देते हैं ।
हालाँकि, सममित समूह के अलघुकरणीय निरूपण यादृच्छिक विशेषता में ज्ञात नहीं हैं। इस संदर्भ में निरूपण के अतिरिक्त प्रतिरूपक (गणित) की भाषा का उपयोग करना अधिक सामान्य है। मापांक को कम करके पूर्णांकों पर परिभाषित एक अलघुकरणीय निरूपण से प्राप्त निरूपण सामान्य रूप से अप्रासंगिक नहीं होगा। इस तरह से बनाए गए प्रतिरूपक को स्पेक्ट मॉड्यूल कहा जाता है, और ऐसे प्रतिरूपक के अंदर हर अलघुकरणीय उत्पन्न होता है। अब बहुत कम अलघुकरणीय हैं, और हालांकि उन्हें वर्गीकृत किया जा सकता है लेकिन उन्हें बहुत कम समझा जाता है। उदाहरण के लिए, यहां तक कि उनके आयाम (वेक्टर समष्टि) भी सामान्य रूप से ज्ञात नहीं हैं।
यादृच्छिक क्षेत्र पर सममित समूह के लिए अलघुकरणीय प्रतिरूपक का निर्धारण व्यापक रूप से निरूपण सिद्धांत में सबसे महत्वपूर्ण खुली समस्याओं में से एक माना जाता है।
निम्न-आयामी निरूपण
सममित समूह
सममित समूहों के निम्नतम-आयामी निरूपण को स्पष्ट रूप से और यादृच्छिक क्षेत्रों पर वर्णित किया जा सकता है,[4][5][6][page needed] विशेषता शून्य में सबसे छोटी दो प्रकार यहाँ वर्णित हैं:
प्रत्येक सममित समूह का एक आयामी निरूपण होता है जिसे सामान्य निरूपण कहा जाता है, जहां प्रत्येक तत्व एक-एक सर्वसम आव्यूह के रूप में कार्य करता है। n ≥ 2 के लिए, क्रम 1 का एक और अलघुकरणीय निरूपण है, जिसे संकेत निरूपण या प्रत्यावर्ती अंक कहा जाता है, जो क्रमपरिवर्तन के संकेत के आधार पर प्रविष्टि ±1 के साथ एक आव्यूह द्वारा क्रमपरिवर्तन लेता है। ये सममित समूहों के केवल एक आयामी निरूपण हैं, क्योंकि एक आयामी निरूपण एबेलियन हैं, और सममित समूह का एबेलियनकरण C2 क्रम 2 का चक्रीय समूह है।
सभी n के लिए, क्रम n! के सममित समूह का एक n-आयामी निरूपण है, जिसे 'प्राकृतिक क्रमचय निरूपण' कहा जाता है, जिसमें n निर्देशांकों की स्वीकृति सम्मिलित है। इसमें सामान्य उपनिरूपण है जिसमें वैक्टर सम्मिलित हैं जिनके निर्देशांक सभी समान हैं। लंबकोणीय पूरक में वे वैक्टर होते हैं जिनके निर्देशांक शून्य और जब n ≥ 2 होते हैं, इस उप-समष्टि पर निरूपण (n − 1)-आयामी अलघुकरणीय निरूपण, मानक निरूपण कहा जाता है। एक अन्य (n − 1)-आयामी अलघुकरणीय निरूपण चिह्न निरूपण के साथ प्रदिश द्वारा पाया जाता है। मानक निरूपण की एक बाहरी घात अलघुकरणीय है, यदि हो। (फुल्टन एंड हैरिस 2004)
के लिए n ≥ 7, ये एस के निम्नतम-आयामी अलघुकरणीय निरूपण हैंn - अन्य सभी अलघुकरणीय निरूपणों का आयाम कम से कम n है। हालांकि के लिए n = 4, एस से प्रक्षेपण4 एस के लिए3 एस की स्वीकृति देता है4 एक द्वि-आयामी अलघुकरणीय निरूपण प्राप्त करने के लिए। के लिए n = 6, एस का असाधारण सकर्मक एम्बेडिंग5 एस में6 पांच आयामी अलघुकरणीय निरूपण की एक और जोड़ी पैदा करता है।
का अलघुकरणीय निरूपण | आयाम | आकार का यंग आरेख |
---|---|---|
सामान्य निरूपण | ||
संकेत निरूपण | ||
मानक निरूपण | ||
बाहरी घात |
प्रत्यावर्ती समूह
प्रत्यावर्ती समूहों का निरूपण सिद्धांत समान है, हालांकि संकेत निरूपण गायब हो जाता है। के लिए n ≥ 7, निम्नतम-आयामी अलघुकरणीय निरूपण आयाम एक में सामान्य निरूपण हैं, और {{nowrap|(n − 1)}क्रमचय निरूपण के अन्य योग से }-आयामी निरूपण, उच्च आयाम वाले अन्य सभी अलघुकरणीय प्रतिनिधित्वों के साथ, लेकिन छोटे n के लिए अपवाद हैं।
के लिए प्रत्यावर्ती समूह n ≥ 5 में केवल एक आयामी अलघुकरणीय निरूपण है, सामान्य निरूपण। के लिए n = 3, 4 ऑर्डर 3 के चक्रीय समूह के मानचित्रों के अनुरूप दो अतिरिक्त एक-आयामी अलघुकरणीय निरूपण हैं: A3 ≅ C3 और A4 → A4/V ≅ C3.
- के लिए n ≥ 7, डिग्री का सिर्फ एक अलघुकरणीय निरूपण है n − 1, और यह एक गैर-सामान्य अलघुकरणीय निरूपण की सबसे छोटी डिग्री है।
- के लिए n = 3 का स्पष्ट अनुरूप (n − 1)-आयामी निरूपण कम हो जाता है - क्रमपरिवर्तन निरूपण नियमित निरूपण के साथ मेल खाता है, और इस प्रकार तीन एक-आयामी प्रतिनिधित्वों में टूट जाता है, जैसा कि A3 ≅ C3 एबेलियन है; चक्रीय समूहों के निरूपण सिद्धांत के लिए असतत फूरियर रूपांतरण देखें।
- के लिए n = 4, सिर्फ एक है n − 1 अलघुकरणीय निरूपण, लेकिन आयाम 1 के असाधारण अलघुकरणीय निरूपण हैं।
- के लिए n = 5, आइकोसाहेड्रल समरूपता के रूप में इसकी क्रिया के अनुरूप, आयाम 3 के दो दोहरे अलघुकरणीय निरूपण हैं।
- के लिए n = 6, ए के असाधारण सकर्मक एम्बेडिंग के अनुरूप आयाम 5 का एक अतिरिक्त अखंडनीय निरूपण है5 में एक6.
निरूपण के टेंसर उत्पाद
क्रोनकर गुणांक
के दो निरूपण के निरूपण का टेन्सर उत्पाद यंग डायग्राम के अनुरूप के अलघुकरणीय निरूपण का संयोजन है ,
गुणांक सममित समूह के क्रोनेकर गुणांक कहलाते हैं। उनकी गणना निरूपण के अंक सिद्धांत से की जा सकती है (Fulton & Harris 2004):
योग विभाजन खत्म हो गया है का , साथ संगत संयुग्मन वर्ग। पात्रों का मान फ्रोबेनियस सूत्र का उपयोग करके गणना की जा सकती है। गुणांक हैं
कहाँ बार की संख्या है प्रकट होता है , ताकि .
यंग डायग्राम के संदर्भ में लिखे गए कुछ उदाहरण (Hamermesh 1989):
कंप्यूटिंग के लिए एक सरल नियम है किसी भी यंग आरेख के लिए (Hamermesh 1989): परिणाम उन सभी यंग आरेखों का योग है जो इससे प्राप्त किए गए हैं एक बॉक्स को हटाकर और फिर एक बॉक्स को जोड़कर, जहां को छोड़कर गुणांक एक हैं स्वयं, जिसका गुणांक है , यानी, अलग-अलग पंक्तियों की लंबाई में से एक घटाकर संख्या।
के अलघुकरणीय घटकों पर एक बाधा है (James & Kerber 1981)
जहां गहराई यंग डायग्राम की संख्या उन बक्सों की संख्या है जो पहली पंक्ति से संबंधित नहीं हैं।
कम क्रोनकर गुणांक
के लिए एक यंग आरेख और , आकार का एक यंग आरेख है . तब का एक बंधा हुआ, गैर-घटता कार्य है , और
एक कम क्रोनकर गुणांक कहा जाता है[7]या स्थिर क्रोनकर गुणांक।[8]के मूल्य पर ज्ञात सीमाएँ हैं कहाँ अपनी सीमा तक पहुँचता है।[7]घटे हुए क्रोनकर गुणांकों के निरूपण की Deligne श्रेणियों के संरचना स्थिरांक हैं साथ .[9] क्रोनकर गुणांकों के विपरीत, घटे हुए क्रोनकर गुणांकों को यंग आरेखों के किसी भी ट्रिपल के लिए परिभाषित किया गया है, जरूरी नहीं कि समान आकार का हो। अगर , तब लिटिलवुड-रिचर्डसन गुणांक के साथ मेल खाता है .[10]कम क्रोनकर गुणांकों को सममित कार्यों के स्थान में आधारों के परिवर्तन के माध्यम से लिटिलवुड-रिचर्डसन गुणांकों के रैखिक संयोजनों के रूप में लिखा जा सकता है, जो अभिव्यक्तियों को जन्म देते हैं जो स्पष्ट रूप से अभिन्न हैं, हालांकि प्रकट रूप से सकारात्मक नहीं हैं।[8]घटे हुए क्रोनकर गुणांकों को क्रोनकर और लिटलवुड-रिचर्डसन गुणांकों के रूप में भी लिखा जा सकता है। लिटिलवुड के सूत्र के माध्यम से[11][12]: इसके विपरीत, कम क्रोनकर गुणांकों के रैखिक संयोजनों के रूप में क्रोनकर गुणांकों को पुनर्प्राप्त करना संभव है।[7]
कंप्यूटर बीजगणित प्रणाली SageMath में घटे हुए क्रोनकर गुणांक लागू किए गए हैं।[13][14]
सम्मिश्र निरूपण के आइगेनवेल्यू
एक तत्व दिया चक्र-प्रकार का और आदेश , के eigenvalues के एक सम्मिश्र निरूपण में प्रकार के हैं साथ , जहां पूर्णांक के चक्रीय घातांक कहलाते हैं निरूपण के संबंध में।[15]
सममित समूह (और पुष्पांजलि उत्पादों) के चक्रीय प्रतिपादकों का एक संयोजी विवरण है। परिभाषित , होने दें -इंडेक्स ऑफ ए यंग_टेबलाऊ#टेबलॉक्स के मानों का योग हो सारणी के अवतरण पर, . फिर के निरूपण के चक्रीय घातांक यंग आरेख द्वारा वर्णित हैं इसी यंग सारणी के सूचकांक।[15] विशेष रूप से, अगर आदेश का है , तब , और के प्रमुख सूचकांक के साथ मेल खाता है (अवरोही का योग)। एक अलघुकरणीय निरूपण के चक्रीय घातांक फिर चक्रीय समूह के निरूपण में प्रतिबंधित_प्रतिनिधित्व का वर्णन करें , साथ की छवि के रूप में व्याख्या की जा रही है द्वारा विशेषता (एक आयामी) निरूपण में .
यह भी देखें
- प्रत्यावर्ती बहुपद
- सममित बहुपद
- मैं काम कर रहा हूं
- रॉबिन्सन-शेंस्टेड पत्राचार
- शूर-वेइल द्वैत
- जूसी-मर्फी तत्व
- गरनिर संबंध
संदर्भ
- ↑ Philip R. Bunker and Per Jensen (1998) Molecular Symmetry and Spectroscopy, 2nd ed. NRC Research Press,Ottawa [1] pp.198-202.ISBN 9780660196282
- ↑ R.Pauncz (1995) The Symmetric Group in Quantum Chemistry, CRC Press, Boca Raton, Florida
- ↑ Richard Stanley, Enumerative Combinatorics, Vol. 2
- ↑ Burnside, William (1955), Theory of groups of finite order, New York: Dover Publications, MR 0069818
- ↑ Rasala, Richard (1977), "On the minimal degrees of characters of Sn", Journal of Algebra, 45 (1): 132–181, doi:10.1016/0021-8693(77)90366-0, ISSN 0021-8693, MR 0427445
- ↑ James & Kerber 1981.
- ↑ 7.0 7.1 7.2 Briand, Emmanuel; Orellana, Rosa; Rosas, Mercedes (2009-07-27). "The stability of the Kronecker products of Schur functions". Journal of Algebra. 331: 11–27. arXiv:0907.4652. doi:10.1016/j.jalgebra.2010.12.026. S2CID 16714030.
- ↑ 8.0 8.1 Assaf, Sami H.; Speyer, David E. (2018-09-26). "Specht modules decompose as alternating sums of restrictions of Schur modules". Proceedings of the American Mathematical Society. 148 (3): 1015–1029. arXiv:1809.10125. doi:10.1090/proc/14815. S2CID 119692633.
- ↑ Entova-Aizenbud, Inna (2014-07-06). "Deligne categories and reduced Kronecker coefficients". arXiv:1407.1506v1 [math.RT].
- ↑ Dvir, Yoav (1996-02-15). "On the Kronecker Product of Sn Characters". Journal of Algebra. 154: 125–140. doi:10.1006/jabr.1993.1008.
- ↑ Littlewood, D. E. (1958). "Products and Plethysms of Characters with Orthogonal, Symplectic and Symmetric Groups". Canadian Journal of Mathematics. Canadian Mathematical Society. 10: 17–32. doi:10.4153/cjm-1958-002-7. ISSN 0008-414X.
- ↑ Orellana, Rosa; Zabrocki, Mike (2017-09-23). "Products of characters of the symmetric group". arXiv:1709.08098v1 [math.CO].
- ↑ Orellana, Rosa; Zabrocki, Mike (2015-10-01). "Symmetric group characters as symmetric functions (extended abstract)". arXiv:1510.00438v2 [math.CO].
- ↑ "Characters of the symmetric group as bases of the symmetric functions". Sage 9.3 Reference Manual: Combinatorics. Retrieved 2021-07-05.
- ↑ 15.0 15.1 Stembridge, John (1989-12-01). "On the eigenvalues of representations of reflection groups and wreath products". Pacific Journal of Mathematics. Mathematical Sciences Publishers. 140 (2): 353–396. doi:10.2140/pjm.1989.140.353. ISSN 0030-8730.
उद्धृत प्रकाशन
- Fulton, William; Harris, Joe (2004). "Representation Theory". गणित में स्नातक ग्रंथ. New York, NY: Springer New York. doi:10.1007/978-1-4612-0979-9. ISBN 978-3-540-00539-1. ISSN 0072-5285.
- Hamermesh, M (1989). समूह सिद्धांत और शारीरिक समस्याओं के लिए इसका अनुप्रयोग. New York: Dover Publications. ISBN 0-486-66181-4. OCLC 20218471.
- James, Gordon; Kerber, Adalbert (1981), The representation theory of the symmetric group, Encyclopedia of Mathematics and its Applications, vol. 16, Addison-Wesley Publishing Co., Reading, Mass., ISBN 978-0-201-13515-2, MR 0644144
- James, G. D. (1983), "On the minimal dimensions of irreducible representations of symmetric groups", Mathematical Proceedings of the Cambridge Philosophical Society, 94 (3): 417–424, Bibcode:1983MPCPS..94..417J, doi:10.1017/S0305004100000803, ISSN 0305-0041, MR 0720791
श्रेणी:परिमित समूहों का निरूपण सिद्धांत
श्रेणी:क्रमपरिवर्तन
श्रेणी:पूर्णांक विभाजन