代数结构简介：群、环, 域、格、模...
现在数学是建立在集合论这个共同的基础上的，集合论中有一些基本的概念，如集合，关系，函数，等价等，作为数学各个分支的共同语言，本文中数学概念的定义也都是从集合出发的。
数学结构
数学中，集合上的结构是指集合上附加的、赋予集合特殊含义的数学对象。
常见的结构有
序(Order)、代数结构、拓扑(Topology)、测度(Measure)、度量(Metric)/几何、等价关系、范畴(Category)、微分结构等。
上世纪中期盛极一时的法国布尔巴基学派(结构主义)曾提出数学的三种基本结构：
- 代数结构：由集合及其上的运算组成，如群、环、域、模、线性空间等。
- 序结构：由集合及其上的序关系组成，如偏序集、全序集、良序集。
- 拓扑结构：由集合及其上的拓扑组成，如拓扑空间、度量空间、流形、紧致集等。
之后，随着代数拓扑学、微分拓扑学、代数几何学、李群和代数群理论、多复变量函数论、泛函分析等领域趋于平稳，而难以结构化的数学分支，如分析数学、概率论与统计学、离散数学(组合数学)、应用数学、计算数学等开始蓬勃发展，布尔巴基学派逐渐衰微。(p.s.感觉后面这些数学都大都更适于计算机处理，计算机的普及促进了新数学领域的发展。)
代数结构
抽象代数中，集合上的一个代数结构是指定义在集合上的一系列有限运算，而集合及其上的代数结构一起也被称为代数。常见的代数结构有群、环, 域、格、模、线性空间、域代数等。
-
群G(Group)：群是集合上定义了一个满足闭合性、结合律、单位元、可逆性(任何元素有逆元素)四条公理的二元运算的代数结构。
注意上述公理中不包含交换律，交换律成立的群被称为阿贝尔群(交换群)。通常，群定义中的二元运算称为乘法，单位元写作1，此时群也被称为乘法群。
对于满足交换律的阿贝尔群，二元运算通常称为加法，单位元写为0，因此阿贝尔群也被称为加法群。
可逆性意味着可以定义逆运算——除法，由于乘法不一定满足交换律，因此又可分为左除
$ a^{-1}b $ 右除 $ ab^{-1} $ 对于满足交换律的阿贝尔群，两种除法相同，此时二元运算通常称为加法，逆运算称为减法。- 半群：闭合于可结合二元运算下的集合形成的代数结构；相比群只要求二元运算满足闭合性和结合律，不需要有单位元和逆元。
- 幺半群(Monoid)：定义了可结合二元运算和单位元的代数结构，是带有单位元的半群；相比群不要求有逆元。
- 类似的代数结构还有：原群(Magma) > 拟群(Quasigroup, Loop) > 半群；半群胚 > 范畴(Category) > 群胚(Groupoid)
- 范畴不要求闭合性，但要求结合律和单位元，幺半群是特殊的范畴，只有一个对象(Object)。
-
环R(Ring)：环是集合上定义了满足特定公理的广义加法和乘法两个二元运算的代数结构。
具体的：加法运算要满足结合律、交换律、单位元、可逆性四条公理；乘法运算要满足结合律；且乘法关于加法满足分配律。另一种说法是：环是一个关于加法的阿贝尔群；还是一个关于乘法的半群；且乘法关于加法满足分配律。- 无零因子环：没有非0零因子的环称为无零因子环，0是唯一的零因子；等价的，也可以说是满足零乘性质的环：任何非0元素的乘积非0，或者 if ab=0 , then a = 0 or b = 0,还可以说 R\{0} 对乘法封闭，构成一个半群。
- 幺环：如果环的乘法有单位元，则环是关于乘法的幺半群，环被称为幺环(维基中环的定义要求乘法有单位元)。
- 交换环(Commutative Ring)：环的加法满足交换律，但乘法不要求满足交换律；乘法满足交换律的环称为交换环。
- 除环/反称域(Division Ring/Skew Field)：环不要求乘法满足可逆性，乘法满足可逆性的幺环称为除环，等价的可以说R\{0}对乘法形成一个群。除环不要求乘法的交换性，非交换的除环是体，交换的除环是域。
- 整环/整域(Entire Ring/Integral Domain)：无零因子的交换幺环；整环是整数环的推广，非零元素满足消去律：if $ a \neq 0, ab=ac $, implies $ b=c $
- 域F(Field)：乘法满足交换律、可逆性，且有单位元的环称为域；域是交换的除环，是任何非零元素都有逆元素的整环。
抽象代数中，中文的域一般指Field，英文维基的环论下还有一个域(Domain)，没有对应的中文词条。域(Domain)是一个满足零乘性质的非零环，即非零的无零因子环。 - 向量空间V(Vector Space)：向量空间也称线性空间(Linear Space)，是域F上的一个集合，其中定义了向量加法和标量乘法两种运算，向量加法满足结合律、交换律、单位元、可逆性，而标量乘法与标量的域乘法相容\(a(b\alpha)=(ab)\alpha\)、有单位元、对向量加法及标量的域加法满足分配律。
- 模M(Module)：Module over a Ring \(\to\) Vector Space over a Field；模是对线性空间概念的推广，线性空间中标量的代数结构是域(Field)，而模则将标量放宽到任意环(Ring)的元素，乘法运算定义在环元素与模元素之间。由于乘法不一定满足交换律，又可分为左R-模、右R-模。
- 域代数(Algebra over a Field)：线性空间再加上一个双线性运算(乘法)即成为域代数，如矩阵代数、张量代数、李代数、外代数。类似于线性空间推广到模，将标量的域F替换为交换环R，可以推广得到环代数(Algebra over a Ring)。
-
格L(Lattice)：从序理论角度定义，格是一个偏序集，其非空有限子集都有一个上确界(并)和一个下确界(交)；从抽象代数角度定义，格是定义了满足交换律、结合律及吸收律三个公理的两个二元运算(交并)的集合。
代数结构由集合上的满足特定公理的运算定义，而将这些代数结构本身作为研究对象的学科便是泛代数。范畴论是另一种研究代数结构间关系的工具：范畴是一系列对象及对象间箭头(态射)构成的代数结构；任意代数结构都有其同态的概念，从而可以构成一个范畴，比如所有的群及群同态便构成了群范畴。范畴论在编程语言理论中有重要应用，如函数式编程中单子的概念。
抽象空间
容纳运动是空间的本质特征，这里所说的运动是从一个点到另一个点的变换，而不是微积分意义上的“连续”性的运动。
认识到了这些，我们就可以把我们关于三维空间的认识扩展到其他的空间。事实上，不管是什么空间，都必须容纳和支持在其中发生的符合规则的运动（变换）。你会发现，在某种空间中往往会存在一种相对应的变换，比如拓扑空间中有拓扑变换，线性空间中有线性变换，仿射空间中有仿射变换，其实这些变换都只不过是对应空间中允许的运动形式而已。因此只要知道，“空间”是容纳运动的一个对象集合，而变换则规定了对应空间的运动。
代数空间
数学中，空间是指有额外(数学)结构的集合。常见的有线性空间(向量空间)、仿射空间、拓扑空间、测度空间、度量空间、赋范空间、内积空间、函数空间等。
度量空间是能在上面定义收敛, 连续概念的空间, 比度量空间更一般的空间是拓扑空间, 在拓扑空间上也能定义收敛和连续概念。
而测度空间是能在上面定义(Lebsegue)积分的空间。
赋范空间是线性空间中添加了距离的概念(范数)，而内积空间是线性空间添加了距离和角度两个概念(内积)。
测度空间与可测空间的区别, 可测空间是能在上面定义测度, 测度空间是已经在上面定义了测度。
希尔伯特空间
希尔伯特空间即完备的内积空间，也就是说一个带有内积的完备向量空间。当一个内积空间满足通过内积空间可推导出范数空间(赋范空间)，并且是完备的，那么这个内积空间就是希尔伯特空间。
如常见的 \(R^n\)，满足内积运算，能够推导出\(l2\)范数，且是完备的，所以是希尔伯特空间。
简单来说，基本的线性空间只包括加法和数乘操作，在此基础上我们引入内积操作，这样就把空间升级为内积空间。根据内积我们可以定义一个范数：$ ||x||=<x,x> $ 于是我们就得到了一个赋范向量空间。有了范数之后我们就可以引入一个度量 \(d(x_1, x_2)=||x_1-x_2||\) 用于计算向量 \(x_1\) 和 \(x_2\)之间的距离。于是我们就得到一个度量空间。如果这样的空间在这个度量下是完备的，那么这个空间叫做希尔伯特空间。
