代数运算与代数系统

符号

$\mathbb{I}$表示整数
${\mathbb{I}}_{+}$表示正整数
$\rho \left(A\right)$：设$A$是集合，则称 { x ∣ x ⊆ A } \left\{x|x\subseteq A\right\} {x∣x⊆A}为$A$的幂集

代数运算

设$A$为非空集合，$n\in {\mathbb{I}}_{+}$,函数$f:A^n\to A$称为$A$上的一个$n$元运算，$n$称为该运算的阶
特别地，$A$中的每个元素称为$A$上的一个0元运算

性质

封闭

设$\circ$是集合$A$上的$n$元运算，$S$是$A$的非空子集，若$\forall a_1,a_2,\cdots ,a_n\in S$有$\circ \left(a_1,a_2,\cdots ,a_n\right)\in S$，则称$S$关于运算$\circ$是封闭的

定理

设$\circ$是集合$A$上的$n$元运算，$\zeta$是$\rho \left(A\right)$的非空子集，若$\forall S\in \zeta$,$S$关于$\circ$是封闭的，
则$\cap \zeta$关于$\circ$也是封闭的，即广义交保持封闭性

交换律

设$\ast$是集合$A$上的二元运算，若$a,b\in A$，有$a\ast b=b\ast a$，则称$\ast$是可交换的，或$\ast$满足交换律

结合律

设$\ast$是集合$A$上的二元运算，若$\forall a,b,c\in A$，有$\left(a\ast b\right)\ast c=a\ast \left(b\ast c\right)$，则称$\ast$是可结合的，或称$\ast$满足结合律

分配律

设$\ast$和$\circ$是集合$A$上的二元运算
（1）若$\forall a,b,c\in A$，有$a\ast \left(b\circ c\right)=\left(a\ast b\right)\circ \left(a\ast c\right)$,则称$\ast$关于$\circ$是左可分配的
（2）若$\forall a,b,c\in A$，有$\left(b\circ c\right)\ast a=\left(b\ast a\right)\circ \left(c\ast a\right)$,则称$\ast$关于$\circ$是右可分配的
（3）若$\ast$关于$\circ$即使做客分配的，又是右可分配的，则称$\ast$关于$\circ$是可分配的，或称$\ast$关于$\circ$满足分配律

定理

设$\ast$是集合$A$上可结合的二元运算，则$\forall n\in {\mathbb{I}}_{+}$，$\forall a_1,a_2,\cdots ,a_n\in A$,表达式$a_1\ast a_2\ast \cdots \ast a_n$经任意加括号而计算出的结果不变

证明：
设
$$\prod _{i=1}^n{a}_i=\left(\cdots \left(\left(a_1\ast a_2\right)\ast a_3\right)\cdots \ast a_{n-1}\right)\ast a_n$$

$n=1,2$时显然成立
假设$k<n$时成立
当$k=n$时
设$a_1\ast a_2\ast \cdots \ast a_n$任意加括号所得结果中最后一次计算时$\alpha \ast \beta$
其中$\alpha$表示$m$个元$a_1,a_2,\cdots ,a_m$的计算结果
$\beta$表示$n-m$个元$a_1,a_2,\cdots ,a_{n-m}$的计算结果
$1\le m<n$
$$\alpha =\prod _{i=1}^m{a}_i,\beta =\prod _{j=m+1}^n{a}_j$$
若$m=n-1$，则
$$\alpha \ast \beta =\prod _{i=1}^n{a}_i$$
若$m<n-1$，则
$$\begin{array}{rl}\alpha \ast \beta & =\left(\prod _{i=1}^m{a}_i\right)\ast \left(\prod _{j=m+1}^n{a}_j\right)\\ & =\left(\prod _{i=1}^m{a}_i\right)\ast \left(\left(\prod _{j=m+1}^{n-1}{a}_j\right)\ast a_n\right)\\ & =\left(\left(\prod _{i=1}^m{a}_i\right)\ast \left(\prod _{j=m+1}^{n-1}{a}_j\right)\right)\ast a_n\\ & =\left(\prod _{i=1}^{n-1}{a}_i\right)\ast a_n\\ & =\prod _{i=1}^n{a}_i\end{array}$$
因此$\forall n\in {\mathbb{I}}_{+}$，定理成立

单位元

