第07章半群与群.pptVIP

定理7.4.3给定群G，⊙，则有(?a)(?b)(?c)(a，b，c∈G∧((a⊙b=a⊙c∨b⊙a=c⊙a)→b=c))即群满足可约律。第29页，共83页，星期日，2025年，2月5日定理7.4.4给定群G，⊙，则(?a)(?b)(a，b∈G→((?!x)(x∈G∧a⊙x=b)∨(?!y)(y∈G∧y⊙a=b))或(?a)(?b)(a，b∈G→(?!x)(?!y)(x，y∈G∧(a⊙x=b∨y⊙a=b))即群中方程解是唯一的。第30页，共83页，星期日，2025年，2月5日定理7.4.5G，⊙是群?(?a)(?b)(a，b∈G→(a⊙b)-1=b-1⊙a-1)定义7.4.3给定群G，⊙，若⊙是可交换的，则称G，⊙是可交换群或G，⊙是Abel群。定理7.4.6给定群G，⊙，则G，⊙为Abel群?(?a)(?b)(a，b∈G→(a⊙b)2=a2⊙b2第31页，共83页，星期日，2025年，2月5日定义7.4.4给定群G，⊙，且a∈G，幺元e，则a的阶或周期为n:=(?k)(k∈I+∧{ak=e}=n)，并称a的阶是有限的；否则，a的阶是无穷的。第32页，共83页，星期日，2025年，2月5日定理7.4.7给定群G，⊙，且a∈G的阶n是有限的，则(?m)(m∈I+∧k=mn)?ak=e推论：若an=e且没有n的因子d(1＜d＜n)使ad=e，则n为a的阶。定理7.4.8给定群G，⊙及a∈G，则a与a-1具有相同的阶。第33页，共83页，星期日，2025年，2月5日7.5置换群和循环群本节里，将讨论群论中两种常见而又重要的群：置换群和循环群，特别在研究群的同构群时，置换群扮演着极重要的角色。在正式讨论置换群以前，需要先作些必要的准备。第34页，共83页，星期日，2025年，2月5日定义7.5.1令X是非空有穷集合，从X到X的双射，称为集合X中的置换，并称|X|为置换的阶。若X={x1，x2，…，xn}，则n阶置换表为第35页，共83页，星期日，2025年，2月5日并称为置换中的反置换，记为p-1。特别把置换称为X中的幺置换或恒等置换，记为pe。第36页，共83页，星期日，2025年，2月5日此外，用PX表示集合X中的所有置换的集合。为了说明n个元素的集合可以有多少不同的置换，特给出如下定理：定理7.5.1若X={x1，x2，…，xn}，则|PX|=n!第37页，共83页，星期日，2025年，2月5日定义7.5.2给定集合X且pi，pj∈PX，由X的元素先进行置换pi后继之作置换pj所得到的置换，表为pi

pj，称pi

pj是置换pi和pj的复合，

是复合置换运算。可以看出，若把置换看成一种特殊关系时，复合置换pi

pj就是复合关系piopj，常称之右复合；又若把置换看成函数时，那么复合置换又可表成如下的复合函数即所谓左复合：pi

pj=pjopi，其中o表示函数的复合于是，对于x∈X有：(pi

pj)(x)=(pjopi)(x)=pj(pi(x))第38页，共83页，星期日，2025年，2月5日由定义7.5.1可知，置换即是双射，亦即1-1函数，故PX中的元素满足下列四个性质：(1)(?p1)(?p2)(p1,p2?PX?p1

p2?PX?p2

p1?PX)(2)(?p1)(?p2)(?p3)(p1,p2,p3?PX?(p1

p2)

p3=p1

(p2

p3))第39页，共83页，星期日，2025年，2月5日(3)(?pe)(pe?PX?(?p)(p?PX?pe

p=p

pe=p))(4)(?p)(p?PX?(?p-1)(p-1?PX?p

p-1=p-1

p=pe)) (1)表明PX对于

是封闭的；(2)表明PX对于

是可结合的；(3)表明PX中有幺置换；(4)表明PX中每个置换都有反置换。因此，可知PX,

是一个群，并称它为对称群，习惯上记为S|X|,

。若Q?PX=S|X|，则称由Q和

构成的群Q,

为置换群。第40页，共83页，星期日，2025年，2月5日对称群S3,

独立于集合X中各个元素，但却依赖于集合X中的元素个数。这就是说，任何三个其它元素的集合都会生成“同样”的置换，这就是为什么将对称群PX,

写成S|X|,

，即S3,

的理由。此外，把集合X的基数称为对称群S3,