群的定义和简单性质.DOCVIP

§3.2 群的定义和简单性质 3.2.1 定义 群 G是非空集合，(是G上二元运算(按习惯将((a, b)记为a(b)，e(G。 代数结构G, (, e称为一个群，如果G, (, e满足以下条件： (1) 结合律 ((a, b, c(G)((a(b)(c = a((b(c))； (2) ((a(G)( e(a = a)； (3) ((a(G)((b(G)(b(a = e)。 (一般称为乘法，e称为G的单位元。当(和e是已知或不必指出时，简称G是一个群。为了简单，经常将a(b简记为ab，由结合律，多个元素作乘法时也可以省略括号。 数的乘法和加法是群的最常见的例子。 按习惯用N, Z, Q, R和C分别表示自然数、整数、有理数、实数和复数。加上标*表示数的集合中不为零的数，加上标(表示集合中大于零的数，如： R* = {x | x(R且x ( 0}，R( = {x | x(R且x(0} 等。 3.2.2 例 Q*, (, 1、R*, (, 1和C*, (, 1是群。Q(, (, 1和R(, (, 1是群。其中是(是通常的数的乘法。 注意，Z, Q, R和C对通常的乘法不能构成群，因为对于0，不存在b，使得b(0 = 1。 3.2.3 例 Z, (, 0、Q, (, 0、R, (, 0、C, (, 0是群。其中是+是通常的加法。 注意，N对通常的加法法不能构成群，因为对于1，不存在b，使得b(1 = 0。 3.2.4 例 n(0，在Z上定义等价关系 ~n 如下： x ~n y当且仅当n | x(y 商集Z / ~n = {0,…, n(1}简记为Z / n，在Z / n上定义运算(如下：a(b = a(b，则Z / n, (, 0是群。 群的乘法不一定是交换的。 3.2.5例 在R*×R上定义乘法(如下： a1, b1(a2, b2 = a1a2, a1b2(b1， 则R*×R, (, 1, 0是群。证明如下： (1) 任给a1, b1, a2, b2, a3, b3(R*×R，都有 (a1, b1(a2, b2)(a3, b3 = (a1a2, a1b2(b1)(a3, b3 = a1a2a3, a1a2b3((a1b2(b1) = a1a2a3, a1a2b3(a1b2(b1 a1, b1((a2, b2(a3, b3) = a1, b1((a2a3, a2b3(b2) = a1a2a3, a1(a2b3(b2)(b1 = a1a2a3, a1a2b3(a1b2(b1 所以(a1, b1(a2, b2)(a3, b3 = a1, b1((a2, b2(a3, b3) (2) 任给a, b(R*×R，都有 1, 0(a, b = 1a, 1b(0 = a, b (3) 任给a, b(R*×R，存在a(1, (a(1b(R*×R，使得 a(1, (a(1b(a, b = a(1a, a(1b(((a(1b) = 1, 0 群的元素不一定是数或数的构造。实际上由置换(集合到自身的双射)构成的群更重要。 3.2.6 例 平面上由旋转和反射复合而成的变换称为正交变换，两个正交变换的复合还是正交变换。 设F是一个平面图形，令 DF = {( | (是平面上使得F不变的正交变换}， ?是复合运算，I是恒等变换，则DF, ?, I是群，称为平面图形F的对称群，它刻画了F的对称程度。当F是中心在原点的正n边形时，记DF为Dn，称为两面体群。 3.2.7 例 M是非空集合，S(M) = {( | (是M置换}，?是复合运算，IM是M上的恒等置换，则 S(M), ?, IM是群，称为M的全置换群。 当M = {1,…, n}时，称S(M)为(n个文字的)对称群，记为Sn，记IM为e。 Sn中的任何一个置换(由((1),…, ((n)唯一确定，所以每个(都可以表示为： 1 2 … n ((1) ((2) … ((n) 如恒等置换e就表示为： 1 2 … n 1 2 … n 任给((Sn，因为(是置换，所以((1),…, ((n)恰好是1,…, n的一个全排列。反之，任给1,…, n的全排列a1,…, an，取置换(，使得 任给1(i(n，都有((i) = ai， 则((Sn。 所以Sn的元素和1,…, n的全排列一一对应，因此| Sn | = n!。 任给a1,…, as(M (s(1)，取(：M(M，使得 (1) ((a1) = a2 ,…, ((as(1) = as , ((as) = a1； (2) 任给b(ai，都有((b) = b， 则称(是一个s-轮换，记为(a1…as)。 令as(1 = a1，则条件(1)可表示为：任给1(i(s，((ai) = a i(1。 可以用轮换将S3和S4的元素表示如下： S3 =