离散第3讲_半群群的定义和性质.pptVIP

补充材料 模n剩余类 * * 幂等元 定义：代数系统G,*中，如果存在a∈G，有a*a=a，则称a为幂等元。 * * 有限半群必存在幂等元 性质：设S,*是一个半群，如果S是一个有限集，则必有a∈S，使得a*a=a. 思路：(构造法)?b∈S，由S对*封闭及S有限，则对序列 b，b2，b3，…， bn， … 必定存在 ji，s.t. bi=bj，令p=j-i≥1，有bj=bp*bi，即bi=bp*bi. * * 泵原理 b0 b1 b2 b3 b4 b5=b19=b33=… b6=b20=b34=… b7=b21=b35=… b8=b22=b36 =… b15 b9 b10 b11 b14 b16 b17 * * 幂等元构造 bi=bp*bi. bi =bkp*bi bq=bkp*bq,其中 q =kp *b*b*…*b *b*b*…*b bi=bp*bi=bp*（bp*bi） =……=bp*……*bp*（bp*bi） bi=bkp*bi,可找到k使得kp≥i 设a=bkp，则a*a=a * * 证明 性质：设S,*是一个半群，如果S是一个有限集，则必有a∈S，使得a*a=a. 证明：(构造法) ?b∈S，由S对*封闭及S有限，则对序列 b，b2，b3，…， bn， … 必定存在 ji，s.t. bi=bj，令p=j-i≥1，有bj=bp*bi，即bi=bp*bi，且可知对任给的q≥i有bq=bp*bq。 因为p≥1，所以总可找到k≥1，s.t.　kp≥i。因此对于S中的元素bkp，有bkp＝bp*bkp＝bp*(bp*bkp)＝...= bkp*bkp. 设a=bkp，则a∈S，且a*a=a * * 群中元素的性质 定理10.3 G为群，a∈G, 且|a|=r, 则 (1) ak =e ? r | k (2) |a|=|a-1| (3) 若|G| = n, 则r≤n. 证(1) 充分性. ak = arl =(ar)l=el = e 必要性. k=rl+i, l∈Z, i∈{0,1,…,r-1} ? e = ak = arl+i = ai ? i=0 ? r | k (2) (a-1)r=e ? |a-1| 存在, 令|a-1|=t, 则t | r. 同理r | t. (3) 假设rn, 令G’={e,a,a2, …, ar-1}, 则G’中元素两两不 同，否则与|a|=r矛盾. 从而|G’|n，与G’?G矛盾. * * 群中幂等元唯一 例：在群G,*中，除单位元e外，不可能有任何别的幂等元(即a*a=a) 证：e*e=e，∴e为幂等元现设a∈G，a≠e且a*a=a 则有a=e*a=(a-1*a)*a=a-1*(a*a)=a-1*a=e * * 元素的阶的性质（1） 例： G为群，a∈G， |a|=r, 证明|at| = r/(t,r) 证： 令|at| = s, 设(t, r) = d , t =dp, r = dq , r/(t,r) = r/d = q 只要证s = q (at)q = (at)r/d = (ar)t/d= ep = e ? s | q (at)s= e ? ats=e ? r | ts ? q | ps ? q | s （p, q互素） * * 元素的阶的性质（2） 例10.7: G为有限群，则G中阶大于2的元素有偶数个。 证： a2 = e? a2 = a-1a ? a = a-1，所以阶大于2的元素必有a ? a-1，且成对出现。 * * 元素乘积的阶 例: G为群，a,b∈G且可交换， |a|=m, |b|=n，若(m,n)=1, 则|ab| = mn. 证：设|ab| = r 1) (ab)mn=e ?r|mn 2) e = ((ab)r)m =(ab)mr=(am)r(bmr)=bmr ?n|mr?n|r, 同理m|r, ?mn|r * * 元素乘积的阶（2） 例10.6: G为群，a,b∈G是有限阶元，则： (1)|b-1ab| = |a| (2) |ab| = |ba| 证： (1)|设|a| = r, |b-1ab|=t ，则 1) (b-1ab)r= (b-1ab) (b-1ab) …… (b-1ab) = b-1arb= b-1eb=e,所以t|r,同理r|t 2） ab=b-1 (bab ) * * 模n剩余类 设Z是整数集合，n是任意正整数，Zn是由模n的同余（剩余）类组成的集合，在Zn上定义两个二元运算+m 和?m: ?[i],[j]?Zn [i]+m[j]=[(i+j) m