目录
若 ∀ x∈A，y∈A，都有 x*y∈A ，则称二元运算*在A上是封闭的
若 ∀ x∈A，y∈A，都有 x*y = y*x ，则称二元运算*是可交换的
若 ∀ x∈A，y∈A，都有 (x*y)*z=x*(y*z) ，则称二元运算*是可结合的
若 ∀ x∈A，y∈A，z∈A，都有 x*(y▲z)=(x*y)▲(x*z) 且 (y▲z)*x=(y*x)▲(z*x) ，则称运算*对于运算▲是可分配的
若 ∀ x∈A，y∈A，都有 x*(x▲y)=x 且 x▲(x*y)=x，则称运算*和运算▲满足吸收律
若 ∀ x∈A，都有 x*x=x，则称运算*是等幂的
若 ∀ x∈A，∃e∈A，都有 e*x=x ，则称e为A中关于运算*的左幺元；
若 ∀ x∈A，∃e∈A，都有 x*e=x ，则称e为A中关于运算*的右幺元；
若A中一个元素e，它既是左幺元又是右幺元，则称e为A中关于运算*的幺元。
显然，∀ x∈A，有 e*x=x*e=x
若 ∀ x∈A，∃θ∈A，都有 θ*x=x ，则称θ为A中关于运算*的左零元；
若 ∀ x∈A，∃θ∈A，都有 x*θ=x ，则称θ为A中关于运算*的右零元；
若A中一个元素θ，它既是左零元又是右零元，则称θ为A中关于运算*的零元。
显然，∀ x∈A，有 θ*x=x*θ=θ
注：当A中元素个数大于1，并且存在幺元e和零元θ时，e≠θ
代数系统
若 ∃a∈A，∃b∈A，使得 b*a=e，那么称b为a的左逆元；
若 ∃a∈A，∃b∈A，使得 a*b=e，那么称b为a的右逆元；
若A中一个元素b，它既是a的左逆元又是右逆元，则称b是a的一个逆元。
显然，若b是a的逆元，那么a也是b的逆元
注：左逆元与右逆元不一定相等，一个元素可以只有左逆元而没有右逆元，一个元素不一定只有一个左逆元或右逆元
注：当*是可结合的运算，A中每个元素都有左逆元，则左逆元必是右逆元且每个元素逆元唯一
①封闭性
代数系统
若运算*是封闭的，则称
①封闭性
②可结合
代数系统
若运算*是封闭的，可结合的，则称
注：S是一个半群，如果S是一个有限集，则必有a∈S，使得a*a=a
①半群D
②B⊆D
③B是封闭的
代数系统
若B⊆S且B是封闭的，那么称B是S的子半群
①半群
②幺元
含有幺元的半群称为独异点
注：设
代数系统
①封闭性
②可结合
③存在幺元
④∀x∈G，都存在逆元
即独异点加逆元=群
注：在群中，除幺元e外，不可能有任何别的等幂元
群G，S是G的非空子集，S也构成群，则S是G的子群
注：S为G的子群，则G中的幺元e必定是S中的幺元
注：若S={e}或S=G，则称S是G的平凡子群
①群
②可交换
若群
注：G为阿贝尔群的充分必要条件是 ∀a,b∈G，有(a*b)*(a*b)=(a*a)*(b*b)
①∃a∈群G，所有元素都由a的幂组成
注：a称为循环群的生成元
注：任何一个循环群必定是阿贝尔群
注：一个循环群的生成元可以不是唯一的
若G为有限群，|G|=n，|H|=m，则 m|n （n整除m）
代数系统
①
②
③运算 * 对于运算★是可分配的
代数系统
①
②
③运算●对于运算＋是可分配的
注：在整环中的无零因子条件等价于乘法消去律，即对于c不等于θ和c●a=c●b，必有a=b
代数系统
①
②
③运算●对于运算+是可分配的
注：有限整环必定是域
注：域一定是整环
概念
测试