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

TL;DR

This paper explicitly determines the automorphism groups of certain finite 2-groups derived from the Macdonald group, providing detailed formulas and structural insights into these automorphism groups.

Contribution

It introduces explicit calculations and formulas for automorphism groups of specific finite 2-groups associated with the Macdonald group, a novel detailed analysis in this context.

Findings

Automorphism groups of J, H, and K are explicitly determined.

Detailed multiplication, power, and commutator formulas are provided.

Structural properties of these automorphism groups are elucidated.

Abstract

We consider the Macdonald group $\langle x,y\,|\, x^{[x,y]}=x^{1+2^m\ell},\, y^{[y,x]}=y^{1+2^m\ell}\rangle$ and its Sylow 2-subgroup $J=\langle 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\rangle$, where $m\geq 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)$.