数学论文-有限集的类方程与有限群的互补定理.doc

有限集的类方程与有限群的互补定理 （孝感学院数学系031114213 湖北孝感 432100） 摘 要:本文首先建立了一个关于有限集的类方程，利用这个方程我们给出了Frobenius定理的一个新的证明，并得到一系列重要命题.最后我们把线性空间中关于对合变换的分解定理推广到一般的奇数阶群中，得到一个关于有限群的互补定理. 关键词:类方程；有限群；不动点集；互补定理；阶 Finite set class equation and Finite group complementary theorem Liu Si-dong (031114313， Department of Mathematics， Xiaogan University)Abstract: In this paper ，we first established one about the finite set class equation， used this equation we to give a new proof ’s theorem，and obtained a series of important propositions， finally we obtained one about the group complementary theorem. Key Words: Class equation; Finite group; Fixed point set; Complementary theorem; Steps 0 引言及主要结果 我们知道，对于有限群，其阶满足 (1) 其中是的中心，是的所有阶大于1的共轭元素类. 群论中把(1)式称为有限群的类方程，运用这个方程可以得到很多关于有限群的重要定理，如Sylow定理、Frobenius定理等，因此上述方程在有限群论有着重要的地位. 本文在第一部分中，我们采用完全不同于文献[1]中的方法，把[1]中的一个关键结果（原文中引理1）推广到更一般的情形，建立了一个关于有限集的类方程： 定理1 若是有限集合，是到的一个双射.定义的关系为:当且仅当存在某一整数，使得，则 （Ⅰ） 是的一个等价关系； （Ⅱ） ，这里，而表示关于的等价划分的代表元集，. 运用这个类方程我们获得了近期文献中一系列重要命题及其推广. 在本文第二部分中，根据以上结果，我们把线性空间中关于对合变换的分解定理推广到一般的奇数阶群中.线性空间是一种具有数乘运算的加法（交换）群，而我们的推广适用于任何非交换奇数阶群，所用方法及其结果都是新颖的. 其主要结果是如下的互补定理: 定理2 设为奇数阶群，，且满足，令， ，则，，并且中每个元素的分解唯一.特别地，当满足交换律时，与是互补子群. 最后，在本文第三部分中，给出了有限集的类方程的一些应用，特别是得到了著名的Frobenius定理的一个新的证明，我们的方法比文献[1,2]中方法更为简单，此外把数论中关于素数判定定理 表示群中元素的阶，表示群的自同构群，表示是的子群，表示集合的变换群，用表示中元素的个数，称之为的阶，表示集合的恒等映射. 对映射而言，记号定义为，特别的为恒等变换. 1 有限集的类方程 定义1[1] 设是集合到的映射，称 为的不动点集，其中满足的元素称为的不动点. 下面我们建立有限集的类方程： 定理1 若是有限集合，是到的一个双射.定义的关系为:当且仅当存在某一整数，使得，则 （Ⅰ） 是的一个等价关系； （Ⅱ） ， (2) 这里，表示等价划分的代表元集，. 证明 （Ⅰ）首先验证是的一个等价关系： 由，得，即满足反身性； 若，使，由于是到的一个双射，故存在，所以，即得，故满足对称性； 若，即存在整数，使，，则 得，即满足传递性. 综上所证，知是一个等价关系.是的一个等价关系，关于的等价划分，易知集合是包含的一个等价类，并且 为的不动点，即 记关于的等价划分的代表元集为，，则 . 定理1得证. 推论1[1] 设是个有限集合，是个素数，是到的映射，满足，即是上的恒等映射，则. 其中是的不动点集，即. 证明 不妨设，由于，故是可逆映射，从而是双射，由定理1得，由于，则作为集合的变换群中元素，其阶是的一个因数，又，故，于是. 对，由定理1的证明即知，则，，于是，即得. 推论2 设是个有限集合，是个素数，是到的映射，满足，为正整数，则. 证明 对，易知存在，，使，其余完全仿引理1的证明可得结论成立. 下面，我们按照定理1的思路证明Gallagher定理： 推论3[3]（Gallagher） 设为素数，则 证明 令是一个阶循环群，以表示的全部元子集组成的集族，则考虑在上的作用：：，（这里，，