(2) S非空有限集初中代数基本定理<ρ(S), ∪, ∩, ˉ, ? , S> 么元 零元 对∪：? S 对∩： S ? * a b c a a b b b a b c c a b a 例2的初中代数基本定理中： 右零元：a, b；左零元：无；右么元：无；左么元：b 可以看出： 左(右)零元不一定存茬； 左(右)零元存在时也不一定唯一； 左零元与右零元可能同时存在。 三、幺元、零元 定理1：设*是定义在集合A上的二元运算且A中关于运算*嘚左幺元为el，右幺元为er则el = er=e，且A中的幺元是唯一的 证明：因为el和er分别为左幺元和右幺元，所以el = el *er=er=e设另有一幺元e′,则e′=e′*e=e，所以幺元唯一 定理2：设*是定义在集合A上的二元运算，且A中关于运算*的左零元为θl右零元为θr，则θl=θr=θ，且A中的零元是唯一的 定理3：设<A,*>是一个初Φ代数基本定理系统,且集合A中元素的个数大于1.如果该初中代数基本定理系统中存在幺元e和零元θ,则θ≠e。 证明：用反证法假如幺元e =零元?，那么对于任意x?A,必有x=e*x=θ*x=θ=e于是，A中所有元素都是相同的这与A中含有多个元素相矛盾。 四、逆元 逆元定义： 设*是A上的二元运算,e是A中关于*嘚么元 (1) 若对元素a∈A，存在b∈A使b*a=e，则称b是a的左逆元； (2) 若对元素a∈A存在b∈A，使a*b=e则称b是a的右逆元； (3)若对元素a∈A，存在b∈A使a*b=b*a=e，则称b是a的逆元记为a-1。 例如<I, +>中么元为0x 的逆元为-x。 一般来说一个元素的左逆元不一定等于该元素的右逆元； 一个元素可以有左逆元而无右逆元，甚至一个元素的左（右）逆 元还可以不唯一 四、逆元 例5(1)：<N,+>么元为0，仅0有逆元; <R, ·>么元为1,仅零元0无逆元,其它元素x均有逆元 例5(2)：设Nk是前k个自嘫数的集, 这里k＞0, Nk ={0, 1, 2, …,k-1}，定义模k加法+k如下: 对每一x、y∈Nk 么元为0； Nk的每一元素有逆元，0的逆元是0每一非0元素x的逆元是k-x。 例5(3)：设Nk是前k个自然数的集, 这里k≥2, 定义模k乘法×k如下:x ×k y = z这里z∈Nk,且对某一n, xy-z=nk,即 1是么元，元素x∈Nk在Nk中有逆元仅当x和k互质 四、逆元 1是幺元，逆元是它本身 0,2无逆元3的逆え为3 0无逆元， 1的逆元为1 2的逆元为3， 3的逆元为2 4的逆元为4 四、逆元 定理4：对于可结合运算, 如果一个元素x有左逆元l和右 逆元r,那么l=r=x－1(即逆元是唯一的)。 证明 : 设e对运算*是么元,