学校一个朋友跟我说，学高等代数以前先打一个近世代数的底子，这样会对高等代数学习的更清楚一些，所以我搞了本比较简单的近世代数的书，打算以知乎为媒介来做做笔记。
第一章 基本概念
第一节 集合
Def 1.1若干个（有限或无限多个）具有某种特点的固定事物组成的全体叫做一个集合（简称集），集合中的事物称为集合的元素（简称元）。
Def 1.2一个没有元素的集合叫做空集。
Def 1.3若a是集合A的元素，则记为
，若a不是集合A的元素，则记为
。
Def 1.4子集 若B中的每个元素都属于A，则B是A的子集，记为
。
Def 1.5若集合B是集合A的子集，且A中至少有一个元素不属于B，则称B是A的真子集。记为
。
Def 1.6 集合相等
。
Def 1.7交集
Def 1.8并集
Def 1.9 集合的积 令
是n个集合，由一切从
中按顺序取出的元素组
所组成的集合称为集合
的积，记为
。
第二节 映射
Def 2.1 如果存在法则
，使得对于集合
中任意一元素
，在集合
中有唯一确定的元素
与之对应
，则称这个法则f是集合
到集合
的一个映射，元
称为元素
在映射
下的像，元
称为
在映射
下的原像。常把
.
映射需要注意的是像的唯一性。
第三节 代数运算
Def 3.1 代数运算 一个
到
的映射叫做一个
到
的代数运算。我们通常记为
.。若
都是有限集合的时候，我们通常用一张表来代表这种代数运算，即
.
Def 3.2 假如
，我们就说集合A对于代数运算
来说是闭的。也称
第四节 结合律
Def 4.1 称一个集合
的代数运算
适合
的任何三个元
来说，都有
。
由于我们的元素个数有限，所以对n的元素加括号的步骤有限，如果我们把所有加括号步骤得到的不同的结果记为
我们规定
Def 4.2 若对于
的
个固定元
来说，所有的
都相等，我们就把由这些步骤得到的唯一结果记为
。
Th 4.1
，也就是说符号
总有意义。
证明：采用数学归纳法来证明，显然当n=2或n=3是命题成立，假设元素个数
n-1时命题也成立，则只要证明对于任意的
，
即可。
对于任意的
，设
表示前i个元经过一系列加括号运算得到的结果，
表示后n-i个元经过加括号运算得到的结果，因为
,那么由归纳的假设有
所以
假设
,则已经得证 ，假设
时，
证毕。
第五节 交换律
Def 5.1 我们说，一个
到
的代数运算
适合
的任何两个元
来说，都有
.
Th 5.1 假如一个集合
的代数运算
同时适合交换律和结合律，那么在
里，元的次序可以交换。
证明 采用数学归纳法，当元个数是1或2时，显然结论成立，假设元个数
时，结论成立，则n的元随便排列，作成一个：
,这里
仍是
这n个数，只要证明
。
由于
中一定有一个数是
，假设为
，那么根据归纳假设、结合律、交换律有：
证毕。
第六节 分配律
Def 6.1 定义两种代数运算
是一个
到
的代数运算，
是一个
的代数运算，我们说，代数运算
适合
的任何
,
的任何
来说，都有
。
Th 6.1 假如
适合结合律，而且
适合左分配律，那么对于
的任何
,
的任何
来说，有
。
证明：采用数学归纳法，显然
时，定理成立，假设有
个元时，命题成立，则有
个元的时候：
证毕。
Def 6.2 我们说，代数运算
适合
.
Th 6.2 假如
适合结合律，而且
适合右分配律，那么
有
证明类似Th 6.1
第七节 双射、变换
Def 7.1 在一个映射
中，若
中的每一个元素都至少是
中的某一元素的像，那么
叫做
到
的一个
Def 7.2 一个
到
的映射
，若满足
,则称
是
到
的一个
Def 7.3 假如一个
到
的映射
既是满射又是单射，则称
为
与
间的一个
Th 7.1 一个
与
间的
带来一个通常用
表示的
与
间的
证明：定义映射
为
,先证明这是个映射，对于
中的任一元素
，因为
是单射，所以有唯一确定的
满足
与之对应；
再证明
是个满射，即证明对于
中的任何元素
，
中有原像与之对应，这是显然的，因为
是个
到
的映射，
;
最后证明
是个单射，即证明
，通过
,若
,则
,与假设矛盾，所以
得证。
Def 7.4 一个
到
的映射叫做
的一个
第八节 同态
之前的概念都是单纯考虑集合或单纯考虑代数运算，从这里开始，我们讨论有代数运算的集合。
Def 8.1一个
到
的映射
称为对于代数运算
和
来说
的
或写为
.
Def 8.2 假如对于代数运算
和
，有一个
到
的满射的同态映射存在，我们就说，这个映射是一个
和
，
和
同态满射在比较两个集合对于两种代数运算的代数性质的时候有很好的效果，见如下几个定理。
Th 8.1 假如，对于代数运算
和
来说，
。那么
（i）若
适合结合律，则
适合结合律。
（ii）若
适合交换律，则
适合交换律。
证明：（i）对于
中的任意三个元素
,由于A和
同构，所以至少存在A中的三个元素
.
,考虑
和
,由于
满足结合律，所以
，由映射的定义有
；
（ii）同理对于
中的任意两个元素
,至少存在两个
中的元素
,满足
，那么
,考虑到
,则
，证毕。
Th 8.2 假设
都是集合
的代数运算，
是集合
的代数运算，并且存在
到
的满射
，使得
和
对于代数运算
同态，
和
对于代数运算
也同态。那么，
（i）若
适合左分配律，则
也适合左分配律。
（ii）若
适合右分配律，则
也适合右分配律。
证明：只要证明（i）即可，（ii）和（i）证明类似。
假设
中的三个元素
，可以假定
，只要证明
.
有
适合左分配律，所以
得证。
第九节 同构、自同构
Def 9.1 我们称，一个
与
的双射
是一个对于代数运算
来说的
与
的
下
就有
。
Def 9.2 假设在
和
间，对于代数运算
和
来说，存在一个同构映射，那么称对于代数运算
和
来说
与
同构，并且用符号
来表示。
对于代数运算
和
来说，
与
同构。那么对于代数运算
和
来说，
和
这两个集合，抽象的来看，没有什么区别（除了命名上的不同），若一个集合有一个对于他自己代数运算所拥有的性质，那么另一个集合有着完全类似的性质。
Def 9.3 自同构 假如
是
上的一个代数运算，对于
与
来说的一个
与
之间的同构映射称为一个对于
来说的
的自同构（映射）。
第十节 等价关系与集合的分类
这里不采用张禾瑞《近世代数基础》上的定义，我们采用卓里奇中的关于关系的定义。
Def 10.1 关系 序偶（有顺序的）
的任何集合称为关系
.
组成
的所有序偶的第一个元素的集合
称为关系
的定义域，第二个元素的集合
称为关系
的值域。
从这个角度，可以把关系
解释为直积
的子集
，而且因为
，所以同一个关系可以作为不同集合的子集给出。
常常把
写成
,并说
与
之间的关系为
。
如果
,就说在
上给定了关系
。
Def 10.2 对角线
是
的子集，它给出了集合
中元素的
即
。
Def 10.3 集合
上的一个关系
叫做
满足：
若
,则称a与b等价
Def 10.4 若能把一个集合
分成若干个子集，使得
中的每一个元素仅属于一个子集，那么每个子集叫做类，这些类的全体称为集合
的一个
一个集合上的等价关系和集合的分类有一定的关系，从以下的两个定理可以看出。
Th 10.1 集合
上的一个分类决定了A上的一个等价关系。
证明：定义一个关系
当且仅当
在同一类。
（i）自反性，a和a显然是同一类的。
（ii）传递性，a和b同一类，b和c同一类，显然a和c是同一类的。
（iii）对称性，a和b是同一类，可以推出b和a是同一类的。
Th 10.2 集合
上的一个等价关系决定了
的一个分类。
证明：取 集合
中的一个元素
，把所有与
等价的所有元素放在一起组成
的一个子集，这个子集用
表示，我们要证明，所有这样得到的子集就是
的一个分类，我们先证等价的两个元素
的
是一样的，再证明
中的每一个元素只能属于一个子集，再证明
中的每个元素必然属于某个子集。
（i）要证明
我们假设
,由等价关系的传递性和
的定义，有：
任取
这就证明了
同理可证
,这样就证明了
.
（ii）假设
不止属于一个子集，假定
,这就说明了
只能属于一个子集。
（iii）
中的每个元素一定属于某个子集，这是显然的，
这就证明了与
等价的所有元素组成的子集是
的一个类。
Def 10.5 假设我们有了一个集合的一个分类，称一个类里的任何一个元素称为这个类的一个代表，由每个类的一个代表组成的集合叫做一个全体代表团。
Def 10.6 令
,取一个固定的整数
,定义一个
上的一个关系
，满足
（
整除n，也就是
同余
模
），称这个关系为同余关系，记为
。
证明：显然
与
同余，自反性成立，
同余
模
，那么
,那么显然
,对称性满足；
,传递性满足。
Def 10.7 同余关系确定的
的一个分类叫做模
的剩余类，我们来看看这个分类是什么样子的。任取一个整数，一定与
中的一个整数同余模
，并且这个整数不可能同时与
中的两个整数同余，所以这确定了
的一个分类，我们取
为每个类的代表，当然也可以取
作为每个类的代表。这样的类称为模
的
的剩余类完全一样。
Def 10.8 偏序关系 设
是某个集合，
是
全体子集的集合，对于集合
中的任何两个元素
,下列三个可能之一总是成立的：
不是
的子集，
也不是
的子集。
定义一个
中的关系
：
,这个关系就是
的子集间的包含关系。
这个定义有下列性质：
(任何集合都是自己的子集）（
(
)(
（
如果某集合
中的任意两个元素之间的具有上述三个性质，则称该关系称为集合
上的
,称
在
之后。
Def 10.9如果在附加上性质
,也就是说集合
中的
为序关系,定义了序关系的集合
称为线性序集。
289
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
