تشاكل الزمر কী?

مثال 7.12

التطبيق $\exp \colon (\R, +) \to (\R_+^*, \times)$ تشاكل ($\eu^{x+y} = \eu^x \eu^y$)، وهو تقابليّ (القضية 4.1): فالبنيتان الجمعية والضربية متماثلتان — وهذا هو مبرر وجود اللوغاريتمات تاريخيًا. وتشاكل آخر: $\theta \mapsto \eu^{\iu\theta}$ من $(\R, +)$ على دائرة الوحدة $(\mathbb{U}, \times)$، ونواته $2\pi\Z$.

مثال 7.13 (تشاكل الإشارة)

التطبيق $s \colon (\R^*, \times) \to (\{\pm1\}, \times)$ الذي يرسل $x$ إلى إشارته تشاكلٌ: فإشارة الجداء هي جداء الإشارتين. ونواته $\intoo0{+\infty}$ (وهي زمرة جزئية، كما يعد التعريف 7.10)، وصورته كل $\{\pm1\}$: فهو شامل، وغير متباين بإفراط. وفي ذلك درسان عامّان مصغَّران. أولًا، قد يسحق التشاكل المعلومة: فالتطبيق $s$ لا يتذكر من $x$ إلا بتّة واحدة، وتلك فضيلته — إذ إن حجج الإشارة هي بالضبط الحسابات التي تمرّ عبر $s$. وثانيًا، التشاكلات نحو $\{\pm1\}$ هي أبسط «الثوابت»: فتوقيع التبديلات، المبنيّ في مسألة نهاية الأسبوع من هذا الفصل، هو الظاهرة نفسها على الزمرة $\mathfrak S_n$، وكل حجج الزوجية التي يشغّلها تنحدر عبر تشاكل ثنائي القيمة كهذا.