离散数学-代数系统.pptVIP

三、幺元、零元 零元定义： 设*是S上的二元运算, (1)若存在θl∈S，对所有x∈S，都有θl * x=θl，则称θl是为关于运算*的左零元(Left Zero Element)。 (2)若存在θr∈S，对所有x∈S，都有x*θr=θr，则称θr是关于运算*的右零元(Right Zero Element)。 (3)若存在θ∈S，它既是左零元也是右零元，则称θ是关于运算*的零元，即对任意x∈S，都有θ*x=x*θ=θ，则θ是关于运算*的零元(Zero Element)。 * a b c a a b b b a b c c a b a 在例2中代数A={a,b,c},*的右零元为a,b；没有左零元。 三、幺元、零元 例4：(1) I, × 么元：1, 零元：0； (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 可以看出： 左(右)零元不一定存在；