<p>For <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \in {\mathbb {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="292" /> </InlineMediaObject> <EquationSource Format="TEX">\(G(\beta )=\langle A,B\,|\, A^{[A,B]}=A,\, B^{[B,A]}=B^\beta \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">⟨</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mspace width="0.166667em" /> <mo stretchy="false">|</mo> <mspace width="0.166667em" /> <msup> <mi>A</mi> <mrow> <mo stretchy="false">[</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo stretchy="false">]</mo> </mrow> </msup> <mo>=</mo> <mi>A</mi> <mo>,</mo> <mspace width="0.166667em" /> <msup> <mi>B</mi> <mrow> <mo stretchy="false">[</mo> <mi>B</mi> <mo>,</mo> <mi>A</mi> <mo stretchy="false">]</mo> </mrow> </msup> <mo>=</mo> <msup> <mi>B</mi> <mi>β</mi> </msup> <mo stretchy="false">⟩</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the infinite Macdonald group, and set <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(C=[A,B]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>=</mo> <mo stretchy="false">[</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. Then <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(G(\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a nilpotent polycyclic group of the form <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle A\rangle \ltimes \langle B,C\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <mi>A</mi> <mo stretchy="false">⟩</mo> <mo>⋉</mo> <mo stretchy="false">⟨</mo> <mi>B</mi> <mo>,</mo> <mi>C</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation>, where <i>A</i> has infinite order. If <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \ne 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≠</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(G(\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is of class 3 and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle B,C\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <mi>B</mi> <mo>,</mo> <mi>C</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> is a finite metacyclic group of order <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\beta -1|^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">|</mo> <mi>β</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">|</mo> </mrow> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation>, an extension of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq10.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_{(\beta -1)^2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </msub> </math></EquationSource> </InlineEquation> by <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_{|\beta -1|}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mrow> <mo stretchy="false">|</mo> <mi>β</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">|</mo> </mrow> </msub> </math></EquationSource> </InlineEquation>, split except when <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\(v_2(\beta -1)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>v</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, while <i>G</i>(1) is the integral Heisenberg group, of class 2 and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle B,C\rangle \cong {\mathbb {Z}}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">⟨</mo> <mi>B</mi> <mo>,</mo> <mi>C</mi> <mo stretchy="false">⟩</mo> </mrow> <mo>≅</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>. We give a full description of the automorphism group of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(G(\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \ne 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≠</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq16.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="175" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\textrm{Aut}(G(\beta ))|=2(\beta -1)^4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mtext>Aut</mtext> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mo>=</mo> <mn>2</mn> <msup> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mn>4</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> and we exhibit an imbedding <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="229" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Aut}(G(\beta ))\hookrightarrow {\textrm{GL}}_4({\mathbb {Z}}/(\beta -1){\mathbb {Z}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Aut</mtext> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">↪</mo> <msub> <mtext>GL</mtext> <mn>4</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, but for the case <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \in \{-1,3\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>3</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> when 5 is required instead of 4. When <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq19.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>β</mi> </math></EquationSource> </InlineEquation> is even the automorphism group of <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle B,C\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <mi>B</mi> <mo>,</mo> <mi>C</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> can be obtained from the work of Bidwell and Curran [<CitationRef CitationID="CR3">3</CitationRef>], and we indicate which of their automorphisms extend to an automorphism of <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(G(\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In general, we give necessary and sufficient conditions for <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(G(\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> to be isomorphic to <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq23.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(G(\gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi>γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. When <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq24.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gcd (\beta -1,6)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">gcd</mo> <mo stretchy="false">(</mo> <mi>β</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>6</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we determine the automorphism group of <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq25.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="154" /> </InlineMediaObject> <EquationSource Format="TEX">\(L(\beta )=G(\beta )/\langle A^{\beta -1}\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>G</mi> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">⟨</mo> <msup> <mi>A</mi> <mrow> <mi>β</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">⟩</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which is a relative holomorph of <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle B,C\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <mi>B</mi> <mo>,</mo> <mi>C</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq27.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle A^{\beta -1}\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <msup> <mi>A</mi> <mrow> <mi>β</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> is a characteristic subgroup of <InlineEquation ID="IEq28"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(G(\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The map <InlineEquation ID="IEq29"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq29.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="178" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Aut}(G(\beta ))\rightarrow \textrm{Aut}(L(\beta ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Aut</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mtext>Aut</mtext> <mo stretchy="false">(</mo> <mi>L</mi> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is injective and <InlineEquation ID="IEq30"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq30.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Aut}(L(\beta ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Aut</mtext> <mo stretchy="false">(</mo> <mi>L</mi> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is an extension of the Heisenberg group over <InlineEquation ID="IEq31"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq31.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {Z}}/(\beta -1){\mathbb {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>β</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </math></EquationSource> </InlineEquation> direct product <InlineEquation ID="IEq32"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq32.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_{\beta -1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mrow> <mi>β</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>, by the holomorph of <InlineEquation ID="IEq33"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_641_Article_IEq32.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_{\beta -1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mrow> <mi>β</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The automorphism group of certain polycyclic groups

  • Khalid Benabdallah,
  • Agustín D’Alessandro,
  • Fernando Szechtman

摘要

For \(\beta \in {\mathbb {Z}}\) β Z , let \(G(\beta )=\langle A,B\,|\, A^{[A,B]}=A,\, B^{[B,A]}=B^\beta \rangle \) G ( β ) = A , B | A [ A , B ] = A , B [ B , A ] = B β be the infinite Macdonald group, and set \(C=[A,B]\) C = [ A , B ] . Then \(G(\beta )\) G ( β ) is a nilpotent polycyclic group of the form \(\langle A\rangle \ltimes \langle B,C\rangle \) A B , C , where A has infinite order. If \(\beta \ne 1\) β 1 , then \(G(\beta )\) G ( β ) is of class 3 and \(\langle B,C\rangle \) B , C is a finite metacyclic group of order \(|\beta -1|^3\) | β - 1 | 3 , an extension of \(C_{(\beta -1)^2}\) C ( β - 1 ) 2 by \(C_{|\beta -1|}\) C | β - 1 | , split except when \(v_2(\beta -1)=1\) v 2 ( β - 1 ) = 1 , while G(1) is the integral Heisenberg group, of class 2 and \(\langle B,C\rangle \cong {\mathbb {Z}}^2\) B , C Z 2 . We give a full description of the automorphism group of \(G(\beta )\) G ( β ) . If \(\beta \ne 1\) β 1 , then \(|\textrm{Aut}(G(\beta ))|=2(\beta -1)^4\) | Aut ( G ( β ) ) | = 2 ( β - 1 ) 4 and we exhibit an imbedding \(\textrm{Aut}(G(\beta ))\hookrightarrow {\textrm{GL}}_4({\mathbb {Z}}/(\beta -1){\mathbb {Z}})\) Aut ( G ( β ) ) GL 4 ( Z / ( β - 1 ) Z ) , but for the case \(\beta \in \{-1,3\}\) β { - 1 , 3 } when 5 is required instead of 4. When \(\beta \) β is even the automorphism group of \(\langle B,C\rangle \) B , C can be obtained from the work of Bidwell and Curran [3], and we indicate which of their automorphisms extend to an automorphism of \(G(\beta )\) G ( β ) . In general, we give necessary and sufficient conditions for \(G(\beta )\) G ( β ) to be isomorphic to \(G(\gamma )\) G ( γ ) . When \(\gcd (\beta -1,6)=1\) gcd ( β - 1 , 6 ) = 1 , we determine the automorphism group of \(L(\beta )=G(\beta )/\langle A^{\beta -1}\rangle \) L ( β ) = G ( β ) / A β - 1 , which is a relative holomorph of \(\langle B,C\rangle \) B , C , and \(\langle A^{\beta -1}\rangle \) A β - 1 is a characteristic subgroup of \(G(\beta )\) G ( β ) . The map \(\textrm{Aut}(G(\beta ))\rightarrow \textrm{Aut}(L(\beta ))\) Aut ( G ( β ) ) Aut ( L ( β ) ) is injective and \(\textrm{Aut}(L(\beta ))\) Aut ( L ( β ) ) is an extension of the Heisenberg group over \({\mathbb {Z}}/(\beta -1){\mathbb {Z}}\) Z / ( β - 1 ) Z direct product \(C_{\beta -1}\) C β - 1 , by the holomorph of \(C_{\beta -1}\) C β - 1 .