從
(左)到
(右)的群同態(
)的像。在
內的橢圓形是
的像。
是
的核而
是
的陪集。
在數學中,給定兩個群
和
,從
到
的群同態是函數
使得對於所有
中的
和
下述等式成立
![{\displaystyle h(u*v)=h(u)\cdot h(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f72ff28b85b0f6fdd8fa3c7b6e21d0887600c44)
在這裏,等號左側的群運算
,是
中的運算;而右側的運算
是
中的運算。
從這個性質,可推導出
將
的單位元
映射到
的單位元
,並且它還在
的意義上映射反元素到反元素。因此我們可以說
「兼容於群結構」。
過去同態
常用
或
來表示,它容易混淆於索引或一般下標。更新近的傾向是把群同態寫在它們的自變量的右側,省略括號,如此
簡化成了
。這種方法因為其更適應自動機從左至右讀字的習慣從而在某些廣泛應用自動機理論的群論中頗為流行。
在考慮有額外的結構的群的數學領域中,同態不僅要滿足上述的群結構,還要滿足額外的結構。比如拓撲群的同態經常要求是連續的。
像與核
我們定義
的核被映射到
中單位元
上的
中元素的集合
![{\displaystyle \mathrm {ker} (h)=\{u\in G:h(u)=e_{H}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/940a2206947b46f94eb0640b8d970404e9dd1c49)
定義
的像為
![{\displaystyle \mathrm {im} (h)=\{h(u):u\in G\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a9aa9b69d232504c47e2aa23e8e05707a7c069f)
核是
的正規子群(事實上,
),而像則是
的子群。同態
是單射(並叫做單同態)當且僅當
。
同態的核和像可以被解釋為對它接近於同構的程度。第一同構定理說明了群同態的像
同構於商群
。
例子
- 考慮帶有加法的循環群
和整數集
的群。映射
,有
為
模以3,是群同態。它是滿射並且它的核由被三整除的所有整數構成。
- 指數映射產生從帶有加法的實數集
的群到帶有乘法的非零實數集
的群的群同態。核是
而像由正實數組成。
- 指數映射還產生從帶有加法的複數集
的群到帶有乘法的非零複數集
的群的同態。這個映射是滿射並且有核
,這可以從歐拉公式得出。
- 給定任何兩個群
和
,映射
,把所有
的元素對應到
的單位元,是同態;它的核是集合
。
- 給定任何群
,恆等映射
定義為對於
中所有的
,
。恆等映射是群同態。
群範疇
如果
和
是群同態,則
也是群同態。這證明所有群構成的類,和態射即群同態,一起構成一個範疇。
同態映射的類型
如果同態
是對射,則你還可以證明它的逆映射仍是同態,這種
叫做群同構;在這種情況下,群
和
被稱為是「同構的」:它們只在元素的符號上有差異而對於所有實踐用途都是同一的。
如果
是群同態,我們稱之為
的自同態。如果它進一步的是對射並且因此是同構,則稱為自同構。群
的所有自同構的集合,帶有函數複合作為運算,自身形成一個群,叫做
的自同構群,記為
。例如說,
的自同構群只有兩個元素,恆等轉換和乘以
;它同構於
。
滿同態是滿射的同態,單同態是單射的同態。
阿貝爾群的同態
如果
和
是阿貝爾群(就是交換群),則所有從
到
的群同態的集合
自身是阿貝爾群:兩個同態的和
定義為
- 對於所有
中
,
。
的交換律對於證明
也是群同態是必需的。同態的加法在如下意義上兼容於同態的複合:如果
在
中,
,
是
的元素,並且
在
中,則
,並且
。
這證明了一個阿貝爾群的所有自同態的集合
形成了一個環,即
的自同態環。例如,由兩個
的直積構成的阿貝爾群(克萊因四元群)的自同態群同構於帶有
內元素的
矩陣的環。上述兼容性還證明所有阿貝爾群帶有群同態的範疇形成了預加法範疇;存在直積和良定義的核使這個範疇成為阿貝爾範疇的原型。
參見
引用
- Lang, Serge, Algebra, Graduate Texts in Mathematics 211 3rd, Springer-Verlag, 2002 .
外部連結