设$\ast$时集合$A$上的二元运算
（1）若$\exists e_l\in A$，使得$\forall a\in A$，有$e_l\ast a=a$，则称$e_l$为关于$\ast$的左单位元，也称左幺元
（2）若$\exists e_r\in A$，使得$\forall a\in A$，有$a\ast e_r=a$，则称$e_r$为关于$\ast$的右单位元，也称右幺元
（3）若$\exists e\in A$，使得$\forall a\in A$，有$e\ast a=a\ast e=a$，则称$e$为关于$\ast$的单位元，也称幺元

定理

设$\ast$使集合$A$上的二元运算，$e_l$和$e_r$分别使关于$\ast$的左单位元和右单位元，则$e_l=e_r$,且它是关于$\ast$的唯一单位元

证明：
$$e_l=e_l\ast e_r=e_r$$
令$e=e_l=e_r$，设$e^{\prime }$也是单位元
$$e^{\prime }=e^{\prime }\ast e=e$$

零元

设$\ast$时集合$A$上的二元运算
（1）若$\exists 0_l\in A$，使得$\forall a\in A$，有$0_l\ast a=0_l$，则称$0_l$为关于$\ast$的左零元
（2）若$\exists 0_r\in A$，使得$\forall a\in A$，有$a\ast 0_r=0_r$，则称$0_r$为关于$\ast$的右零元
（3）若$\exists 0\in A$，使得$\forall a\in A$，有$0\ast a=a\ast 0=0$，则称$0$为关于$\ast$的零元

定理

设$\ast$使集合$A$上的二元运算，$0_l$和$0_r$分别使关于$\ast$的左零元和右零元，则$0_l=0_r$,且它是关于$\ast$的唯一零元

逆元

设$\ast$时集合$A$上的二元运算，$e$是关于$\ast$的单位元，$a\in A$
（1）若$\exists a_l\in A$，使得$a_l\ast a=e$，则称$a$关于$\ast$是左可逆的，并称$a_l$是$a$的关于$\ast$的左逆元
（2）若$\exists a_r\in A$，使得$a\ast a_r=e$，则称$a$关于$\ast$是右可逆的，并称$a_r$是$a$的关于$\ast$的右逆元
（3）若$\exists a^{\prime }\in A$，使得$a^{\prime }\ast a=a\ast a^{\prime }=e$，则称$a$关于$\ast$是可逆的，并称$a^{\prime }$是$a$的关于$\ast$的逆元

定理

设$\ast$是集合$A$上可结合的二元运算，$e$是关于$\ast$的单位元，$a_l$和$a_r$分别是关于$a\in A$的左逆元和右逆元，则$a_l=a_r$，且它是$a$的唯一逆元

证明：
$$a_l=a_l\ast e=a_l\ast \left(a\ast a_r\right)=\left(a_l\ast a\right)\ast a_r=e\ast a_r=a_r$$

$a^{\prime }=a_l=a_r$是$a$的一个逆元，设$a^{\prime \prime }$也是$a$的一个逆元
$$a^{\prime }=a^{\prime }\ast e=a^{\prime }\ast \left(a\ast a^{\prime \prime }\right)=\left(a^{\prime }\ast a\right)\ast a^{\prime \prime }=e\ast a^{\prime \prime }=a^{\prime \prime }$$

可约

设$\ast$时集合$A$上的二元运算，$a\in A$
（1）若$\forall x,y\in A$，$a\ast x=a\ast y\Rightarrow x=y$,则称$a$关于$\ast$是左可约的
（2）若$\forall x,y\in A$，$x\ast a=y\ast a\Rightarrow x=y$,则称$a$关于$\ast$是右可约的
（3）若$a$既是左可约的，又是右可约的，则称$a$关于$\ast$是可约的

设$\ast$是集合$A$上的二元运算，若$\forall a\in A$，$a$关于$\ast$是可约的，则称$\ast$满足消去律

定理

设$\ast$时集合$A$上的二元可结合运算，$a\in A$，若$a$关于$\ast$是可逆的，则$a$关于$\ast$是可约的

证明：
$\forall x,y\in A$，若$a\ast x=a\ast y$，则$a^{-1}\ast \left(a\ast x\right)=a^{-1}\ast \left(a\ast y\right)$,由结合律$x=y$，故$a$左可约
右可约同理，因此$a$是可约的

代数系统

设$S$为非空集合，${\ast }_1,{\ast }_2,\cdots ,{\ast }_n$为$S$上的代数运算，则称$⟨S,{\ast }_1,{\ast }_2,\cdots ,{\ast }_n⟩$为一个代数系统或代数结构，并称$S$为该代数系统的定义域
若$S$为有限集，则称$⟨S,{\ast }_1,{\ast }_2,\cdots ,{\ast }_n⟩$为有限代数系统，并称$\left|S\right|$为该代数系统的阶

