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

Revision as of 12:22, 2 May 2023

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

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

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

परिभाषा

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

h\cdot (a_{\omega })_{\omega \in \Omega }:=(a_{h^{-1}\cdot \omega })_{\omega \in \Omega }

सभी $h\in H$ के लिए और सभी $(a_{\omega })_{\omega \in \Omega }\in A^{\Omega }$ के लिए है।

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

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

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

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

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

रचना में A≀_ΩH अप्रतिबंधित पुष्पांजलि उत्पाद A Wr_ΩH या प्रतिबंधित पुष्पांजलि उत्पाद A wr_ΩH का अर्थ हो सकता है।
इसी तरह, A≀H अप्रतिबंधित नियमित पुष्पांजलि उत्पाद A Wr H या प्रतिबंधित नियमित पुष्पांजलि उत्पाद A wr H का अर्थ हो सकता है।
साहित्य में H-सम्मुच्चय Ω को अंकन से छोड़ा जा सकता है भले ही Ω ≠ H है।
विशेष स्तिथि में कि H = S_n घात n का सममित समूह है रचना में यह मान लेना सामान्य है कि Ω = {1,...,n} (S_n की प्राकृतिक क्रिया के साथ) और फिर Ω को अंकन से हटा दें। यानी A≀S_n सामान्यतः A≀_{1,...,n}S_n को दर्शाता है नियमित पुष्पांजलि उत्पाद A≀_{S_nS_n के स्थान पर पहले की स्तिथि में आधार समूह 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_{\omega }),h)\cdot (\lambda ,\omega '):=(a_{h(\omega ')}\lambda ,h\omega ').$
Λ^Ω पर आदिम पुष्पांजलि उत्पाद क्रिया।
Λ^Ω में एक तत्व एक क्रम (λ_ω) H-सम्मुच्चय Ω द्वारा अनुक्रमित है। एक तत्व ((a_ω), h) ∈ A Wr_Ω H दिया गया है, (λ_ω) ∈ Λ^Ω पर इसका संचालन निम्नलिखित द्वारा दिया गया है
$((a_{\omega }),h)\cdot (\lambda _{\omega }):=(a_{h^{-1}\omega }\lambda _{h^{-1}\omega }).$

उदाहरण

लैम्पलाइटर समूह प्रतिबंधित पुष्पांजलि उत्पाद ℤ₂≀ℤ है।
$ℤ m ≀ S n$ (सामान्यीकृत सममित समूह)।

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

ℤ_mⁿ = ℤ_m × ... × ℤ_m

ℤ_m की प्रतियों का जहां क्रिया φ : S_n → Aut(ℤ_mⁿ) सममित समूह S_n की घात n निम्नलिखित द्वारा दी गई है

φ(σ)(α₁,..., α_n) := (α_σ₍₁₎,..., α_σ_(n))^[5]

S₂≀S_n (हाइपरऑक्टाहेड्रल समूह)।

S_n {1,...,n} की क्रिया ऊपर जैसी है। चूँकि सममित समूह S₂ घात 2 का समूह समरूपता ℤ₂ है तो हाइपरऑक्टाहेड्रल समूह सामान्यीकृत सममित समूह की एक विशेष स्तिथि है।^[6]

सबसे छोटा गैर-तुच्छ पुष्पांजलि उत्पाद ℤ₂≀ℤ₂ है, जो उपरोक्त हाइपरऑक्टाहेड्रल समूह की द्वि-आयामी स्तिथि है। यह वर्ग का सममिति समूह है, जिसे Dih₄ भी कहते हैं, क्रम 8 का द्वितल समूह।
मान लीजिए p एक अभाज्य संख्या है और मान लीजिए n≥1 है। P को सममित समूह S_pⁿ के साइलो p-उपसमूह प्रमेय होने दें। फिर P पुनरावृत्त नियमित पुष्पांजलि उत्पाद W_n = ℤ_p ≀ ℤ_p≀...≀ℤ_p ℤ के लिए समूह समरूपता है। यहां सभी k ≥ 2 के लिए W1 := ℤp और Wk := Wk−1≀ℤp है। ^[7]^[8] उदाहरण के लिए, S4 का सिलो 2-उपसमूह उपरोक्त ℤ₂≀ℤ₂ समूह है।

