百科知识网

抽象代数简介

发布时间：2025-10-07 | 来源：互联网转载和整理

在中学阶段就学习过***，部分内容不再赘述。以下是交集、并集、差集的概念：

设是一个***，那么的所有子集为成员构成的几何成为是幂集，记作。

设是两个***，定义***

称为与的笛卡尔积，又称卡氏积，***积。

***中元素个数称为***的基数，记作。如果是无限的，则，称是无限集，否则是有限集。

***中的元素相互之间可能有关系（也可能没有关系）。例如全校的学生构成一个***，某些学生可能是同班同学，那么他们就有关系。等价关系类似于数集中的“等于”的关系，要求满足：

偏序关系类似于数集中的“大于等于/小于等于”的关系，要求满足：

等价不一定是等于例如一个学校的学生构成的***，同班就是一种等价关系。甲乙同班乙丙同班，那么甲丙同班……我们把和都等价的元素构成的***，称为等价类：

以的所有等价类构成的***，称为关于等价关系的商集。

定义：设是一个非空***，满足

那么称为一个半群。

例如正整数的***关于加法运算是半群，客观上还满足交换律，是“加法半群”。

再如矩阵的乘法满足结合律，但是不满足交换律，所以固定阶数的矩阵也可以看作半群。

定义：设是一个非空***，满足

那么称为一个幺半群。这样特殊的元素被称为“单位元”，记作。

前文提到的不是幺半群，因为它没有单位元。而矩阵有单位矩阵，所以是幺半群。

定义：设是一个非空***，满足

那么称为一个群。这里提及的关于是唯一的，称其为逆元，记作。即。

例如整数集关于加法运算是群，客观上还满足交换律，是“加法群”。群如果满足交换律，就称为交换群，又称Abel群（阿贝尔群），又称加群。

例如所有的阶可逆复矩阵构成的***是一个群，可以称为“n级一般线性群”。

映射在中学阶段已经接触过，此处不表。若矩阵自己到自己的映射，称为的变换。用来记***所有变换的***。来记***所有可逆变换的***。

设是群是从群到群的映射，如果这一映射满足

则把这一映射称为同态。

如果是单射就是单同态；若是满射，就是满同态；如果是双射，就是同构。

定义：设是一个非空***，满足

那么称为一个环。

在环的基础上，有乘法单位元，称为“幺环”。

定义：设是一个非空***，满足

那么称为一个幺环。

在环的基础上，有乘法的交换律，称为“交换环”。

定义：设是一个非空***，满足

那么称为一个交换环。

例子

设是环是从环到环的映射，如果这一映射满足

则把这一映射称为同态。

如果是单射就是单同态；若是满射，就是满同态；如果是双射，就是同构。

如果均为幺环，在同态的基础上，满足，则称为幺同态。

设是环是它的一个非空子环，满足

则把称为的理想。

一个非零环至少有两个理想和自身，分别称为零理想和单位理想，二者合称平凡理想。

对于环的非零元，如果存在另一个非零元，使得，则称为左零因子。类似地可以定义右零因子。在交换环中零因子没有左右之分。

没有零因子的环，称为整环。

整环是交换的，满足消去律的环。

如果可逆有唯一的逆元与之对应。

记为环的所有可逆元的***，这个***是一个群。

如果一个环的非零元都可逆，即，那么称为除环。

交换的除环称为域。

在中学数学中，接触过的有理数***、实数***和复数***都是域。再例如***也是域，它是的非空子域。

前文提及用基数描述***中元素的个数。但是当***中元素有无穷多的时候，就有些无能为力。

定义：若***和之间能够建立一个双射，则称这两个***对等，记为。

***之间的对等关系是一种等价关系，满足自反律、传递律、对称律。

和自然数***对等的***称为可数无穷集，简称可数集。它需要存在一个和一一对应的双射。

不和自然数***对等的无穷极和，称为不可数无穷集，简称不可数集。

整数***是一个可数集，把整数如下排列：

可以写出这个序列的通项公式，从而构建了双射。

偶数***、完全平方数***等，都是可数集。

有理数***是一个可数集，把有理数如下排列：

可以写出这个序列的通项公式，从而构建了双射。

平面直角坐标系中，自然数点集是一个可数集，类似于有理数***的证法。

代数数***也是一个可数集。实数***是不可数***。

和自然数***对等的***是可数集。

类似地和实数集对等的***是连续统。