设$⟨S,{\ast }_1,{\ast }_2,\cdots ,{\ast }_n⟩$为代数系统，$T$为$S$的非空子集，
若$T$关于每个${\ast }_i$都封闭，则称代数系统$⟨T,{\ast }_1^{\prime },{\ast }_2^{\prime },\cdots ,{\ast }_n^{\prime }⟩$为$⟨S,{\ast }_1,{\ast }_2,\cdots ,{\ast }_n⟩$的子代数，其中${\ast }_i^{\prime }$为${\ast }_i$在$T$上的限制，为了简便起见，$⟨T,{\ast }_1^{\prime },{\ast }_2^{\prime },\cdots ,{\ast }_n^{\prime }⟩$就记作$⟨T,{\ast }_1,{\ast }_2,\cdots ,{\ast }_n⟩$

课后习题

2.设$\ast$是集合$A$上的二元运算，$e$和$0$分别是关于$\ast$的单位元和零元，试证明：若$\left|A\right|>1$，则$e=0$
证明：
$\forall x\in A$
$x=e\ast x=0\ast x=0$
进而KaTeX parse error: Expected '}', got '\right' at position 10: A=\left{0\̲r̲i̲g̲h̲t̲\}
矛盾

4.整数集$\mathbb{I}$上的二元运算$\ast$定义为：$\forall x,y\in \mathbb{I},x\ast y=x+y-xy$
试证明：$\ast$是可交换的和可结合的；求出其单位元，并指出每个可逆元的逆元

证明：
显然$\ast$是可交换的和可结合

$x\ast y=x\Rightarrow y=0$
因此单位元为$0$
$x\ast y=x+y-xy=0\Rightarrow y=\frac{x}{x-1}$
因为$y\in \mathbb{I}$，并且$gcd\left(x,x-1\right)=1$
因此$x=2,y=1;x=0,y=0$

$2$的逆元为$1$
$1$的逆元为$2$
$0$的逆元为$0$
其余元素不可逆

7.由下述运算表所定义的二元运算$\ast$是否为科狡滑你得？是否有单位元？
对于有单位元的运算，哪些元素是可逆的？并对可逆元给出它们的逆元
(1)

*	a	b	c	d
a	a	b	c	d
b	b	c	d	a
c	c	d	a	b
d	d	a	b	c

(2)

*	a	b	c	d
a	a	a	a	a
b	a	b	c	b
c	d	c	a	c
d	d	d	c	d

解：
（1）可交换
$a$是单位元
$a$的逆元为$a$
$b$的逆元为$d$
$c$的逆元为$c$
$d$的逆元为$d$

（2）不可交换
$b$是单位元
$b$的单位元是$b$

8.设$A$有限集合，且$\left|A\right|=n$,$A$上的二元运算有多少个，其中有多少个运算是可交换的？有多少个运算具有单位元

解：
二元运算有$n^{n^2}$个
可交换$n^{1+2+...n}=n^{\frac{n\left(n+1\right)}{2}}$（对称矩阵）
有单位元：$n\ast n^{{\left(n-1\right)}^2}=n^{n^2-2n+2}$
(因为单位元，所以一行一列已经确定，然后单位元有$n$种选法)

9设$\ast$是集合$A$上可结合的二元运算，且$\forall a,b\in A$，若$a\ast b=b\ast a$,则$a\ast b$
试证明：
（1）$\forall a\in A,a\ast a=a$,即$a$是幂等元
（2）$\forall a,b\in A,a\ast b\ast a=a$
（3）$\forall a,b,c\in A,a\ast b\ast a=a\ast c$

证明：
（1）
$$a\ast a=a\ast a\Rightarrow a=a$$
（2）
$$a\ast a\ast b\ast a=a\ast b\ast a=a\ast b\ast a\ast a\Rightarrow a=a\ast b\ast a$$
（3）
$$\begin{gathered} a\ast c\ast a\ast b\ast c=a\ast b\ast c \\ a\ast b\ast c\ast a\ast c=a\ast b\ast c \\ \Rightarrow a\ast c\ast a\ast b\ast c=a\ast b\ast c\ast a\ast c \\ \Rightarrow a\ast b\ast c=a\ast c \end{gathered}$$

参考：
离散数学（刘玉珍）