第9章半群和群9.3-9.4..docVIP

第9章 半群和群semigroup and group §9.3 乘积半群和商半群 Products and Quotiens Semigroup 定理1. 设（S，*）和（T，*’）是两个半群，则（S×T，*”）也是半群。 (s1, t1)*” (s2, t2)=( s1*s2, t1*’t2 ). 设（S，*）和（T，*’）是两个独异点，则（S×T，*”）也是独异点，恒等元是（e，e’）。 同余关系 congruence relation 设（S，*）是半群，R是S上等价关系。R称为S上同余关系： aRa’, bRb’?(a*b)R(a’*b’). Z上剩余关系是(Z,＋)上同余关系： a?b（mod 2）? 2 | a－b。 证明. a?b（mod 2）是等价关系。 a?b（mod 2）, 2 | a-b, a-b=2k. c?d（mod 2）, 2 | c-d, c-d=2t. (a+c)－(b+d)=(a-b)+(c-d)=2(k+t) a+c ? b+d（mod 2） a?b（mod 2）是(Z,＋)上同余关系。 Z上剩余关系是(Z,×)上同余关系. 例2．令A＝{0,1},自由半群（A*,?）上关系R： αRβ?α，β含有同样多个1。 则R是（A*,?）上同余关系。 例3．设f(x)=x2-x-2,