同态

抽象代數中，**同態**是兩個代數結構（例如群、環、或者向量空間）之間的保持結構不變的映射。英文的同態 (_homomorphism_) 來自希臘語:_ὁμός (homos)_ 表示 "相同" 而 _μορφή (morphe)_ 表示 "形態"。注意相似的詞根_ὅμοιος (homoios)_ 表示 "相似" 出現在另一個數學概念同胚的英文 (homeomorphism) 中。

## 非正式表述

因為抽象代數研究帶有能產生有意義的集合上的結構或者屬性的運算的集合，最有意義的函數就是能夠保持這些運算不變的那些。它們被稱為**同態**。

例如，考慮帶加法運算的自然數。保持加法不變的函數有如下性質：_f_(_a_ + _b_) = _f_(_a_) + _f_(_b_). 例如 _f_(_x_) = 3_x_ 就是這樣的一個同態，因為 _f_(_a_ + _b_) = 3(_a_ + _b_) = 3_a_ + 3_b_ = _f_(_a_) + _f_(_b_)。注意這個同態從自然數映射回自然數。

同態不必從集合映射到帶相同運算的集合。例如，存在保持運算的從帶加法的實數集到帶乘法的正實數集。保持運算的函數滿足：_f_(_a_ + _b_) = _f_(_a_) \* _f_(_b_)，因為加法是第一個集合的運算而乘法是第二個集合的運算。指數定律表明 _f_(_x_) = ex 滿足如下條件 : 2 + 3 = 5 變為 e2 \* e3 = e5.

同態的一個特別重要的屬性是如果單位元素存在，它將被保持，也即，被映射為另一個集合中的單位元素。注意第一個例子中 _f_(0) = 0, 而零是加法單位元素。第二個例子中，_f_(0) = 1，因為 0 是加法單位元素，而 1 是乘法單位元素。

若考慮集合上的多個運算，則保持所有運算的函數可以視為同態。雖然集合相同，相同的函數可以是群論（只考慮帶一個運算的集合）中的同態，而非環論（帶兩個相關運算的集合）中的同態，因為它可能不保持環論中需要的另外那個運算。

## 形式化定義

**同態**是從一個代數結構到同類代數結構的映射，它保持所有相關的結構不變；也即，所有諸如單位元素、反元素、和二元運算之類的屬性不變。

　
: 注意：有些作者在更廣的意義下使用_同態_一詞，而不僅是在代數中。有些人將它作為任何保持結構的映射的名稱（例如拓撲學上的連續函數），或者抽象的一般稱為範疇論中的態射的映射。本條目只考慮代數學上的同態。更廣義的用法請參看態射條目。

