关于有限群的两个不确定群.docxVIP

关于有限群的两个不确定群 对于任何组g，使用z*（g）表示g的中心（hyperce），使用+（g）表示g的所有有限正式组形成的组。通常，使用文献符号和术语。 我们知道, 对有限群G来说,G的性质常由其2元生成子群的性质确定, 例如见文献.在无限群的情形, 情况肯定要复杂得多.在其有名的文献里, P.H.Kropholler证明了一个深刻的定理:若有限生成的可解群G与圈积ZpZ无关, 即G没有一个子群能以ZpZ为同态象, 则G是可解的minimax群.根据这个定理, 文献给出了下面的推论: 设G是个有限生成的可解群, 若G满足下列条件之一: (ⅰ)G的2-生成的子群都是minimax; (ⅱ)G/Z*(G) 是minimax; (ⅲ)G/Δ+(G) 是minimax, 则G是个可解的minimax群. 在文献里, 我们对群的极小条件、极大条件得到了类似的结果, 证明了下面的两个结论. Ⅰ 设G是个有限生成的超Abel (hyperabelian) 群, 若G满足下列条件之一: (ⅰ)G的2-生成的子群满足子群的极小条件; (ⅱ)G是挠群且G/Z*(G) 满足子群的极小条件; (ⅲ)G/Δ+(G) 满足子群的极小条件, 则G是个有限可解群. Ⅱ 设G是个有限生成的超Abel群, 若G满足下列条件之一: (ⅰ)G的2-生成的子群满足子群的极大条件; (ⅱ)G/Z*(G) 满足子群的极大条件; (ⅲ)G/Δ+(G) 满足子群的极大条件; 则G是个多重循环群. 现在我们对有限生成的hyper- (abelian or finite) 群及常见的群论性质来讨论上述的类似问题, 所得定理推广了文献的全部结果. 我们称群G为hyper- (abelian or finite) 群, 如果G的每个商群或者包含一个正规Abel子群, 或者包含一个正规有限子群. 定理1每个有限生成的hyper- (abelian or finite) 挠群是有限群. 定理1的证明设G是个有限生成的hyper- (abelian or finite) 挠群, 若G是个无限群, 则可证明对G的任意正规子群的升链{Nλ|λ∈Λ,G/Nλ是无限的}, 商群G/N也是无限的, 这里Ν=∪λ∈ΛΝλN=∪λ∈ΛNλ.这样根据Zorn引理可设G是个无限群, 但G的每个真商群都是有限群.由条件可知存在1≠F?G, 使F是个Abel群或有限群, 且G/F是有限群, 从而F是个有限生成的挠群,F必是有限群,G也是有限群, 矛盾, 这表明G是个有限群. 明显地, 这个定理推广了前面的结论Ⅰ.根据这个定理, 我们立即得到下面的推论. 推论1每个有限生成的超Abel挠群是有限可解群.特别地, 每个有限生成的可解挠群是有限群. 推论2超有限 (hyperfinite) 群是局部有限群. 这些推论是无限群里的常用结果. 定理2设G是个有限生成的hyper- (abelian or finite) 群, 若G满足下列条件之一: (ⅰ)G的2-生成的子群满足了子群的极大条件; (ⅱ)G/Z*(G) 满足子群的极大条件; (ⅲ)G/Δ+(G) 满足子群的极大条件, 则G是个polycyclic-by-finite群. 显然, 这个结果包含了前面的结论Ⅱ. 定理2的证明我们在文献的基础上来完成 (ⅰ) 的证明.由于polycyclic-by-finite群肯定是有限表现的, 当G不是个polycyclic-by-finite群时, 根据Zorn引理可设G的每个真商群都是polycyclic-by-finite群.依照假设条件, 存在1≠F?G, 使F是个有限群或Abel群, 且G/F是polycyclic-by-finite群.当F是有限群时, 从文献的基本知识知G肯定是polycyclic-by-finite群.当F是个Abel群时, 取G/F的多重循环子群G1/F, 使|G/F:G1/F|=|G:G1|∞.因G是有限生成的, 故G1是有限生成的可解群, 注意到假设条件对子群是封闭的,G1的2-生成的子群满足子群的极大条件,G1是个多重循环群 (见文献) , 于是G是polycyclic-by-finite群.上述推理证明了G是polycyclic-by-finite群. (ⅱ)G/Z*(G) 满足子群的极大条件, 它的每个子群都是有限生成的.记ˉG=G/Ζ*(G)Gˉˉˉ=G/Z?(G), 易见ˉGGˉˉˉ是个有限生成的hyper- (abelian or finite) 群, 这样ˉGGˉˉˉ有个有限正规列ˉG=Η0＞Η1＞?＞Ηn=1Gˉˉˉ=H0＞H1＞?＞Hn=1, 其每个商因子或为有限群, 或为有限生成的Abel群, 这样由文献知ˉG=G/Ζ*(G)Gˉˉˉ=G/Z?(G)是polyc