5-4群与子群.pptVIP

5-4　群与子群 定义5-4.1设G,*是一个代数系统，其中G是非空集合，*是G上一个二元运算，如果 （1） 运算*是封闭的。（2） 运算*是可结合的。（3） 存在幺元e。（4） 对于每一个元素x∈G,存在着它的逆元x-1。 则称G,*是一个群。 例题1： 设R={0°，60°，120°，180°，240°，300°}表示在平面上几何图形绕形心顺时针旋转角度的六种可能情况，设★是R上的二元运算，对于R中任意两个元素a和b,a★b表示平面图形连续旋转a和b得到的总旋转角度。并规定旋转360°等于原来的状态，就看作没有经过旋转。验证R,★是一个群。 解：（见书P191） 定义5-4.2[有限群][无限群] 设G,*是一个群。如果G是有限集，那么称G,*为有限群，G中元素的个数通常称为该有限群的阶数，记为|G|；如果G是无限集，则称G,*为无限群。 例题2：试验证代数系统I,+是一个群，这里I是所有整数的集合，+是普通加法运算。 解：明显地，二元运算+在I上是封闭的且是可结合的。幺元是0对于任一a∈A,它的逆元是-a。所以I,+是一个群，且是一个无限群。 至此，我们可以概括地说：广群仅仅是一个具有封闭二元运算的非空集合；半群是一个具有结合运算的广群；独异点是具有幺元的半群；群是每个元素都有逆元的独异点。即有： {群}?{独异点} ?{半群} ?{广群} 由定理5-2.4可知，群中任何一个元素的逆元必定是唯一的由群中逆元的唯一性，我们可以有以下几个定理。 定理5-4.1 群中不可能有零元。 证明:当群的阶为1 时(|G|=1) ，它的唯一元素视作幺元。 设|G|1且群G,*有零元θ。那么群中任何元素x∈G,都有x*θ=θ*x=θ≠e,所以，零元θ就不存在逆元，这与G,*是群相矛盾。 定理5-4.2设G,* 是一个群，对于a,b∈G,必存在唯一的x∈G,使得a*x=b。 证明：设a的逆元是a-1，令x=a-1*b　　　则　a*x=a*(a-1*b)　　　　　=(a*a-1)*b　　　　　=e*b　　　　　=b 　　　若另有一解x1,满足a*x1=b,则　　　　　 a-1*(a*x1)= a-1*b　　　即 x1= a-1*b 定理5-4.3设G,*是一个群，对于任意的a,b,c∈G,如果有a*b=a*c或者b*a=c*a,则必有b=c(消去律，可约性)。 证明　设a*b=a*c,且a的逆元是a-1,则有　　　 a-1*(a*b)= a-1*(a*c)　　　(a-1*a)*b=(a-1*a)*c　　　e*b=e*c　　　b=c 　　　当b*a=c*a时，可同样证得b=c。 由定理5-3.3可知：群的运算表中没有两行（或两列）是相同的。为了进一步考察群的运算表所具有的性质，现在引进置换的概念。 定义5-4.3 设S是一个非空集合，从集合S到S的一个双射称为S的一个置换。 例如，对于集合S={a, b, c, d}，将a映射到b, b映射到d，c映射到a，d映射到c，是一个从S到S上的一个一对一映射，这个置换可以表示为 定理5-4.4群G,*的运算表中的每一行或每一列都是G的元素的一个置换。 证明：首先，证明运算表中的任一行或任一列所含G中的一个元素不可能多于一次。用反证法，如果对应于元素a∈G的那一行中有两个元素都是c,即有b1，b2 ∈G a*b1=a*b2=c 且b1≠b2 由可约性可得b1=b2,这与b1≠b2矛盾。 其次，要证明G中的每一个元素都在运算表的每一行和每一列中出现。 考察对应于元素a∈G的那一行，设b是G中的任一元素，由于b=a*(a-1*b),所以b必定出现在对应于a的那一行中。 再由运算表中没有两行（或两列）相同的事实，便可得出：G,*的运算表中每一行都是G的元素的一个置换，且每一行都是不相同的。同样的结论对于列也是成立的。 定义5-4.4 代数系统G,*中，如果存在a∈G,有a*a=a,则称a为等幂元。 定理5-4.5 群G,*中，除幺元e外，不可能有任何别的等幂元。 证明： 因为e*e=e,所以e是等幂元。　　 现设　a∈A,a≠e且a*a=a　　 则有　a=e*a=(a-1*a)*a= a-1*(a*a)　　　　　　　　 = a-1*a=e　　 与假设a≠e相矛盾。 定义5-4.5[子群] 设G,*是一个群，S是G的非空子集，如果S,*也构成群，则称S,*是G,*的一个子群。 定理5-4.6设G,*是一个群，S,*是G,*的一个子群，那么，G,*中的幺元e必定也是S,*中的幺元。 证明：设S,*中的幺元为e1, 对于任一x∈S?G, 必有e1*x=x=e*x, 故e1=e。 定义5-4.6