关于有限可解群的非零元素.pdfVIP

第 49卷 第 2期 厦门大学学报 (自然科学版) Vo1．49 No．2 2010年 3月 JournalofXiamenUniversity(NaturaIScience) M lilt．2010 关于有限可解群的非零元素 何立国，李 宏 (沈阳工业大学数学系，辽宁 沈阳 110870) 摘要 ：设G是一个有限可解群．若使G的所有不可约特征标都取非零值，则称G中的元素g为G的非零元素．利用非 零元的生成群及置换群等方法，证明了若G是幂零群被超可解群的扩张，则这个猜想对 G成立．并且将这一结果与已知 的群论结果结合，证明了可解群 G若有一个特征标刚好在一个共轭类上取零，则猜想成立；及一些相关结论．同时还对这 个猜想的极小反例 的结构进行了描述． 关键词：可解群；特征标；超可解群；非零元素 中圈分类号 ：0152．1 文献标识码：A 文章编号 ：0438—0479(2010)02—0160—03 设 G表示一个有限可解群 ，Irr(G)表示 G的不可 设 (G)一z}x(z)≠O，所有 x6Irr(G)，所有 G 约特标全集．设 x∈Dr(G)．如果 g∈G满足 x(g)≠0， 的非零元生成的群． 那么称 g是x的一个非零元素；进一步若g是G的所 下面列出V(G)的一些性质． 有不可约特征标 的非零元素，则称 g是 G 的非零元 引理 1 假定 G是一个有限可解群．那么 素．在文献[1]中有猜想：可解群 G的所有非零元均在 (i)V(G)是 G的特征子群； G的极大幂零正规子群F(G)中．这个论断在文献[2] (ii)若 G是非交换群 ，则V(G)是 G的真子群； 中被称作 Isaacs-Navarro—Wolf猜想．在文献[1]中给 (iii)所有G的非零元在F(G)中当且仅当 (G)≤ 出了很多结果．例如，在其 TheoremD中证 明了：可解 F(G)； 群的非零元模 F(G)的象是 2一幂阶的；这一结果实际 (iv)如果 N是G的一个正规子群 ，则 (G／N)在 上表明这一猜想对奇阶群是成立的．同时在其 Theo— G中的原象包含 (G)． remB中还证明了：超可解群的全体非零元均在 F(G) 证明 设 是G 的一个 自同构，那么因为 ( 的中心z(F(G))中(这一结果显然表明，这一猜想对 (g))=x(g)，可得 g是G 的一个非零元素当且仅当 超可解群是对 的)，特别地，若 G是幂零群 ，则全体非 (g)是一个非零元 ，结论 (i)得证．设h是G的Fitting 零元在其 中心 Z(G)中．实际上 ，文献[1]给 出了更多 高 ，即G的Fitting序列的长度．若 ，z≥2，则由Theorem 的结果． 2．4[， (G)在G的上升 Fitting序列的倒数第二项 ，因 上面的后一结果使我们想到下列 问题 ：若 G是一 此它是 G的一个真子群；若 一 1，则G是一个幂零 个非超可解的可解群，但是 G的所有真子群是超可解 群，TheoremBc表明： (G)≤Z(G)G (因G是非交 的或所有真商群是超可解的，那么这一猜想对 G成立 换群)，结论 (ii)得证．结论 (iii)是显然 的．设 M／N—V 吗?我们在本文肯定 的回答 了这一 问题 ，实际上我们 (G／N)，则对于 G的任一非零元素g，gN 显然是G／N 证明了一个更一般的结论． 的一个非零元素，包含于M／N，因此我们得到g6M和 定理 1 假定 G是一个幂零群被超可解群的扩 (G)≤M，结论 (iv)得证． 张 ，