例如，考慮兩個有單一二元運算的集合 $X$ 和 $Y$ (稱為原群的代數結構），同態就是映射 $\phi :X\rightarrow Y$ 使得

　
: $\phi (u\cdot v)=\phi (u)\circ \phi (v)$

其中 $\cdot $ 是 $X$ 上的運算而 $\circ $ 是 $Y$ 上的運算。

每類代數結構有它的同態。特定的定義參看：

* 群同態
* 環同態
* 模同態
* 線性算子（向量空間上的同態）
* 代數同態

同態的概念在研究所有代數結構共有的思想的泛代數中可以給一個形式化的定義。這個情況下，同態 $\phi :A\rightarrow B$ 是兩個同類代數結構之間的映射，使得

　
: $\phi (f_{A}(x_{1},\ldots ,x_{n}))=f_{B}(\phi (x_{1}),\ldots ,\phi (x_{n}))\,$

對於所有 _n_ 元運算 $f$ 和所有 $A$ 中的 $x_{i}$ 成立。

## 同態的類型

* **同構**（isomorphism）：就是對射的同態。兩個物件稱為同構的，如果存在相互間的同構映射。同構的物件就其上的結構而言是無法區分的。
* **滿同態**（epimorphism）：就是滿射的同態。
* **單同態**（monomorphism）：（有時也稱擴張）是單射的同態。
* **雙同態**（bimorphism）：若 _f_ 既是滿同態也是單同態，則稱 _f_ 為**雙同態**。
* **自同態**（endomorphism）：任何同態 _f_ : _X_ → _X_ 稱為 _X_ 上的一個**自同態**。
* **自同構**（automorphism）：若一個自同態也是同構的，那麼稱之為**自同構**。

上面的術語也適用於範疇論。但是範疇論中的定義更微妙一些：細節參看態射條目。

注意在保結構映射的意義下，定義同構為雙同態是不夠的。必須要求逆也是同類的態射。在代數意義上（至少在泛代數的意義下）這個額外的條件是自動滿足的。

　
: 

　
: _各類同態之間的關係。 
 H = 同態的集合， M = 單同態的集合， 
P = 滿同態的集合， S = 同構的集合， 
N = 自同態的集合， A = 自同構的集合. 
 注意: M ∩ P = S, S ∩ N = A, 
(M ∩ N) \ A 並且 (P ∩ N) \ A 只包含無限代數結構到自身的同態._

## 同態的核

任意同態 _f_ : _X_ → _Y_ 都定義了一個 _X_ 上的等價關係～。 _X_ 中元素 _a_ ~ _b_ 若且唯若 _f_(_a_) = _f_(_b_)。等價關係被稱為 _f_ 的**核**。這個關係也是 _X_ 上的一個同餘關係，因此在其商集 _X_/~ 上也可以自然地定義一個結構：[_x_] \* [_y_] = [_x_ \* _y_]。這時，_X_ 通過同態 _f_ 在 _Y_ 中的像必然同構於 _X_/~。這就是所謂的同構基本定理之一。注意到在有些情況下（比如說在群結構或環結構時），僅僅一個等價類 _K_ 就可以決定商集的結構，因此這時我們可以將它記作 _X_/_K_（一般讀作 _X_ 模 _K_ ）。在這種情況下，一般將 _K_，而不是～，稱作 _f_ 的核（參見正規子群和理想）。

## 關係結構的同態

模型論中，代數的結構推廣到同時涉及運算和關係的結構上。令 _L_ 為由函數和關係符號組成的標識，而 _A_,_B_ 為兩個 _L_- 結構。則從 _A_ 到 _B_ 的**同態**是映射 _h_：從 _A_ 的域到 _B_ 的域，使得

* _h_(_F_A(_a_1,…,_a_n)) = _F_B(_h_(_a_1),…,_h_(_a_n)) 對於每個 _L_ 中的 _n_ 元函數符號 _F_ 成立，
* _R_A(_a_1,…,_a_n) 推出 _R_B(_h_(_a_1),…,_h_(_a_n)) 對於每個 _L_ 中的 _n_ 元關係符號 _R_ 成立。

在只有一個二元關係的特殊情況，這就是圖同態的概念。

## 同態和形式語言理論中的無單位元素同態

同態也被用於形式語言的研究中。給定字母表 $\Sigma _{1}$ 和 $\Sigma _{2}$ ，函數 _h_ : $\Sigma _{1}^{*}$ → $\Sigma _{2}^{*}$ 使得 $h(uv)=h(u)h(v)$ 對於所有 $\Sigma _{1}^{*}$ 中的 _u_ 和 _v_ 成立，則稱為 $\Sigma _{1}^{*}$ 上的_同態_. 令 _e_ 表示空詞。若 _h_ 為 $\Sigma _{1}^{*}$ 上同態， $h(x)\neq e$ 對於 $\Sigma _{1}^{*}$ 上所有 $x\neq e$ 成立，則 _h_ 成為無單位元素同態（_e-free homomorphism_）。

## 參看

* 態射
* 圖同態
* 連續函數
* 同胚
* 微分同胚
* 同態秘密共享 - 一種簡單的分布式投票機制。

## 參考

## 外部連結