व्रेथ गुणनफल: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Group formed from the action of one group on many copies of another, based on the semidirect product}} {{Group theory sidebar |Basics}} समूह स...")
 
No edit summary
 
(8 intermediate revisions by 6 users not shown)
Line 2: Line 2:
{{Group theory sidebar |Basics}}
{{Group theory sidebar |Basics}}


[[समूह सिद्धांत]] में, पुष्पांजलि उत्पाद [[अर्ध-प्रत्यक्ष उत्पाद]] पर आधारित दो [[समूह (गणित)]] का एक विशेष संयोजन है। यह एक समूह की [[क्रिया (समूह सिद्धांत)]] द्वारा दूसरे समूह की कई प्रतियों पर बनता है, जो कुछ हद तक [[घातांक]] के अनुरूप होता है। पुष्पांजलि उत्पादों का उपयोग क्रमचय समूहों के वर्गीकरण में किया जाता है और समूहों के दिलचस्प उदाहरणों के निर्माण का एक तरीका भी प्रदान करता है।
[[समूह सिद्धांत]] में, व्रेथ गुणनफल [[अर्ध-प्रत्यक्ष उत्पाद|अर्ध-प्रत्यक्ष गुणनफल]] पर आधारित दो [[समूह (गणित)]] का एक विशेष संयोजन है। यह एक समूह की [[क्रिया (समूह सिद्धांत)]] द्वारा दूसरे समूह की कई प्रतियों पर बनता है, जो कुछ हद तक [[घातांक]] के अनुरूप होता है। व्रेथ उत्पादों का उपयोग क्रमचय समूहों के वर्गीकरण में किया जाता है और समूहों के रोचक उदाहरणों के निर्माण का एक तरीका भी प्रदान करता है।


