72群的定义及性质.pptVIP

7.2 群的定义及性质 定义7.2.1 设(G ,?)为一个含幺半群，若G的每个元素都有逆元，则称(G ,?)为群。 若G为一个非空集合，?为G上的二元运算，则(G ,?)为群的充要条件是下面三个条件都成立： （1）二元运算?满足结合律； （2） G存在关于?的单位元； （3） G的任意元素均有逆元。 类似于半群，二元运算?满足交换律的群，称为交换群，又称为Abel群。反之，称为非交换群。 若G为有限集合，则群(G ,?)称为有限群，否则称为无限群。 称集合G的基数为群(G ,?)的阶。 例7.2.1 （1）(E, +), (Z,+), (Q,+), (R,+)都是交换群，单位元都是0。 （2） (Z, x), (Q, x), (R, x)都不是群。虽然都有单位元1，但0没有逆元。 （3） (Zn, +n)是有限交换群，单位元为[0]n （4）设GL(n,R)={ A| A为n阶实可逆阵}，则有 (GL(n,R), x)是一个群，称为实一般线性群。它是一个非交换群。 定理7.2.1 设(G ,?)是群，则有下面的性质： （1）若|G|1，则(G ,?)无零元。 （2）(G ,?)满足消去律。 （3）(G ,?)只有单位元是幂等元。 （4）对?a, b ∈ G, 方程 a?x = b和 y?a = b存在唯一的解。 （5）对?a, b ∈ G，有(a?b)-1= b-1?a-1， (a-1)-1=a。 （6）若(G ,?)有运算表，则G 的元素在该表的每一行(或列)中恰好出现一次。 证. (1)反证法。若有零元，设为 n，则 n ≠e。 否则 ?a ∈ G，a=a?e=a?n=n 与|G|1矛盾。 于是 a?n=n≠e ，即 n没有逆元。 (4)对方程 a?x = b，有x = a-1?b，解存在； 若方程有二个解：x1, x2 ，则a?x1= a?x2= b 由消去律知： x1= x2 ，解唯一。 定理7.2.7 群(G ,?)是交换群的充要条件是 对?a, b ∈ G，有a2?b2 = (a?b)2 证.充分性 由群的结合律可得： a?(a?b)?b = a2?b2 = (a?b)2 = a?(b?a)?b 再由群的消去律可得：a?b = b?a 即G是交换群 必要性 由 a?b = b?a 可知： a2?b2 = a?(a?b)?b = a?(b?a)?b = (a?b)2 定义7.2.2 设(G ,?)是群，a ∈ G，则称满足 an =e，的最小正整数 n为 a的阶；若不存在正整数 n 使an =e 成立，则称 a的阶为∞ (无限)。 例. 在群(Z, +)中每一个非零的整数的阶都是∞。 例7.2.2 同余类加群(Z6, +6)的元素[2]6的阶是3，因为的单位元是[0]6，而[2]63=[2]6+6[2]6+6[2]6=[0]6所以3是使得[2]6n= [0]6的最小正整数。 [1]6的阶是6；[3]6的阶是2；[4]6的阶是3；[5]6的阶是6。 事实上，一个群中阶是1的元素恰为单位元；元素 x 阶为2的充要条件是 x-1=x。 定理7.2.8 设(G ,?)是群，则对?a ∈ G，a与a-1均有相同的阶。 证. 若 a的阶是正整数 n，即 an = e，则 由 an = a?an-1 = an-1?a = e 知：a-1 = an-1。 于是 (a-1)n = (an-1)n = (an)n-1 = e 由阶的定义知：a-1的阶 ≤ a的阶。 同理 a= (a-1)-1的阶 ≤ a-1的阶， 故 a与 a-1有相同的阶。 若 a的阶是∞ ，假如 a-1的阶是有限数，则 由 a的阶 ≤ a-1的阶，矛盾。故a-1的阶也是∞ 。 定理7.2.9 设群(G ,?)中元素 a的阶是m，则对正整数 n，an =e 的充要条件是 m整除 n。 证. 充分性 若 m|n，则存在一个正整数q，使得n=mq，于是 an = amq = (am)q = e 。 必要性 若 an = e，则 m|n，否则 m?n， 存在正整数 q, r 使得 n=mq+r，其中 0 r m。 从而 an = amq+r = amq?ar = ar = e ，矛盾。 推论7.2.9 设(G ,?)是群，a ∈ G。若存在正整数 n使得 an = e ，则 a的阶是 n的因子。特别地，若a≠e 且存在素数 p使得 ap = e ，则 a的阶是 p。 证. 反证法 设 a的