第十七章群（group）.PDFVIP

第十七章 群（group） 主要内容 群的定义与性质 子群 循环群 变换群和置换群 群的分解 正规子群和商群 群的同态与同构 群的直积 © Peking University 1  群是只具有一个运算的抽象代数结构，是数学中的 重要概念之一。研究群的性质的理论称为群论，是 抽象代数的重要组成。  群的概念最先被完整的提出，是十九世纪初Galois 在解决代数学中关于高于五次的方程是否有代数解 的研究中提出来的。从Galois时代，群出现在数学 中的很多领域，也是描述对称概念的一种方式。  时至今日，群的概念已经普遍地被认为是数学及其 应用中最基本的概念之一。它不仅渗透到数学的许 多领域中，并在结晶学、理论物理、量子化学、自 动机理论等方面都有重要的应用。 © Peking University 2 群的定义与性质 一、群的定义 1．定义与实例 2．等价定义 3．相关术语 二、群的性质 1．幂运算规则 2．群方程有唯一解 3．消去律 4．运算表的置换性质 5．元素的阶的性质 三、习题分析 © Peking University 3 群的定义  G,o是含有一个二元运算的代数系统， 如果满足以下条件： 1)o是可结合的； 2)存在e是关于o运算的单位元； 3)任何x,x关于o运算的逆元x-1G 则称G是一个群 © Peking University 4 群的定义  可以将群看成代数系统 G, o,-1, e  实例：Z,+, Z ,, P(B), , Klein 四元群 n e a b c e e a b c a a e c b b b c e a c c b a e © Peking University 5 群的定义  等价定义：G,o, o 可结合，若存在右单位元e，且每个 元素a 相对于e 存在右逆元a’，则G 是群。 证明：证e’为左单位元。aG, ee = e (e 为右单位元)  e(aa’) = (aa’)  (ea)a’ = aa’  ea = a (右乘a’的右逆元) 证a’为a 的左逆元，即a = (a’)’ = a’’ a’’ = ea’’ = (aa’)a’’ = a(a’a’’) = ae a © Peking University 6 群 Group 半群: 封闭 独异点: 结合