第十七群group.pptVIP

? Peking University 3-2 群是只具有一个运算的抽象代数结构，是数学中的重要概念之一。研究群的性质的理论称为群论，是抽象代数的重要组成。 群的概念最先被完整的提出，是十九世纪初Galois在解决代数学中关于高于五次的方程是否有代数解的研究中提出来的。 时至今日，群的概念已经普遍地被认为是数学及其应用中最基本的概念之一。它不仅渗透到数学的许多领域中，并在结晶学、理论物理、量子化学、自动机理论等方面都有重要的应用。 G,o是含有一个二元运算的代数系统，如果满足以下条件： 1)o是可结合的； 2)存在e是关于o运算的单位元； 3)任何x,x关于o运算的逆元x-1?G 则称G是一个群 anam=an+m 证：设n0,m?0,令n=-n1,n10 anam= a-n1am=a-1 a-1… a-1 aa…a = am-n1 m ?n1 (a-1)n1-m mn1 =am+n 消去律 ab= ac ?b=c, ba = ca ?b=c 说明：消去律也可以定义群 设G是有限半群，且不含零元.若G中成立消去律，则G是群. 证：设G={a1,a2,…,an}，任取ai?G， aiG ={aiaj |j=1,2,…,n} 由封闭性, aiG?G, 假设|aiG|n, 则存在j,k使得aiaj=aiak, 根据消去律，aj=a