Frattini子群是无限循环群的有限生成幂零群  

Finitely Generated Nilpotent Groups with Infinite Cyclic Frattini Subgroups

作　　者：刘合国[1] 吴佐慧[1] 张继平[2] 徐行忠[1] 廖军[1] 

机构地区：[1]湖北大学数学系,武汉430062 [2]北京大学数学科学学院,北京100871

出　　处：《数学学报（中文版）》2017年第3期465-474,共10页Acta Mathematica Sinica：Chinese Series

基　　金：国家自然科学基金资助项目(11131001;11371124;11501083;11401186)

摘　　要：完整地确定了Frattini子群是无限循环群的有限生成幂零群的结构,证明了下面的定理.设G是有限生成幂零群,则G的Frattini子群是无限循环群当且仅当G可以分解为G=S×F×T,其中F是秩为s的自由Abel群,T=Z_m_1⊕Zm_2⊕…⊕Z_m_u,m_1,m_2,…,m_u都是大于1的没有平方因子的自然数,m_1|m_2|…|m_u,■式中d_1,d_2,…,d_r都是正整数,d_1|d_2|…|d_r.进一步,(d_1,d2,…,d_r;s;m_1…,m_2,…,m_u)是群G的同构不变量,即若群H也是Frattini子群是无限循环群的有限生成幂零群,那么G同构于H的充要条件是它们有相同的不变量.The structure of the finitely generated nilpotent groups with infinite cyclic Frattini subgroups are completely determined. More exactly, the following theorem is proved. Let G be a finitely generated nilpotent group. Then the Prattini subgroup of G is infinite cyclic if and only if G has a decompositionG=S×F×T, where F is a flee abelian group of rank s, T=Zm1¤Zm2¤…¤Zmu,m1,m2...,mu are square free integers greater than 1,m1｜m2｜…｜mu,S={[10…000/d1α121…000/d2α130...000.../drα1r＋10…010/α1r＋2α2r＋2…αrr＋2αr＋1r＋21]｜αij∈Z} where d1,d2,...,dr are integers and d1｜d2｜…｜dr. Moreover, （d1,d2,...,dr;s;m1,m2,...,mu） is an isomorphic invariant of G. That is to say, if H is also a finitely generated nilpotent group with infinite cyclic Prattini subgroup, then G is isomorphic to H if and only if they have the same invariants.

关 键 词：幂零群 FRATTINI子群 中心 换位子群 不变量 

分 类 号：O152.1[理学—数学]