《浅谈正规子群与理想》-毕业设计（论文）.docVIP

PAGE 6 浅谈正规子群与理想 一、正规子群是群论的核心部分，对刻画群的性质有十分重要的作用.下面给出正规子群的定义： 定义：一个群的一个子群叫做一个正规子群，假如对的每一个元来说，都有. 例1、交换群的任意子群都是的正规子群。因为对任意,有. 由于正规子群仅要求的两个形如与的子集相等，这与中任何两个元素,可交换，即，是有区别的，关于这一点，要引起我们的注意. 理想的定义：设是环的一个非空子集，如果 (1)对任意,有 (2)对任意,任意,有 则称是环的一个理想. 由于（1），一个理想是一个加群。由于（2），对于乘法来说是闭的，所以一个理想一定是一个子环，但（2）不仅要求的两个元的乘积必须在里，而且进一步要求，的一个任意元同的一个任意元的乘积都必须在里. 在整数环中，, ,则,是的理想. 二、下面我们给出正规子群与理想性质的比较 （一）性质1：设是的子群，则以下几个命题是互相等价的： (1)对任意,有 (2)对任意,任意的,有 (3)对任意,有 (4)对任意有. 证明：(1)(2)：对任意,任意的,有 (2) (3):，推出 (3) (4) 由对任意的，有，因而也有，即.故对任意的，有,所以，得，故 (4) (1) 所以. 例：设，则对于矩阵的乘运算做成一个群，且 令,容易验证是的一个子群。因为对任意的, 有得是的正规子群（这样验证正规子群要比利用其他条件方便些）. 说明：当我们要检验一个子群是否是正规子群时，可用4条件之中的任何一个。通常用条件比（2）较方便。因为它比其他三个条件更具操作性。但对于理想的判定，通常用定义比较方便. 2、（1）的正规子群的正规子群未必是的正规子群 例：设，则对于矩阵的乘法运算做成一个群，且，令由上面的例子可知是的正规子群.令，容易验证是的一个子群. 由于对任意,有: 所以是一个交换群，从而得的任意子群必是正规子群。所以也是的正规子群。但是，不是的正规子群，例如，我们取,,　　则. (2)环的理想的理想未必是环R的理想 解，矩阵环 , 是环的理想. 是的一个理想, 但不是的理想. 我们取矩阵，取， 3、两个正规子群的交集还是正规子群 证明：设是群的两个正规子群，且, 设。由题意可知存在，则,，对于任意，又因为是群的正规子群。所以,,.所以是群的正规子群. 推论：群的若干个正规子群的交仍是正规子群. 环的两个理想的交仍是环的理想. 证明：设是环的两个理想。再设 对于,则,.又因为是环的两个理想,所以,则，. （2）,则, ,对于任意,有,.所以,.即. 所以根据理想的定义，是环的理想. 推论：环的若干个理想的交仍是环的理想. 4、群的一个正规子群与一个子群的乘积是一个子群，两个正规子群的乘积仍是一个正规子群. 证明：（1）设是的正规子群，是的子群，任取,由于,故，从而.同理可证，因此,所以是群的子群. （2)设是群的正规子群，是群的正规子群，由上式知是群的子群，对于任意,有故是群的正规子群. 若是环的两个理想，那么也是环的一个理想. 证明：对于任意, 任意,那么，有 ; 所以是环的一个理想. 若是环的两个理想，那么也是环的理想. 5、设是群的正规子群，也是群的正规子群，则未必是群的一个正规子群. 设是环的一个理想，也是环的一个理想，则未必是环的一个理想. 解：在整数环中，,都是的理想，但，对于，则。所以不是的理想. 6、包含群的所有以下性质的元，,不管是的哪一个元。那么是的一个正规子群. 因为，所以是非空的，又 这就是说，, 是的一个子群。但的每一个元都可以同的每一个元交换。我们显然有。即是的正规子群.这个正规子群叫做的中心. 设是一个环，的中心是的一个子环，但不一定是的理想. 例如：当为交换环时，则有是的一个理想。但在下面的例子中，就不是的一个理想. 例：， 则是的一个子环.但不是的一个理想，因为，取有 7、特例： 指数为2的子群必是正规子群. 证明：设是群，H是群的子群，且。取, ,.由陪集的性质得,所以是群的正规子群. 一个除环只有两个理想，即单位理想和零理想. 证明：假定是环的一个理想而不是零理想，那么且不等于零。由理想的定义，.因而的任意元这就是说 对于域来说，也只有两个理想，即单位理想和零理想. 三、正规子群之所以重要，其根本原因在于这种子群的全体陪集对于子集的乘法来说又可以作成一个新的群。设是群的一个正规子群，表示的所有左陪集作成的集合，即，则关于运算：对任意的,作成一个群. 证明：事实上，这里所有定义的运算与两个子集的乘积是一致的。因为，根据子集的乘积运算满足集合律，有 由于是的子群，则有.所以,. 首先我们来证明运算的定义是合理的 如果, ,即，, , 那么，存在，使得，从而有 , 由于是的正规子群，则, 所以，存在, 使得