代数系统
前面略
概念
由非空集合和集合上的若干运算,可以构成一个代数系统,如 。
若 是有限集合,则称为 有限代数系统,对于两个代数系统,若其运算所对应的元数相同,则称其为 同类型代数系统。
同态和同构
设两个代数系统 都有一个不同的二元运算,若存在映射 ,使得任意的 ,都有 ,则称 是 同态映射,简称这两个代数系统同态,记作
,并称 为 的 同态像。
若 为满射,则是 满同态,若 是单射,则是 单一同态,若 是双射,则是 同构,若 是自身到自身的映射,则称为 自同态(同构)。
同构关系是等价关系。
同态核,在 集合中所有映射到 中幺元的集合,其中一定包含 原本的幺元。
半群
非空集合上的 二元运算,满足 封闭性、可结合性,就是半群;如果其中存在幺元,称之为 独异点,称半群为 含幺半群。
这里的独异点指的不是幺元,而是半群。
除法减法都不满足结合律,因此不是半群。
若运算可交换,则称为 可交换半群,其中的独异点为 可交换独异点,如实数集上的加法、自然数上的乘法等。
集合中所有的幂等元构成的集合一定是 可交换独异点。
子半群,若半群的非空子集也是半群,就是子半群,其中的幺元被称 为 子独异点;如自然数集上的加法就是整数集上加法的子半群。
证明子半群只需要证明 封闭性 即可,结合性一定满足。
群
在独异点的基础上,还需要满足 每个元素的都可逆,便是群,集合有限便是 有限群,否则是 无限群;只含有幺元的群是 平凡群;若运算可交换,则称为 交换群或阿贝尔群。
实数上的乘法不是群,因此 乘任何数都是 ,不可逆;集合上的交集也不是群,幺元是全集,但是除了全集都不可逆。
性质:
- 集合的基数大于等于 ,则无零元;反例就是乘法,一旦有零元就会导致不可逆;
- 每个元素均可消去;因为其可结合加上每个元素都可逆;
- 除幺元,无其他幂等元,,消去 ;
- 群方程有唯一解,换句话说集合中的任意两个元素运算一定对应另一个唯一的元素(不考虑运算元素的交换);
- 对于有限群,集合中的每个元素在运算表中的 每一行每一列都必须出现且仅出现一次,可由唯一解推出。
- ,左右同乘,使用结合律证明。
群的阶:有限群的阶就是集合元素个数,无限群是集合的基数。
子群
集合的 非空有限 子集,运算在其上满足封闭性,则是 子群, 和 都是 的子群,称为 平凡子群。
若集合的非空子集 ,对于任意的 ,都有 ,则 是子群。
陪集:设 是 的子群,,定义集合:
- 则称 为 确定的 在 中的左、右陪集, 一定属于且仅属于一个陪集。
任意的两个左陪集,要么相等,要么不相交。
若 是有限群,则其子群左陪集中无重复元素。
拉格朗日定理
是有限群,且 ,其子群 ,则 ,一定能被整除。
循环群
存在一个元素 ,对于群中的任意一个元素 ,都存在一个整数 ,使得 ,则称群是 循环群, 为 生成元。
若 的阶是 (即 ),则群又被称为 n 阶循环群,循环周期 为 ;对于有限循环群,.
若 是无限阶元,则为 无限循环群。
循环群生成元的个数
- 无限循环群只有两个生成元
- 阶循环群有 个生成元, 是欧拉函数,表示小于等于 的且与 互素的正整数的个数;如 ,满足条件的数有 ,则 都是生成元。
循环群的子群
- 若 是循环群,则其子群仍是循环群;
- 若是无限循环群,则除了 外的子群都是无限循环子群;因为其中一定存在一个最小阶的生成元,而幺元不是生成元;
- 对 阶循环群的每个正因子 ,都恰好含有一个 阶子群。
环和域
给定代数系统 ,其中都是二元运算,若满足以下条件:
- 是交换群;
- 是半群;
- 对 可分配,即 及
可以直接看作加乘来方便理解
则称其为 环
定理:
- 的幺元恰好是 的零元,也是 环的零元;
- ,这里的 表示 的拟元;
- ;
- ;
若 ,但是 都不是零元,则称其为零因子;但对于任意的 ,,其中是无零因子的,称之为 无零因子环,其充分必要条件是 满足可消去性。
特殊环,若 满足交换律,则称之为 交换环,若 存在幺元,则称 为 含幺环;若其是交换环、含幺环和无零因子环,称之为 整环。
在整环的基础上,若 是交换群,则称其是 域;这里去除零元是因为其没有逆元,不成群。
整数的加法和乘法就是整环,但不是域;有限整环必定是域。
格 与布尔代数
格中的任意两个元素都有 上确界 和 下确界。所有全序关系都是格,称之为 平凡格。