离散数学 06.02 群的定义

§6.2 

群论的研究起源于19世纪,它是由于方程论的需要,首先作为置换群的理论发展起来的。随后,发现在大多数问题中,重要的不是构成群的置换本身,而应该是集合在代数运算下的性质,因而提出了一般群的概念。一般群论的建立,不仅扩大了群论研究的对象和应用,而且还可以从这种不同的群得到多方面的启发,从而丰富了群论研究的方法,促进了群论的发展。群论是近世代数数学中发展得最充分的部分,在自然科学个学科中得到了广泛的应用。例如在自动化理论,编码理论,快速加法器的设计等方面,群的应用已日趋完善。

6.2.1 

6.2.1.GG(G,) 
6.2.1.Sρ(S)Sρ(S)(ρ(S),)(ρ(S),) 
6.2.2.Z+(Z,+),(Z,)(Z,) 
6.2.3.NNab=a+b+ab,+,a,bNNNabc,:(ab)c=(a+b+ab)c=(a+b+ab)+c+(a+b+ab)c=a+b+c+ab+bc+ac+abc,a(bc)=a(b+c+bc)=a+(b+c+bc)+a(b+c+bc)=a+b+c+ab+bc+ac+abc,(ab)c=a(bc),(N,) 

6.2.4.SSab=b,a,bSSSa,b,c,(ab)c=bc=c,a(bc)=ac=c,(ab)c=a(bc),(S, ) 

6.2.2 

6.2.2.(G,):(1)G1Ga,1a=a1=a;(2)Ga,Ga 1 aa 1 =a 1 a=1,(G,)1a 1 GGG 
|G|G 

6.2.6.QRCQ  R  ,C  +,(Q,+),(R,+),(C,+)(Q,),(R,),(C,)0(Q  ,),(R  ,),(C  ,) 

6.2.7.SP(S)Sρ(S)(1)(ρ(S),)S;(2)(ρ(S),): 

6.2.8.6.2.3(N,)e,Na,ea=a,e+a+ea=a,e=0,0N 

6.2.9.6.2.4(S,) 
6.2.10.An(A,) 
6.2.11.S={0,1,2,,m1},S: 
ab{a+ba+b<ma+bma+bm , 
a,bS+(S,)m 

6.2.3 

6.2.1.(G,)G11a=a1=a,aa 1 aa 1 =a 1 a=1 
11  1  =11  =1,1  =1bca 1 ,b=b1=b(ac)=(ba)c=1c=c,b=c(a 1 ) 1 =a 

6.2.2.(1)(2):(1)  G1a=a;(2)  a,a 1 a 1 a=1 
(1)  ,(2)  ()(1)(2)a1=aaa 1 =1 
aa 1 =1(a 1 a)a 1 =1a 1 =a 1 ,(a 1 a)a 1 =a 1 (2)  ,a 1 ba 1 =1b((a 1 a)a 1 ))=ba 1 =1,b((a 1 a)a 1 )=(ba 1 )(aa 1 )=1(aa 1 )=aa 1 ,aa 1 =1a1=aa1=a(a 1 a)=(aa 1 )a=1a=a(1)  ,(2)   

6.2.3.(1)(2):a,b,x使xa=b,y使ay=b 
x=ba 1 ,y=a 1 b,xa=b,ay=b,(1)(2)(1)  ,(2)  ,(1),(2)cG,1xc=cx,1c=ca,y使cy=a,1a=1(cy)=(1c)y=cy=a(1)  (2)  a 1 xa=1x,a 1 a=1 

6.2.4.Ga 1 a n  
(((a 1 a 2 )a 3 )a n1 )a n (1)(1)n=1,2n=3,nn(1)n(1) 
a 1 a n AA(1)ABC:A=(B)(C)CnC(D)a n A=(B)(C)=(B)((D)a n )=((B)(D))a n (B)(D)n(B)(D)(B)(D)=(((a 1 a 2 )a 3 )a n2 )a n1 A=((B)(D))a n =((((a 1 a 2 )a 3 )a n2 )a n1 )a n A(1)nana n a 0 =1,a n =(a n ) 1 m,n,a m a n =a m+n ,(a m ) n =a mn  

6.2.3.(G,)(G,)Abel 
6.2.5.Abel(G,) 
a 1 a n σ{1,,n}a σ(1) a σ(n) =a 1 a n nn=1a 1 n1na 1 a n P=a σ(1) a σ(n) a n PPP=(P  )a n (P  )P  P  P=P  (a n P  )=P  (P  a n )=(P  P  )a n ,P  P  n1a 1 ,,a n1 ,P  P  =a 1 a n1 P=(P  P  )a n =a 1 a n1 a n  

Abel(ab) m =a m b m ,m 
G+,GAbel:a+b=b+a10a+0=aa 1 aaa:a+(a)=0na n annaan(m+n)a=ma+na,m(a+b)=ma+mb,m(na)=(mn)a 

你可能感兴趣的:(离散数学)