交换子群较小的一类有限p群.pdfVIP

第 44卷 第 1期 数 学 研 究 Vo1．44 NO．1 20l1年 3月 JournalofMathematicalStudy Mar．2011 交换子群较小的一类有限P群 安立坚 成小院 山西师范大学数学与计算机科学学院，山西 临汾 0,11004 摘 要 研究了阶为p 号 且交换子群的最大阶为pm的有限群，得到了这类特殊的P群的几 个性质，给出了满足极大类条件的这类 P群的同构分类． 关键词 亚交换群；正则P群；极大类P群 中图分类号 0152 文献标识码 A 交换子群在有限P群的理论和应用中起着十分重要的作用．设G是阶为P”有限 群，G中交换子群的最大阶为P ．一个著名的公开问题是：m和n的关系如何?根 据Burnside[U的经典结果，我们有 ≥佗．因此，若 fGf p 且G中交换子群 的最大阶为P ，我们可以认为 G有 较“小”的交换子群．本文对这类特殊的P群做了 一 些初步的探讨，得到了它的以下几个性质，并给出了极大类条件下这类特殊的P群 的同构分类 ． 本文用到的概念和符号可参见文献 [2】．当m 1，2时， lGl P或P。，结果是平凡 的．所 以，在本文 中我们只讨论 m 3时的情形．下面的引理是基本的． 引理 1【】设G有限P群， lGl p．又设 是G的一个极大的交换正规子群，且 lAl P。．则 1 Cc A ； 2 2n a a+1 ． 下面的引理是P．Hall的一个经典定理 2【，定理2．2．3】 的推广： 引理2设IGI P”，IG：CI P，其中 G C G．记Autc G Q∈Aut G I c c，Vc∈ ．贝0lAutc a llP n--t P一1 p一P … P 一P一 ． 证明 首先对任一 Q ∈Aut．c G ，可如 下得到 G／C 的一个 自同构 a： gc 9。C，Vg∈G．易验证 ．厂：口一a是 Autc G 到Autc G／C 上的同态，于是 l Auto a ，l 整除 lAut a／C 1．把 G／C看作 GF p 上 t维向量空间，则有 IAut C／C 1 IGL t．p 1 P一1 p一P ··- P一P一 ． 收稿 日期：2010—10．26 基金项 目：国家 自然科学基金资助项 目 ii071150 ．山西省自然科学基金资助项 目 座机电话号码01 ，山西省回国 留学人员科研项 目 2【00713—56 ． 108 数 学 研 究 2011年 再令 K Kerf，为研 的阶，我们设 z … ，C ．．c 是 G的任一最小生成 系，其中c ．． ∈C-考察所有的有序 t+s元子集 1 …xta￡，Cl… ．，c 组成的集 合 △，其中ai∈C．显然 △ 的每个元素都是G的最小生成系，并且 j△ J p n-t ． 令 作用在 △上，△被分成若干个 的轨道 … ．． ．每个正 的长度 lI IKt／IK I． 其 中 是 由把 中某个最小生成系保持不变的G的 自同构所组成的．但 明显地，这 样的同构只能是 1，于是 1．这样，fI i ．『最后因 autc a f fKtlAutc G／ ， 即得所需之结论 ． 下面我们给出这类 P群的几个性质． 定理 1 设 iGf p ．其中m 3．若 G 中交换子 群的最大阶为Pm，则 1 Iz G 1 p； 2 若P为奇素数，G中存在正规的P 阶的初等交换群． 3 当m 3时，G的最大阶的交换正规子群一定是初等交换的； 4 G为极大类 P群当且仅当m 3．并且，若 G是极大类 P群，则P≥5． 证明 设 是G的一个最大阶的交换正规子群．根据 Burnside[】的经典结果 也可 以参看文献 2【】中引理 1的证明 ，我们有 lAI P ，G／A同构于Aut A 的SylowP子群， 是初等交换群或者是型不变量为 p2P，… ，P 的交换群 ．由A的极大性，Z G A． 由于u1 A 是阶 P的G的正规子群，我们有UI A z G ，从而A／Z G 是初等交换 的． 1 设 lA／Z G I P．则G／A 同构于Autz a A 的 SylowP子群．由引理 2可知 IG／AI pt m—t + ． 因为 lG／A p 孚 ，所 以我们有： ． mT2-m t m—t + 解得 t m—1．即 lz G 1 P． 2 假设结论不成立，则A是型不变量为 P。．P… ．，P 的交换群．令K： Q1 ． 则 K／A 同构于 Autfl 4| A 的SylowP子群 ．由引理 2可知 IK／Al P -。．并且 由引 理 2的证 明过程容易看 出 K／A是交换群，从而 ， ， 是亚交换群．