群的基本概念.pptVIP

第四节 群 Group 4.1 群的基本概念 定义 1 设 G, * 是含幺半群。若G中每个元素都有逆元，则称 G, * 为群。 在群中，通常将元素x的逆元记为x-1. 要证明一个代数系统G, *是否是群，根据群的定义需要证明以下4点： 1) *是G上的二元运算； 2) *满足结合律； 3) 关于*有幺元； 4) G中每个元素关于*有逆元。 上一节中的五个例子, I,× , Mn*n,× , Nm,×m , 2X,∩ , P[x],× 都是含幺半群，但都不是群。原因就在于不能保证每个元素有逆元。 例1 设I是整数集合，+是整数加法，由算术知识知 1) 两个整数之和仍为整数，且结果唯一，故+是I上的二元运算； 2) 整数加法满足结合律； 3) 取 0∈I, ?a∈I,有a+0＝0+a＝a。 由幺元的定义知，0是关于+的幺元； 4) ?a∈I，取-a∈I，有a+(-a)＝(-a)+a＝0。 由逆元的定义知I中每个元素有逆元； 由群的定义知I, +是群。 例2 设 Mn×n是n×n阶实矩阵的全体，+是矩阵加法。由线性代数知 1) 两个n×n阶实矩阵相加仍为n×n阶实矩阵，且结果唯一，故+是Mn×n上的二元运算； 2) 实矩阵加法满足结合律； 3) 取零矩阵0∈Mn×n,?A∈Mn×n,有A+0＝0+A＝ A。 由幺元的定义知0是关于+的幺元； 4) ?A∈Mn×n, 取-A∈Mn×n, 有A+(-A)＝(-A)+A ＝0. 由逆元的定义知Mn×n中每个元素有逆元； 由群的定义知 Mn×n, +是群。 例3 设Nm ＝ {[0], [1], …, [m-1] }, +m定义如下 [i]，[j] ∈Nm, [i] +m[j]＝[(i+j)mod m] 1）由于 0≤（i+j）mod m m, 且结果唯一，故+m是Nm上的二元运算； 2）由于 ?[i]，[j]，[k]∈Nm,有 ([i]+m[j])+m[k]＝[(i+j) mod m]+m[k]＝[(i+j+k) mod m] [i]+m([j]+m[k])＝[i]+m[(j+k) mod m]＝[(i+j+k) mod m] 故有([i]+m[j])+m[k]＝[i]+m([j]+m[k])，即+m满足结合律； 3）取[0]∈Nm, ?[i]∈Nm, 有 [0]+m[i]＝[(0+i) mod m]＝[i] [i]+m[0]＝[(i+0) mod m]＝[i] 由幺元的定义知[O]是关于+m的幺元； 4）?[i]∈Nm, 取[m-i]∈Nm, 有 [i]+m[m-i]＝[(i+(m-i)) mod m]＝[0] [m-i]+m[i]＝[((m-i)+i) mod m]＝[0] 由逆元的定义知Nm中每个元素有逆元； 由群的定义知 Nm, +m 是群。 例4 设X是一非空集合，2X是X的幂集，?是集合的环和运算，即A ? B＝(A∩B)∪(B∩A)。由集合一章知 1）环和是2X上的二元运算； 2）环和运算满足结合律； 3）关于环和运算的么元是?； 4）?A∈2X，A的逆元是其本身； 由群的定义知 2X, ? 是群。 例5 设P[x]是实系数多项式的全体，＋是多项式的加法。 1）由于两个多项式之和仍为多项式，且结果唯一，故＋是P[x]上的二元运算。 2）由于实数加法满足结合律，故多项式的加法满足结合律。 3）取0∈p[x]，?p(x)∈p[x]，有 0＋p(x)＝p(x)+0＝p(x) 由么元的定义知0是关于＋的么元。 4） ? p(x)∈P[X]，取-p(x)∈p[x]，有 p(x)＋(-p(x))＝ (-p(x))＋p(x)＝0 由逆元的定义知P[X]中每个元素都有逆元。 由群的定义知， P[X],＋是群。 定义2 设 G,* 是群,若*满足交换律，则称 G,* 是交换群(Abel群)。 前面的例1，例2，例3，例4，例5都是交换群。 定义3 设 G,* 是群，称G的势为群 G,* 的阶。 由