代数学(第11讲).docVIP

第十一讲 §1.13 Sylow定理 复习有关内容： 1，群的第二同构定理：设H与K是群G的子群，且K在G中正规，那么 （1）是G中含K的子群； （2）是H中的正规子群，映射是到的同构映射，即。 2，群的作用：设G是一个群，S是一个集合，我们说G作用在S上，如果存在一个映射 满足条件： （1），（2）。 3，设有限群作用在集合上，其所有不同的轨道为：。则。 4，有限群的类方程：设是有限群，则有 其中是满足的元素，即．这里是群的中心． 新课： 一、第一Sylow定理 １．问题的提出：设是有限群，且是的子群，那么，即的阶是的因子．现在要问：对于的任一个因子，即，是否存在的子群，使得？当是循环群时，答案是肯定的（见P45, Th1.3）．但对一般的有限群，答案是否定的（见第79页）． ２．Sylow定理１：设是一个有限群，是素数，整除，即，则含有一个阶为的子群． Proof：1 先证明：当可交换且时，含有一个阶是的元素． 对应用归纳法： 设．若，则．此时．易知．若不整除，则，。此时，所以含有一个阶元素（应用归纳假设）．设，则．设，则．因此． 2 对应用归纳法：若，则结论成立．设命题对于小于成立．考虑类方程，其中．如果，则必存在某一个，使得．因为并且，所以。又．所以，由归纳假设知，包含有一个阶子群．当然也是的子群．如果，那么由1知，包含一个阶元素，并且是的一个阶正规子群．因此，且．由归纳假设知，包含一个阶子群．其中是中包含的一个子群． 这样．证毕． 3．设是中的的最大幂，即，但不整除。 那么由Sylow定理１知，中存在一个子群，使得，称这种子群为的Sylow子群 (注：群的Sylow子群可能不止一个)。 进一步，由Sylow定理１知，如果，这里是互不相同的素数，是正整数。那么中存在个子群，使得；子群是的Sylow子群，是的Sylow子群， … ，是的Sylow子群． 二、第二Sylow定理 １．引理．设是群的一个Sylow子群．，是的阶子群且，那么（注意：）． 证明：首先，是的子群。事实上，因为，，则有，所以，于是，同时，即。因此是的子群。这样是的子群。 其次，是的正规子群。事实上，我们有即所以，。因此，是的一个子群。又，所以，是的正规子群。这样是的子群且（根据群的第二同构定理）。因此是的因子，于是，所以 ．因为是的一个Sylow子群，所以，即． ２．第二Sylow定理： （1），群中任两个Sylow子群是共轭的，即对中任两个Sylow子群与，使； （2），Sylow子群的数目是任一个Sylow子群指数的因子，且； （3），中任一个阶子群包含在某一个Sylow子群之中． 证明：（1），设是中所有Sylow子群组成的集合．即是中所有阶子群组成的集合，这里是中的的最大幂。 首先，可共轭地作用在上：。事实上，，我们有都是的子群且，所以。设是此作用的一个轨道，那么存在，使得，此时（注：是的一个Sylow子群）。 其次，考虑在上的共轭作用，我们说此作用是完全可以实现的，因为，存在，使得，所以。那么此作用将划分为一些轨道。其中有一个轨道就是，并且仅是中基数为１的一个轨道（因为如果是这样一个轨道，即，使得，那么，这样，从而。由引理知，所以（因为它们都是的Sylow子群，有相同的阶））．由P76 公式(40)知，，这里分别在所有不同的轨道之中．但其中必有一个是，不妨设，于是。而于是。下证。 若不然，存在但，那么。对于这个，同样考虑在上的共轭作用。类似于前面的讨论，可以看出，在中没有一个轨道其阶数是1．这样，这与矛盾，因此．所以在上的作用是可迁的．于是（1）得证． （2）由（1）知，，又， ．（在上的作用是可迁的）．因为，所以 ， 即．即所有Sylow子群的数目是任一个Sylow子群指数的因子． （3）设是中任一个阶子群．将在上的作用限制到在上的作用．因为每一个轨道的阶均是的幂，且，所以存在一个只有一个元素的轨道，即．由引理知，，即任一个阶子群包含在某一个Sylow子群之中． 三、习题课 P78 1 Proof：（1）不难知道的共轭类．考虑在上的共轭作用：，则在上是可迁的．于是，下证．显然．由于，则由可推出，从而或或，…,.由知. 由,…,由.这样． 于是．即，所以．从而。 （2） 显然 ． P78 4 Proof: 设H是G的子群。．考虑在上的作用，．此时，．作用的核．这样 （1）是的一个正规子群． （2）．此时， （3）同构于的一个子群，而，故是的一个因子． 第一章小结 §1.1-1.2 变换幺半群和抽象幺半群, 变换群和抽象群 一.概念与记号 群胚，半群，恒等元（单位元），幺半群，子幺半群， 右可逆，右逆元，左可逆，左逆元，可逆元，逆元，群，子群，幺半群的单位群或可逆元群，集合的