同态
同态
同态保运算(保持运算). 满足什么律映射之后就满足什么律.
同态 + 满射 = 满同态.
满同态 + 单射 = 同态 + 双射 = 同构.
等价关系
关系.
等价关系性质:
- 反射
- 对称
- 传递
群
半群:
- 封闭
- 结合
群第一定义:
- 封闭
- 结合
有解.
群第二定义:
- 封闭
- 结合
- 单位元
- 逆元
群的阶,元素的阶
m 不存在可以称为阶无限.
变换群,置换群
n 阶对成群 Sn 有
子群
经典
循环群,生成元,陪集
在循环群以外,生成元可以是多个数.
循环群的生成元:
如果 a 的阶是无限,则生成元是
指数:一个群的子群的有陪集的个数叫作 H 在 G 里的指数.
拉格朗日定理:
群同态 (二周目)
环和域
环 = 集合 + 在集合上的群运算(加法群) + 在集合上的半群运算(乘法半群) + 满分配律.
交换环:
零元:加法群的单位元在环上叫单位元. ( 记为 0)
不一定存在的东西:
- 单位元:
. 环不一定存在单位元. (记为 1) - 零因子
,则 a 称为做零因子,b称为右零因子
整环 = 交换环 + 乘法单位元 + 没有零因子. 除环 = 环 + 至少一个非零元 + 单位元 + 乘法逆元
域 = 乘法交换 + 除环 = 非零元 + 加法交换群 + 乘法交换群 + 分配律.
子环,环同态
子环 S 要满足下面两个:
子除环:
理想,又名理想子环.
平凡理想:自身组成叫单位理想,零元组成的叫零理想
除环只有两个理想,而且都是平凡理想.