सममित समूह का प्रतिनिधित्व सिद्धांत: Difference between revisions

From Vigyanwiki
(Created page with "{{more footnotes|date=April 2014}} गणित में, सममित समूह का प्रतिनिधित्व सिद्धांत परिमित...")
 
No edit summary
Line 1: Line 1:
{{more footnotes|date=April 2014}}
गणित में, सममित समूह का निरूपण सिद्धांत परिमित समूहों के निरूपण सिद्धांत का एक विशेष स्थिति है, जिसके लिए एक ठोस और विस्तृत सिद्धांत प्राप्त किया जा सकता है। इसमें सममित कार्य सिद्धांत से परमाणुओं, अणुओं और ठोस पदार्थों के क्वांटम रसायन अध्ययन तक संभावित अनुप्रयोगों का एक बड़ा क्षेत्र है।<ref>Philip R. Bunker and Per Jensen (1998)  
गणित में, सममित समूह का प्रतिनिधित्व सिद्धांत परिमित समूहों के प्रतिनिधित्व सिद्धांत का एक विशेष मामला है, जिसके लिए एक ठोस और विस्तृत सिद्धांत प्राप्त किया जा सकता है। इसमें संभावित अनुप्रयोगों का एक बड़ा क्षेत्र है, सममित कार्य सिद्धांत से लेकर परमाणुओं, अणुओं और ठोस पदार्थों के [[क्वांटम रसायन]] विज्ञान के अध्ययन तक।<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>
[[सममित समूह]] एस<sub>''n''</sub> आदेश n है!। इसके [[संयुग्मन वर्ग]]ों को n के [[पूर्णांक विभाजन]] द्वारा लेबल किया जाता है। इसलिए एक परिमित समूह के प्रतिनिधित्व सिद्धांत के अनुसार, [[जटिल संख्या]]ओं के ऊपर, असमान अलघुकरणीय अभ्यावेदन की संख्या, n के विभाजनों की संख्या के बराबर है। परिमित समूहों के लिए सामान्य स्थिति के विपरीत, वास्तव में एक ही सेट द्वारा अपरिमेय अभ्यावेदन को पैरामीट्रिज़ करने का एक प्राकृतिक तरीका है जो संयुग्मन वर्गों को पैरामीट्रिज़ करता है, अर्थात् n के विभाजन या आकार n के समकक्ष [[युवा आरेख]]ों द्वारा।


इस तरह के प्रत्येक अप्रासंगिक प्रतिनिधित्व को वास्तव में पूर्णांकों पर महसूस किया जा सकता है (पूर्णांक गुणांक वाले मैट्रिक्स द्वारा अभिनय करने वाला प्रत्येक क्रमपरिवर्तन); यंग आरेख द्वारा दिए गए आकार के युवा झांकी द्वारा उत्पन्न स्थान पर कार्य करने वाले [[युवा समरूपता]]ओं की गणना करके इसे स्पष्ट रूप से निर्मित किया जा सकता है। आयाम <math>d_\lambda</math> यंग आरेख से संबंधित प्रतिनिधित्व का <math>\lambda</math> [[हुक लंबाई सूत्र]] द्वारा दिया जाता है।
सममित समूह S<sub>''n''</sub>  का क्रम n! है। इसके संयुग्मन वर्गों को n के विभाजन द्वारा लेबल किया जाता है। इसलिए एक परिमित समूह के निरूपण सिद्धांत के अनुसार, सम्मिश्र संख्याओं के ऊपर असमान अखंडनीय निरूपण की संख्या n के विभाजन की संख्या के समतुल्य है। परिमित समूहों के लिए सामान्य स्थिति के विपरीत, वास्तव में समान समुच्चय द्वारा असमान अखंडनीय निरूपण को पैरामीट्रिज करने का एक प्राकृतिक तरीका है , अर्थात् n के विभाजन या आकार n के समकक्ष यंग आरेखों द्वारा जो संयुग्मन वर्गों को पैरामीट्रिज करता है


प्रत्येक अलघुकरणीय प्रतिनिधित्व के लिए ρ हम एक अलघुकरणीय वर्ण, χ जोड़ सकते हैं<sup>आर</सुप>.
इस तरह के प्रत्येक अखंडनीय निरूपण को वास्तव में पूर्णांकों पर सिद्ध किया जा सकता है (प्रत्येक क्रमपरिवर्तन पूर्णांक गुणांक वाले आव्यूह द्वारा कार्य करता है); यंग आरेख द्वारा दिए गए आकार के यंग सारणी द्वारा उत्पन्न समष्टि पर कार्य करने वाले [[युवा समरूपता|यंग समरूपता]]ओं की गणना करके इसे स्पष्ट रूप से निर्मित किया जा सकता है। आयाम <math>d_\lambda</math> जो यंग आरेख  <math>\lambda</math> से संबंधित  [[हुक लंबाई सूत्र]] द्वारा दिया जाता है।
गणना एक्स<sup>ρ</sup>(π) जहां π एक क्रमचय है, कोई संयोजी मुर्नाघन-नाकायमा नियम का उपयोग कर सकता है
.<ref>Richard Stanley, ''Enumerative Combinatorics, Vol. 2''</ref> ध्यान दें कि χ<sup>ρ</sup> संयुग्मन वर्गों पर स्थिर है,
वह है, χ<sup>ρ</sup>(π) = x<sup>पी</sup>(प<sup>−1</sup>πσ) सभी क्रमपरिवर्तन σ के लिए।


