同態是抽象代數中兩個代數結構（例如群、環、或者向量空間）之間的一種映射，它保持結構不變。這意味著，如果M和M′是兩個乘集，σ是M射到M′的映射，且對于M中任意兩個元素a和b，都滿足σ(a*b)=σ(a)*’σ(b)，那么σ被稱為M到M′上的同態。同態的概念源于希臘語，其中?μ?? (homos)表示"相同"，μορφ? (morphe)表示"形態"。
定義
同態是從一個代數結構到同類代數結構的映射，它保持所有相關的結構不變，包括幺元、逆元、和二元運算等屬性。如果 σ 是單射，則稱為單同態；如果 σ 是滿射，則稱為滿同態。如果σ是雙射，則稱為同構。如果M和M'都是群，那么同態也叫做群同態。
非正式表述
在抽象代數中，最有意義的函數是那些能夠保持集合上的運算不變的函數，即同態。例如，自然數上的函數f(x) = 3x就是一個同態，因為它保持了加法運算的結構。同態不僅限于映射到帶有相同運算的集合，也可以是從一個運算的集合映射到另一個不同運算的集合，例如從帶加法的實數集到帶乘法的正實數集的映射。同態還保持幺元，即如果一個集合中存在幺元，它將被映射到另一個集合中的幺元。
同態的類型
同態可以根據其特性被分類為不同的類型：
- 同構（isomorphism）：雙射的同態，兩個結構在同構映射下無法區分。
- 滿同態（epimorphism）：滿射的同態。
- 單同態（monomorphism）：單射的同態。
- 雙同態（bimorphism）：既是滿同態也是單同態的映射。
- 自同態（endomorphism）：從結構到其自身的同態。
- 自同構（automorphism）：既是自同態也是同構的映射。
同態的核
同態f:X→Y定義了X上的等價關系~，即a~b當且僅當f(a)=f(b)。這個等價關系是X上的同余關系，允許在商集X/~上自然地定義結構。在某些情況下，如群或環結構，核可以決定商集的結構，通常記作X/K。
關系結構的同態
在模型論中，同態的概念擴展到同時涉及運算和關系的結構。對于兩個L-結構A和B，從A到B的同態是映射h，它保持函數和關系的結構不變。
同態和形式語言理論中的無幺元同態
在形式語言理論中，同態被用于研究字母表上的字符串。如果函數h滿足h(uv)=h(u)h(v)，則稱為同態。如果h對于所有非空字符串x都滿足h(x)≠e，則稱為無幺元同態。
參考資料 >