Suppose that G is a finite p-group.If all subgroups of index p^(t)of G are abelian and at least one subgroup of index p^(t−1)of G is not abelian,then G is called an A_(t)-group.We useA0-group to denote an abelian grou...Suppose that G is a finite p-group.If all subgroups of index p^(t)of G are abelian and at least one subgroup of index p^(t−1)of G is not abelian,then G is called an A_(t)-group.We useA0-group to denote an abelian group.From the definition,we know every finite non-abelian p-group can be regarded as an A_(t)-group for some positive integer t.A_(1)-groups and A_(2)-groups have been classified.Classifying A_(3)-groups is an old problem.In this paper,some general properties about A_(t)-groups are given.A_(3)-groups are completely classified up to isomorphism.Moreover,we determine the Frattini subgroup,the derived subgroup and the center of every A_(3)-group,and give the number of A_(1)-subgroups and the triple(μ_(0),μ_(1),μ_(2))of every A_(3)-group,whereμi denotes the number of A_(i)-subgroups of index p of A_(3)-groups.展开更多
基金This work was supported by NSFC(Nos.11371232,11471198)by NSF of Shanxi Province(No.2013011001).
文摘Suppose that G is a finite p-group.If all subgroups of index p^(t)of G are abelian and at least one subgroup of index p^(t−1)of G is not abelian,then G is called an A_(t)-group.We useA0-group to denote an abelian group.From the definition,we know every finite non-abelian p-group can be regarded as an A_(t)-group for some positive integer t.A_(1)-groups and A_(2)-groups have been classified.Classifying A_(3)-groups is an old problem.In this paper,some general properties about A_(t)-groups are given.A_(3)-groups are completely classified up to isomorphism.Moreover,we determine the Frattini subgroup,the derived subgroup and the center of every A_(3)-group,and give the number of A_(1)-subgroups and the triple(μ_(0),μ_(1),μ_(2))of every A_(3)-group,whereμi denotes the number of A_(i)-subgroups of index p of A_(3)-groups.
