प्रतिबिंब समूह

समूह सिद्धांत और ज्यामिति में, एक प्रतिबिंब समूह एक असतत समूह होता है जो परिमित-आयामी यूक्लिडियन अंतरिक्ष के प्रतिबिंब (गणित) के एक समूह द्वारा उत्पन्न होता है। एक नियमित पॉलीटॉप की समरूपता समूह या एक नियमित पॉलीटॉप की सर्वांगसम प्रतियों द्वारा यूक्लिडियन स्थान के एक चौकोर का अनिवार्य रूप से एक प्रतिबिंब समूह है। प्रतिबिंब समूहों में वेइल समूह और क्रिस्टलोग्राफिक कॉक्सेटर समूह भी सम्मिलित हैं। जबकि ऑर्थोगोनल समूह प्रतिबिंबों (कार्टन-ड्यूडोने प्रमेय द्वारा) द्वारा उत्पन्न होता है, यह एक निरंतर समूह (वास्तव में, लाइ समूह) है, असतत समूह नहीं है, और सामान्यतः इसे अलग से माना जाता है।

परिभाषा
मान लीजिए E एक परिमित-विमीय यूक्लिडियन समष्टि है। एक 'परिमित प्रतिबिंब समूह' ई के सामान्य रैखिक समूह का एक उपसमूह है जो मूल के माध्यम से गुजरने वाले हाइपरप्लेन में ऑर्थोगोनल प्रतिबिंब (गणित) के समूह द्वारा उत्पन्न होता है। एक 'एफ़िन प्रतिबिंब समूह' ई के एफ़िन समूह का एक असतत उपसमूह है जो ई के एफ़िन प्रतिबिंबों के एक समूह द्वारा उत्पन्न होता है (इस आवश्यकता के बिना कि प्रतिबिंब हाइपरप्लेन मूल से गुजरते हैं)।

संबंधित धारणाओं को अन्य क्षेत्र (गणित) पर परिभाषित किया जा सकता है, जिससे 'जटिल प्रतिबिंब समूह' और परिमित क्षेत्र पर प्रतिबिंब समूहों के अनुरूप हो सकते हैं।

समतल
दो आयामों में, परिमित प्रतिबिंब समूह डायहेड्रल समूह होते हैं, जो दो पंक्तियों में प्रतिबिंब द्वारा उत्पन्न होते हैं जो $$2\pi/n$$ एक कोण बनाते हैं और कॉक्सेटर आरेख $$I_2(n).$$के अनुरूप है इसके विपरीत दो आयामों में चक्रीय बिंदु समूह प्रतिबिंबों से उत्पन्न नहीं होते हैं, और वास्तव में कोई प्रतिबिंब नहीं होते हैं - चूँकि वे डायहेड्रल समूह के सूचकांक 2 के उपसमूह हैं।

अनंत प्रतिबिंब समूहों में फ्रिज़ समूह $$*\infty\infty$$ और $$*22\infty$$ और वॉलपेपर समूह $$**$$, $$*2222$$, $$*333$$, $$*442$$ और $$*632$$.सम्मिलित हैं यदि दो रेखाओं के बीच का कोण पाई का अपरिमेय गुणक है, तो इन रेखाओं में परावर्तनों द्वारा उत्पन्न समूह अनंत और असतत है, इसलिए, यह परावर्तन समूह नहीं है।

स्थान
परिमित प्रतिबिंब समूह तीन आयामों Cnv, Dnh, और पांच प्लेटोनिक ठोस के समरूपता समूह है। दोहरी नियमित पॉलीहेड्रा (क्यूब और ऑक्टाहेड्रॉन, साथ ही डोडकाहेड्रॉन और आईकोसाहेड्रॉन) आइसोमोर्फिक समरूपता समूहों को जन्म देते हैं। 'R3' के परिमित प्रतिबिंब समूहों का वर्गीकरण एडीई वर्गीकरण का एक उदाहरण है।

कॉक्सेटर समूहों के साथ संबंध
एक प्रतिबिंब समूह डब्ल्यू एच.एस.एम. कॉक्सेटर द्वारा खोजे और अध्ययन किए गए एक विशेष प्रकार की समूह प्रस्तुति को स्वीकार करता है। एक निश्चित मौलिक डोमेन कक्ष के चेहरे में प्रतिबिंब क्रम 2 के डब्ल्यू का जेनरेटर ri हैं । उनके बीच के सभी संबंध औपचारिक रूप से संबंधों से अनुसरण करते हैं


 * $$(r_i r_j)^{c_{ij}} = 1,$$

इस तथ्य को व्यक्त करते हुए कि दो हाइपरप्लेन Hi और Hj में परावर्तन ri और rj का गुणनफल एक कोण $$\pi/c_{ij}$$पर मिलने से $$2\pi/c_{ij}$$ कोण से एक घूर्णन होता है जो उप-स्थान को ठीक करता है Hi ∩ Hj of कोडिमेंशन 2 इस प्रकार एक अमूर्त समूह के रूप में देखा गया, प्रत्येक प्रतिबिंब समूह एक कॉक्सेटर समूह है।

परिमित क्षेत्र
परिमित क्षेत्रों पर काम करते समय, एक "प्रतिबिंब" को एक मानचित्र के रूप में परिभाषित करता है जो एक हाइपरप्लेन को ठीक करता है (अन्यथा उदाहरण के लिए विशेषता 2 में कोई प्रतिबिंब नहीं होगा, क्योंकि -1=1 इसलिए प्रतिबिंब पहचान हैं)। [उद्धरण वांछित] ज्यामितीय रूप से, यह हाइपरप्लेन में शियर्स को सम्मिलित करने के समान है। विशेषता 2 नहीं के परिमित क्षेत्रों पर प्रतिबिंब समूहों को किया गया था।

सामान्यीकरण
प्रतिबिंबों द्वारा उत्पन्न अधिक सामान्य रीमैनियन कई गुना के असतत आइसोमेट्री समूहों पर भी विचार किया गया है। सबसे महत्वपूर्ण वर्ग श्रेणी 1 के रिमेंनियन सममित रिक्त स्थान से उत्पन्न होता है: n-क्षेत्र Sn, परिमित परावर्तन समूहों के अनुरूप, यूक्लिडियन स्पेस 'R'n, के अनुरूप एफाइन प्रतिबिंब समूह, और अतिपरवलयिक स्थान Hn, जहां संबंधित समूहों को 'अतिपरवलयिक परावर्तन समूह' कहा जाता है। दो आयामों में, त्रिभुज समूहों के प्रतिबिंब समूह सम्मिलित होते हैं।

यह भी देखें

 * हाइपरप्लेन व्यवस्था
 * शेवाली-शेफर्ड-टोड प्रमेय
 * परावर्तन समूह बहुरूपदर्शक से संबंधित हैं।