रुबिक का घन समूह पुष्पांजलि उत्पादों के उत्पाद में सूचकांक 12 का एक उपसमूह (ℤ₃≀S₈) × (ℤ₂≀S₁₂), 8 कोनों और 12 किनारों की समरूपता के अनुरूप कारक है।

सुडोकू वैधता संरक्षण परिवर्तन (वीपीटी) समूह में युग्म पुष्पांजलि उत्पाद (S₃ ≀ S₃) ≀ S₂ सम्मिलित है, जहां कारक 3-पंक्ति या 3-स्तंभ पट्टी या ढेर (S₃) के भीतर पंक्तियों/स्तंभों का क्रमचय है, पट्टी/ढेर का क्रमपरिवर्तन स्वयं (S₃) और प्रतिस्थापन, जो पट्टी और ढेर (S₂) को अंतर्विनिमय करता है। यहां, सूचकांक सम्मुच्चय Ω पट्टी (प्रतिक्रिया ढेर) (| Ω | = 3) और सम्मुच्चय {पट्टी, ढेर} (| Ω | = 2) का सम्मुच्चय है। तदनुसार, |S₃ ≀ S₃| = |S₃|³|S₃| = (3!)⁴ और |(S₃ ≀ S₃) ≀ S₂| = |S₃ ≀ S₃|²|S₂| = (3!)⁸ × 2।
पुष्पांजलि उत्पाद स्वाभाविक रूप से पूर्ण जड़ वाले तरू (डेटा संरचना) और उनके आलेख (असतत गणित) के समरूपता समूह में उत्पन्न होते हैं। उदाहरण के लिए, बार-बार (पुनरावृत्त) पुष्पांजलि उत्पाद S₂ ≀ S₂ ≀ ... ≀ S₂ एक पूर्ण द्वयी तरू का स्वसमाकृतिकता समूह है।

संदर्भ

↑ 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

[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)

[Meldrum1995-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)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

@@ Line 10: / Line 10: @@
 == परिभाषा ==
-मान लीजिये A एक समूह है और H को एक सम्मुच्चय पर कार्य करने वाला समूह <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> रीइंडेक्सिंग द्वारा, अर्थात् परिभाषित करके<math>A</math><math>H</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 \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 और Ω परिमित हैं, तो
-:: |ए≀<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;) ∈ Λ × Ω}}, तब
 *:: <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>
@@ Line 62: / Line 63: @@
 == उदाहरण ==
-* लैम्पलाइटर समूह प्रतिबंधित माल्यार्पण उत्पाद ℤ है<sub>2</sub>≀ℤ.
+* लैम्पलाइटर समूह प्रतिबंधित पुष्पांजलि उत्पाद ℤ<sub>2</sub>≀ℤ है।
 * {{math|ℤ<sub>''m''</sub>≀''S''<sub>''n''</sub>}} ([[सामान्यीकृत सममित समूह]])।
 : इस पुष्पांजलि उत्पाद का आधार 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: बाइनरी ऑपरेशंस]]

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 12:22, 2 May 2023

Contents

परिभाषा

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

गुण

परिमित Ω पर अप्रतिबंधित और प्रतिबंधित पुष्पांजलि उत्पाद का समझौता

उपसमूह

गणनांक

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

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

उदाहरण

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 12:22, 2 May 2023

परिभाषा

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

गुण

परिमित Ω पर अप्रतिबंधित और प्रतिबंधित पुष्पांजलि उत्पाद का समझौता

उपसमूह

गणनांक

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

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

उदाहरण

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories