每个子群都c-正规的有限群.pdfVIP

中国科学 数学 年 第 卷 第 期 每个子群都 正规的有限群 ∗ 李才恒 王燕鸣 谢浊清 苏宁 中山大学数学与计算科学学院 广州 云南大学数学与统计学院 昆明 中山大学岭南学院 广州 收稿日期 接受日期 通信作者 国家自然科学基金批准号 和 资助项目 摘要 在本文中我们研究有限CN- 群, 即每个子群都c- 正规的有限群. 我们得到以下结果: 群 G 是 CN- 群当且仅当 Gϵ 的每个子群都在G 中正规. 群 G 是 CN- 群当且仅当 G 可解且c- 正规性是传递的. 设p 是一个奇素数, P 是一个p- 群, 则P 是一个 CN- 群当且仅当 Φ(P ) Z (P ). 我们也得到了一些CN- 群的直积为 CN- 群的判别条件. 关键词 有限群 正规 传递 主题分类 引言 群 G 的子群H 称为 正规, 如果存在 G 的正规子群N 使得 G = NH 且 N ∩ H HG , 这里 HG = ∩g ∈G Hg , 是H 在G 中的核. 在 [1] 中, 王燕鸣给出了有限群是可解群的判别法: (1) G 可解当且仅当G 的每个极大子群在G 中c- 正规; (2) G 可解当且仅当G 中存在c- 正规的可解极大子群. 从那以后, 许多学者开始研究群的c- 正规性. 我们知道, G 是幂零的当且仅当G 的每个子群次正 规, G 是Dedekind 群当且仅当G 的每个子群正规, 这些是群结构的重要结论. 研究每个子群具有某种 正规性的群结构是很多学者关心的问题, 一个自然的问题是: 每个子群都c- 正规的有限群有何结构? 在本文中, 我们研究了每个子群都c- 正规的有限群. 为方便起见, 我们把这种有限群称为CN- 群. 由上面提到[1] 的结果, CN- 群是可解的. 在本文中, 我们将给出G 是CN- 群的一些判别条件. 在陈述主要定理之前, 我们先给出一些定义. 设H 是群G 的一个子群, 如果存在L G 使得G = HL 且H ∩ L = 1, 则称H 是G 的可补子 群, 称L 为H 在G 中的补子群. 按Hall 的术语, 称群G 称为可补的, 如果G 的每个子群H 都是 G 的可补子群. 群G 的正规子群N 被称为G 的初等交换剩余, 如果N 是G 的最小的正规子群使得G/N 是初 ϵ ϵ 等交换群. 我们把G 的初等交换剩余记为G . 显然G = ∩{N G | G/N 初等交换}. 英文引用格式 李才恒等 每个子群都 正规的有限群 定理 设G 是有限群. 如果G 是CN- 群, 那么G 是超可解的. 并且, 如下条件等价: (i) G 是CN- 群; ′ ′ (ii) G/(Φ(G)G ) 可补且Φ(G)G 的每个子群在G 中正规; (iii) Gϵ 的每个子群在G 中正规; (iv) G 可解且c- 正规在G 中传递. 当G 是p- 群时, 我们有一个简单的判别法: 定理 设P 是p- 群, 这里p 是奇数, 那么P 是CN- 群当且仅当Φ(P ) Z (P ). 我们还得到一些关于CN- 群的更为细致的结果. 预备知识 在本节中, 我们将证明一些在主要定理中要用到的结果. 引理 如果G 是CN- 群且M G, 那么 Φ(M ) 的每个子群H 在G 中的正规. 证明 因为H 在 G 中c- 正规, 所以存在 N G 使得 HN = G 且 H ∩ N HG , 所以 M = H (M ∩ N ). 由于H Φ(M ), M ∩ N