उपसमूह क्या है?

उदाहरण 7.8

$\mathbb{U}_n \leq (\C^*, \times)$: अरिक्त, और $z, w \in \mathbb{U}_n$ के लिए $(zw^{-1})^n = z^n (w^n)^{-1} = 1$। $(\Z, +)$ के उपसमूह ठीक $n\Z$ हैं (उपपत्ति प्रमेय 6.4 में)। उपसमूहों का प्रतिच्छेदन सदा उपसमूह होता है, पर सम्मिलन लगभग कभी नहीं (अभ्यास 7.6)।

उदाहरण 7.13 (चिह्न समाकारिता)

$x$ को उसके चिह्न पर भेजने वाला प्रतिचित्रण $s \colon (\R^*, \times) \to (\{\pm1\}, \times)$ एक समाकारिता है: गुणनफल का चिह्न चिह्नों का गुणनफल होता है। उसकी अष्टि $\intoo0{+\infty}$ है (जो उपसमूह है, जैसा परिभाषा 7.10 वादा करता है), और उसका प्रतिबिंब पूरा $\{\pm1\}$: आच्छादक, पर अत्यधिक अनेकैकी। लघु रूप में दो व्यापक शिक्षाएँ। पहली, कोई समाकारिता सूचना को कुचल सकती है: $s$ $x$ का केवल एक बिट स्मरण रखता है और कुछ नहीं, और यही उसका गुण है — चिह्न वाले तर्क ठीक वही संगणनाएँ हैं जो $s$ से होकर गुज़रती हैं। दूसरी, $\{\pm1\}$ तक जाने वाली समाकारिताएँ सरलतम “अपरिवर्त्य” हैं: इस अध्याय की सप्ताहांत समस्या में बनने वाला क्रमचयों का संकेतक समूह $\mathfrak S_n$ पर वही परिघटना है, और वह जिन सम-विषम तर्कों को शक्ति देता है वे सब ऐसी ही द्विमानी समाकारिता से उतरते हैं।