The automorphism group of finite $2$-groups associated to the Macdonald group

Abstract

We consider the Macdonald group $⟨x,y|x^{[x,y]}=x^{1+2^m\ell },y^{[y,x]}=y^{1+2^m\ell }⟩$ and its Sylow 2-subgroup $J=⟨x,y|x^{[x,y]}=x^{1+2^m\ell },y^{[y,x]}=y^{1+2^m\ell },x^{2^{3m-1}}=y^{2^{3m-1}}=1⟩$, where $m\ge 1$ and $\ell$ is odd. Then $J$ has order $2^{7m-3}$, and nilpotency class 5 if $m>1$ and 3 if $m=1$. We determine the automorphism group of the 2-groups $J$, $H=J/Z(J)$ and $K=H/Z(H)$, where $|H|=2^{6m-3}$ and $|K|=2^{5m-3}$. Explicit multiplication, power, and commutator formulas for $J$, $H$, and $K$ are given, and used in the calculation of $\mathrm{Aut}(J)$, $\mathrm{Aut}(H)$, and $\mathrm{Aut}(K)$.