“具有幂零局部子群的有限群”一文的注记.pdf

Journal of Mathematical Research Exposition Aug., 2008, Vol. 28, No. 3, pp. 609–612 DOI:10.3770/j.issn:1000-341X.2008.03.021 Http:// Notes on “Finite Groups with Nilpotent Local Subgroups” LI Yang Ming (Department of Mathematics, Guangdong College of Education, Guangdong 510310, China) (E-mail: liyangming@) Abstract A finite group G is called PN-group if G is not nilpotent and for every p-subgroup P of G, there holds that either P is normal in G or P ⊆ Z∞(G) or NG (P ) is nilpotent, ∀p ∈ π (G). In this paper, we prove that PN-group is meta-nilpotent, especially, PN-group is solvable. In addition, we give an elementary, intuitionistic, compact proof of the structure theorem of PN- group. Keywords PN-group; meta-nilpotent group; structure theorem. Document code A MR(2000) Subject Classification 20D10; 20D20 Chinese Library Classification O152.1 All groups considered in this paper will be finite. We use conventional notions and notation, as in [1]. G always denotes a finite group, π (G) denotes the set of all primes dividing the order of G, Gp is a Sylow p-subgroup of G for some p ∈ π (G), Z∞ (G) is the supercenter of G, F (G) is the Fitting subgroup of G and N is the class of nilpotent groups. It is well-known that G is nilpotent if and only if every Sylow-subgroup of G is normal in G and G is nilpotent if and only if G = Z∞ (G). By the results in [2], we know that G is nilpotent if and only if the normalizer of each Sylow-subgroup of G is nilpotent. Hence, the following question arises: Suppose for ∀p ∈ π (G) and for any p-subgoup P of G, there holds that either P is normal in G or P ⊆ Z∞ (G) or NG (P ) is niloptent. Is that G nilpotent? The answer is negative