【代数结构与数理逻辑（一）】代数系统

第12章 代数结构预备知识

12.1 代数系统

定义（代数系统）

一个非空集合S，与若干个定义在S上的运算

以代数系统$[S;\ast ]$为例，介绍几个二元运算的性质

封闭性、结合律、交换律、单位元、逆元、零元、分配律

• 单位元是唯一的

• 当*满足结合律，a的逆元是唯一的

• 逆元的乘是可交换的

• 零元是唯一的

克莱茵四元群$K_4$

$\circ$	e	a	b	r
e	e	a	b	r
a	a	e	r	b
b	b	r	e	a
r	r	b	a	e

常用的集合记号

$Z$：整数集合

$Q$：有理数集合

$R$：实数集合

$C$：复数集合

$N$：自然数集合

$M_{n,m}(R)$：$n\times m$阶实数矩阵

$Z_n$：整数关于自然数$n>1$的同余类（等价类）为元素的集合，即$Z_n=\{[0],[1],\dots ,[n-1]\}$​

例12.5 设集合$S\ne \varnothing$，P(S)为其幂集合，$\cap ,\cup ,\sim$分别为集合的交、并、补运算

这三个运算关于P(S)均封闭，所以$[P[S];\cap ,\cup ,\sim ]$是代数系统

12.2 同态、同构与商系统

定义（同态映射）

设有两个代数系统$[S;\ast ]$与$[T;\circ ]$，存在映射$\phi :S\to T$
$$\phi (a\ast b)=\phi (a)\circ \phi (b)$$
称$\phi$为一个同态映射

当$\phi$满射，S与T同态；当$\phi$双射，S与T同构

定义（商结构/商系统）

首先引入相容等价关系，$a～b，且c～d时，有a\ast c～b\ast d$

可以以～作为S上等价类的划分，以[a]表示与a等价的元素全体

在$\overline{S}$上定义新的运算$\square ,st[a]\square [b]=[a\ast b]$，由于相容等价关系的存在，运算与代表元选取无关

称$[S;\square ]$是原系统的商系统

12.3 代数系统$[Z;+,\cdot ]$

公因数公倍数定理

$$ab=GCD(a,b)\cdot LVM(a,b)$$

长除法

$$GCD=\{\begin{array}{l}aifb=0\\ GCD(b,amodb)ifb>0\end{array}$$

当d=GCD(a,b)存在时，必存在$d=sa+tb$

第12章习题一

习题12.1判断是不是代数系统

证明满足封闭性

习题12.2找出代数系统的单位元、逆元和零元

习题12.3若代数系统只有左单位元，是否唯一？

不是唯一的，当$a\ast b=b\ast b=b$

习题12.4证明商系统$[S^{\prime };\otimes ]$​的运算结果与等价类代表元选取无关

证明：

由商系统的定义有
$$\begin{gathered} [a_1]\otimes [a_2]=[a_1\times a_2] \\ [b_1]\otimes [b_2]=[b_1\times b_2] \end{gathered}$$
设相容等价关系为～，那么$a_1\times b_1～a_2\times b_2$
$$\therefore [a_1\times b_1]=[a_2\times b_2]$$

习题12.5证明等价关系（同余）与整数的加乘是相容的

$a_1,a_2\in [a],b_1,b_2\in [b]$

$a_1=a_{2}modk,b_1=b_{2}modk$

设$a=k{x}_a+i,c=k{x}_c+i,b=k{x}_b+j,d=k{x}_d+j$

易证

习题12.6证明代数系统$[S;+].[T;+]$同构

S = { a + b i ∣ a , b ∈ Z } , S = { a + b 2 ∣ a , b ∈ Z } S=\{a+bi|a,b\in Z\},S=\{a+b\sqrt2|a,b\in Z\} S={a+bi∣a,b∈Z},S={a+b2 ​∣a,b∈Z}

构造同构映射$\phi :S\to T,\phi (a+bi)=a+b\sqrt{2}$​

1. 证明是同态映射
2. 证明是双射