【DM】代数系统

代数构成.

• 代数系统的三要素是载体，运算与代数常数。
• 载体本质为集合，例如自然数集、整数集以及符号串集等，一般默认载体为非空集合。
• 运算本质为映射 $S^m\to S$，其前域是 $m$ 次笛卡尔积，$m$ 表示了运算的元数，例如常见的加法，就是二元运算；取绝对值，就是一元运算。
• 代数常数是载体中的某些特异元素，它们对于上面定义的运算有某些特殊性质，例如 $0\ast x=0,0+x=x.$
• 一个代数系统，我们通常使用如下的元组表示：$$<S,\ast ,k>$$

---

• 我们说两个代数是同一种类的，需要满足下面的条件：①构成成分相同，这里考察运算和代数常数，运算数量、运算元数以及常数数量都要相同，注意不考虑载体；②相同的公理规则，每一条公理是用载体元素和代数运算的符号表示的方程。
• 【例】具有 $<N,+,0>$ 形式构成成分和下述公理的代数类：
  $①a+b=b+a;$
  $②(a+b)+c=a+(b+c);$
  $③a+0=a.$
• 代数系统 $<I,\ast ,1>$ 属于上述代数类，$I$ 代表整数集，$\forall x,y,z\in I,x\ast y=y\ast x,(x\ast y)\ast z=x\ast (y\ast z),x\ast 1=x.$
• $<\rho (S),\cup ,\Phi >$ 属于上述代数类，$\rho (S)$ 代表集合 $S$ 的幂集，$\forall s_1,s_2,s_3\in \rho (S),s_1\cup s_2=s_2\cup s_1,(s_1\cup s_2)\cup s_3=s_1\cup (s_2\cup s_3),s_1\cup \Phi =s_1.$

代数常数.

• 常数是载体中联系于运算的具有特殊性质的元素，例如代数系统 $<I,+,0>$ 中，任何元素加上 $0$ 都不会变化；再比如 $<I,\ast ,1>$ 中，任何数与 $1$ 相乘也不会变化。

幺元.

• 设 $\ast$ 是定义在载体 $S$ 上的二元运算，$1_l\in S$，如果对于 $\forall x\in S$ 都有$$1_l\ast x=1_l$$那么称元素 $1_l$ 对于运算 $\ast$ 是左幺元，相应地还有由 $x\ast 1_r=1_r$ 定义的右幺元。
• 统一地，如果有元素 $1\in S$，满足$$\forall x\in S,1\ast x=x\ast 1=x$$那么 $1$ 称为运算 $\ast$ 的幺元。注意这里的 $\ast$ 代表二元运算，$1$ 代表载体 $S$ 的某个元素。

零元.

• 类似幺元的定义，对于 $0\in S$，如果满足 $$\forall x\in S,0\ast x=x\ast 0=0$$那么 $0$ 称为运算 $\ast$ 的零元，基于上面给出的左、右幺元定义，不难理解左、右零元。
• 考虑下面表格给出的代数系统 A = < { a , b , c } , @ > A=<\{a,b,c\},@> A=<{a,b,c},@>，其中表格行列交点代表的是运算结果 $x@y.$

$@$	a	b	c
a	a	b	b
b	a	b	c
c	a	b	a

• 以 $x$ 代表任意元素，可以发现 $x@a=a,x@b=b$，因此 $a,b$ 是 $@$ 的右零元；并且发现 $b@x=x$，因此 $b$ 也是左幺元，该代数系统中没有右幺元，左零元。
• 【定理】如果对于一个二元运算 $\ast$ 而言存在左、右幺元 $1_l,1_r$，那么 $$1_l=1_r=1.$$
• 【证明】根据左、右幺元的性质，可得：$$1_l\ast 1_r=1_l=1_r$$记为 $1$，即得到 $1_l=1_r=1.$
• 类似地对于零元也有类似定理，即 $0_l=0_r=0$，根据左、右零元的性质，得到：$$0_l\ast 0_r=0_l=0_r=0.$$
• 至此我们得到如下推论：一个二元运算的零元、幺元如果存在，那么它是唯一的。