अन्य क्षेत्रों (गणित) की तुलना में स्थिति और अधिक जटिल हो सकती है। यदि क्षेत्र K की [[विशेषता (बीजगणित)]] शून्य के बराबर या n से अधिक है तो Maschke के प्रमेय द्वारा समूह वलय KS<sub>''n''</sub> अर्धसरल है। इन मामलों में पूर्णांकों पर परिभाषित अलघुकरणीय अभ्यावेदन अलघुकरणीय निरूपणों का पूरा सेट देते हैं (यदि आवश्यक हो तो विशेषताओं को कम करने के बाद)
प्रत्येक अखंडनीय निरूपण के लिए ρ हम एक अलघुकरणीय वर्ण, χ<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  
सममित समूहों के निम्नतम-आयामी निरूपण को स्पष्ट रूप से और यादृच्छिक क्षेत्रों पर वर्णित किया जा सकता है,<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> और मनमाने क्षेत्रों पर।{{sfn|James|Kerber|1981}}{{pn|date=April 2022}} विशेषता शून्य में सबसे छोटी दो डिग्री यहाँ वर्णित हैं:
| doi-access=free }}</ref>{{sfn|James|Kerber|1981}}{{pn|date=April 2022}} विशेषता शून्य में सबसे छोटी दो प्रकार यहाँ वर्णित हैं:


प्रत्येक सममित समूह का एक आयामी प्रतिनिधित्व होता है जिसे तुच्छ प्रतिनिधित्व कहा जाता है, जहां प्रत्येक तत्व एक-एक पहचान मैट्रिक्स के रूप में कार्य करता है। के लिए {{nowrap|''n'' ≥ 2}}, डिग्री 1 का एक और अप्रासंगिक प्रतिनिधित्व है, जिसे संकेत प्रतिनिधित्व या वैकल्पिक चरित्र कहा जाता है, जो क्रमपरिवर्तन के संकेत के आधार पर प्रविष्टि ±1 के साथ एक मैट्रिक्स द्वारा एक क्रमचय लेता है। ये सममित समूहों के केवल एक आयामी निरूपण हैं, क्योंकि एक आयामी निरूपण एबेलियन हैं, और सममित समूह का [[ abelianization ]] सी है<sub>2</sub>, ऑर्डर 2 का [[चक्रीय समूह]]।
प्रत्येक सममित समूह का एक आयामी निरूपण होता है जिसे सामान्य निरूपण कहा जाता है, जहां प्रत्येक तत्व एक-एक सर्वसम आव्यूह के रूप में कार्य करता है। n ≥ 2 के लिए, क्रम 1 का एक और अलघुकरणीय निरूपण है, जिसे संकेत निरूपण या प्रत्यावर्ती अंक कहा जाता है, जो क्रमपरिवर्तन के संकेत के आधार पर प्रविष्टि ±1 के साथ एक आव्यूह द्वारा क्रमपरिवर्तन लेता है। ये सममित समूहों के केवल एक आयामी निरूपण हैं, क्योंकि एक आयामी निरूपण एबेलियन हैं, और सममित समूह का एबेलियनकरण C<sub>2</sub> क्रम 2 का चक्रीय समूह है।


