子群的乘积是子群的判定条件.docVIP

研究群的子群的乘积是 子群的判定条件 摘 要 本次论文研究的题目是子群与子群的乘积是子群的充要条件是什么，所以我们首先要了解子群的定义。子群，子群！从字面意义上知子群是群的一个子集，所以又必须知道群的定义。在了解群与子群的定义后，再发现群与子群的性质，掌握群的代数运算，子群与子群之间的代数运算。现在我所研究的是在已经知道子群与子群的乘积是子群的充要条件下，研究三个子群的乘积是子群的充要条件。 关键字： 群 子群 子群与子群的乘积 一、群的定义 定义1 设G是一个非空集合，⊕是它的一个代数运算，如果满足一下条件： Ⅰ.结合律成立，即对G中任意元素a,b,c都有 (a⊕b) ⊕c=a⊕(b⊕c); Ⅱ.G中有元素e，叫做G的左单位元，它对G中每个元素a都有 e⊕a=a; Ⅲ.对G中每个元素a，在G中都有元素，叫做a的左逆元，使 b⊕a=e; 则称G对代数运算⊕作成一个群。 如果对群G中任二元素a,b均有 a⊕b=b⊕a, 即G的代数运算满足交换律，称G为交换群（可换群）或Abel群。否则称G 为非交换群（非可换群）或非Abel群。 例如，显然全体非零有理数以及全体正有理数对于数的普通乘法都作成群，分别称其为非零有理数群和正有理数群。 但应注意，整数集Z对于数的普通乘法不能作成群。因为，尽管普通乘法是Z的代数运算，并且满足结合律，也有左单位元1，但是，出去1和-1外其他任何整数在Z中都没有左逆元。 设G为整数集，问：G对运算 a⊕b=a+b+4是否作成群？ 解 由于对任意整数a,b，显然a+b+4为a与b惟一确定的整数，故所给运算⊕是G的一个代数运算。其次，有 (a⊕b) ⊕c=(a+b+4) ⊕c =(a+b+4)+c+4=a+b+c+8. 同理有a⊕(b⊕c)=a+b+c+8.因此，对G中任意元素a,b,c有 (a⊕b)⊕c=a⊕(b⊕c),即代数运算⊕满足结合律。 又因为对任意整数a均有（-4）⊕a=-4+a+4=a, 故-4是G的左单位元。 最后，由于 （-8-a）⊕a=-8-a+a+4=-4 故-8-a是a的左逆元。 因此，整数集G对代数运算⊕作成一个群。 二、群的性质 性质1 一个群如果只包含有限个元素，则称为有限群；否则称为无限群。 定理1 群G的元素a的左逆元 a也是a的一个右逆元，既有 aa=a a=e. 证 因为a∈G，故a在G中也有左逆元，设为a,即a a=e. 由此可得 a a=e(a a)=( a a)(a a) = a[( a a) a]= a(e a) = a a=e. 从而 aa=a a=e. 以后称a为a的逆元。 定理2 群G的左单位元e也是G的一个右单位元，即对群G中任意元素a均有 ea=ae=a. 证 因为ae=a(aa)=(a a)a=ea=a,故 ea=ae=a. 以后称e为群G的单位元。 定理3 群G的单位元及每个元素的逆元都是惟一的。 证 设e与e都是G的单位元，则根据单位元的定义，有 e e= e=e. 其次，设a及a都是a的逆元，既有 aa=a a=e, aa=a a=e. 由此进一步得 a= ae= a(a a) =( aa) a=e a= a, 即a= a，a的逆元是惟一的。 推论1 在群中消去律成立，即 ab=ac ﹦﹥ b=c, ba=ca ﹦﹥ b=c. 证 因为ab=ac，所以a(ab)= a(ac), 即 ( aa)b=(aa)c, 即b=c. 同理， ba=ca ﹦﹥ b=c. 三、子群的定义 定义 2 ??? 设 ?为群的一个非空子集，G是一个群. 如果 ?对于 ?的代数运算也构成群, 则称 ?为 ?的一个子群。 ????由子群的定义, 可以得到子群的下列性质: 定理 4 ????设 ?为 ?的子群. 则????(1) ?的单位元 ?就是子群 ?的单位元;????(2) 设 , 则 ?在 ?中的逆元就是 ?在 ?中的逆元. 证明 (1) 设 为 ?的单位元, 为 的单位元, 则 由于 中有消去律, 所以从 的两边消去 得: ;????(2) 设 是 在 中的逆元, 是 在 ?中的逆元, 则