逆元.

• 逆元的定义需要确保幺元存在，对于代数系统 $A=<S,\ast ,1>$ 而言，$\ast$ 是二元运算，$1$ 是幺元。
• 如果 $x\ast y=1$ 成立，那么称 $y$ 是 $x$ 的右逆元，$x$ 是 $y$ 的左逆元；$y\ast x=1$ 成立有对称的结论。如果两等式同时成立，那么 $x,y$ 互为逆元，通常将 $x$ 的逆元记为 $x^{-1}.$
• 考虑下表给出的代数系统：

$@$	a	b	c
a	a	a	b
b	a	b	c
c	a	c	c

• 其中 $b$ 是幺元，它满足 $b@x=x@b=x$，由于 $a@c=b$，因此 $a$ 是 $c$ 的左逆元，$c$ 是 $a$ 的右逆元，$b$ 的逆元是自身，即 $b=b^{-1}.$
• 对于代数系统 $A=<I,+,0>$，其中幺元为 $0$，对于 $\forall x\in I$，都有逆元 $x^{-1}=-x$ 满足 $x^{-1}+x=0.$

---

• 【定理】对于满足结合律的二元运算 $\ast$，如果一个元素 $x$ 同时具有左、右逆元，那么其左右逆元相等；换言之，$x$ 的逆元具有唯一性。
• 【证明】左逆元满足 $l\ast x=1$，右逆元满足 $x\ast r=1$，从而有：$$l\ast (x\ast r)=l\ast 1=l=(l\ast x)\ast r=1\ast r=r$$

---

• 从上述证明过程中我们发现，$l\ast x=1=x\ast r$，其最终结果 $l=r$ 等价于将 $x$ 从等式两边约去。
• 可约的概念定义如下：$$\forall x,y\in S,(x\ast a=y\ast a)\wedge (a\ast x=a\ast y)\Rightarrow (x=y)$$则称 $a$ 是可约的。
• 因此上面关于逆元性质的发现可以重新表述如下：对于载体上的可结合运算 $\ast$，如果元素 $a\in S$ 是可逆元素，那么 $a$ 对于运算 $\ast$ 可以约去。 简单记为可逆元素可约。
• 【证明】假设 $a\ast x=a\ast y$，并且 $a$ 可逆，其逆元记为 $a^{-1}$，上式两边同时乘以 $a^{-1}$，得到：$$a^{-1}\ast (a\ast x)=a^{-1}\ast (a\ast y)$$根据结合律即可得到 $x=y$，所以可逆元素 $a$ 可约。
• 注意可约元素不一定是可逆的，例如对于代数系统 $<I,\ast ,1,0>$，除了 $0$ 以外都是可以约去的元素，但这当中只有 $1$ 可逆。

子代数.

• 以下讨论的代数系统构成如下：$$A=<S,\ast ,\Delta ,k>$$其中 $\ast$ 是二元运算，$\Delta$ 是一元运算，$k$ 为代数常数。

---

• 【封闭】指集合对于某个运算封闭，设 $\Delta ,\ast$ 分别是集合 $S$ 的一元、二元运算，$S^{\prime }\subseteq S.$ 如果下面的蕴含式成立：$$(\forall a,b\in S^{\prime })\Rightarrow (a\ast b\in S^{\prime })$$那么称 $S^{\prime }$ 对于运算 $\ast$ 封闭；
• 同理如果$$(\forall a\in S^{\prime })\Rightarrow (\Delta a\in S^{\prime })$$称 $S^{\prime }$ 对于运算 $\Delta$ 封闭。
• 考虑整数集的子集 S ′ = { 1 , 2 , 3 , 4 } S'=\{1,2,3,4\} S′={1,2,3,4}，它对与加法运算是不封闭的，因为 $3+3=6\notin S^{\prime }$，而对于取绝对值、取最大值是封闭的： ∀   x , y ∈ S ′   ,   ∣ x ∣ ∈ S ′   ,   max ⁡ { x , y } ∈ S ′ \forall~x,y\in S'~,~|x|\in S'~,~\max\{x,y\}\in S' ∀ x,y∈S′ , ∣x∣∈S′ , max{x,y}∈S′