सभी n के लिए, क्रम n! के सममित समूह का एक n-विम निरूपण है, जिसे '{{visible anchor|natural permutation representation}}, जिसमें ''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|Fulton|Harris|2004}}.
सभी 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> एस की अनुमति देता है<sub>4</sub> एक द्वि-आयामी अलघुकरणीय प्रतिनिधित्व प्राप्त करने के लिए। के लिए {{nowrap|1=''n'' = 6}}, एस का असाधारण सकर्मक एम्बेडिंग<sub>5</sub> एस में<sub>6</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;"
|-
|-
! Irreducible representation of <math>S_n</math>
! <math>S_n</math> का अलघुकरणीय निरूपण
! Dimension
! आयाम
! [[Young diagram]] of size <math>n</math>
! <math>n</math> आकार का यंग आरेख
|-
|-
| Trivial representation
| सामान्य निरूपण
| <math>1</math>
| <math>1</math>
| <math>(n)</math>
| <math>(n)</math>
|-  
|-  
| Sign representation
| संकेत निरूपण
| <math>1</math>
| <math>1</math>
| <math>(1^n)=(1,1,\dots,1)</math>
| <math>(1^n)=(1,1,\dots,1)</math>
|-
|-
| Standard representation <math>V</math>
| मानक निरूपण <math>V</math>
| <math>n-1</math>
| <math>n-1</math>
| <math>(n-1, 1)</math>
| <math>(n-1, 1)</math>
|-
|-
| Exterior power <math>\Lambda^k V</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-आयामी प्रतिनिधित्व दे रहा है।]][[वैकल्पिक समूह]]ों का प्रतिनिधित्व सिद्धांत समान है, हालांकि संकेत प्रतिनिधित्व गायब हो जाता है। के लिए {{nowrap|''n'' ≥ 7}}, निम्नतम-आयामी अलघुकरणीय अभ्यावेदन आयाम एक में तुच्छ प्रतिनिधित्व हैं, और {{nowrap|(''n'' − 1)}क्रमचय प्रतिनिधित्व के अन्य योग से }-आयामी प्रतिनिधित्व, उच्च आयाम वाले अन्य सभी अलघुकरणीय प्रतिनिधित्वों के साथ, लेकिन छोटे n के लिए अपवाद हैं।
[[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'' ≥ 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'' − 1}}, और यह एक गैर-तुच्छ अलघुकरणीय प्रतिनिधित्व की सबसे छोटी डिग्री है।
* के लिए {{nowrap|''n'' ≥ 7}}, डिग्री का सिर्फ एक अलघुकरणीय निरूपण है {{nowrap|''n'' − 1}}, और यह एक गैर-सामान्य अलघुकरणीय निरूपण की सबसे छोटी डिग्री है।
* के लिए {{nowrap|1=''n'' = 3}} का स्पष्ट अनुरूप {{nowrap|(''n'' − 1)}}-आयामी प्रतिनिधित्व कम हो जाता है - क्रमपरिवर्तन प्रतिनिधित्व नियमित प्रतिनिधित्व के साथ मेल खाता है, और इस प्रकार तीन एक-आयामी प्रतिनिधित्वों में टूट जाता है, जैसा कि {{nowrap|A<sub>3</sub> ≅ C<sub>3</sub>}} एबेलियन है; चक्रीय समूहों के प्रतिनिधित्व सिद्धांत के लिए [[असतत फूरियर रूपांतरण]] देखें।
* के लिए {{nowrap|1=''n'' = 3}} का स्पष्ट अनुरूप {{nowrap|(''n'' − 1)}}-आयामी निरूपण कम हो जाता है - क्रमपरिवर्तन निरूपण नियमित निरूपण के साथ मेल खाता है, और इस प्रकार तीन एक-आयामी प्रतिनिधित्वों में टूट जाता है, जैसा कि {{nowrap|A<sub>3</sub> ≅ C<sub>3</sub>}} एबेलियन है; चक्रीय समूहों के निरूपण सिद्धांत के लिए [[असतत फूरियर रूपांतरण]] देखें।
* के लिए {{nowrap|1=''n'' = 4}}, सिर्फ एक है {{nowrap|''n'' − 1}} अलघुकरणीय प्रतिनिधित्व, लेकिन आयाम 1 के असाधारण अलघुकरणीय निरूपण हैं।
* के लिए {{nowrap|1=''n'' = 4}}, सिर्फ एक है {{nowrap|''n'' − 1}} अलघुकरणीय निरूपण, लेकिन आयाम 1 के असाधारण अलघुकरणीय निरूपण हैं।
* के लिए {{nowrap|1=''n'' = 5}}, [[आइकोसाहेड्रल समरूपता]] के रूप में इसकी क्रिया के अनुरूप, आयाम 3 के दो दोहरे अलघुकरणीय निरूपण हैं।
* के लिए {{nowrap|1=''n'' = 5}}, [[आइकोसाहेड्रल समरूपता]] के रूप में इसकी क्रिया के अनुरूप, आयाम 3 के दो दोहरे अलघुकरणीय निरूपण हैं।
* के लिए {{nowrap|1=''n'' = 6}}, ए के असाधारण सकर्मक एम्बेडिंग के अनुरूप आयाम 5 का एक अतिरिक्त अप्रासंगिक प्रतिनिधित्व है<sub>5</sub> में एक<sub>6</sub>.
* के लिए {{nowrap|1=''n'' = 6}}, ए के असाधारण सकर्मक एम्बेडिंग के अनुरूप आयाम 5 का एक अतिरिक्त अखंडनीय निरूपण है<sub>5</sub> में एक<sub>6</sub>.


