English

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

Group Theory 2024-01-31 v2

Abstract

We consider the Macdonald group x,yx[x,y]=x1+2m,y[y,x]=y1+2m\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=x,yx[x,y]=x1+2m,y[y,x]=y1+2m,x23m1=y23m1=1J=\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 m1m\geq 1 and \ell is odd. Then JJ has order 27m32^{7m-3}, and nilpotency class 5 if m>1m>1 and 3 if m=1m=1. We determine the automorphism group of the 2-groups JJ, H=J/Z(J)H=J/Z(J) and K=H/Z(H)K=H/Z(H), where H=26m3|H|=2^{6m-3} and K=25m3|K|=2^{5m-3}. Explicit multiplication, power, and commutator formulas for JJ, HH, and KK are given, and used in the calculation of Aut(J)\mathrm{Aut}(J), Aut(H)\mathrm{Aut}(H), and Aut(K)\mathrm{Aut}(K).

Keywords

Cite

@article{arxiv.2308.03510,
  title  = {The automorphism group of finite $2$-groups associated to the Macdonald group},
  author = {Alexander Montoya Ocampo and Fernando Szechtman},
  journal= {arXiv preprint arXiv:2308.03510},
  year   = {2024}
}