2 हाथ से "आदेश" के एक समूह के Indecomposable अभिन्न अभ्यावेदन
यह प्रश्न उस 2010 एमओ प्रश्न का एक डुप्लिकेट है ।
मैं isomorphism की कक्षाओं को वर्गीकृत करने में रुचि रखता हूं $n$चक्रीय समूह के आयामी अभिन्न प्रतिनिधित्व $C_2$ आदेश का $2$। जाहिर है, किसी भी अभिन्न प्रतिनिधित्व का$C_2$अनिर्णायक अभिन्न अभ्यावेदन का प्रत्यक्ष योग है ।
निम्नलिखित परिणाम अच्छी तरह से जाना जाता है:
प्रमेय। समूह$C_2$ इंडोकोपायोटिक इंटीग्रल अभ्यावेदन के बिल्कुल 3 समरूपता वर्ग हैं:
(१) तुच्छ;
(2) संकेत प्रतिनिधित्व;
(3) मैट्रिक्स के साथ 2-आयामी प्रतिनिधित्व $\left(\begin{smallmatrix}0 & 1\\ 1 & 0\end{smallmatrix}\right).$
यह परिणाम विक्टर प्रोटोसाक के उत्तर में कहा गया था । टॉड लेसन का उत्तर भी देखें ।
में उसकी टिप्पणी विक्टर Protsak एक संदर्भ देता है। वह लिखते हैं: "कर्टिस और रेनर, अध्याय 11। यह धारा 74 में एक प्रमेय का एक विशेष मामला है जो प्रधान आदेश के चक्रीय समूहों के अभिन्न प्रतिनिधित्व को वर्गीकृत करता है। स्वाभाविक रूप से, यह मामला बहुत आसान है और इसे हाथ से किया जा सकता है।"
सवाल। कर्टिस और रेनर द्वारा पुस्तक के संदर्भ के बिना, "हाथ से" उपरोक्त प्रमेय को कैसे साबित किया जाए?
प्रेरणा: मैं अब बीजीय के साथ काम कर रहा हूं$\mathbb R$-tori। उन्हें गाल्वा समूह के अभिन्न अभ्यावेदन द्वारा वर्गीकृत किया गया है${\rm Gal}({\mathbb C}/{\mathbb R})$, जो आदेश का एक समूह है $2$। अनिर्णायक के प्रसिद्ध वर्गीकरण को समझने के लिए$\mathbb R$-टोरी, मुझे इंडोकोमायॉजिकल इंटीग्रल रिप्रेजेंटेशन ऑफ के जाने-माने वर्गीकरण को समझने की जरूरत है ${\rm Gal}({\mathbb C}/{\mathbb R})$।
मैंने गणित के StackExchange पर यह प्रतीत होता है कि प्रारंभिक प्रश्न पूछा , लेकिन कोई उत्तर या टिप्पणी नहीं मिली, इसलिए मैं इसे यहाँ पूछता हूं।
जवाब
में वास्तविक तोरी के साथ कम्प्यूटिंग , Casselman एक अच्छा लेख सिर्फ साबित है कि ये केवल पूरा तोरी नहीं की दृष्टि से इस प्रमेय का है, लेकिन, मान आप में से कोई स्पष्ट अभिन्न प्रतिनिधित्व दिया जाता है$\operatorname C_2$, स्पष्ट रूप से इन तीन अभ्यावेदन में इसके अपघटन को खोजने / कंप्यूटिंग करने के लिए।
वास्तव में, यदि आप (सामान्य पाठक, जरूरी नहीं @MikhailBorovoi) बिल कैसलेमैन के हाल के काम से परिचित नहीं हैं, तो यह उनके पृष्ठ की जाँच करने लायक है http://www.math.ubc.ca/~cass; वह कुछ समय के लिए वास्तविक संगणना करने में बहुत रुचि रखते हैं, उन चीजों के अर्थ में जिन्हें कंप्यूटर में फीड किया जा सकता है, बीजगणितीय समूहों से संबंधित। ऊपर एक उदाहरण है; दूसरों पर पाया जा सकता हैhttp://www.math.ubc.ca/~cass/research/publications.html, उदाहरण के लिए, जैक्स ब्रेस्ट्स के अनुसार संरचना स्थिरांक की गणना , जो कि हम सभी जानते हैं कि किया जा सकता है, लेकिन हम में से अधिकांश (कम से कम मैं!) वास्तव में कर रहा से हटना होगा , यहाँ एक तरीका है कि कैसे प्रदर्शित करता है! इसे व्यावहारिक रूप से पूरा करने के लिए।
( गणितीय ग्राफिक्स पर कुछ अच्छा सामान भी है !)