离散数学王元元习题解答-(12).doc

第十一章群、环、域

11.1半群

内容提要

11.1.1半群及独异点

定义11.1称代数结构S，?为半群〔semigroups〕，如果?运算满足结合律．当半群S，?含有关于?运算的么元，那么称它为独异点〔monoid〕，或含么半群．

定理11.1设S，?为一半群,那么

〔1〕S，?的任一子代数都是半群，称为S，?的子半群．

〔2〕假设独异点S,?，e的子代数含有么元e,那么它必为一独异点,称为S，?,e的子独异点．

定理11.2设S，?,S’，?’是半群,h为S到S’的同态,这时称h为半群同态．对半群同态有

〔1〕同态象h(S)，?’为一半群．

〔2〕当S，?为独异点时，那么h(S)，?’为一独异点.

定理11.3设S，?为一半群,那麽

〔1〕SS，○为一半群，这里SS为S上所有一元函数的集合，○为函数的合成运算．

〔2〕存在S到SS的半群同态．

11.1.2自由独异点

定义11.2称独异点S,?,e为自由独异点〔freemonoid〕,如果有A?S使得

〔1〕e?A．

〔2〕对任意u?S，x?A,u?x?e.自由独异点〔freemonoid〕,如果有A?S使得

〔3〕对任意u,v?S，x,y?A,假设u?x=v?y,那么u=v,x=y．

〔4〕S由A生成,即S中元素或者为e,或者为A的成员，或者为A的成员的“积”:

ai1?ai2?…?aik(ai1,ai2,…,aik?A)

集合A称为S的生成集．顺便指出，当半群S，?有生成集A＝｛a｝时，称S，?为循环半群〔cyclicsemigroups〕。N，+，0＞是循环半群。

定理11.4设S，?,e为一自由独异点，A为它的生成集，g:S?A?M→M为一函数，m为M中元素，那么以下等式组定义了一个S到M的函数f；

其中w?S,x?A。

定理11.5设S，?，e1和T，?，e2为两个自由独异点，A，B分别为它们的生成集，且

?A?=?B?，那么S，?，e1和T，?，e2同构。

?11.1.3半群及高斯半群

定义11.3设S，?为一半群，那么

〔l〕当?满足交换律时，称S，?为交换半群〔commutativesemigroups〕。

〔2〕当S中元素均可约时，称S为可约半群〔cancelablesemigroups〕．

〔3〕称S中元素a是b的因子〔factor〕，如果有S中元素c，d，使b=a?c，b＝d?a．

〔4〕在可约交换独异点S,?,e中，假设a是b的因子，同时b又是a的因子，那么称a,b相伴〔correlate〕．

定理11.6设S,?,e为可约交换独异点,那么S中相伴关系～为S,?,e上同余关系．

定理11.7设S,?,e为可约交换独异点。

〔1〕S中元素a，b相伴，当且仅当有可逆元c〔c有逆元〕,使a=b?c．

〔2〕S中所有可逆元构成一个相伴类〔相伴关系等价类〕．

〔3〕S的相伴类具有相同的基数．

定理11.8可约交换独异点S，?,e的商半群S/～，?,[e]~〔～为相伴关系〕为一可约交换独异点，且?S/～?=?S?/?[e]~?。

定义11.4设S,?,e为可约交换独异点．假设a是S中不可逆元素，且除了a及所有可逆元为其因子外没有别的因子，那么称a为既约元，否那么称a为可约元．

定义11.5可约交换独异点S,?,e称为高斯半群(Gausssemigroup)，如果S中不可逆元素均可分解为假设干个〔有限个〕既约元素的积，且这种分解在相伴意义下是唯一的，即假设a有两个分解

a=p1?p2?…?pr=q1?q2?…?qs

那么r=s,且〔适当变换运算次序〕总可使pi与qi相伴。

习题解答

练习11.1

证明：含么半群的可逆元素集合构成一子半群，即inv〔S〕,?为半群S，?的子半群．

证.对任意x，y?inv〔S〕,那么存在x-1,y-1?S使x*x-1=x-1*x=e,y*y-1=y-1*y=e。又半群中*运算满足结合律，因而

(x*y)*(y-1*x-1)=x*(y*y-1)*x-1=x*e*x-1=x*x1=e

同理(y-1*x-1)*(x*y)=y-1*(x-1*x)*y=e，于是(x*y)-1=y-1*x-1?S，即inv〔S〕对*封闭,从而inv〔S〕,*为S,*的子代数。由定理11.1，inv〔S〕,*为S,*的子半群。

设S，?为一半群，z?S为左〔右〕零元．证明：对任一x?S,x?z(z?x)亦为左〔右〕零元。

证.因为z为S的左〔右〕零元，于是，对任意a?S,z*a=z〔a*z