== अभ्यावेदन के टेंसर उत्पाद ==
== निरूपण के टेंसर उत्पाद ==


=== क्रोनकर गुणांक ===
=== क्रोनकर गुणांक ===


के दो अभ्यावेदन के अभ्यावेदन का टेन्सर उत्पाद <math>S_n</math> यंग डायग्राम के अनुरूप <math>\lambda,\mu</math> के अलघुकरणीय अभ्यावेदन का संयोजन है <math>S_n</math>,
के दो निरूपण के निरूपण का टेन्सर उत्पाद <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}}:
उनकी गणना निरूपण के [[चरित्र सिद्धांत|अंक सिद्धांत]] से की जा सकती है {{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>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>\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"/>घटे हुए क्रोनकर गुणांकों के प्रतिनिधित्व की Deligne श्रेणियों के संरचना स्थिरांक हैं <math>S_n</math> साथ <math>n\in \mathbb{C}-\mathbb{N}</math>.<ref name="ent14"/>  
एक कम क्रोनकर गुणांक कहा जाता है<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>
क्रोनकर गुणांकों के विपरीत, घटे हुए क्रोनकर गुणांकों को यंग आरेखों के किसी भी ट्रिपल के लिए परिभाषित किया गया है, जरूरी नहीं कि समान आकार का हो। अगर <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>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>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>\text{ind}_\mu(T) = \sum_{k\in \{\text{descents}(T)\}} b_\mu(k)\bmod m</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>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>S_n</math> फिर चक्रीय समूह के अभ्यावेदन में प्रतिबंधित_प्रतिनिधित्व का वर्णन करें <math> \frac{\mathbb{Z}}{n\mathbb{Z}}</math>, साथ <math>\omega^{e_j}</math> की छवि के रूप में व्याख्या की जा रही है <math>w</math> द्वारा विशेषता (एक आयामी) प्रतिनिधित्व में <math>e_j</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 पांच आयामी अलघुकरणीय निरूपण की एक और जोड़ी पैदा करता है।

का अलघुकरणीय निरूपण आयाम आकार का यंग आरेख
सामान्य निरूपण
संकेत निरूपण
मानक निरूपण
बाहरी घात


प्रत्यावर्ती समूह

पाँच टेट्राहेड्रा का यौगिक, जिस पर A5 कार्य करता है, एक 3-आयामी निरूपण दे रहा है।

प्रत्यावर्ती समूहों का निरूपण सिद्धांत समान है, हालांकि संकेत निरूपण गायब हो जाता है। के लिए 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] विशेष रूप से, अगर आदेश का है , तब , और के प्रमुख सूचकांक के साथ मेल खाता है (अवरोही का योग)। एक अलघुकरणीय निरूपण के चक्रीय घातांक फिर चक्रीय समूह के निरूपण में प्रतिबंधित_प्रतिनिधित्व का वर्णन करें , साथ की छवि के रूप में व्याख्या की जा रही है द्वारा विशेषता (एक आयामी) निरूपण में .

यह भी देखें

संदर्भ

  1. Philip R. Bunker and Per Jensen (1998) Molecular Symmetry and Spectroscopy, 2nd ed. NRC Research Press,Ottawa [1] pp.198-202.ISBN 9780660196282
  2. R.Pauncz (1995) The Symmetric Group in Quantum Chemistry, CRC Press, Boca Raton, Florida
  3. Richard Stanley, Enumerative Combinatorics, Vol. 2
  4. Burnside, William (1955), Theory of groups of finite order, New York: Dover Publications, MR 0069818
  5. 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
  6. James & Kerber 1981.
  7. 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. 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.
  9. Entova-Aizenbud, Inna (2014-07-06). "Deligne categories and reduced Kronecker coefficients". arXiv:1407.1506v1 [math.RT].
  10. Dvir, Yoav (1996-02-15). "On the Kronecker Product of Sn Characters". Journal of Algebra. 154: 125–140. doi:10.1006/jabr.1993.1008.
  11. 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.
  12. Orellana, Rosa; Zabrocki, Mike (2017-09-23). "Products of characters of the symmetric group". arXiv:1709.08098v1 [math.CO].
  13. Orellana, Rosa; Zabrocki, Mike (2015-10-01). "Symmetric group characters as symmetric functions (extended abstract)". arXiv:1510.00438v2 [math.CO].
  14. "Characters of the symmetric group as bases of the symmetric functions". Sage 9.3 Reference Manual: Combinatorics. Retrieved 2021-07-05.
  15. 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.


उद्धृत प्रकाशन


श्रेणी:परिमित समूहों का निरूपण सिद्धांत श्रेणी:क्रमपरिवर्तन श्रेणी:पूर्णांक विभाजन