Categorizing finite p-groups by the order of their non-abelian tensor squares
Abstract
Let G be a non-abelian d-generator finite p-group of order pn. Ellis and McDermott in 1996 proved that |G⊗G|≤pnd. In the present paper, we improve this upper bound and show that |G⊗G|≤p(n−1)d+2. Also the p-groups with derived subgroup of order p which attain the bound are obtained. Among other results, we classify all finite p-groups of order pn, for n≤7, with |G⊗G|=pnm−1, where |Gab|=pm.
Communicated by S. Sidki