非正式表述

因为抽象代数研究带有能产生有意义的集合上的结构或者属性的运算的集合，最有意义的函数就是能够保持这些运算不变的那些。它们被称为 同态 。

例如，考虑带加法运算的自然数。保持加法不变的函数有如下性质： 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 ) = e 满足如下条件 : 2 + 3 = 5变为e * e = e .

同态的一个特别重要的属性是如果幺元存在，它将被保持，也即，被映射为另一个集合中的幺元。注意第一个例子中 f (0) = 0,而零是加法幺元。第二个例子中， f (0) = 1，因为0是加法幺元，而1是乘法幺元。

若考虑集合上的多个运算，则保持所有运算的函数可以视为同态。虽然集合相同，相同的函数可以是群论（只考虑带一个运算的集合）中的同态，而非环论（带两个相关运算的集合）中的同态，因为它可能不保持环论中需要的另外那个运算。

形式化定义

同态 是从一个代数结构到同类代数结构的映射，它保持所有相关的结构不变；也即，所有诸如幺元、逆元、和二元运算之类的属性不变。

例如，考虑两个有单一二元运算的集合 X {\displaystyle X} 和 Y {\displaystyle Y} (称为群胚的代数结构），同态就是映射 ϕ ϕ --> : X → → --> Y {\displaystyle \phi :X\rightarrow Y} 使得

其中 ⋅ ⋅ --> {\displaystyle \cdot } 是 X {\displaystyle X} 上的运算而 ∘ ∘ --> {\displaystyle \circ } 是 Y {\displaystyle Y} 上的运算。

每类代数结构有它的同态。特定的定义参看：

群同态

环同态

模同态

线性算子(向量空间上的同态)

代数同态

同态的概念在研究所有代数结构共有的思想的泛代数中可以给一个形式化的定义。这个情况下，同态 ϕ ϕ --> : A → → --> B {\displaystyle \phi :A\rightarrow B} 是两个同类代数结构之间的映射，使得

对于所有 n 元运算 f {\displaystyle f} 和所有 A {\displaystyle A} 中的 x i {\displaystyle x_{i}} 成立。

同态的类型

同构 （isomorphism）：就是双射的同态。两个对象称为同构的，如果存在相互间的同构映射。同构的对象就其上的结构而言是无法区分的。

满同态 （epimorphism）：就是满射的同态。

单同态 （monomorphism）：（有时也称扩张）是单射的同态。

双同态 （bimorphism）：若 f 既是满同态也是单同态，则称 f 为 双同态 。

自同态 （endomorphism）：任何同态 f : X → X 称为 X 上的一个 自同态 。

自同构 （automorphism）：若一个自同态也是同构的，那么称之为 自同构 。

上面的术语也适用于范畴论。但是范畴论中的定义更微妙一些：细节参看态射条目。

注意在保结构映射的意义下，定义同构为双同态是不够的。必须要求逆也是同类的态射。在代数意义上（至少在泛代数的意义下）这个额外的条件是自动满足的。

同态的核

任意同态 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 1 ,…, a n )) = F ( h ( a 1 ),…, h ( a n ))对于每个 L 中的 n 元函数符号 F 成立，

R ( a 1 ,…, a n )推出 R ( h ( a 1 ),…, h ( a n ))对于每个 L 中的 n 元关系符号 R 成立。

在只有一个二元关系的特殊情况，这就是图同态的概念。

同态和形式语言理论中的无幺元同态

同态也被用于形式语言的研究中。 给定字母表 Σ Σ --> 1 {\displaystyle \Sigma _{1}} 和 Σ Σ --> 2 {\displaystyle \Sigma _{2}} ，函数 h : Σ Σ --> 1 ∗ ∗ --> {\displaystyle \Sigma _{1}^{*}} → Σ Σ --> 2 ∗ ∗ --> {\displaystyle \Sigma _{2}^{*}} 使得 h ( u v ) = h ( u ) h ( v ) {\displaystyle h(uv)=h(u)h(v)} 对于所有 Σ Σ --> 1 ∗ ∗ --> {\displaystyle \Sigma _{1}^{*}} 中的 u 和 v 成立，则称为 Σ Σ --> 1 ∗ ∗ --> {\displaystyle \Sigma _{1}^{*}} 上的 同态 . 令 e 表示空词。若 h 为 Σ Σ --> 1 ∗ ∗ --> {\displaystyle \Sigma _{1}^{*}} 上同态， h ( x ) ≠ ≠ --> e {\displaystyle h(x)\neq e} 对于 Σ Σ --> 1 ∗ ∗ --> {\displaystyle \Sigma _{1}^{*}} 上所有 x ≠ ≠ --> e {\displaystyle x\neq e} 成立，则 h 成为无幺元同态（ e-free homomorphism ）。

参看

态射

图同态

连续函数

同胚

微分同胚

同态秘密共享 - 一种简单的分布式投票机制。

参考

^ Seymour Ginsburg, Algebraic and automata theoretic properties of formal languages , North-Holland, 1975, ISBN 0-7204-2506-9.

^ 在形式化语言的同态中，*运算是Kleene星号。 ⋅ ⋅ --> {\displaystyle \cdot } 和 ∘ ∘ --> {\displaystyle \circ } 都是拼接，通常用连写表示。

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。