---

• 给定代数系统 $A=<S,\ast ,\Delta ,k>$，如果存在 $S$ 的一个子集 $S^{\prime }$ 满足对于运算 $\ast ,\Delta$ 封闭，并且 $k\in S^{\prime }$，那么称新构造出的代数系统 $A^{\prime }=<S^{\prime },\ast ,\Delta ,k>$ 是 $A$ 的子代数。
• 真子代数是除了平凡子代数以外的子代数，其中平凡子代数包括 $A$ 本身(最大子代数)和以 $A$ 的常数集合为 $S^{\prime }$ 的最小子代数(需要满足常数集合对运算封闭).

同态(Homomorphism).

• 代数系统在结构上的一致性被称为同构，定义如下，给定代数系统 $A=<S,\ast ,\Delta ,k>$ 和 $A^{\prime }=<S^{\prime },{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$，如果存在一双射函数 $h$ 满足：
  $①h:S\to S^{\prime };$
  $②h(a\ast b)=h(a){\ast }^{\prime }h(b);$
  $③h(\Delta a)={\Delta }^{\prime }h(a);$
  $④h(k)=k^{\prime }.$
  那么映射函数 $h$ 称为从代数系统 $A$ 到 $A^{\prime }$ 的同构，$A^{\prime }$ 称为 $A$ 在函数 $h$ 下的同构象，其中性质 $②,③$ 可以理解为原代数系统的运算在新的代数系统中得到保持。
• 同构意味着两个代数系统有相同的构成成分(运算与常数)，载体的基数相同(否则不会存在双射函数)以及映射 $A$ 中的每一个常数到 $A^{\prime }$ 的对应常数(代数常数不存在时不考虑本条).
• 同构基本意味着两个代数系统只是不同名的相同结构，简单地替换符号就能够从一个转换到另外一个。例如 $<R^{+},\ast ,1>$ 和 $<R,+,0>$，构造如下的双射函数：$$h:R^{+}\to R,h(x)=ln(x)$$
• 验证 $h(x)$ 确实为同构函数，$\forall a,b\in R^{+}$，我们能够推出：$$h(a\ast b)=ln(a\ast b)=ln(a)+ln(b)=h(a)+h(b)$$$$h(1)=ln(1)=0$$所以 $<R^{+},\ast ,1>$ 同构于 $<R,+,0>.$
• 将上述过程逆转，构造双射函数： $$g:R\to R^{+},g(x)=e^x$$可以验证 $g(x)$ 是从 $<R,+,0>$ 到 $<R^{+},\ast ,1>$ 的同构。$$\forall a,b\in R,g(0)=e^0=1$$$$g(a+b)=e^{a+b}=e^a\ast e^b=g(a)\ast g(b)$$

---

• 代数 $<N,+>$ 与 $<I^{+},\ast >$ 不是同构的，其证明方法极为巧妙，通过反证法给出。
• 假设两代数系统同构，那么对于 $I^{+}$ 中的某个质数 $p$，必然 $\exists x\in N$，使得 $h(x)=p$，我们总是可以取到 $p$ 使得 $x\ge 2.$ 那么根据同构函数 $h$ 的性质，我们有：$$p=h(x)=h(x+0)=h(x)\ast h(0)\text{\hspace{1em}(1)}$$$$p=h(x)=h(x-1+1)=h(x-1)\ast h(1)\text{\hspace{1em}(2)}$$由于 $p$ 是质数，因此只能素因子分解为 $1\ast p$，从而我们从 $(1)$ 可知，$h(x)=1$ 和 $h(0)=1$ 必然有一个成立；同理 $(2)$ 说明 $h(x-1)=1$ 和 $h(1)=1$ 必然有一个成立，这蕴含着 $1$ 是两个元素的象，这与 $h$ 是双射函数矛盾，因此上述自然数加法与正整数乘法不同构。

---

• 【定理】同构关系是等价关系，记同构关系为 $R$，即 $R$ 满足自反、对称和传递性质。
• 【证明】自反性易证，只需取 $h(x)=x$ 即可；对称性实际在上面演示 $<R^{+},\ast ,1>$ 和 $<R,+,0>$ 的同构时已经给出了证明方法。
• 传递性证明：设 $A=<S_a,{+}_a,k_a>,B=<S_b,{+}_b,k_b>$ 同构，同构函数为 $h$；$B,C=<S_c,{+}_c,k_c>$ 同构，同构函数为 $g$，记 $$a_1,a_2\in A;b_1,b_2\in B;c_1,c_2\in C$$构造函数： $$f=g\cdot h$$易知 $f$ 是双射函数，我们可以得到：$$f(a_1{+}_a{a}_2)=g(h(a_1{+}_a{a}_2))=g(b_1{+}_b{b}_2)=c_1{+}_c{c}_2$$常数的推导同理，至此同构关系是等价关系得证。

---

• 显然同构是一种极为严格的代数系统之间的关系，如果我们对其进行一定程度的条件放松，不要求 $h$ 是双射函数，保持其他条件，就得到了同态的定义，仅需要删去同构定义中的双射要求，稍有不同的是 $<h(S),{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$ 称为同态象，$h$ 称为 $A=<S,\ast ,\Delta ,k>$ 到 $A^{\prime }=<S^{\prime },{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$ 的同态。
• 对于函数 $h$，如果是单射函数，则称为单一同态monomorphism；如果是满射函数，则称为满同态epimorphism。

---

• 对于映射 $f:I\to I,f(x)=kx,k\in I$，那么 $f$ 是从 $<I,+,0>$ 到自身的同态，称为自同态，注意若此时 $k=0$，那么 $f(x)\equiv 0$ 既不是单射也不是满射，但满足同态的要求：$$f(x+y)=kx+ky=f(x)+f(y)$$$$f(0)=0$$当 $k\ne 0$ 时，成为单一同态；当 $k=\pm 1$ 时，成为自同构。
• 考虑自然数加法和自然数模 $k$ 加法，即 $<N,+,0>$ 与 $<N_k,{+}_k,0>$，构造满射函数 $f:N\to N_k,f(x)=x(modk)$，验证其满足同态要求：$$f(x+y)=(x+y)(modk)=x(modk){+}_{k}y(modk)=f(x){+}_{k}f(y)$$$$f(0)=0$$因此上述函数 $f$ 称为满同态。

模运算中 $(a+b)(modk)=(a(modk)+b(modk))(modk)=a(modk){+}_{k}b(modk).$

• 设 $\Sigma$ 是有限非空字母表，${\Sigma }^{\ast }$ 是其星闭包，也即字符串集合，构造满射函数 $h:{\Sigma }^{\ast }\to N,h(x)=|x|.$ 那么 $h$ 是从代数系统 $<{\Sigma }^{\ast },\oplus ,ϵ>$ 到 $<N,+,0>$ 的满同态，其中 $\oplus$ 表示字符串连接，验证如下：$$f(x\oplus y)=|x\oplus y|=|x|+|y|=f(x)+f(y)$$$$f(ϵ)=0$$

---

• 【定理】$h$ 是从 $A=<S,\ast ,\Delta ,k>$ 到 $A^{\prime }=<S^{\prime },{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$ 的同态，那么 $A$ 的同态象 $<h(S),{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$ 是 $A^{\prime }$ 的子代数。
• 子代数需要满足的是集合 $h(S)$ 需要对运算 ${\ast }^{\prime },{\Delta }^{\prime }$ 封闭。
• 首先由于 $h:S\to S^{\prime }$，所以 $h(S)\subseteq S^{\prime }$ 自然成立；
• 运算 ${\ast }^{\prime }$：$\forall a,b\in h(S),\exists x,y\in S$ 使得 $h(x)=a,h(y)=b$，因此 $a{\ast }^{\prime }b=h(x){\ast }^{\prime }h(y)=h(x\ast y)\in h(S)$，封闭性得证。
• 运算 ${\Delta }^{\prime }$：证明思路相似。
• 对于 $A^{\prime }$ 中的代数常数 $k$，$h(k)=k^{\prime }\in h(S).$
• 该定理指明了同态象 $<h(S),{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$ 和代数 $A^{\prime }=<S^{\prime }{,}^{\prime }\ast ,{\Delta }^{\prime },k^{\prime }>$ 的关系，前者是后者的子代数。下一定理给出了同态象与原代数 $A$ 之间一脉相承的性质。

---

• 【定理】给定代数 $A=<S,\ast ,+,k>,A^{\prime }=<S^{\prime },{\ast }^{\prime },{+}^{\prime },k^{\prime }>$，函数 $h$ 是从 $A$ 到 $A^{\prime }$ 的同态，$\ast ,+$ 都是二元运算，记同态象为 $A^{\prime \prime }=<h(S),{\ast }^{\prime },{+}^{\prime },k^{\prime }>$，其中的运算具有如下性质：
• 【1】若 $\ast$ 在 $A$ 中是可交换或可结合的，那么在 $A^{\prime \prime }$ 中，${\ast }^{\prime }$ 也是可交换或可结合的，对于运算 $+$ 同理。
• 【证明】已知运算 $\ast$ 是可交换的，所以 $h(x_1){\ast }^{\prime }h(x_2)=h(x_1\ast x_2)=h(x_2\ast x_1)=h(x_2){\ast }^{\prime }h(x_1).$ 对于结合性的证明类似，都是基于同态函数的性质。

---

• 【2】若对于 $\ast$ 运算，原代数 $A$ 中有幺元或零元 $e$，则同态象代数 $A^{\prime \prime }$ 中有幺元或零元 $h(e)$，此处需要注意，$h(S)\subseteq S^{\prime }$，除非 $h$ 是满射函数，否则 $h(e)$ 不一定是 $A^{\prime }$ 的幺元或零元。
• 【证明】对 $A$ 中的幺元 $e$ 以及 $\forall a\in A$我们有 $e\ast a=a$，根据同态函数的性质，得到 $h(a)=h(e\ast a)=h(e){\ast }^{\prime }h(a)$，因此 $h(e)$ 是代数 $A^{\prime \prime }$ 的幺元，零元的证明同理。

---

• 【3】对于运算 $\ast$，如果一个 $A$ 中的元素 $x$ 具有逆元 $x^{-1}$，那么对应地，它在 $A^{\prime \prime }$ 中的象 $h(x)$ 具有逆元 $h(x^{-1}).$
• 【证明】根据性质 $2$ 我们知道，$e,h(e)$ 分别是 $A,A^{\prime \prime }$ 的幺元，并且 $x\ast x^{-1}=e$，于是我们得到 $h(x){\ast }^{\prime }h(x^{-1})=h(x\ast x^{-1})=h(e).$

---

• 【4】如果在 $A$ 中二元运算 $\ast$ 对于二元运算 $+$ 是可分配的，那么在 $A^{\prime \prime }$ 中，${\ast }^{\prime }$ 对 ${+}^{\prime }$ 是可分配的。
• 【证明】可分配是指：$$x\ast (y+z)=x\ast y+x\ast z$$基于同态函数的性质我们得到：$$h(x){\ast }^{\prime }(h(y){+}^{\prime }h(z))=h(x){\ast }^{\prime }h(y+z)=h(x\ast (y+z))=h(x\ast y+x\ast z)=h(x){\ast }^{\prime }h(y){+}^{\prime }h(x){\ast }^{\prime }h(z).$$

同余关系.

• 从名字来看，同余和同态相似度很高，但同态的本质是函数；而同余的本质是关系，并且是一种特殊的等价关系，它能够在运算中保持等价的性质。
• 【等价关系保持】给定代数系统 $A=<S,\ast ,\Delta >$，$\sim$ 是其载体 $S$ 上的一个等价关系，任取 $a,b,c\in S.$ 等价关系保持定义如下：
• 对于二元运算 $\ast$，如果 $a\sim b$ 时有 $a\ast c\sim b\ast c$ 和 $c\ast a\sim c\ast b$ 成立，则称等价关系 $\sim$ 在运算 $\ast$ 下具有置换性质。个人理解如下：对于运算 $a\ast c$，如果将 $a$ 置换为与其等价的元素 $b$，得到的新结果与原结果等价，因此称为置换性质，也说等价关系 $\sim$ 在运算 $\ast$ 下得到保持。
• 一元运算 $\Delta$ 的置换性质更加简明，如果 $a\sim b$ 时有 $\Delta a\sim \Delta b$ 成立，那么称等价关系 $\sim$ 对于 $\Delta$ 保持。

---

• 【定义】给定代数系统 $<S,\ast >$，$R$ 是定义在其载体集合上的等价关系，如果 $R$ 对于运算 $\ast$ 保持，那么称 $R$ 是关于 $\ast$ 的同余关系Congruence.
• 模运算是等价关系中最典型的同余关系，从名称就可以见一斑。给定代数系统 $<I,->$ 和模 $k$ 等价关系 $R$，其中 $k\in I^{+}$，任取两等价元素 $a,b\in [a{]}_R,a\sim b.$
• 根据模等价关系的性质，我们有：$$a\sim b\Rightarrow a-b=kn$$$$(a-c)-(b-c)=kn$$$$(c-a)-(c-b)=-kn$$因此 $a-c\sim b-c$ 且 $c-a\sim c-b$，因此模 $k$ 等价关系是关于二元减法的同余关系，将二元减法替换为二元加法、一元减法，可证关于加法、一元减法也是同余关系。对于乘法，需要注意模运算的性质：$$ac-bc=(b+kn)c-bc=kn\ast c$$因此 $ac\sim bc.$

---

• 给定典型代数系统 $A=<S,\ast \Delta >$，如果 $S$ 上的等价关系 $\sim$，对一切元素 $a,b,c\in S$ 满足：
• 若 $a\sim b$，则 $a\ast c\sim b\ast c$ 且 $c\ast a\sim c\ast b;$
• 若 $a\sim b$，则 $\Delta a\sim \Delta b.$
• 那么称 $\sim$ 为代数 $A$ 上的同余关系，其诱导的等价类也进一步称为同余类。
• 同余这一名词来源于模 $k$ 等价的概念，可以视为相等这一典型等价关系的扩展，同余中的元素是经历了运算之后可以从某个角度看作是相等的。

---

• 【定理】等价关系 $\sim$ 关于二元运算 $\ast$ 是一个同余关系，当且仅当 $a\sim b,c\sim d$ 成立时有 $a\ast c\sim b\ast d$ 成立。
• 充分性：考虑 $a\sim b,c\sim c$，于是根据前件我们有 $a\ast c\sim b\ast c$，同理可得 $c\ast a\sim c\ast b$，因此 $\sim$ 是同余关系，充分性得证。
• 必要性：若 $\sim$ 是同余关系，那么：$$a\sim b\Rightarrow a\ast c\sim b\ast c$$$$c\sim d\Rightarrow b\ast c\sim b\ast d$$根据等价关系的传递性我们有：$$a\ast c\sim b\ast d$$必要性得证。

---

• 同余和同态之间，前者是代数上的关系，后者是代数之间的映射，二者也并非全无关系。其中同态可以诱导出一个同余关系。
• 首先从等价关系入手，我们给定代数 $A=<S,\ast ,\Delta >,A^{\prime }=<S\ast ,{\ast }^{\prime },{\Delta }^{\prime }>$ 以及同态函数 $h$，构造 $S$ 上的等价关系如下：$$\forall a,b\in S,a\sim b\iff h(a)=h(b)$$而后我们需要证明，这一由同态函数诱导出的等价关系是代数 $A$ 上的同余关系。
• 一元运算：假设 $a\sim b$，根据等价关系定义有 $h(a)=h(b)$，所以 ${\Delta }^{\prime }h(a)={\Delta }^{\prime }h(b)$，根据同态函数性质有 $h\left(\Delta a\right)=h\left(\Delta b\right)$，因此 $\Delta a\sim \Delta b$，$\sim$ 是关于 $\Delta$ 的同余关系。
• 二元运算：基于上面证明的定理，我们已经得到了等价关系 $\sim$，于是只要证明当 $a\sim b,c\sim d$ 成立时有 $a\ast c\sim b\ast d$ 成立即可推出 $\sim$ 是同余关系。根据等价关系定义：$$h(a)=h(b),h(c)=h(d)$$因此做乘法后等式依然成立：$$h(a){\ast }^{\prime }h(c)=h(b){\ast }^{\prime }h(d)$$根据同余函数性质有：$$h(a\ast c)=h(b\ast d)$$因此 $a\ast c\sim b\ast d$ 得证，从而 $\sim$ 是关于 $\ast$ 的同余关系。
• 综上，由同态函数诱导出的自然等价关系是代数 $A$ 上的同余关系。

商代数.

• 商代数是建立在代数系统以及同余关系之上的，首先规范关于等价关系的记号，若 $\sim$ 是等价关系，那么 $\forall x\in S,[x]$ 表示其所属的等价类，$S/\sim$ 是等价关系诱导出的商集，即等价类的集合族。
• 给定代数系统 $A=<S,\ast ,\Delta ,k>$ 以及其上的同余关系 $\sim$，那么可以诱导出其商代数：$$A/\sim =<S/\sim ,{\ast }^{\prime },{\Delta }^{\prime },[k]>$$其中商代数的运算定义如下：$$\forall [a],[b]\in S/\sim ,[a]{\ast }^{\prime }[b]=[a\ast b]$$$${\Delta }^{\prime }[a]=[\Delta a]$$

---

• 对于上面定义的运算 ${\Delta }^{\prime },{\ast }^{\prime }$，它们的操作数都是等价类，是与表示元素无关的，这从某种程度上反映出等价类中元素的不可分辨性，见《决策系统与粗糙集》.
• 对于 ${\Delta }^{\prime }$，如果 $[a]=[b]$，那么 $a\sim b$，因为 $\sim$ 是同余关系，所以 $\Delta a\sim \Delta b$，因此 $[\Delta a]=[\Delta b]$，与表示元素无关得证。
• 对于 ${\ast }^{\prime }$，如果 $[a]=[b],[c]=[d]$，那么 $a\sim b,c\sim d$，再根据同余关系性质中证明的定理，我们有 $a\ast c\sim b\ast d$，因此 $[a\ast c]=[b\ast d]=[a]{\ast }^{\prime }[c]=[b]{\ast }^{\prime }[d]$，与表示元素无关得证。

---

• 观察运算 ${\ast }^{\prime }$ 的定义式，如果我们构造函数 $\varphi (x)=[x]$，即函数值是自变量的等价类，那么可以将 ${\ast }^{\prime }$ 的定义式改写如下：$$\varphi (a){\ast }^{\prime }\varphi (b)=\varphi (a\ast b)$$和我们在定义同态时给出的形式完全一致，并且简单地从定义式我们就能看出，${\ast }^{\prime }$ 继承了 $\ast$ 的很多性质(如果有的话)，例如可交换性、结合性以及零元幺元等，这些结论都可以参照同态部分进行验证。

---

• 给定集合 $S$ 上的等价关系 $\sim$，定义规范映射：$$g:S\to S/\sim ,g(x)=[x]$$如果 $S$ 是代数 $A=<S,\ast ,\Delta ,k>$ 的载体并且 $\sim$ 是 $A$ 上的同余关系，那么规范映射函数 $g$ 是从 $A$ 到其商代数 $A/\sim =<S/\sim ,{\ast }^{\prime },{\Delta }^{\prime },[k]>$ 的同态。
• 【证明】$$g(a){\ast }^{\prime }g(b)=[a]{\ast }^{\prime }[b]=[a\ast b]=g(a\ast b)$$$$\Delta g(a)=\Delta [a]=[\Delta a]=g\left(\Delta a\right)$$$$[k]=g(k)$$至此 $g$ 是 $A$ 到 $A/\sim$ 的同态得证。
• 截止到此条证明，代数系统、同态函数、同余关系以及商代数四位一体，全部串联起来。

---

• 【定理】给定代数系统 $A=<S,\ast ,\Delta ,k>$，对于同态 $f$ 决定的同态象 $A^{\prime }=<f(S),{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$，记由 $f$ 诱导出的同余关系为 $\sim$，那么存在从同态象 $A^{\prime }$ 到商代数 $A/\sim =<S/\sim ,{\ast }^{\prime \prime },{\Delta }^{\prime \prime },[k]>$ 的同构 $h.$
• 上述包含的信息量可能有点大，首先，同态诱导出的自然等价关系 $a\sim b\iff f(a)=f(b)$ 是一个同余关系在上面有过证明；其次，从原代数 $A$ 到商代数 $A/\sim$ 之间存在同态，该同态是满射函数(规范映射)；最后，上述定理表示，在商代数以及 $A$ 的某一个同态象 $A^{\prime }$ 之间存在同构。这某种程度上论证了商代数 "核"的地位，对于同构我们说过，是极为强烈的代数系统间关系，简单地替换符号就能从一个转换到另外一个。这也就意味着，对于 $A$ 的所有同态象，我们只需要研究它所对应的商代数即可。
• 【证明】构造函数 $h:A/\sim \to f(S),h([x])=f(x).$
• ① 证明 $h$ 不依赖于等价类 $[x]$ 的表示元素，如果 $[x]=[y]$，那么 $x\sim y$，根据同态诱导出等价关系的定义可知 $f(x)=f(y)$，因此 $h([x])=h([y]).$
• ② 证明 $h$ 是双射函数，首先证明 $h$ 是单射函数，$\forall x_1,x_2\in S$，如果 $f(x_1)=f(x_2)$，那么 $x_1\sim x_2$，从而 $[x_1]=[x_2]$，即若 $h([x_1])=h([x_2])$，那么 $[x_1]=[x_2]$ 得证，所以 $h$ 是单射函数；再证明 $h$ 是满射函数，由于 $f(S)$ 中的任意一个元素都可以表示为 $f(x)$，对于任意的 $x$，其等价类 $[x]$ 都存在，因此存在 $[x]$ 使得 $h([x])=f(x).$ 至此，$h$ 是双射函数得证。
• ③ 证明 $h$ 满足同构函数要求：$$h([x]{\ast }^{\prime \prime }[y])=h([x\ast y])=f(x\ast y)=f(x){\ast }^{\prime }f(y)=h([x]){\ast }^{\prime }h([y])$$$$h({\Delta }^{\prime \prime }[x])=h([\Delta x])=f(\Delta x)={\Delta }^{\prime }f(x)={\Delta }^{\prime }h([x])$$$$h([k])=f(k)=k^{\prime }$$

---

• 原代数 $A$，同态象 $A^{\prime }$ 以及商代数 $A/\sim$ 之间的关系如下图所示：
  

积代数.

• 从代数系统、同态函数到同余关系、商代数是联系密切的部分，积代数则是相对独立的定义。
• 给定代数 $A^{\prime }=⟨S^{\prime },{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }⟩,A^{\prime \prime }=⟨S^{\prime \prime },{\ast }^{\prime \prime },{\Delta }^{\prime \prime },k^{\prime \prime }⟩$，可以借助笛卡尔积的概念将其组合成积代数 $A^{\prime }\times A^{\prime \prime }=⟨S^{\prime }\times S^{\prime \prime },\ast ,\Delta ,⟨k^{\prime },k^{\prime \prime }⟩⟩.$
• 其中新运算 $\ast ,\Delta$ 的定义如下：$$⟨a,c⟩\ast ⟨b,d⟩=⟨a{\ast }^{\prime }c,b{\ast }^{\prime \prime }d⟩$$$$\Delta ⟨a,c⟩=⟨{\Delta }^{\prime }a,{\Delta }^{\prime \prime }c⟩$$
• 仅当代数 $A^{\prime },A^{\prime \prime }$ 具有相同的构成成份时，才能定义积代数，并且积代数和原代数具有相同的构成成分。