抽象代数研究对象是代数结构(集合+一套运算规则)，以本人的理解方式整理了代数结构基础内容，旨在弄清群、环、域等代数结构间的关系。(之前很认真整理了这部分内容，后来装双系统把草稿给丢了，这会重新整理)

数学的发展通常是先从简单的开始，然后不断放宽限制，推广到更一般化。从初等代数到抽象代数很好说明了这一点。

算术(arithmetic)无疑是数学中最古老、最基础和最初等的部分。算术研究数的性质及其运算。把数和数的性质、数和数之间的四则运算在应用过程中的经验累积起来，并加以整理，就形成了最古老的一门数学——算术^[]。值得一提的是，算术运算不仅仅指加减乘除，还可以是百分比、平方根、取幂和对数；算法的对象包括自然数、整数、有理数和实数(兴许还包括复数)；进制不仅仅是十进制，还可以是二进制、十六进制、六十进制。个人认为，算术的最大特点是关注具体数字。

用符号(成了变量)代替具体的数字，就可以得到更一般化(generalization)的等式，举例如下：

图1 从算术到代数的例子

algebra)是古老算术的推广与发展。在古代，算术积累了大量数量问题的解法，为寻求更系统、更普遍的求解各种数量关系方法，就产生了以解方程为中心的初等代数^[]。从实际问题的数量关系(即代数式：整式、分式、根式)、等量关系(或者不等式)列出列出方程或者方程组。方程(组)包括一元/二元一次方程(linear

高等代数相对于初等代数而言，本质上是一个东西，只是更加系统(深度+广度)。

初等代数再进一步推广(generalization)，那就是抽象代数了。初等代数与抽象代数的界限在于初等代数只考虑实数和复数代数结构。摘录维基百科词条：

抽象代数()、近世代数、现代代数(modern algebra)指的都是同一个意思(甚至直接称为代数学)。抽象代数主要研究对象是代数结构，包括群、环、域、向量空间。

伽罗瓦(?variste Galois, )是现代群论的创始人(与阿贝尔独立发明)，他利用群的概念彻底解决了用根式求解代数方程的可能性问题^[](称为伽罗瓦理论)，系统阐释了为何五次以上之方程式没有公式解，而四次以下有公式解^[]，使代数学从解方程的科学转变为研究代数结构的科学，即把代数推广到抽象代数^[]。

线性代数是抽象代数特殊的一类，其代数结构为：向量空间(vector spaces，也叫线性空间) + 线性变换(linear mappings)。很容易将线性代数和矩阵理论等同起来，但其实是不一样的，讨论线性变换是基于选定一组基的前提下。摘抄mathoverflow上的一个回答(原文在)：

既然抽象代数研究对象是代数结构()，那什么是代数结构呢。看了多个不同角度描述代数结构，如百度百科代数：代数是研究数、数量、关系与结构的数学分支。还是觉得《》中的描述最深入浅出，如下：

代数主要研究的是运算规则。一门代数， 其实都是从某种具体的运算体系中抽象出一些基本规则，建立一个公理体系，然后在这基础上进行研究。一个集合再加上一套运算规则，就构成一个代数结构^[1](想想计算机的数据结构：数据+操作)。

1.3 初等代数–>抽象代数

抽象代数将初等代数的一些概念延伸。

集合在朴素集合论(naive set theory)和公理化集合论()的定义是不一样的，前者指由一些元素组成；后者指具有某种特定性质事物的总体。还是看维基英文词条吧^[7]：

加号+被抽象为二元运算*()，对两个元素作二元运算，得到的新元素仍然属于该集合，这叫封闭性(closure)。实际上，加减乘除都叫二元运算(二元指的是两个操作数)。原文如下^[7]：

0和1被抽象成单位元()，0为加法单位元，1为乘法单位元。单位元是集合的一个特殊元素(跟二元运算有关)，满足单位元与其他元素相结合时，不改变该元素，即满足a ? e = a 与 e ? a = a。可见，单位元取决于元素与二元运算，如矩阵的加法单位元是零矩阵，矩阵的乘法单位元是单位矩阵。值得注意的是，有些集合不存在单位元，如正整数集合(the set of positive natural numbers)没有加法单位元(no identity element for addition)。维基百科原文如下：

负数推广到逆元素(inverse element)，对于加法，a的逆元素是-a；对于乘法，a的逆元素是倒数a^?1。直观地说，逆元可以撤销操作，如加了一个数a，再加上该数的逆元-a(相当于撤消操作)，结果还是一样。维基百科原文如下：

结合律()是某些二元运算的性质，有些二元运算没有结合律(如减法、除法、八元数)。原文如下：

交换律()，改变二元运算符两边的元素不影响结果。并不是所有二次元运算都满足交换律(如矩阵的乘法)。维基百科原文如下：

代数结构(R, *)，二元运算根据封闭性、单位元、逆元、结合律、交换律，可以归纳成不同的群。本节介绍的group-like，从最不严格到严格(依次添加限制条件)，其关系图如下：

维基百科有一张表，给出更详细的group-like间的关系，如下：

原群()是一种基本的代数结构，只要满足两元素作二元运算得到新元素仍属于该集合，即封闭性。维基百科原文如下：

幺半群()在半群的基础上，还需要满足有一个单位元。维基百科原文如下：

群()是两个元素作二元运算得到的一个新元素，需要满足群公理(group axioms)，即：

• 逆  元：加法的逆元为-a，乘法的逆元为倒数1/a，… (对于所有元素)

如整数集合，二次元运算为加法就是一个群(封闭性是显然的，加法满足结合律，单位元为0，逆元取相反数-a)。维基百科原文如下：

2.5 阿贝尔群(交换群)

阿贝尔群()在群的基础上，还需满足交换律。如整数集合和加法运算，(Z,+)，是一个阿贝尔群。

• 群公理：见2.4 群。

环在交换群基础上，进一步限制条件。环、交换环、域间的关系如下：

图3 环、交换环、域间的关系

维基百科有一张表从不同角度呈现这三者的关系，如下：

环(ring)在阿贝尔群(也叫交换群)的基础上，添加一种二元运算·(虽叫乘法，但不同于初等代数的乘法)。一个代数结构是环(R, +, ·)，需要满足环公理(ring axioms)，如(Z,+, ?)。环公理如下：

交换环()在环的基础上，二元运算乘法还满足交换律。

整环()在交换环的基础上，并满足没有零因子(如此，集合内任意两个元素乘积均不等于0)。维基百科原文如下：

域()在交换环的基础上，还增加了二元运算除法，要求元素(除零以外)可以作除法运算，即每个非零的元素都要有乘法逆元。由此可见，域是一种可以进行加减乘除(除0以外)的代数结构，是数域与四则运算的推广。整数集合，不存在乘法逆元(1/3不是整数)，所以整数集合不是域。有理数、实数、复数可以形成域，分别叫有理数域、实数域、复数域。域的几种定义，直接看维基百科英文吧：

从有限域到交换环一些代数结构的从属关系如下：

摘抄维基百科部分内容如下：

给定域F，向量空间V记为F-向量空间。其二元运算：

并且满足如下8条公理^[10]：

• 标量乘法有单位元: 1 v = v, 1指域F的乘法单位元

另，若F是实数域?，则V称为实数向量空间；若F是复数域?，则V称为复数向量空间；若F是有限域，则V称为有限域向量空间。

模()是对向量空间的推广，将标量需为域(向量空间)推广到任意环(模)。维基百科module部分原文如下：

格()是任意两个元素都有上确界和下确界的偏序集合。

是时候，祭出这张图了，图片来源于。YouTube还有一段小视频讲这张图的，在。