近世代數中关于集合的划分及其应用研究.docVIP

近世代数中关于集合的划分及其应用研究 摘要 我们对集合并不陌生，我们所熟知的集合实际上是朴素集合.那么我们为什么要讨论集合的划分呢?因为它在商群、商环、商域等其他方面中有着极其重要的应用.我们要研究集合的划分就必须研究等价关系，因为它们是互相决定的。因此我们先从等价关系开始说起，之后再来探讨集合的划分，然后观察集合的划分在各方面的应用. 第一章 等价关系与等价类 定义1.1：设S是一个非空集合，R是关于S的元素的一个条件.如果对S中任意一个有序元素对（a，b），我们总能确定a与b是否满足条件R，就称R是S的一个关系（relation）.如果a与b满足条件R，则称a与b满足条件R，则称a与b有关系R，记做;否则称a与b无关系R.关系R也成为二元关系. 定义1.2：设~是集合A上的一个二元关系，若满足下列性质： 自反性：a A ,a~a; 对称性：a,bA,a~b,则b~a; 传递性：a,b,cA,a~b,b~c,则a~c. 则称~A上的一个等价关系.当a~b时，称a与b等价. 定义1.3：设一个集合A分成若干个非空子集，使得A中每一个元素属于且只属于一个子集，则这些子集的全体成为A的一个分类。每个子集称为一个类.类里任何一个元素称为这个类的一个代表. 由定义可知，A的非空子集族S={| } 是A的一个分类当且仅当其满足下列性质： =A; 当时，?，即不同的类互不相交. 定理1.1 设S={| } 是A的一个分类，规定~为： a~ba与b同属于同一个类， 则~是A上的一个等价关系. 证明：首先由分类的定义，~是A的一个关系.而且，显然a A ，a~a；又a，bA，若a~b，则a与b属于同一个类，从而b~a；a，b，cA，若a~b，b~c，则a与b属于同一个类，b与c属于同一个类，于是a与c属于同一个类，从而a~c.因此~是A上的一个等价关系. 定理1.2 设~是A上的一个等价关系，对于aA，令 [a]={x|xA,x~a},则A的子集族 是A的一个分类. 证明（1）a A，因为,a~a，所以a[a]，从而[a]是一个非空子集，并且A. （2）若[a][b]?,则c[a][b]，于是c~a，c~b，从而a~b. x[a],有x~a，于是x~b，所以x[b]，即[a][b].同理[b][a].这里就得到[a]=[b].所以不同的等价类互不相交. 该定理中所构成的子集[a]称为A的一个包含a的~等价类. 定义4：设~是A上的一个等价关系，由A的全体不同~等价类所组成的集合族称为A关于~的商集，记作A/~. 第二章 商群 我们研究商群必须要知道：它是由什么样的等价关系确定的什么样的等价类，然后由这些等价类构成的集合再定义一种什么样的运算才是商群，最后为了把一些较为复杂的群转化较为简单的群，再给出群的同态基本定理. 什么样的等价关系 我们知道由一个正整数m，确定了整数间的一个等价关系，即 abm|a—b，a，bZ. 其中Z是一个由1生成的循环加群，（m）是Z的一个子加群，且从而也可以认为是由Z的一个子群（m）所确定的.现在将这个思想推广到一般的群中， 设H是群G的一个子群，在G中定义一个关系R： 容易验证R是一个等价关系.利用这个等价关系可以决定群G的一个分类. 二、什么样的等价类 定义2.1 设HG，由等价关系R所决定的类称为H的陪集. 定理2.1 设HG，则包含元素a的陪集等于. 证明 将包含元素a的陪集记作[a].b[a]，有，即，即b=a=，所以有[a]=.反之，b，H，使b=，于是，即，从而b[a]，所以有. 三、商群 定理2.2 设G是群，NG，令G/N={|aG}, 规定： 则（G/N,）是一个群. 证明 首先证明是G/N的代数运算，即G/N到G/N的映射，也就是要证与代表元的选取无关.设，则，因为NG，所以11111使， 这样，从而（ab）N=（）N，所以是G/N的代数运算， 又有 从而满足结合律，且 从而N=是G/N的单位元.存在使从而因此G/N是一个群. 该定理中够作的群G/N称为G关于N的商群. 有限阶群的阶和子群阶的关系 定理2.3（Lagrange（拉格朗日））设G是有限群，H是G的子群，则 |G|=[G：H]|H| 证明 因为G是有限群，所以[G：H]有限，设为k，则 G=…. 又因为在H和之间存在一个双射， 所以||=|H|，因此 |G|=+…+=k|H|=[G：H]|H|. 五、群的同态基本定理