定义1.5
设(S,○,+)是具有两个代数运算“○”和“+”的代数系,如果对于任意a,b,c∈S,恒有
a○(b+c)=a○b+a○c
则称“○”对“+”满足左分配率
(b+C)○a=b○a+c○a
则称“○”对“+”满足右分配率
定理1.3
设(S,○,+)是具有两个代数运算“○”和“+”的代数系,如果+满足结合律,“○”对“+”满足左(右)分配率如果对于任意a,b,c∈S,恒有
a○(a1+a2+…+an)=(a○a1)+(a○a2)+…+(a○an)
(a1+a2+…+an)○a=(a1○a)+(a2○a)+…+(an○a)
定义1.6 单位元–幺元
设(S,○)是一个代数系,如果存在一个元素al∈S,使得任意a∈S都有
al○a=a
则称a1是乘法○的左单位元素,即左幺元
a○ar=a
则称ar是乘法○的右单位元素,即右幺元
e○a=a○e=a
则称e是乘法○的单位元素,即幺元
定理1.4
(S,○)是一个代数系,如果二元代数运算“○”既有左单位元素al,又有右单位元素ar,则al=ar,从而有单位元素
定义1.7
设(S,○)是一个代数系,如果存在一个元素z∈S,使得任意a∈S都有
z○a=a○z=z
则称z为乘法“○”的零元素
同样可以定义左零元素和右零元素
一些记号
设(S,○)是一个具有二元代数运算○的代数系,定义
A ○ B ={a○b|a∈A,b∈B}
把 A ○ B简记为AB
定义11.3.1
设(S,○)是一个具有二元代数运算○的代数系,如果设(S,○)是一个具有二元代数运算○的代数系满足结合律,则称S对于乘法○构成一个半群,记为(S,○)
交换半群或者可换半群,有限半群,无限半群。集合S上的元素可以是任何类型
例子:
小集合作为集合的元素
零S={{1,2},{3,4}},定义S上的乘法○如下
○ | {1,2} | {3,4} |
---|---|---|
{1,2} | {1,2} | {3,4} |
{3,4} | {3,4} | {1,2} |
(S,○)是一个半群
半群的例子–模n剩余类
设Zn={[0],[1],…,[n-1]}是整数集合Z上在模n的同余关系之下的等价类之集合。其中
[i]={m|m∈Z,m≡i(mod n)} [i]=[n+i]?
在Zn上定义加法“+”如下任意[i],[j]∈Zn
[i]+[j]=[i+j]
证明加法“+”是Zn上的一个二元代数运算。(Zn,+)是一个半群
定义11.3.2
有单位元素e的半群(S,○)称为独异点或者称为幺半群,记为(S,○,e)如果S是一个有限集合,则称(S,○,e)为有限幺半群,S的基数称为幺半群(S,○,e)的阶
定理11.3.2
有限半群(S,○)是一个幺半群当且仅当存在s,t∈S使得
sS=S,St=S