何 美 ， 刘小川

(山西大同大学数学与计算机科学学院，山西大同037009)

有限交换群可以分解成若干有限p－群的直积，有限p－群的交换性在研究有限群中起到重要作用。本文对有限p－群的子群进行了研究，得到若干有限p－群可交换的条件。文中符号均与文献[1]、[2]中一致，p表示一个素数。

1 预备知识

定义1[1]p是素数，如果群G的任意元素的阶均为p的方幂，则称G为p－群。

引理1[2]G是有限p群当且仅当群G的阶为p的方幂。

引理2设 ｜G｜＝pn，N是G的子群，则N是G的极大子群当且仅当｜N｜＝pn－1，而且N是G的正规子群。

证明 (必要性)N是G的极大子群，则N≠G，即N＜G，从而N＜NG(N)，又N是G的极大子群，所以NG(N)＝G，于是，N是G的正规子群。

由N的极大性得到商群G/N没有非平凡子群。否则，若G/N有非平凡子群M，由群的同态基本定理知，存在M是的G非平凡子群，而且N＜M＜G，这与N是G的极大子群矛盾，所以G/N没有非平凡子群，于是G/N是p阶循环群，[G∶N]＝p，从而｜N｜＝ pn－1。

(充分性)｜N｜＝ pn－1，则 N ＜ G，若存在 M ＜ G，N ≤ M，则｜N｜｜M｜，｜M｜｜G｜，而且 p 是素数，于是M＝N，即得N是G的极大子群。

引理 3[3－6]｜G｜＝pn，｜N｜＝ p，N 是 G 的正规子群，则N ≤ Z(G)。

引理4 G是一有限p－群，且是一循环群，则G的任意阶子群均唯一。

2 主要结论

定理2[7－8]G是一有限p－群，如果G的极大子群唯一，则G是循环群。

证明 ｜G｜＝ pn，N 是 G 的极大子群，则 ｜N｜＝ pn－1，且N＜G。

取 a∈G，a∉N，令 M ＝ ＜a＞，则 M≤G。

若M＜G，则存在G的极大子群N1，使得 M≤N1，由条件，G的极大子群唯一，所以N＝N1，于是M≤N与a的取法相矛盾，即得M＝G，G是循环群。

定理3 G是一有限p－群，如果G存在p阶正规子群N，且G/N是循环群，则G是可换群。

证明 ｜G｜＝ pn，｜N｜＝ p，则 ｜G/N｜＝ pn－1。 G/N是循环群，存在a∈G，G/N＝＜aN＞。而且aN的阶为 pn－1，即∀k ＜ pn－1，有(aN)k＝ akN≠N，所以ak∉N，而 apn－1N＝N，即 apn－1

∈N。(1) 若 apn－1＝1∈N，则｜＜a＞｜＝ pn－1，令 M ＝ ＜a＞，则｜M｜＝pn－1，即M是G的一个极大子群，得M是G的正规子群。

又MⅠ N＝1，M＜MN≤G，得G＝MN＝M×N，M与N均为循环群，是可换群，所以G是可换群。

(2) 若 apn－1≠1，即 apn－1