We announce proofs of a number of theorems concerning finite p-groups and nilpotent groups. These include: (1) the number of p-groups of class c on d generators of order pn satisfies a linear recurrence relation in n; (2) for fixed n the number of p-groups of order pn as one varies p is given by counting points on certain varieties mod p; (3) an asymptotic formula for the number of finite nilpo...

A uniform and constructive approach for the computation of resolutions and for (co)homology computations for any finite p-group is detailed. The resolutions we construct ([32]) are, as vector spaces, as small as the minimal resolution of IFp over the elementary abelian p-group of the same order as the group under study. Our implementations are based on the development of sophisticated algebraic...

We classify all finite p-groups G for which |Autc(G)| attains its maximum value, where Autc(G) denotes the group of all class preserving automorphisms of G.

A p-local finite group consists of a finite p-group S, together with a pair of categories which encode “conjugacy” relations among subgroups of S, and which are modelled on the fusion in a Sylow p-subgroup of a finite group. It contains enough information to define a classifying space which has many of the same properties as p-completed classifying spaces of finite groups. In this paper, we stu...

A subgroup H is said to be weakly c∗-normal in a group G if there exists a subnormal subgroup K of G such that HK = G and H ∩ K is s-quasinormally embedded in G. We give some results which generalize some authors’ results.

Let p be a prime number. This paper introduces the Roquette category Rp of finite p-groups, which is an additive tensor category containing all finite p-groups among its objects. In Rp, every finite p-group P admits a canonical direct summand ∂P , called the edge of P . Moreover P splits uniquely as a direct sum of edges of Roquette p-groups, and the tensor structure of Rp can be described in t...

A p-local finite group consists of a finite p-group S, together with a pair of categories which encode “conjugacy” relations among subgroups of S, and which are modelled on the fusion in a Sylow p-subgroup of a finite group. It contains enough information to define a classifying space which has many of the same properties as p-completed classifying spaces of finite groups. In this paper, we exa...

Of course, in that problem we have to take into account that the class sizes impose restrictions on the group structure. E.g. if the sizes are {1, p}, then the nilpotency class has to be 2. More precisely: the class sizes of a p-group G are {1, p} iff |G′| = p (Knoche; see also Theorem 3 below). But we can ask, e.g., if, given any set S ≠ {1, p} of p-powers, does there exist a group of class 3 ...

Every group is an outer automorphism group of a locally finite p-group. This extends an earlier result [3] about countable outer automorphism groups. It is also in sharp contrast to results concerning the existence of outer automorphisms of nilpotent groups in [6, 13, 14].