半群与群子群判定.pptVIP

子群判定子群就是群的子代数。子群也是群。子群判定定理定理一：设G为群，T是G的非空子集。T是G的子群当且仅当下面的条件成立：?a,b?T，有ab?T，且?a?T有a-1?T。子群判定定理定理三：设G为群，T是G的非空子集。如果T是有穷集，则T是G的子群当且仅当?a,b?T有ab?T。子群判定 T?G ?(?a,b?T,ab?T)?(?a?T,a-1?T) ??a,b?T,ab-1?T ??a,b?T,ab?T(T是有限集)子群判定设T，K分别是群G的子群，则T?K也是G的子群。子群判定例设G为群，任取a?G，令T={ak|k?Z}即a的所有整数次幂的集合。则T是G的子群，称为由元素a生成的子群，记作a。证明： a?a ?am,al?a，有am(al)-1?a 所以，a?G子群判定如，1.Z,+，求i，i=0,1,2?2.P(B),?,?，求X?3.Z6,?,0，求44.Klein四元群G={e,a,b,c}，求 e= a= b= c=群G的中心例设G为群，令C是与G中所有的元素都可交换的元素构成的集合，即 C={a|a?G??x?G,(ax=xa)}则C是G的子群，称C为群G的中心。证明：e?C?C???a?C,?x?G,有ax=xa?xa-1=a-1x?a-1?C?a,b?C，有?x?G,x(ab)=(xa)b=(ax)b=a(xb)=(ab)x?ab?C 由定理1,所以C?G。11．4陪集与拉格朗日定理陪集定义设T是群G的子群，a?G。令 Ta={ta|t?T}称Ta是子群T在G中的右陪集。称a为Ta的代表元素。陪集例，设A={1,2,3}，令G={A上的双射函数}，则G关于函数复合运算构成群。 f0={1,,2,,3,},f1={1,,2,,3,}, f2={1,,2,,3,},f3={1,,2,,3,}, f4={1,,2,,3,},f5={1,,2,,3,}, 令T={IA,f5}，T?G？， TIA= Tf5= Tf3= Tf1=陪集例，设G=R?R，R为实数集，G上的二元运算+定义为 x,y+u,v=x+u,y+v则G,+,0,0是阿贝尔群。 令T={x,y|y=2x}，T?G？， 令x0,y0?G，则 Tx0,y0= 几何意义？ G——坐标平面，群 T——过原点的直线，T?G Tx0,y0——过x0,y0的直线，右陪集相等的充分必要条件定理设T是群G的子群，则?a,b?G有 a?Tb?ab-1?T?Ta=Tb右陪集相等的充分必要条件定理T?G，?a,b?G， a?Tb?ab-1?T?Ta=Tb说明：?a,b?G，a?Tb?Ta=Tb右陪集中的任何元素都可作为它的代表元素；ab-1?T?a,b在同一个右陪集中(a,b?Ta=Tb);两个右陪集相等的充分必要条件。陪集定理设T是群G的子群，在G上定义二元关系R： ?a,b?G,a,b?R?ab-1?T则R是G上的等价关系，且[a]R=Ta。证明：?a,b?G,a,b?R?ab-1?T1.自反：?a?G,aa-1=e?T?a,a?R2.对称：?a,b?G,a,b?R?ab-1?T?(ab-1)-1?T ?ba-1?T?b,a?R3.传递：?a,b,c?G,a,b,b,c?R?ab-1,bc-1?T ?(ab-1)(bc-1)?T ?ac-1?T?a,c?R ?R是G上的等价关系。讨论：?a,b?G,a,b?R?ab-1?T R是G上的等价关系，则商集 G/R={[a]R|a?G}={Ta|a?G}，有性质(124)：?a?G,[a]R=Ta??；?a,b?G,a,b?R?[a]=[b]?a,b?G,a,b?R?[a]?[b]=??Ta?Tb=? G/R是G的划分：给定T?G，T的所有陪集， {Ta|a?G}是G的划分； 划分是由G和T(G和R)确定的,R也是由T确定的.陪集结论：已知群G，?T?G，T确定G的一个划分。 ?={Ta|a?G}讨论：