Assume that G is a finite non-abelian p-group.If G has an abelian maximal subgroup whose number of Generators is at least n,then G is called an M_(n)-group.For p=2,M_(2)-groups have been classified.For odd prime p,thi...Assume that G is a finite non-abelian p-group.If G has an abelian maximal subgroup whose number of Generators is at least n,then G is called an M_(n)-group.For p=2,M_(2)-groups have been classified.For odd prime p,this paper provides the isomorphism classification of M_(2)-groups,thereby achieving a complete classification of M_(2)-groups.展开更多
In this paper, the automorphism group of a generalized extraspecial p-group G is determined, where p is a prime number. Assume that |G| = p 2n+m and |ζG| = p m , where n 1 and m 2. (1) When p is odd, let Aut G G = {...In this paper, the automorphism group of a generalized extraspecial p-group G is determined, where p is a prime number. Assume that |G| = p 2n+m and |ζG| = p m , where n 1 and m 2. (1) When p is odd, let Aut G G = {α∈ AutG | α acts trivially on G }. Then Aut G G⊿AutG and AutG/Aut G G≌Z p-1 . Furthermore, (i) If G is of exponent p m , then Aut G G/InnG≌Sp(2n, p) × Z p m-1 . (ii) If G is of exponent p m+1 , then Aut G G/InnG≌ (K Sp(2n-2, p))×Z p m-1 , where K is an extraspecial p-group of order p 2n-1 . In particular, Aut G G/InnG≌ Z p × Z p m-1 when n = 1. (2) When p = 2, then, (i) If G is of exponent 2 m , then AutG≌ Sp(2n, 2) × Z 2 × Z 2 m-2 . In particular, when n = 1, |AutG| = 3 · 2 m+2 . None of the Sylow subgroups of AutG is normal, and each of the Sylow 2-subgroups of AutG is isomorphic to H K, where H = Z 2 × Z 2 × Z 2 × Z 2 m-2 , K = Z 2 . (ii) If G is of exponent 2 m+1 , then AutG≌ (I Sp(2n-2, 2)) × Z 2 × Z 2 m-2 , where I is an elementary abelian 2-group of order 2 2n-1 . In particular, when n = 1, |AutG| = 2 m+2 and AutG≌ H K, where H = Z 2 × Z 2 × Z 2 m-1 , K = Z 2 .展开更多
The automorphism group of G is determined, where G is a nonabelian p-group given by a central extension as 1→Zpm→G→Zp×…×Zp→1 such that its derived subgroup has order p.
Let G be a group. A subset X of G is said to be non-commuting if xy ≠ yx for any x, y ∈ X with x ≠ y. If {X}≥ IYI for any other non-commuting set Y in G, then X is said to be a maximal non-commuting set. In this p...Let G be a group. A subset X of G is said to be non-commuting if xy ≠ yx for any x, y ∈ X with x ≠ y. If {X}≥ IYI for any other non-commuting set Y in G, then X is said to be a maximal non-commuting set. In this paper, the bound for the cardinality of a maximal non-commuting set in a finite p-group G is determined, where G is a non-abelian p-group given by a central extension as1 → Zp→ G →Zp ×→ × Zp →1 and its derivedsubgroup has order p.展开更多
Based on a general theory of descendant trees of finite p-groups and the virtual periodicity isomorphisms between the branches of a coclass subtree, the behavior of algebraic invariants of the tree vertices and their ...Based on a general theory of descendant trees of finite p-groups and the virtual periodicity isomorphisms between the branches of a coclass subtree, the behavior of algebraic invariants of the tree vertices and their automorphism groups under these isomorphisms is described with simple transformation laws. For the tree of finite 3-groups with elementary bicyclic commutator qu-otient, the information content of each coclass subtree with metabelian main-line is shown to be finite. As a striking novelty in this paper, evidence is provided of co-periodicity isomorphisms between coclass forests which reduce the information content of the entire metabelian skeleton and a significant part of non-metabelian vertices to a finite amount of data.展开更多
Let p be a prime. For any finite p-group G, the deep transfers T H,G ' : H / H ' → G ' / G " from the maximal subgroups H of index (G:H) = p in G to the derived subgroup G ' are introduced as an ...Let p be a prime. For any finite p-group G, the deep transfers T H,G ' : H / H ' → G ' / G " from the maximal subgroups H of index (G:H) = p in G to the derived subgroup G ' are introduced as an innovative tool for identifying G uniquely by means of the family of kernels ùd(G) =(ker(T H,G ')) (G: H) = p. For all finite 3-groups G of coclass cc(G) = 1, the family ùd(G) is determined explicitly. The results are applied to the Galois groups G =Gal(F3 (∞)/ F) of the Hilbert 3-class towers of all real quadratic fields F = Q(√d) with fundamental discriminants d > 1, 3-class group Cl3(F) □ C3 × C3, and total 3-principalization in each of their four unramified cyclic cubic extensions E/F. A systematic statistical evaluation is given for the complete range 1 d 7, and a few exceptional cases are pointed out for 1 d 8.展开更多
The automorphism group of a class of nilpotent groups with infinite cyclic derived subgroups is determined. Let G be the direct product of a generalized extraspecial E-group E and a free abelian group A with rank m, w...The automorphism group of a class of nilpotent groups with infinite cyclic derived subgroups is determined. Let G be the direct product of a generalized extraspecial E-group E and a free abelian group A with rank m, where E={{1 kα1 kα2…kαn aα+1 0 1 0 … 0 αn+2 0 0 0 … 1 α2n+1 0 0 0 …0 1}}αi∈Z,i=1,2,…,2n+1},where k is a positive integer. Let AutG'G be the normal subgroup of AutG consisting of all elements of AutG which act trivially on the derived subgroup G' of G, and Autc G/ζG,ζGG be the normal subgroup of AutG consisting of all central automorphisms of G which also act trivially on the center ζG of G. Then (i) The extension →AutG'G→AutG→AutG'→1 is split.(ii)AutG'G/AutG/ζG,ζGG≈Sp(2n,Z)×(GL(m,Z)×(Z)m),(iii)Aut GζG,ζGG/InnG≈(Zk)2n+(Z)2nm.展开更多
文摘Assume that G is a finite non-abelian p-group.If G has an abelian maximal subgroup whose number of Generators is at least n,then G is called an M_(n)-group.For p=2,M_(2)-groups have been classified.For odd prime p,this paper provides the isomorphism classification of M_(2)-groups,thereby achieving a complete classification of M_(2)-groups.
基金supported by National Natural Science Foundation of China (Grant No.10671058)Doctor Foundation of Henan University of Technology (Grant No. 2009BS029)
文摘In this paper, the automorphism group of a generalized extraspecial p-group G is determined, where p is a prime number. Assume that |G| = p 2n+m and |ζG| = p m , where n 1 and m 2. (1) When p is odd, let Aut G G = {α∈ AutG | α acts trivially on G }. Then Aut G G⊿AutG and AutG/Aut G G≌Z p-1 . Furthermore, (i) If G is of exponent p m , then Aut G G/InnG≌Sp(2n, p) × Z p m-1 . (ii) If G is of exponent p m+1 , then Aut G G/InnG≌ (K Sp(2n-2, p))×Z p m-1 , where K is an extraspecial p-group of order p 2n-1 . In particular, Aut G G/InnG≌ Z p × Z p m-1 when n = 1. (2) When p = 2, then, (i) If G is of exponent 2 m , then AutG≌ Sp(2n, 2) × Z 2 × Z 2 m-2 . In particular, when n = 1, |AutG| = 3 · 2 m+2 . None of the Sylow subgroups of AutG is normal, and each of the Sylow 2-subgroups of AutG is isomorphic to H K, where H = Z 2 × Z 2 × Z 2 × Z 2 m-2 , K = Z 2 . (ii) If G is of exponent 2 m+1 , then AutG≌ (I Sp(2n-2, 2)) × Z 2 × Z 2 m-2 , where I is an elementary abelian 2-group of order 2 2n-1 . In particular, when n = 1, |AutG| = 2 m+2 and AutG≌ H K, where H = Z 2 × Z 2 × Z 2 m-1 , K = Z 2 .
基金Project supported by NSFC (11371124, 11301150) and the Natural Science Foundation of Henan Province of China (142300410134, 162300410066).
文摘The automorphism group of G is determined, where G is a nonabelian p-group given by a central extension as 1→Zpm→G→Zp×…×Zp→1 such that its derived subgroup has order p.
基金Project supported by the NSFC (11301150, 11371124), Natural Science Foundation of Henan Province of China (142300410134), Program for Innovation Talents of Science and Technology of Henan University of Technology (11CXRC19).
文摘Let G be a group. A subset X of G is said to be non-commuting if xy ≠ yx for any x, y ∈ X with x ≠ y. If {X}≥ IYI for any other non-commuting set Y in G, then X is said to be a maximal non-commuting set. In this paper, the bound for the cardinality of a maximal non-commuting set in a finite p-group G is determined, where G is a non-abelian p-group given by a central extension as1 → Zp→ G →Zp ×→ × Zp →1 and its derivedsubgroup has order p.
文摘Based on a general theory of descendant trees of finite p-groups and the virtual periodicity isomorphisms between the branches of a coclass subtree, the behavior of algebraic invariants of the tree vertices and their automorphism groups under these isomorphisms is described with simple transformation laws. For the tree of finite 3-groups with elementary bicyclic commutator qu-otient, the information content of each coclass subtree with metabelian main-line is shown to be finite. As a striking novelty in this paper, evidence is provided of co-periodicity isomorphisms between coclass forests which reduce the information content of the entire metabelian skeleton and a significant part of non-metabelian vertices to a finite amount of data.
文摘Let p be a prime. For any finite p-group G, the deep transfers T H,G ' : H / H ' → G ' / G " from the maximal subgroups H of index (G:H) = p in G to the derived subgroup G ' are introduced as an innovative tool for identifying G uniquely by means of the family of kernels ùd(G) =(ker(T H,G ')) (G: H) = p. For all finite 3-groups G of coclass cc(G) = 1, the family ùd(G) is determined explicitly. The results are applied to the Galois groups G =Gal(F3 (∞)/ F) of the Hilbert 3-class towers of all real quadratic fields F = Q(√d) with fundamental discriminants d > 1, 3-class group Cl3(F) □ C3 × C3, and total 3-principalization in each of their four unramified cyclic cubic extensions E/F. A systematic statistical evaluation is given for the complete range 1 d 7, and a few exceptional cases are pointed out for 1 d 8.
基金Supported by NSFC(Grant Nos.11771129 and 11601121)Henan Provincial Natural Science Foundation of China(Grant No.162300410066)Program for Innovation Talents of Science and Technology of Henan University of Technology(Grant No.11CXRC19)
文摘The automorphism group of a class of nilpotent groups with infinite cyclic derived subgroups is determined. Let G be the direct product of a generalized extraspecial E-group E and a free abelian group A with rank m, where E={{1 kα1 kα2…kαn aα+1 0 1 0 … 0 αn+2 0 0 0 … 1 α2n+1 0 0 0 …0 1}}αi∈Z,i=1,2,…,2n+1},where k is a positive integer. Let AutG'G be the normal subgroup of AutG consisting of all elements of AutG which act trivially on the derived subgroup G' of G, and Autc G/ζG,ζGG be the normal subgroup of AutG consisting of all central automorphisms of G which also act trivially on the center ζG of G. Then (i) The extension →AutG'G→AutG→AutG'→1 is split.(ii)AutG'G/AutG/ζG,ζGG≈Sp(2n,Z)×(GL(m,Z)×(Z)m),(iii)Aut GζG,ζGG/InnG≈(Zk)2n+(Z)2nm.