दो समूह दिए <math>A</math> और <math>H</math> (कभी-कभी नीचे और ऊपर के रूप में जाना जाता है<ref>{{Citation|last=Bhattacharjee|first=Meenaxi|title=Wreath products|date=1998|url=https://doi.org/10.1007/BFb0092558|work=Notes on Infinite Permutation Groups|pages=67–76|series=Lecture Notes in Mathematics|place=Berlin, Heidelberg|publisher=Springer|language=en|doi=10.1007/bfb0092558|isbn=978-3-540-49813-1|access-date=2021-05-12|last2=Macpherson|first2=Dugald|last3=Möller|first3=Rögnvaldur G.|last4=Neumann|first4=Peter M.}}</ref>), पुष्पांजलि उत्पाद के दो रूप मौजूद हैं: अप्रतिबंधित पुष्पांजलि उत्पाद <math>A \text{ Wr } H</math> और प्रतिबंधित माल्यार्पण उत्पाद <math>A \text{ wr } H</math>. सामान्य रूप, द्वारा निरूपित <math>A \text{ Wr}_{\Omega} H</math> या <math>A \text{ wr}_{\Omega} H</math> क्रमशः इसकी आवश्यकता है <math>H</math> कुछ सेट पर [[समूह क्रिया (गणित)]]। <math>\Omega</math>; जब अनिर्दिष्ट, आमतौर पर <math>\Omega = H</math> (एक नियमित पुष्पांजलि उत्पाद), हालांकि एक अलग <math>\Omega</math> कभी-कभी निहित होता है। दो भिन्नताएं कब मेल खाती हैं <math>A</math>, <math>H</math>, और <math>\Omega</math> सभी परिमित हैं। या तो भिन्नता को भी निरूपित किया जाता है <math>A \wr H</math> (LaTeX प्रतीक के लिए \wr के साथ) या ''A'' ≀ ''H'' ([[यूनिकोड]] U+2240)
<math>A</math> और <math>H</math> दो समूह दिए गए हैं (कभी-कभी नीचे और ऊपर के रूप में जाना जाता है<ref>{{Citation|last=Bhattacharjee|first=Meenaxi|title=Wreath products|date=1998|url=https://doi.org/10.1007/BFb0092558|work=Notes on Infinite Permutation Groups|pages=67–76|series=Lecture Notes in Mathematics|place=Berlin, Heidelberg|publisher=Springer|language=en|doi=10.1007/bfb0092558|isbn=978-3-540-49813-1|access-date=2021-05-12|last2=Macpherson|first2=Dugald|last3=Möller|first3=Rögnvaldur G.|last4=Neumann|first4=Peter M.}}</ref>), व्रेथ गुणनफल के दो रूप उपस्थित हैं: अप्रतिबंधित व्रेथ गुणनफल <math>A \text{ Wr } H</math> और प्रतिबंधित व्रेथ गुणनफल <math>A \text{ wr } H</math>सामान्य रूप, जिसे क्रमशः <math>A \text{ Wr}_{\Omega} H</math> या <math>A \text{ wr}_{\Omega} H</math> द्वारा निरूपित किया जाता है उनके लिए आवश्यक है कि <math>H</math> कुछ सम्मुच्चय <math>\Omega</math> पर समूह क्रिया (गणित) करे। जब अनिर्दिष्ट होता है, सामान्यतः <math>\Omega = H</math> (एक नियमित व्रेथ गुणनफल), हालांकि एक अलग <math>\Omega</math> कभी-कभी निहित होता है। जब <math>A</math>, <math>H</math>, और <math>\Omega</math> सभी परिमित होते हैं, तब दो भिन्नताएं मेल खाती हैं। अन्यतर  भिन्नता को <math>A \wr H</math> (लाटेक्स प्रतीक के लिए \wr के साथ) या <math>A \wr H</math> (एकल कूट U+2240) के रूप में भी दर्शाया जाता है।


यह धारणा अर्धसमूहों के लिए सामान्यीकृत है और क्रोह्न-रोड्स सिद्धांत में एक केंद्रीय निर्माण है | परिमित अर्धसमूहों का क्रोहन-रोड्स संरचना सिद्धांत।
यह धारणा अर्धसमूहों के लिए सामान्यीकृत है और परिमित अर्धसमूहों  क्रोह्न-रोड्स सिद्धांत में एक केंद्रीय निर्माण है।


== परिभाषा ==
== परिभाषा ==


होने देना <math>A</math> एक समूह बनो और चलो <math>H</math> एक सेट पर समूह समूह क्रिया (गणित) हो <math>\Omega</math> (बाईं तरफ)। [[समूहों का प्रत्यक्ष उत्पाद]] <math>A^{\Omega}</math> का <math>A</math> साथ ही द्वारा अनुक्रमित <math>\Omega</math> क्रमों का समुच्चय है <math>\overline{a} = (a_{\omega})_{\omega \in \Omega}</math> में <math>A</math> द्वारा अनुक्रमित <math>\Omega</math>बिंदुवार गुणन द्वारा दिए गए समूह संचालन के साथ। की क्रिया <math>H</math> पर <math>\Omega</math> पर कार्रवाई के लिए बढ़ाया जा सकता है <math>A^{\Omega}</math> रीइंडेक्सिंग द्वारा, अर्थात् परिभाषित करके
मान लीजिये A एक समूह है और H एक सम्मुच्चय पर कार्य करने वाला <math>\Omega</math> समूह है। <math>A</math> का [[समूहों का प्रत्यक्ष उत्पाद|प्रत्यक्ष उत्पादन]] <math>A^{\Omega}</math> स्वयम् <math>\Omega</math> द्वारा अनुक्रमित क्रम <math>\overline{a} = (a_{\omega})_{\omega \in \Omega}</math> <math>A</math> में <math>\Omega</math> द्वारा अनुक्रमित बिंदुवार गुणन द्वारा दिए गए समूह संचालन का समुच्चय है। <math>\Omega</math> पर <math>H</math> की क्रिया को <math>A^{\Omega}</math> पर एक क्रिया के लिए रीइन्डेक्सिंग द्वारा विस्तारित किया जा सकता है, अर्थात् निम्नलिखित को परिभाषित करके


: <math> h \cdot (a_{\omega})_{\omega \in \Omega} := (a_{h^{-1} \cdot \omega})_{\omega \in \Omega}</math>
: <math> h \cdot (a_{\omega})_{\omega \in \Omega} := (a_{h^{-1} \cdot \omega})_{\omega \in \Omega}</math>
सभी के लिए <math>h \in H</math> और सभी <math>(a_{\omega})_{\omega \in \Omega} \in A^{\Omega}</math>.
सभी <math>h \in H</math> के लिए और सभी <math>(a_{\omega})_{\omega \in \Omega} \in A^{\Omega}</math> के लिए है।


फिर अप्रतिबंधित माल्यार्पण उत्पाद <math>A \text{ Wr}_{\Omega} H</math> का <math>A</math> द्वारा <math>H</math> अर्ध-प्रत्यक्ष उत्पाद है <math>A^{\Omega} \rtimes H</math> की क्रिया के साथ <math>H</math> पर <math>A^{\Omega}</math> ऊपर दिया गया है। उपसमूह <math>A^{\Omega}</math> का <math>A^{\Omega} \rtimes H</math> पुष्पांजलि उत्पाद का आधार कहा जाता है।
फिर <math>H</math>द्वारा <math>A</math> का अप्रतिबंधित व्रेथ गुणनफल <math>A \text{ Wr}_{\Omega} H</math> अर्ध-प्रत्यक्ष गुणनफल <math>A^{\Omega} \rtimes H</math> ऊपर दिए गए <math>A^{\Omega}</math> पर <math>H</math> की क्रिया है। उपसमूह <math>A^{\Omega}</math> को <math>A^{\Omega} \rtimes H</math> व्रेथ गुणनफल का आधार कहा जाता है।


प्रतिबंधित माल्यार्पण उत्पाद <math>A \text{ wr}_{\Omega} H</math> अप्रतिबंधित पुष्पांजलि उत्पाद के रूप में उसी तरह बनाया गया है, सिवाय इसके कि पुष्पांजलि उत्पाद के आधार के रूप में समूहों के प्रत्यक्ष योग का उपयोग किया जाता है। इस मामले में, आधार में सभी अनुक्रम होते हैं <math>A</math> बारीक-कई गैर-[[पहचान तत्व]] प्रविष्टियों के साथ।
प्रतिबंधित व्रेथ गुणनफल <math>A \text{ wr}_{\Omega} H</math> अप्रतिबंधित व्रेथ गुणनफल के रूप में उसी तरह बनाया गया है, अतिरिक्त इसके कि व्रेथ गुणनफल के आधार के रूप में समूहों के प्रत्यक्ष योग का उपयोग किया जाता है। इस स्तिथि में, आधार में सभी अनुक्रम <math>A</math> निश्चित रूप से कई गैर-पहचान प्रविष्टियों के साथ होते हैं ।


सबसे आम मामले में, <math>\Omega = H</math>, और <math>H</math> बाएं गुणन द्वारा स्वयं पर कार्य करता है। इस मामले में, अप्रतिबंधित और प्रतिबंधित माल्यार्पण उत्पाद द्वारा निरूपित किया जा सकता है <math>A \text{ Wr } H</math> और <math>A \text{ wr } H</math> क्रमश। इसे नियमित पुष्पांजलि उत्पाद कहा जाता है।
सबसे सामान्य स्तिथि में, <math>\Omega = H</math> और <math>H</math> बाएं गुणन द्वारा स्वयं पर कार्य करता है। इस स्तिथि में, अप्रतिबंधित और प्रतिबंधित व्रेथ गुणनफल <math>A \text{ Wr } H</math> और <math>A \text{ wr } H</math> द्वारा क्रमश निरूपित किया जा सकता है। इसे नियमित व्रेथ गुणनफल कहा जाता है।


== अंकन और परंपराएँ ==
== अंकन और परंपराएँ ==


एच द्वारा के माल्यार्पण उत्पाद की संरचना एच-सेट Ω पर निर्भर करती है और मामले में Ω अनंत है, यह इस बात पर भी निर्भर करता है कि कोई प्रतिबंधित या अप्रतिबंधित माल्यार्पण उत्पाद का उपयोग करता है या नहीं। हालाँकि, साहित्य में प्रयुक्त संकेतन में कमी हो सकती है और परिस्थितियों पर ध्यान देने की आवश्यकता है।
H द्वारा A के व्रेथ गुणनफल की संरचना H-सम्मुच्चय Ω पर निर्भर करती है और स्तिथियों में Ω अनंत है, यह इस बात पर भी निर्भर करता है कि कोई प्रतिबंधित या अप्रतिबंधित व्रेथ गुणनफल का उपयोग करता है या नहीं। हालाँकि, साहित्य में प्रयुक्त संकेतन में कमी हो सकती है और परिस्थितियों पर ध्यान देने की आवश्यकता है।


* साहित्य में ए≀<sub>Ω</sub>H अप्रतिबंधित पुष्पांजलि उत्पाद A Wr के लिए खड़ा हो सकता है<sub>Ω</sub>एच या प्रतिबंधित पुष्पांजलि उत्पाद A wr<sub>Ω</sub>एच।
* रचना में A≀<sub>Ω</sub>H अप्रतिबंधित व्रेथ गुणनफल A Wr<sub>Ω</sub>H या प्रतिबंधित व्रेथ गुणनफल A wr<sub>Ω</sub>H का अर्थ हो सकता है।
* इसी तरह, A≀H अप्रतिबंधित नियमित पुष्पांजलि उत्पाद A Wr H या प्रतिबंधित नियमित पुष्पांजलि उत्पाद A wr H के लिए खड़ा हो सकता है।
* इसी तरह, A≀H अप्रतिबंधित नियमित व्रेथ गुणनफल A Wr H या प्रतिबंधित नियमित व्रेथ गुणनफल A wr H का अर्थ हो सकता है।
* साहित्य में एच-सेट Ω को अंकन से छोड़ा जा सकता है भले ही Ω ≠ H।
* साहित्य में H-सम्मुच्चय Ω को अंकन से छोड़ा जा सकता है भले ही Ω ≠ H है।
* विशेष मामले में कि एच = एस<sub>''n''</sub> डिग्री n का [[सममित समूह]] है साहित्य में यह मान लेना आम है कि Ω = {1,...,n} (एस की प्राकृतिक क्रिया के साथ<sub>''n''</sub>) और फिर Ω को अंकन से हटा दें। यानी ए≀एस<sub>''n''</sub> आमतौर पर A≀ को दर्शाता है<sub>{1,...,''n''}</sub>S<sub>''n''</sub> नियमित माल्यार्पण उत्पाद A≀ के बजाय<sub>''S''<sub>''n''</sub></उप>एस<sub>''n''</sub>. पहले मामले में आधार समूह की एन प्रतियों का उत्पाद है, बाद में यह फैक्टोरियल का उत्पाद है। एन! ए की प्रतियां।
* विशेष स्तिथि में कि H = S<sub>''n''</sub> घात n का [[सममित समूह]] है रचना में यह मान लेना सामान्य है कि Ω = {1,...,n} (S<sub>''n''</sub> की प्राकृतिक क्रिया के साथ) और फिर Ω को अंकन से हटा दें। यानी A≀S<sub>''n''</sub> सामान्यतः A≀<sub>{1,...,''n''}</sub>S<sub>''n''</sub> को दर्शाता है नियमित व्रेथ गुणनफल A≀<sub>''S''<sub>''n''</sub>S<sub>''n''</sub> के स्थान पर पहले की स्तिथि में आधार समूह A की n प्रतियों का गुणनफल है, उत्तरार्द्ध में यह A की n प्रतियों का गुणनफल है।


== गुण ==
== गुण ==


=== परिमित Ω === पर अप्रतिबंधित और प्रतिबंधित पुष्पांजलि उत्पाद का समझौता
=== परिमित Ω पर अप्रतिबंधित और प्रतिबंधित व्रेथ गुणनफल का समझौता ===
चूँकि परिमित प्रत्यक्ष उत्पाद समूहों के परिमित प्रत्यक्ष योग के समान है, यह इस प्रकार है कि अप्रतिबंधित A Wr<sub>Ω</sub>H और प्रतिबंधित माल्यार्पण उत्पाद A wr<sub>Ω</sub>एच सहमत है अगर एच-सेट Ω परिमित है। विशेष रूप से यह तब सत्य होता है जब Ω = H परिमित होता है।
चूँकि परिमित प्रत्यक्ष गुणनफल समूहों के परिमित प्रत्यक्ष योग के समान है, यह इस प्रकार है कि अप्रतिबंधित A Wr<sub>Ω</sub>H और प्रतिबंधित व्रेथ गुणनफल A wr<sub>Ω</sub>H सहमत है यदि H-सम्मुच्चय Ω परिमित है। विशेष रूप से यह तब सत्य होता है जब Ω = H परिमित होता है।


=== उपसमूह ===
=== उपसमूह ===
ए WR<sub>Ω</sub>H हमेशा A Wr का [[उपसमूह]] होता है<sub>Ω</sub>एच।
A WR<sub>Ω</sub>H हमेशा A Wr<sub>Ω</sub> ''H'' का [[उपसमूह]] होता है।


=== कार्डिनैलिटी ===
=== गणनांक ===
यदि A, H और Ω परिमित हैं, तो
यदि A, H और Ω परिमित हैं, तो
:: |ए≀<sub>Ω</sub>एच| = ||<sup>|ओह|</sup>|एच|.<ref>Joseph J. Rotman, An Introduction to the Theory of Groups, p. 172 (1995)</ref>
:: |''A''≀<sub>Ω</sub>''H''| = |''A''|<sup>|Ω|</sup>|''H''|.<ref>Joseph J. Rotman, An Introduction to the Theory of Groups, p. 172 (1995)</ref>




=== यूनिवर्सल एम्बेडिंग प्रमेय ===
=== सार्वभौमिक अंतःस्थापन प्रमेय ===
{{Main|Universal embedding theorem}}
{{Main|सार्वभौमिक अंतःस्थापन प्रमेय}}
[[यूनिवर्सल एम्बेडिंग प्रमेय]]: यदि G, H द्वारा A का एक [[समूह विस्तार]] है, तो अप्रतिबंधित पुष्पांजलि उत्पाद A≀H का एक उपसमूह मौजूद है जो G के लिए आइसोमोर्फिक है।<ref>M. Krasner and L. Kaloujnine, "Produit complet des groupes de permutations et le problème d'extension de groupes III", [[Acta Sci. Math.]] 14, pp. 69–82 (1951)</ref> इसे क्रास्नर-कलौजिनिन एम्बेडिंग प्रमेय के रूप में भी जाना जाता है। क्रोहन-रोड्स प्रमेय में वह शामिल है जो मूल रूप से इसके समतुल्य अर्धसमूह है।<ref name="Meldrum1995">{{cite book|author=J D P Meldrum|title=समूहों और अर्धसमूहों के पुष्पांजलि उत्पाद|year=1995|publisher=Longman [UK] / Wiley [US]|isbn=978-0-582-02693-3|page=ix}}</ref>


सार्वभौमिक अंतःस्थापन प्रमेय यदि G, H द्वारा A का एक [[समूह विस्तार]] है, तो अप्रतिबंधित व्रेथ गुणनफल A≀H का एक उपसमूह उपस्थित है जो G के लिए समरूपी है।<ref>M. Krasner and L. Kaloujnine, "Produit complet des groupes de permutations et le problème d'extension de groupes III", [[Acta Sci. Math.]] 14, pp. 69–82 (1951)</ref> इसे क्रास्नर-कलौजिनिन अंतःस्थापन प्रमेय के रूप में भी जाना जाता है। क्रोहन-रोड्स प्रमेय में वह सम्मिलित है जो मूल रूप से इसके समतुल्य अर्धसमूह है।<ref name="Meldrum1995">{{cite book|author=J D P Meldrum|title=समूहों और अर्धसमूहों के पुष्पांजलि उत्पाद|year=1995|publisher=Longman [UK] / Wiley [US]|isbn=978-0-582-02693-3|page=ix}}</ref>


== पुष्पांजलि उत्पादों की विहित क्रियाएं ==


यदि समूह A एक सेट Λ पर कार्य करता है तो Ω और Λ से सेट बनाने के दो विहित तरीके हैं जिन पर A Wr<sub>Ω</sub>एच (और इसलिए ए WR<sub>Ω</sub>एच) कार्य कर सकता है।
== व्रेथ उत्पादों की विहित क्रियाएं ==


* Λ × Ω पर पुष्पांजलि उत्पाद कार्रवाई।
यदि समूह A एक सम्मुच्चय Λ पर कार्य करता है तो Ω और Λ से सम्मुच्चय बनाने के दो विहित तरीके हैं जिन पर A Wr<sub>Ω</sub>H (और इसलिए A WR<sub>Ω</sub>H) कार्य कर सकता है।
 
* Λ × Ω पर व्रेथ गुणनफल क्रिया।
*: अगर {{nowrap|((''a''<sub>''ω''</sub>),''h'') ∈ ''A'' Wr<sub>Ω</sub> ''H''}} और {{nowrap|(''λ'',''ω''&prime;) ∈ Λ × Ω}}, तब
*: अगर {{nowrap|((''a''<sub>''ω''</sub>),''h'') ∈ ''A'' Wr<sub>Ω</sub> ''H''}} और {{nowrap|(''λ'',''ω''&prime;) ∈ Λ × Ω}}, तब
*:: <math>((a_\omega), h) \cdot (\lambda,\omega') := (a_{h(\omega')}\lambda, h\omega'). </math>
*:: <math>((a_\omega), h) \cdot (\lambda,\omega') := (a_{h(\omega')}\lambda, h\omega'). </math>
* Λ पर आदिम पुष्पांजलि उत्पाद क्रिया<sup>ओह</sup>
* Λ<sup>Ω</sup> पर आदिम व्रेथ गुणनफल क्रिया।
*: एल में एक तत्व<sup>Ω</sup> एक क्रम है (l<sub>''ω''</sub>) एच-सेट Ω द्वारा अनुक्रमित। एक तत्व दिया {{nowrap|((''a''<sub>''ω''</sub>), ''h'') ∈ ''A'' Wr<sub>Ω</sub> ''H''}} इसका संचालन (λ<sub>''ω''</sub>) ∈ एल<sup>Ω</sup> द्वारा दिया गया है
*: Λ<sup>Ω</sup> में एक तत्व एक क्रम (''λ<sub>ω</sub>'') H-सम्मुच्चय Ω द्वारा अनुक्रमित है। एक तत्व {{nowrap|((''a''<sub>''ω''</sub>), ''h'') ∈ ''A'' Wr<sub>Ω</sub> ''H''}} दिया गया है, (''λ<sub>ω</sub>'') ∈ Λ<sup>Ω</sup> पर इसका संचालन निम्नलिखित द्वारा दिया गया है
*:: <math>((a_\omega), h) \cdot (\lambda_\omega) :=  (a_{h^{-1}\omega}\lambda_{h^{-1}\omega}).</math>
*:: <math>((a_\omega), h) \cdot (\lambda_\omega) :=  (a_{h^{-1}\omega}\lambda_{h^{-1}\omega}).</math>


Line 62: Line 63:
== उदाहरण ==
== उदाहरण ==


* लैम्पलाइटर समूह प्रतिबंधित माल्यार्पण उत्पाद है<sub>2</sub>≀ℤ.
* लैम्पलाइटर समूह प्रतिबंधित व्रेथ गुणनफल ℤ<sub>2</sub>≀ℤ है।
* {{math|ℤ<sub>''m''</sub>≀''S''<sub>''n''</sub>}} ([[सामान्यीकृत सममित समूह]])।
* {{math|ℤ<sub>''m''</sub>≀''S''<sub>''n''</sub>}} ([[सामान्यीकृत सममित समूह]])।


: इस पुष्पांजलि उत्पाद का आधार n-गुना प्रत्यक्ष उत्पाद है
: इस व्रेथ गुणनफल का आधार n-गुना प्रत्यक्ष गुणनफल है


:: ℤ<sub>''m''</sub><sup>एन</सुप> = ℤ<sub>''m''</sub> × ... × ℤ<sub>''m''</sub>
:: ℤ<sub>''m''</sub><sup>''n''</sup> = ℤ<sub>''m''</sub> × ... × ℤ<sub>''m''</sub>
: ℤ की प्रतियों का<sub>''m''</sub> जहां क्रिया φ : S<sub>''n''</sub> → ऑट (ℤ<sub>''m''</sub><sup>n</sup>) सममित समूह S का<sub>''n''</sub> डिग्री n द्वारा दिया गया है
: ℤ<sub>''m''</sub> की प्रतियों का जहां क्रिया φ : ''S<sub>n</sub>'' Aut(ℤ<sub>''m''</sub><sup>''n''</sup>) सममित समूह S<sub>''n''</sub> की घात n निम्नलिखित द्वारा दी गई है


:: एफ (एस) (<sub>1</sub>,..., <sub>''n''</sub>) := (<sub>''σ''(1)</sub>,..., <sub>''σ''(''n'')</sub>).<ref>J. W. Davies and A. O. Morris, "The Schur Multiplier of the Generalized Symmetric Group", [[J. London Math. Soc.]] (2), 8, (1974), pp. 615–620</ref>
:: ''φ''(''σ'')(α<sub>1</sub>,..., ''α<sub>n</sub>'') := (''α<sub>σ</sub>''<sub>(1)</sub>,..., ''α<sub>σ</sub>''<sub>(''n'')</sub>)<ref>J. W. Davies and A. O. Morris, "The Schur Multiplier of the Generalized Symmetric Group", [[J. London Math. Soc.]] (2), 8, (1974), pp. 615–620</ref>
* एस<sub>2</sub>≀S<sub>''n''</sub> ([[हाइपरऑक्टाहेड्रल समूह]])।
* S<sub>2</sub>≀S<sub>''n''</sub> ([[हाइपरऑक्टाहेड्रल समूह]])।


: एस की कार्रवाई<sub>''n''</sub> {1,...,n} पर ऊपर जैसा है। चूँकि सममित समूह S<sub>2</sub> डिग्री 2 का [[समूह समरूपता]] ℤ है<sub>2</sub> हाइपरऑक्टाहेड्रल समूह सामान्यीकृत सममित समूह का एक विशेष मामला है।<ref>P. Graczyk, G. Letac and H. Massam, "The Hyperoctahedral Group, Symmetric Group Representations and the Moments of the Real Wishart Distribution",  J. Theoret. Probab.  18  (2005),  no. 1, 1–42.</ref>
: S<sub>''n''</sub> {1,...,n} की क्रिया ऊपर जैसी है। चूँकि सममित समूह S<sub>2</sub> घात 2 का [[समूह समरूपता]] ℤ<sub>2</sub> है तो हाइपरऑक्टाहेड्रल समूह सामान्यीकृत सममित समूह की एक विशेष स्तिथि है।<ref>P. Graczyk, G. Letac and H. Massam, "The Hyperoctahedral Group, Symmetric Group Representations and the Moments of the Real Wishart Distribution",  J. Theoret. Probab.  18  (2005),  no. 1, 1–42.</ref>
* सबसे छोटा गैर-तुच्छ माल्यार्पण उत्पाद है<sub>2</sub>≀ℤ<sub>2</sub>, जो उपरोक्त हाइपरऑक्टाहेड्रल समूह का द्वि-आयामी मामला है। यह वर्ग का सममिति समूह है, जिसे डीह भी कहते हैं<sub>4</sub>, ऑर्डर 8 का [[डायहेड्रल समूह]]।
* सबसे छोटा गैर-तुच्छ व्रेथ गुणनफल ℤ<sub>2</sub>≀ℤ<sub>2</sub> है, जो उपरोक्त हाइपरऑक्टाहेड्रल समूह की द्वि-आयामी स्तिथि है। यह वर्ग का सममिति समूह है, जिसे ''Dih''<sub>4</sub> भी कहते हैं, क्रम 8 का द्वितल समूह।
* मान लीजिए p एक [[अभाज्य संख्या]] है और मान लीजिए n≥1। पी को एक साइलो प्रमेय होने दें | सममित समूह एस के साइलो पी-उपसमूह<sub>''p''<sup>''n''</sup></sub>. फिर पी पुनरावृत्त नियमित पुष्पांजलि उत्पाद डब्ल्यू के लिए समूह समरूपता है<sub>''n''</sub> = ℤ<sub>''p''</sub> ≀ ℤ<sub>''p''</sub>≀...≀ℤ<sub>''p''</sub> ℤ की एन प्रतियों की<sub>''p''</sub>. यहां डब्ल्यू<sub>1</sub> := ℤ<sub>''p''</sub> और डब्ल्यू<sub>''k''</sub> :=व<sub>''k''−1</sub>≀ℤ<sub>''p''</sub> सबके लिए क ≥ 2.<ref>Joseph J. Rotman, An Introduction to the Theory of Groups, p. 176 (1995)</ref><ref>L. Kaloujnine, "La structure des p-groupes de Sylow des groupes symétriques finis", [[Annales Scientifiques de l'École Normale Supérieure]]. Troisième Série 65, pp. 239–276 (1948)</ref> उदाहरण के लिए, एस का साइलो 2-उपसमूह<sub>4</sub> उपरोक्त ℤ है<sub>2</sub>≀ℤ<sub>2</sub> समूह।
* मान लीजिए p एक [[अभाज्य संख्या]] है और मान लीजिए n≥1 है। P को सममित समूह S<sub>''p''<sup>''n''</sup></sub> के साइलो p-उपसमूह प्रमेय होने दें। फिर P पुनरावृत्त नियमित व्रेथ गुणनफल W<sub>''n''</sub> = ℤ<sub>''p''</sub> ≀ ℤ<sub>''p''</sub>≀...≀ℤ<sub>''p''</sub> ℤ के लिए समूह समरूपता है। यहां सभी k ≥ 2 के लिए W1 := ℤp और Wk := Wk−1≀ℤp है। <ref>Joseph J. Rotman, An Introduction to the Theory of Groups, p. 176 (1995)</ref><ref>L. Kaloujnine, "La structure des p-groupes de Sylow des groupes symétriques finis", [[Annales Scientifiques de l'École Normale Supérieure]]. Troisième Série 65, pp. 239–276 (1948)</ref> उदाहरण के लिए, S4 का सिलो 2-उपसमूह उपरोक्त ℤ<sub>2</sub>≀ℤ<sub>2</sub> समूह है।


* रुबिक का घन समूह पुष्पांजलि उत्पादों के उत्पाद में सूचकांक 12 का एक उपसमूह है, (ℤ<sub>3</sub>≀S<sub>8</sub>) × (ℤ<sub>2</sub>≀S<sub>12</sub>), 8 कोनों और 12 किनारों की समरूपता के अनुरूप कारक।
* रुबिक का घन समूह व्रेथ उत्पादों के गुणनफल में सूचकांक 12 का एक उपसमूह (ℤ<sub>3</sub>≀S<sub>8</sub>) × (ℤ<sub>2</sub>≀S<sub>12</sub>), 8 कोनों और 12 किनारों की समरूपता के अनुरूप कारक है।


* सुडोकू का गणित # सुडोकू समरूपता समूह | सुडोकू वैधता संरक्षण परिवर्तन (वीपीटी) समूह में डबल पुष्पांजलि उत्पाद (एस) शामिल है<sub>3</sub> ≀ एस<sub>3</sub>) ≀ एस<sub>2</sub>, जहां कारक 3-पंक्ति या 3-स्तंभ बैंड या ढेर (एस) के भीतर पंक्तियों/स्तंभों का क्रमचय है<sub>3</sub>), बैंड/स्टैक का क्रमपरिवर्तन स्वयं (एस<sub>3</sub>) और ट्रांसपोजिशन, जो बैंड और स्टैक को इंटरचेंज करता है (एस<sub>2</sub>). यहां, सूचकांक सेट Ω बैंड (प्रतिक्रिया ढेर) (| Ω | = 3) और सेट {बैंड, ढेर} (| Ω | = 2) का सेट है। तदनुसार, |एस<sub>3</sub> ≀ एस<sub>3</sub>| = |एस<sub>3</sub>|<sup>3</sup>|एस<sub>3</sub>| = (3!)<sup>4</sup> और |(एस<sub>3</sub> ≀ एस<sub>3</sub>) ≀ एस<sub>2</sub>| = |एस<sub>3</sub> ≀ एस<sub>3</sub>|<sup>2</sup>|एस<sub>2</sub>| = (3!)<sup>8</sup> × 2।
* सुडोकू वैधता संरक्षण परिवर्तन (वीपीटी) समूह में युग्म व्रेथ गुणनफल (''S''<sub>3</sub> ≀ ''S''<sub>3</sub>) ≀ ''S''<sub>2</sub> सम्मिलित है, जहां कारक 3-पंक्ति या 3-स्तंभ पट्टी या ढेर (S<sub>3</sub>) के भीतर पंक्तियों/स्तंभों का क्रमचय है, पट्टी/ढेर का क्रमपरिवर्तन स्वयं (S<sub>3</sub>) और प्रतिस्थापन, जो पट्टी और ढेर (S<sub>2</sub>) को अंतर्विनिमय करता है। यहां, सूचकांक सम्मुच्चय Ω पट्टी (प्रतिक्रिया ढेर) (| Ω | = 3) और सम्मुच्चय {पट्टी, ढेर} (| Ω | = 2) का सम्मुच्चय है। तदनुसार, |''S''<sub>3</sub> ≀ ''S''<sub>3</sub>| = |''S''<sub>3</sub>|<sup>3</sup>|''S''<sub>3</sub>| = (3!)<sup>4</sup> और |(''S''<sub>3</sub> ≀ ''S''<sub>3</sub>) ≀ ''S''<sub>2</sub>| = |''S''<sub>3</sub> ≀ ''S''<sub>3</sub>|<sup>2</sup>|''S''<sub>2</sub>| = (3!)<sup>8</sup> × 2।
* पुष्पांजलि उत्पाद स्वाभाविक रूप से पूर्ण जड़ वाले [[वृक्ष (डेटा संरचना)]] और उनके [[ग्राफ (असतत गणित)]] के समरूपता समूह में उत्पन्न होते हैं। उदाहरण के लिए, बार-बार (पुनरावृत्त) पुष्पांजलि उत्पाद एस<sub>2</sub> ≀ एस<sub>2</sub> ≀... ≀ एस<sub>2</sub> एक पूर्ण [[बाइनरी ट्री]] का ऑटोमोर्फिज्म समूह है।
* व्रेथ गुणनफल स्वाभाविक रूप से पूर्ण जड़ वाले [[वृक्ष (डेटा संरचना)|तरू]] [[वृक्ष (डेटा संरचना)|(डेटा संरचना)]] और उनके [[ग्राफ (असतत गणित)|आलेख (असतत गणित)]] के समरूपता समूह में उत्पन्न होते हैं। उदाहरण के लिए, बार-बार (पुनरावृत्त) व्रेथ गुणनफल ''S''<sub>2</sub> ≀ ''S''<sub>2</sub> ≀ ''...'' ''S''<sub>2</sub> एक पूर्ण [[बाइनरी ट्री|द्वयी तरू]] का स्वसमाकृतिकता समूह है।


== संदर्भ ==
== संदर्भ ==
Line 88: Line 89:


== बाहरी संबंध ==
== बाहरी संबंध ==
* [http://www.encyclopediaofmath.org/index.php?title=Wreath_product&oldid=35297 Wreath product] in ''[[Encyclopedia of Mathematics]]''.  
* [http://www.encyclopediaofmath.org/index.php?title=Wreath_product&oldid=35297 व्रेथ गुणनफल] गणित के विश्वकोश में.
* [http://www.abstractmath.org/Papers/SAWPCWC.pdf Some Applications of the Wreath Product Construction]. {{webarchive |url=https://web.archive.org/web/20140221081427/http://www.abstractmath.org/Papers/SAWPCWC.pdf |date=21 February 2014}}
* [http://www.abstractmath.org/Papers/SAWPCWC.pdf व्रेथ गुणनफल निर्माण के कुछ अनुप्रयोग]. {{webarchive |url=https://web.archive.org/web/20140221081427/http://www.abstractmath.org/Papers/SAWPCWC.pdf |date=21 फ़रवरी 2014}}
[[Category: समूह उत्पाद]] [[Category: क्रमपरिवर्तन समूह]] [[Category: बाइनरी ऑपरेशंस]]
 
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 26/04/2023]]
[[Category:Created On 26/04/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics sidebar templates]]
[[Category:Pages with script errors]]
[[Category:Physics sidebar templates]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Webarchive template wayback links]]
[[Category:क्रमपरिवर्तन समूह]]
[[Category:बाइनरी ऑपरेशंस]]
[[Category:समूह उत्पाद]]

Latest revision as of 16:18, 13 September 2023

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

और दो समूह दिए गए हैं (कभी-कभी नीचे और ऊपर के रूप में जाना जाता है[1]), व्रेथ गुणनफल के दो रूप उपस्थित हैं: अप्रतिबंधित व्रेथ गुणनफल और प्रतिबंधित व्रेथ गुणनफल । सामान्य रूप, जिसे क्रमशः या द्वारा निरूपित किया जाता है उनके लिए आवश्यक है कि कुछ सम्मुच्चय पर समूह क्रिया (गणित) करे। जब अनिर्दिष्ट होता है, सामान्यतः (एक नियमित व्रेथ गुणनफल), हालांकि एक अलग कभी-कभी निहित होता है। जब , , और सभी परिमित होते हैं, तब दो भिन्नताएं मेल खाती हैं। अन्यतर भिन्नता को (लाटेक्स प्रतीक के लिए \wr के साथ) या (एकल कूट U+2240) के रूप में भी दर्शाया जाता है।

यह धारणा अर्धसमूहों के लिए सामान्यीकृत है और परिमित अर्धसमूहों क्रोह्न-रोड्स सिद्धांत में एक केंद्रीय निर्माण है।

परिभाषा

मान लीजिये A एक समूह है और H एक सम्मुच्चय पर कार्य करने वाला समूह है। का प्रत्यक्ष उत्पादन स्वयम् द्वारा अनुक्रमित क्रम में द्वारा अनुक्रमित बिंदुवार गुणन द्वारा दिए गए समूह संचालन का समुच्चय है। पर की क्रिया को पर एक क्रिया के लिए रीइन्डेक्सिंग द्वारा विस्तारित किया जा सकता है, अर्थात् निम्नलिखित को परिभाषित करके

सभी के लिए और सभी के लिए है।

फिर द्वारा का अप्रतिबंधित व्रेथ गुणनफल अर्ध-प्रत्यक्ष गुणनफल ऊपर दिए गए पर की क्रिया है। उपसमूह को व्रेथ गुणनफल का आधार कहा जाता है।

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

सबसे सामान्य स्तिथि में, और बाएं गुणन द्वारा स्वयं पर कार्य करता है। इस स्तिथि में, अप्रतिबंधित और प्रतिबंधित व्रेथ गुणनफल और द्वारा क्रमश निरूपित किया जा सकता है। इसे नियमित व्रेथ गुणनफल कहा जाता है।

अंकन और परंपराएँ

H द्वारा A के व्रेथ गुणनफल की संरचना H-सम्मुच्चय Ω पर निर्भर करती है और स्तिथियों में Ω अनंत है, यह इस बात पर भी निर्भर करता है कि कोई प्रतिबंधित या अप्रतिबंधित व्रेथ गुणनफल का उपयोग करता है या नहीं। हालाँकि, साहित्य में प्रयुक्त संकेतन में कमी हो सकती है और परिस्थितियों पर ध्यान देने की आवश्यकता है।

  • रचना में A≀ΩH अप्रतिबंधित व्रेथ गुणनफल A WrΩH या प्रतिबंधित व्रेथ गुणनफल A wrΩH का अर्थ हो सकता है।
  • इसी तरह, A≀H अप्रतिबंधित नियमित व्रेथ गुणनफल A Wr H या प्रतिबंधित नियमित व्रेथ गुणनफल A wr H का अर्थ हो सकता है।
  • साहित्य में H-सम्मुच्चय Ω को अंकन से छोड़ा जा सकता है भले ही Ω ≠ H है।
  • विशेष स्तिथि में कि H = Sn घात n का सममित समूह है रचना में यह मान लेना सामान्य है कि Ω = {1,...,n} (Sn की प्राकृतिक क्रिया के साथ) और फिर Ω को अंकन से हटा दें। यानी A≀Sn सामान्यतः A≀{1,...,n}Sn को दर्शाता है नियमित व्रेथ गुणनफल A≀SnSn के स्थान पर पहले की स्तिथि में आधार समूह A की n प्रतियों का गुणनफल है, उत्तरार्द्ध में यह A की n प्रतियों का गुणनफल है।

गुण

परिमित Ω पर अप्रतिबंधित और प्रतिबंधित व्रेथ गुणनफल का समझौता

चूँकि परिमित प्रत्यक्ष गुणनफल समूहों के परिमित प्रत्यक्ष योग के समान है, यह इस प्रकार है कि अप्रतिबंधित A WrΩH और प्रतिबंधित व्रेथ गुणनफल A wrΩH सहमत है यदि H-सम्मुच्चय Ω परिमित है। विशेष रूप से यह तब सत्य होता है जब Ω = H परिमित होता है।

उपसमूह

A WRΩH हमेशा A WrΩ H का उपसमूह होता है।

गणनांक

यदि A, H और Ω परिमित हैं, तो

|AΩH| = |A||Ω||H|.[2]


सार्वभौमिक अंतःस्थापन प्रमेय

सार्वभौमिक अंतःस्थापन प्रमेय यदि G, H द्वारा A का एक समूह विस्तार है, तो अप्रतिबंधित व्रेथ गुणनफल A≀H का एक उपसमूह उपस्थित है जो G के लिए समरूपी है।[3] इसे क्रास्नर-कलौजिनिन अंतःस्थापन प्रमेय के रूप में भी जाना जाता है। क्रोहन-रोड्स प्रमेय में वह सम्मिलित है जो मूल रूप से इसके समतुल्य अर्धसमूह है।[4]


व्रेथ उत्पादों की विहित क्रियाएं

यदि समूह A एक सम्मुच्चय Λ पर कार्य करता है तो Ω और Λ से सम्मुच्चय बनाने के दो विहित तरीके हैं जिन पर A WrΩH (और इसलिए A WRΩH) कार्य कर सकता है।

  • Λ × Ω पर व्रेथ गुणनफल क्रिया।
    अगर ((aω),h) ∈ A WrΩ H और (λ,ω′) ∈ Λ × Ω, तब
  • ΛΩ पर आदिम व्रेथ गुणनफल क्रिया।
    ΛΩ में एक तत्व एक क्रम (λω) H-सम्मुच्चय Ω द्वारा अनुक्रमित है। एक तत्व ((aω), h) ∈ A WrΩ H दिया गया है, (λω) ∈ ΛΩ पर इसका संचालन निम्नलिखित द्वारा दिया गया है


उदाहरण

इस व्रेथ गुणनफल का आधार n-गुना प्रत्यक्ष गुणनफल है
mn = ℤm × ... × ℤm
m की प्रतियों का जहां क्रिया φ : Sn → Aut(ℤmn) सममित समूह Sn की घात n निम्नलिखित द्वारा दी गई है
φ(σ)(α1,..., αn) := (ασ(1),..., ασ(n))[5]
Sn {1,...,n} की क्रिया ऊपर जैसी है। चूँकि सममित समूह S2 घात 2 का समूह समरूपता2 है तो हाइपरऑक्टाहेड्रल समूह सामान्यीकृत सममित समूह की एक विशेष स्तिथि है।[6]
  • सबसे छोटा गैर-तुच्छ व्रेथ गुणनफल ℤ2≀ℤ2 है, जो उपरोक्त हाइपरऑक्टाहेड्रल समूह की द्वि-आयामी स्तिथि है। यह वर्ग का सममिति समूह है, जिसे Dih4 भी कहते हैं, क्रम 8 का द्वितल समूह।
  • मान लीजिए p एक अभाज्य संख्या है और मान लीजिए n≥1 है। P को सममित समूह Spn के साइलो p-उपसमूह प्रमेय होने दें। फिर P पुनरावृत्त नियमित व्रेथ गुणनफल Wn = ℤp ≀ ℤp≀...≀ℤp ℤ के लिए समूह समरूपता है। यहां सभी k ≥ 2 के लिए W1 := ℤp और Wk := Wk−1≀ℤp है। [7][8] उदाहरण के लिए, S4 का सिलो 2-उपसमूह उपरोक्त ℤ2≀ℤ2 समूह है।
  • रुबिक का घन समूह व्रेथ उत्पादों के गुणनफल में सूचकांक 12 का एक उपसमूह (ℤ3≀S8) × (ℤ2≀S12), 8 कोनों और 12 किनारों की समरूपता के अनुरूप कारक है।
  • सुडोकू वैधता संरक्षण परिवर्तन (वीपीटी) समूह में युग्म व्रेथ गुणनफल (S3S3) ≀ S2 सम्मिलित है, जहां कारक 3-पंक्ति या 3-स्तंभ पट्टी या ढेर (S3) के भीतर पंक्तियों/स्तंभों का क्रमचय है, पट्टी/ढेर का क्रमपरिवर्तन स्वयं (S3) और प्रतिस्थापन, जो पट्टी और ढेर (S2) को अंतर्विनिमय करता है। यहां, सूचकांक सम्मुच्चय Ω पट्टी (प्रतिक्रिया ढेर) (| Ω | = 3) और सम्मुच्चय {पट्टी, ढेर} (| Ω | = 2) का सम्मुच्चय है। तदनुसार, |S3S3| = |S3|3|S3| = (3!)4 और |(S3S3) ≀ S2| = |S3S3|2|S2| = (3!)8 × 2।
  • व्रेथ गुणनफल स्वाभाविक रूप से पूर्ण जड़ वाले तरू (डेटा संरचना) और उनके आलेख (असतत गणित) के समरूपता समूह में उत्पन्न होते हैं। उदाहरण के लिए, बार-बार (पुनरावृत्त) व्रेथ गुणनफल S2S2...S2 एक पूर्ण द्वयी तरू का स्वसमाकृतिकता समूह है।

संदर्भ

  1. Bhattacharjee, Meenaxi; Macpherson, Dugald; Möller, Rögnvaldur G.; Neumann, Peter M. (1998), "Wreath products", Notes on Infinite Permutation Groups, Lecture Notes in Mathematics (in English), Berlin, Heidelberg: Springer, pp. 67–76, doi:10.1007/bfb0092558, ISBN 978-3-540-49813-1, retrieved 2021-05-12
  2. Joseph J. Rotman, An Introduction to the Theory of Groups, p. 172 (1995)
  3. M. Krasner and L. Kaloujnine, "Produit complet des groupes de permutations et le problème d'extension de groupes III", Acta Sci. Math. 14, pp. 69–82 (1951)
  4. J D P Meldrum (1995). समूहों और अर्धसमूहों के पुष्पांजलि उत्पाद. Longman [UK] / Wiley [US]. p. ix. ISBN 978-0-582-02693-3.
  5. J. W. Davies and A. O. Morris, "The Schur Multiplier of the Generalized Symmetric Group", J. London Math. Soc. (2), 8, (1974), pp. 615–620
  6. P. Graczyk, G. Letac and H. Massam, "The Hyperoctahedral Group, Symmetric Group Representations and the Moments of the Real Wishart Distribution", J. Theoret. Probab. 18 (2005), no. 1, 1–42.
  7. Joseph J. Rotman, An Introduction to the Theory of Groups, p. 176 (1995)
  8. L. Kaloujnine, "La structure des p-groupes de Sylow des groupes symétriques finis", Annales Scientifiques de l'École Normale Supérieure. Troisième Série 65, pp. 239–276 (1948)


बाहरी संबंध