抽象代数相关概念

一.代数结构及其相关的一些概念.

代数结构：代数结构是一个多元组，多元组中的元素是集合、二元运算、二元关系，且必须包括至少一个集合和一个二元运算或二元关系.

代数结构公理：一个代数结构需要满足的特定条件称为代数结构的公理.

下面将给出一些比较常见的代数结构公理.

封闭性：称集合$S$关于二元运算$\cdot$满足封闭性，当且仅当：
$$x,y\in S\Rightarrow x\cdot y\in S$$

交换律：称集合$S$关于二元运算$\cdot$满足交换律，当且仅当：
$$x,y\in S\Rightarrow x\cdot y=y\cdot x$$

结合律：称集合$S$关于二元运算$\cdot$满足结合律，当且仅当：
$$x,y,z\in S\Rightarrow x\cdot y\cdot z=x\cdot (y\cdot z)$$

分配律：称集合$S$关于二元运算$+,\times$满足$\times$对$+$的分配律，当且仅当：
$$\begin{gathered} x,y,z\in S \\ \Rightarrow z\times (x+y)=z\times x+z\times y \\ (x+y)\times z=x\times z+y\times z \end{gathered}$$

单位元：称$e$为二元运算$\cdot$的单位元，当且仅当：
$$\forall x,x\cdot e=e\cdot x=x$$

可逆性：称元素$x$在二元运算$\cdot$下可逆，当且仅当：
$$\begin{gathered} \exists y_1,x\cdot y_1=e \\ \exists y_2,y_2\cdot x=e \end{gathered}$$

常见的代数结构有群（原群、半群、幺半群、群、阿贝尔群）、环（环、交换环、域）、偏序集（偏序集、全序集、格）、线性空间（线性空间、模）.

二.群相关的代数结构.

原群：定义一个原群是由一个集合$S$与一个二元运算$\cdot$组成的二元组$G=(S,\cdot )$，满足：
1.封闭性.集合$S$关于$\cdot$封闭.

半群：定义一个半群是由一个集合$S$与一个二元运算$\cdot$组成的二元组$G=(S,\cdot )$，满足：
1.封闭性.集合$S$关于$\cdot$满足封闭性.
2.结合律.集合$S$关于$\cdot$满足结合律.

幺半群：定义一个幺半群是由一个集合$S$与一个二元运算$\cdot$组成的二元组$G=(S,\cdot )$，满足：
1.封闭性.集合$S$关于$\cdot$满足封闭性.
2.结合律.集合$S$关于$\cdot$满足结合律.
3.单位元.$\cdot$的至少一个单位元存在$S$中.

群：定义一个群是由一个集合$S$与一个二元运算$\cdot$组成的二元组$G=(S,\cdot )$，满足：
1.封闭性.集合$S$关于$\cdot$满足封闭性.
2.结合律.集合$S$关于$\cdot$满足结合律.
3.单位元.$\cdot$的至少一个单位元存在$S$中.
4.可逆性.集合$S$内任意元素都可逆且逆元在$S$内.

阿贝尔群：定义一个阿贝尔群是由一个集合$S$与一个二元运算$\cdot$组成的二元组$G=(S,\cdot )$，满足：
1.封闭性.集合$S$关于$\cdot$满足封闭性.
2.结合律.集合$S$关于$\cdot$满足结合律.
3.单位元.$\cdot$的至少一个单位元存在$S$中.
4.可逆性.集合$S$内任意元素都可逆且逆元在$S$内.
5.交换律.集合$S$关于$\cdot$满足交换律.

其实这五个代数结构都只是在上一个代数结构的基础上增加了一个代数结构公理而已.

你也可以认为它们之间是这样一个关系：

关于群更加详细的介绍参见群论与置换群入门.


三.环相关的代数结构.

环：定义一个环是由一个集合$S$与两个二元运算$+,\times$组成的三元组$R=(S,+,\times )$，满足：
1.$G=(S,+)$是一个阿贝尔群，记其单位元为$e_0$.
2.$G=(S,\times )$是一个幺半群，记其单位元为$e_1$.
3.分配律.集合$S$关于$+,\times$满足$\times$对$+$的分配律.

