标签:因子 生成 sem 关系 乘法 同余 无限 条件 存在
左幺元
右幺元
6-2.1幺元的唯一性定理
左零元
右零元
6-2.2零元的唯一性定理
6-2.3零元和幺元不相同定理
左逆元
右逆元
6-2.4逆元的唯一性定理
6-2.5左右逆元相同定理
6-2.6可消去性的判定定理
设<X, * >,<Y, 。>是两个代数系统,* 和 。都是二元运算,如果存在映射f:X->Y,使得对任何x1,x2∈X,有
f(x1x2)=f(x1) 。f(x2)
--------此式叫同态(同构)关系式
则称 f是从<X,>到<Y, 。>的同态映射,简称这两个代数系统同态。记作X∽Y。
同态关系式
同态像
满同态
单一同态
同构
自同态(自同构)
两个代数系统同构的必要条件
≌有自反性
≌有对称性
≌有传递性
定义
交换半群
子半群
<S,>是个半群,B?S,如果在B上封闭, 则称<B,>是<S,>的子半群。 例<N,+>是<I,+>的子半群。
定理6-5.1
独异点定义
交换独异点
子独异点
<M,>是个独异点,B?M, 如果在B上封闭,
且幺元e∈B,则称<B,>是<M,>的子独异点。
定理6-5.2
定理6-5.3
定理6-6.1 群满足可消去性
定理6-6.2 群方程可解性
定理6-6.3 群中无零元
定理6-6.4 群中除幺元外,无其它幂等元
定理6-6.5
有限群的运算表的特征
定理6-6.6
群的阶
群中元素的阶
定义
定理6-6.7
定理6-6.8
定理6-6.9
定义
定理6-7.1
定义
平凡子群与真子群
证明子群的方法
方法1
方法2.定理6-8.1
方法3.定理6-8.2
方法4. 定理6-8.3
循环群例子
定义
循环周期
设<G,*>是个以g为生成元的循环群,如果
存在最小正整数m,使得g^m=e (即m是g的阶),则称该循环
群的循环周期是m 。如果不存在最小正整数m, 使得g^m=e
(即g的阶是无限的),则称该循环群的循环周期是无限的。
定理6-7.2
定理6-6.2
定理6-7.3
置换
置换的复合运算
轮换与对换
两个轮换不相交
定义
定理
置换群
定义
对称群
置换群与有限群的关系
定理6-7.4
定理6-7.5(Cayley定理)
定义
陪集性质
定理6-8.4
定理6-8.5
定理6-8.6
定理6-8.7
定理6-8.8--拉格朗日定理(Lagrange定理)
推论1
推论2
定义
判定定理
定义
判断
环的运算法则
可交换环和含幺环
零因子
含零因子环
无零因子环及其判定
定理6-9.1
整环
定义
定义
定理6-9.2
定理6-9.3
定理6-9.4
标签:因子 生成 sem 关系 乘法 同余 无限 条件 存在
原文地址:https://www.cnblogs.com/Adalight/p/14805025.html