第十四章_群环域王元元.ppt

第十四章 群、环、域 重点:群与子群、环 半群 例： 性质(半群及独异点) 性质(半群及独异点) 群 群 群 群 例： 14-5 性质 定理14-9 性质 性质 性质 定理 14-12 阶 例 14-6 性质(阶) 定理14-13 性质(阶) 性质(阶) 子群 特性(子群) 特性(子群) 例 14-7 子群判断（有限集） 拉格朗日定理 14.4 环 14.4 环 例：判断是否为环 未作特别说明时，下文中符号+，·表示满足结合律的一般二元运算，分别称为加、乘运算（未必是数加和数乘）。 * * 掌握半群的概念；掌握子半群的概念； 掌握独异点的概念； 重点掌握群和子群的概念；掌握群的主要性质； 能够证明一个给定的代数系统是否给定群的子群； 掌握循环群的概念； 掌握环的概念； 定义 14-1 称代数结构S，?为半群（semigroups），如果 ? 运算满足结合律。 当半群S，?含有关于 ? 运算的幺元，则称它为独异点（monoid），或含幺半群。 代数系统 N,+ 和 N,·、I,+和I,·、R,+ 和 R,· 都是半群， I,- 和 R-{0},/ 不是半群 。 定理14-1 设S，?为一半群,那么 （1）S，?的任一子代数都是半群，称为S，?的子半群。 （2）若独异点S,?,e的子代数含有幺元e,那么它必为一独异点,称为S,? , e的子独异点。 对于半群 I+，+， I+的子集 都是I+；+的子半群。 例 对于独异点Z，+ , 子集I2，I3，I4，… 它们均不能构成Z，+的子独异点， 则Z2 ，+ ，Z3 ，+ ，Z4 ，+ 都是 Z ，+的子独异点。 定理14-2 设S,?，S’,?’是半群, h为S到S’的同态，这时称h为半群同态。对半群同态有 （1）同态像h(S),?’为一半群。 （2）当S,?为独异点时，则 h(S)，?’为一独异点。 定义14-6 称代数结构G,?为群（groups）,如果 （1）G，?为一半群。 （2）G，?中有幺元e。 （3）G，?中每一元素都有逆元。 (1)对于任意的a,b,c ∈G，有a*(b*c)= (a*b)*c； (2)存在一元素 e∈G，使得对于任意的 a∈G， 有 e*a=a*e=a； (3)对任意 a∈G，相应存在一元素 a-1∈G， 使得 a-1*a=a*a-1=e 群是每个元素都可逆的独异点。 定义 14-7 设 G，?为一群。 (1)若 ? 运算满足交换律， 则称G为交换群或阿贝尔群。 阿贝尔群又称加群，常表示为G,+ 。 加群的幺元常用0来表示， 常用-x来表示x的逆元。 定义 14-7 设 G，?为一群。 G为有限集时，称G为有限群， 此时G的元素个数也称G的阶； 否则，称G为无限群。 （1）I, + （2） N,+ （3）Q+ ,· 定理14-9 设G，?为群，那么 （1）G有惟一的幺元， G的每个元素恰有一个逆元。 （2）关于x的方程a?x=b，x?a=b 都有惟一解。 （3）G的所有元素都是可约的。 （4）当G ? {e}时, G无零元。 （5）幺元是G的惟一的等幂元素。 证（4）若G有零元,那么由定理13-5它没有逆元，与G为群矛盾。 定理14-10 对群G，?的任意元素 a,b， （1）(a?b) -1=b-1?a-1 。 （2）(ar) -1 = (a–1)r（记为a–r） =a-r （r为自然数）。 定理14-11 对群G，?的任意元素 a,b，及任何整数m，n, （1）a m?a n = am+n （2）(a m) n = amn 定理 14-12 设G，?为一群, a为 G中任意元素，那么 aG = G = Ga (aG={a?g ? g?G}， Ga={g?a ?