交换环：定义一个交换环是由一个集合$S$与两个二元运算$+,\times$组成的三元组$R=(S,+,\times )$，满足：
1.$R$是一个环.
2.乘法交换律：集合$S$关于$\times$满足交换律.

域：定义一个域是由一个集合$S$与两个二元运算$+,\times$组成的三元组$R=(S,+,\times )$，满足：
1.$G=(S,+)$是一个阿贝尔群，记其单位元为$e_0$.
2.$G=({\complement }_S{e}_0,\times )$是一个阿贝尔群，即除去$e_0$后其余元素与乘法构成一个阿贝尔群，记其单位元为$e_1$.
3.分配律.集合$S$关于$+,\times$满足$\times$对$+$的分配律.


四.偏序集相关的代数结构.

偏序集：定义一个偏序集是由一个集合$S$与一个二元关系$\le$组成的二元组$O=(S,\le )$，满足：
1.自反性.对于任意元素$x\in S$，有$x\le x$.
2.传递性.对于任意元素$x,y,z\in S$，若$x\le y$且$y\le z$，则$x\le z$.
3.反对称性.对于任意元素$x,y\in S$，若$x\le y$且$y\le x$，则$x=y$.

全序集：定义一个偏序集是由一个集合$S$与一个二元关系$\le$组成的二元组$O=(S,\le )$，满足：
1.$O$是一个偏序集.
2.对于任意元素$a,b\in S$，$a\le b$与$b\le a$里至少有一个满足.

还有一个叫格的代数结构，是一种特殊的偏序集，可以自行寻找资料学习.

有关偏序集的理论参考偏序关系与偏序集相关.


五.线性空间相关的代数结构.

线性空间（向量空间）：定义一个线性空间是由两个集合$F,V$与一个两个二元运算$+,\times$组成的二元组$O=(S,\le )$，满足：
1.$(F,+,\times )$是一个域.
2.向量加法封闭性.对于任意$x,y\in V$，有$x+y\in V$.
3.标量乘法封闭性.对于任意$a\in F,x\in V$，有$ax\in V$.
4.向量加法结合律.对于任意$x,y,z\in V$，有$x+y+z=x+(y+z)$.
5.向量加法交换律.对于任意$x,y\in V$，有$x+y=y+x$.
6.向量加法单位元.存在$e_V\in V$满足对于任意$x\in V$，均有$x+e_V=x$.
7.向量加法可逆性.对于任意元素$x\in V$，均存在$y\in V$满足$x+y=e_V$.
8.标量乘法关于向量加法满足分配律.对于任意$a\in F,x,y\in V$，满足$a(x+y)=ax+ay$.
9.标量乘法关于域加法满足分配律.对于任意$a,b,c\in F$，满足$a(b+c)=ab+ac$.
10.标量乘法与标量域乘法一致.对于任意$a,b\in F,x\in V$，满足$abx=a(bx)$.
11.标量乘法单位元.存在$e_F\in F$满足对于任意$x\in V$，均有$e_{F}x=x$.

可能这个代数结构中的某些专业名词有些难懂，这里解释一下.

标量域：线性空间中的域$(F,+,\times )$称为标量域.

标量：集合$F$中的元素称为标量.

向量集：线性空间中的集合$V$称为向量集.

向量：集合$V$中的元素称为向量.

向量加法：即向量集$V$中两个元素$x,y$之间的加法，记为$x+y$.

标量乘法：又称数乘，即标量域$(F,+,\times )$中的某个元素$a$与向量集中某个元素$x$的乘法，记为$ax$.

标量域加法：即标量域$(F,+,\times )$中两个元素$a,b$之间的加法，记为$a+b$.

标量域乘法：即标量域$(F,+,\times )$中两个元素$a,b$之间的乘法，记为$ab$.

线性空间还可以拓展出一个代数结构，称为模，本质是把标量域变成了标量环.

有关线性空间的理论参考线性空间与高斯消元.