व्रेथ गुणनफल: Difference between revisions
m (6 revisions imported from alpha:व्रेथ_उत्पाद) |
No edit summary |
||
(2 intermediate revisions by 2 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</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) के रूप में भी दर्शाया जाता है। | ||
यह धारणा अर्धसमूहों के लिए सामान्यीकृत है और परिमित अर्धसमूहों क्रोह्न-रोड्स सिद्धांत में एक केंद्रीय निर्माण है। | यह धारणा अर्धसमूहों के लिए सामान्यीकृत है और परिमित अर्धसमूहों क्रोह्न-रोड्स सिद्धांत में एक केंद्रीय निर्माण है। | ||
Line 15: | Line 15: | ||
सभी <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>H</math>द्वारा <math>A</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>\Omega = H</math> और <math>H</math> बाएं गुणन द्वारा स्वयं पर कार्य करता है। इस स्तिथि में, अप्रतिबंधित और प्रतिबंधित व्रेथ | सबसे सामान्य स्तिथि में, <math>\Omega = H</math> और <math>H</math> बाएं गुणन द्वारा स्वयं पर कार्य करता है। इस स्तिथि में, अप्रतिबंधित और प्रतिबंधित व्रेथ गुणनफल <math>A \text{ Wr } H</math> और <math>A \text{ wr } H</math> द्वारा क्रमश निरूपित किया जा सकता है। इसे नियमित व्रेथ गुणनफल कहा जाता है। | ||
== अंकन और परंपराएँ == | == अंकन और परंपराएँ == | ||
H द्वारा A के व्रेथ | H द्वारा A के व्रेथ गुणनफल की संरचना H-सम्मुच्चय Ω पर निर्भर करती है और स्तिथियों में Ω अनंत है, यह इस बात पर भी निर्भर करता है कि कोई प्रतिबंधित या अप्रतिबंधित व्रेथ गुणनफल का उपयोग करता है या नहीं। हालाँकि, साहित्य में प्रयुक्त संकेतन में कमी हो सकती है और परिस्थितियों पर ध्यान देने की आवश्यकता है। | ||
* रचना में A≀<sub>Ω</sub>H अप्रतिबंधित व्रेथ | * रचना में A≀<sub>Ω</sub>H अप्रतिबंधित व्रेथ गुणनफल A Wr<sub>Ω</sub>H या प्रतिबंधित व्रेथ गुणनफल A wr<sub>Ω</sub>H का अर्थ हो सकता है। | ||
* इसी तरह, A≀H अप्रतिबंधित नियमित व्रेथ | * इसी तरह, A≀H अप्रतिबंधित नियमित व्रेथ गुणनफल A Wr H या प्रतिबंधित नियमित व्रेथ गुणनफल A wr H का अर्थ हो सकता है। | ||
* साहित्य में H-सम्मुच्चय Ω को अंकन से छोड़ा जा सकता है भले ही Ω ≠ H है। | * साहित्य में H-सम्मुच्चय Ω को अंकन से छोड़ा जा सकता है भले ही Ω ≠ H है। | ||
* विशेष स्तिथि में कि 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> को दर्शाता है नियमित व्रेथ | * विशेष स्तिथि में कि 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 सहमत है यदि H-सम्मुच्चय Ω परिमित है। विशेष रूप से यह तब सत्य होता है जब Ω = H परिमित होता है। | ||
=== उपसमूह === | === उपसमूह === | ||
Line 46: | Line 46: | ||
{{Main|सार्वभौमिक अंतःस्थापन प्रमेय}} | {{Main|सार्वभौमिक अंतःस्थापन प्रमेय}} | ||
सार्वभौमिक अंतःस्थापन प्रमेय यदि G, H द्वारा A का एक [[समूह विस्तार]] है, तो अप्रतिबंधित व्रेथ | सार्वभौमिक अंतःस्थापन प्रमेय यदि 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> | ||
Line 53: | Line 53: | ||
यदि समूह A एक सम्मुच्चय Λ पर कार्य करता है तो Ω और Λ से सम्मुच्चय बनाने के दो विहित तरीके हैं जिन पर A Wr<sub>Ω</sub>H (और इसलिए A WR<sub>Ω</sub>H) कार्य कर सकता है। | यदि समूह A एक सम्मुच्चय Λ पर कार्य करता है तो Ω और Λ से सम्मुच्चय बनाने के दो विहित तरीके हैं जिन पर A Wr<sub>Ω</sub>H (और इसलिए A WR<sub>Ω</sub>H) कार्य कर सकता है। | ||
* Λ × Ω पर व्रेथ | * Λ × Ω पर व्रेथ गुणनफल क्रिया। | ||
*: अगर {{nowrap|((''a''<sub>''ω''</sub>),''h'') ∈ ''A'' Wr<sub>Ω</sub> ''H''}} और {{nowrap|(''λ'',''ω''′) ∈ Λ × Ω}}, तब | *: अगर {{nowrap|((''a''<sub>''ω''</sub>),''h'') ∈ ''A'' Wr<sub>Ω</sub> ''H''}} और {{nowrap|(''λ'',''ω''′) ∈ Λ × Ω}}, तब | ||
*:: <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> में एक तत्व एक क्रम (''λ<sub>ω</sub>'') H-सम्मुच्चय Ω द्वारा अनुक्रमित है। एक तत्व {{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 63: | Line 63: | ||
== उदाहरण == | == उदाहरण == | ||
* लैम्पलाइटर समूह प्रतिबंधित व्रेथ | * लैम्पलाइटर समूह प्रतिबंधित व्रेथ गुणनफल ℤ<sub>2</sub>≀ℤ है। | ||
* {{math|ℤ<sub>''m''</sub>≀''S''<sub>''n''</sub>}} ([[सामान्यीकृत सममित समूह]])। | * {{math|ℤ<sub>''m''</sub>≀''S''<sub>''n''</sub>}} ([[सामान्यीकृत सममित समूह]])। | ||
: इस व्रेथ | : इस व्रेथ गुणनफल का आधार n-गुना प्रत्यक्ष गुणनफल है | ||
:: ℤ<sub>''m''</sub><sup>''n''</sup> = ℤ<sub>''m''</sub> × ... × ℤ<sub>''m''</sub> | :: ℤ<sub>''m''</sub><sup>''n''</sup> = ℤ<sub>''m''</sub> × ... × ℤ<sub>''m''</sub> | ||
Line 75: | Line 75: | ||
: 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> | : 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> है, जो उपरोक्त हाइपरऑक्टाहेड्रल समूह की द्वि-आयामी स्तिथि है। यह वर्ग का सममिति समूह है, जिसे ''Dih''<sub>4</sub> भी कहते हैं, क्रम 8 का द्वितल समूह। | ||
* मान लीजिए p एक [[अभाज्य संख्या]] है और मान लीजिए n≥1 है। P को सममित समूह S<sub>''p''<sup>''n''</sup></sub> के साइलो p-उपसमूह प्रमेय होने दें। फिर P पुनरावृत्त नियमित व्रेथ | * मान लीजिए 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 किनारों की समरूपता के अनुरूप कारक है। | ||
* सुडोकू वैधता संरक्षण परिवर्तन (वीपीटी) समूह में युग्म व्रेथ | * सुडोकू वैधता संरक्षण परिवर्तन (वीपीटी) समूह में युग्म व्रेथ गुणनफल (''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। | ||
* व्रेथ | * व्रेथ गुणनफल स्वाभाविक रूप से पूर्ण जड़ वाले [[वृक्ष (डेटा संरचना)|तरू]] [[वृक्ष (डेटा संरचना)|(डेटा संरचना)]] और उनके [[ग्राफ (असतत गणित)|आलेख (असतत गणित)]] के समरूपता समूह में उत्पन्न होते हैं। उदाहरण के लिए, बार-बार (पुनरावृत्त) व्रेथ गुणनफल ''S''<sub>2</sub> ≀ ''S''<sub>2</sub> ≀ ''...'' ≀ ''S''<sub>2</sub> एक पूर्ण [[बाइनरी ट्री|द्वयी तरू]] का स्वसमाकृतिकता समूह है। | ||
== संदर्भ == | == संदर्भ == | ||
Line 89: | Line 89: | ||
== बाहरी संबंध == | == बाहरी संबंध == | ||
* [http://www.encyclopediaofmath.org/index.php?title=Wreath_product&oldid=35297 व्रेथ | * [http://www.encyclopediaofmath.org/index.php?title=Wreath_product&oldid=35297 व्रेथ गुणनफल] गणित के विश्वकोश में. | ||
* [http://www.abstractmath.org/Papers/SAWPCWC.pdf व्रेथ | * [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:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category:CS1 English-language sources (en)]] | |||
[[Category: | |||
[[Category:Created On 26/04/2023]] | [[Category:Created On 26/04/2023]] | ||
[[Category:Vigyan Ready]] | [[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 और (λ,ω′) ∈ Λ × Ω, तब
- अगर ((aω),h) ∈ A WrΩ H और (λ,ω′) ∈ Λ × Ω, तब
- ΛΩ पर आदिम व्रेथ गुणनफल क्रिया।
- ΛΩ में एक तत्व एक क्रम (λω) H-सम्मुच्चय Ω द्वारा अनुक्रमित है। एक तत्व ((aω), h) ∈ A WrΩ H दिया गया है, (λω) ∈ ΛΩ पर इसका संचालन निम्नलिखित द्वारा दिया गया है
- ΛΩ में एक तत्व एक क्रम (λω) H-सम्मुच्चय Ω द्वारा अनुक्रमित है। एक तत्व ((aω), h) ∈ A WrΩ H दिया गया है, (λω) ∈ ΛΩ पर इसका संचालन निम्नलिखित द्वारा दिया गया है
उदाहरण
- लैम्पलाइटर समूह प्रतिबंधित व्रेथ गुणनफल ℤ2≀ℤ है।
- ℤm≀Sn (सामान्यीकृत सममित समूह)।
- इस व्रेथ गुणनफल का आधार n-गुना प्रत्यक्ष गुणनफल है
- ℤmn = ℤm × ... × ℤm
- ℤm की प्रतियों का जहां क्रिया φ : Sn → Aut(ℤmn) सममित समूह Sn की घात n निम्नलिखित द्वारा दी गई है
- φ(σ)(α1,..., αn) := (ασ(1),..., ασ(n))[5]
- S2≀Sn (हाइपरऑक्टाहेड्रल समूह)।
- 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 किनारों की समरूपता के अनुरूप कारक है।
- सुडोकू वैधता संरक्षण परिवर्तन (वीपीटी) समूह में युग्म व्रेथ गुणनफल (S3 ≀ S3) ≀ S2 सम्मिलित है, जहां कारक 3-पंक्ति या 3-स्तंभ पट्टी या ढेर (S3) के भीतर पंक्तियों/स्तंभों का क्रमचय है, पट्टी/ढेर का क्रमपरिवर्तन स्वयं (S3) और प्रतिस्थापन, जो पट्टी और ढेर (S2) को अंतर्विनिमय करता है। यहां, सूचकांक सम्मुच्चय Ω पट्टी (प्रतिक्रिया ढेर) (| Ω | = 3) और सम्मुच्चय {पट्टी, ढेर} (| Ω | = 2) का सम्मुच्चय है। तदनुसार, |S3 ≀ S3| = |S3|3|S3| = (3!)4 और |(S3 ≀ S3) ≀ S2| = |S3 ≀ S3|2|S2| = (3!)8 × 2।
- व्रेथ गुणनफल स्वाभाविक रूप से पूर्ण जड़ वाले तरू (डेटा संरचना) और उनके आलेख (असतत गणित) के समरूपता समूह में उत्पन्न होते हैं। उदाहरण के लिए, बार-बार (पुनरावृत्त) व्रेथ गुणनफल S2 ≀ S2 ≀ ... ≀ S2 एक पूर्ण द्वयी तरू का स्वसमाकृतिकता समूह है।
संदर्भ
- ↑ 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
- ↑ Joseph J. Rotman, An Introduction to the Theory of Groups, p. 172 (1995)
- ↑ 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)
- ↑ J D P Meldrum (1995). समूहों और अर्धसमूहों के पुष्पांजलि उत्पाद. Longman [UK] / Wiley [US]. p. ix. ISBN 978-0-582-02693-3.
- ↑ 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
- ↑ 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.
- ↑ Joseph J. Rotman, An Introduction to the Theory of Groups, p. 176 (1995)
- ↑ 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)
बाहरी संबंध
- व्रेथ गुणनफल गणित के विश्वकोश में.
- व्रेथ गुणनफल निर्माण के कुछ अनुप्रयोग. Archived 2014-02-21 at the Wayback Machine