व्रेथ गुणनफल

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

दो समूह दिए $A$ और $H$ (कभी-कभी नीचे और ऊपर के रूप में जाना जाता है), पुष्पांजलि उत्पाद के दो रूप मौजूद हैं: अप्रतिबंधित पुष्पांजलि उत्पाद $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$ (LaTeX प्रतीक के लिए \wr के साथ) या A ≀ H (यूनिकोड U+2240)।

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

परिभाषा

होने देना $A$ एक समूह बनो और चलो $H$ एक सेट पर समूह समूह क्रिया (गणित) हो $\Omega$ (बाईं तरफ)। समूहों का प्रत्यक्ष उत्पाद $A^{\Omega }$ का $A$ साथ ही द्वारा अनुक्रमित $\Omega$ क्रमों का समुच्चय है ${\overline {a}}=(a_{\omega })_{\omega \in \Omega }$ में $A$ द्वारा अनुक्रमित $\Omega$बिंदुवार गुणन द्वारा दिए गए समूह संचालन के साथ। की क्रिया $H$ पर $\Omega$ पर कार्रवाई के लिए बढ़ाया जा सकता है $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 }$.

फिर अप्रतिबंधित माल्यार्पण उत्पाद $A{\text{ Wr}}_{\Omega }H$ का $A$ द्वारा $H$ अर्ध-प्रत्यक्ष उत्पाद है $A^{\Omega }\rtimes H$ की क्रिया के साथ $H$ पर $A^{\Omega }$ ऊपर दिया गया है। उपसमूह $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 Wr के लिए खड़ा हो सकता है_Ωएच या प्रतिबंधित पुष्पांजलि उत्पाद A wr_Ωएच।
• इसी तरह, A≀H अप्रतिबंधित नियमित पुष्पांजलि उत्पाद A Wr H या प्रतिबंधित नियमित पुष्पांजलि उत्पाद A wr H के लिए खड़ा हो सकता है।
• साहित्य में एच-सेट Ω को अंकन से छोड़ा जा सकता है भले ही Ω ≠ H।
• विशेष मामले में कि एच = एस_n डिग्री n का सममित समूह है साहित्य में यह मान लेना आम है कि Ω = {1,...,n} (एस की प्राकृतिक क्रिया के साथ_n) और फिर Ω को अंकन से हटा दें। यानी ए≀एस_n आमतौर पर A≀ को दर्शाता है_{1,...,n}S_n नियमित माल्यार्पण उत्पाद A≀ के बजाय_{Sn</उप>एसn. पहले मामले में आधार समूह ए की एन प्रतियों का उत्पाद है, बाद में यह फैक्टोरियल का उत्पाद है। एन! ए की प्रतियां।}

गुण

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

उपसमूह

ए WR_ΩH हमेशा A Wr का उपसमूह होता है_Ωएच।

कार्डिनैलिटी

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

|ए≀_Ωएच| = |ए|^|ओह||एच|.

यूनिवर्सल एम्बेडिंग प्रमेय

Main article: Universal embedding theorem

यूनिवर्सल एम्बेडिंग प्रमेय: यदि G, H द्वारा A का एक समूह विस्तार है, तो अप्रतिबंधित पुष्पांजलि उत्पाद A≀H का एक उपसमूह मौजूद है जो G के लिए आइसोमोर्फिक है। इसे क्रास्नर-कलौजिनिन एम्बेडिंग प्रमेय के रूप में भी जाना जाता है। क्रोहन-रोड्स प्रमेय में वह शामिल है जो मूल रूप से इसके समतुल्य अर्धसमूह है।

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

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

• Λ × Ω पर पुष्पांजलि उत्पाद कार्रवाई।

  अगर ((a_ω),h) ∈ A Wr_Ω H और (λ,ω′) ∈ Λ × Ω, तब

  $((a_{\omega }),h)\cdot (\lambda ,\omega '):=(a_{h(\omega ')}\lambda ,h\omega ').$

• Λ पर आदिम पुष्पांजलि उत्पाद क्रिया^ओह।

  एल में एक तत्व^Ω एक क्रम है (l_ω) एच-सेट Ω द्वारा अनुक्रमित। एक तत्व दिया ((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 → ऑट (ℤ_mⁿ) सममित समूह S का_n डिग्री n द्वारा दिया गया है

एफ (एस) (ए₁,..., ए_n) := (अ_σ(1),..., ए_σ(n)).

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

एस की कार्रवाई_n {1,...,n} पर ऊपर जैसा है। चूँकि सममित समूह S₂ डिग्री 2 का समूह समरूपता ℤ है₂ हाइपरऑक्टाहेड्रल समूह सामान्यीकृत सममित समूह का एक विशेष मामला है।

• सबसे छोटा गैर-तुच्छ माल्यार्पण उत्पाद ℤ है₂≀ℤ₂, जो उपरोक्त हाइपरऑक्टाहेड्रल समूह का द्वि-आयामी मामला है। यह वर्ग का सममिति समूह है, जिसे डीह भी कहते हैं₄, ऑर्डर 8 का डायहेड्रल समूह।
• मान लीजिए p एक अभाज्य संख्या है और मान लीजिए n≥1। पी को एक साइलो प्रमेय होने दें | सममित समूह एस के साइलो पी-उपसमूह_pⁿ. फिर पी पुनरावृत्त नियमित पुष्पांजलि उत्पाद डब्ल्यू के लिए समूह समरूपता है_n = ℤ_p ≀ ℤ_p≀...≀ℤ_p ℤ की एन प्रतियों की_p. यहां डब्ल्यू₁ := ℤ_p और डब्ल्यू_k :=व_k−1≀ℤ_p सबके लिए क ≥ 2. उदाहरण के लिए, एस का साइलो 2-उपसमूह₄ उपरोक्त ℤ है₂≀ℤ₂ समूह।

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

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

बाहरी संबंध

• Wreath product in Encyclopedia of Mathematics.
• Some Applications of the Wreath Product Construction. Archived 21 February 2014 at the Wayback Machine