<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1329_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="160" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> <mo>=</mo> <msub> <mi>G</mi> <mn>1</mn> </msub> <mo>∗</mo> <mo>…</mo> <mo>∗</mo> <msub> <mi>G</mi> <mi>k</mi> </msub> <mo>∗</mo> <mi>F</mi> </math></EquationSource> <EquationSource Format="TEX">$G=G_{1}\ast \dots \ast G_{k}\ast F$</EquationSource> </InlineEquation> be a countable group which splits as a free product, where all groups <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1329_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>i</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{i}$</EquationSource> </InlineEquation> are freely indecomposable and not isomorphic to ℤ, and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1329_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>F</mi> </math></EquationSource> <EquationSource Format="TEX">$F$</EquationSource> </InlineEquation> is a finitely generated free group. If for all <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1329_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>i</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>k</mi> <mo stretchy="false">}</mo> </math></EquationSource> <EquationSource Format="TEX">$i\in \{1,\dots ,k\}$</EquationSource> </InlineEquation>, both <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1329_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>i</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{i}$</EquationSource> </InlineEquation> and its outer automorphism group <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1329_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mtext>Out</mtext> <mo stretchy="false">(</mo> <msub> <mi>G</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\text{Out}(G_{i})$</EquationSource> </InlineEquation> satisfy the Tits alternative, then <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1329_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mtext>Out</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\text{Out}(G)$</EquationSource> </InlineEquation> satisfies the Tits alternative. As an application, we prove that the Tits alternative holds for outer automorphism groups of right-angled Artin groups, and of torsion-free groups that are hyperbolic relative to a finite family of virtually polycyclic groups.</p>

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

The Tits alternative for the automorphism group of a free product

  • Camille Horbez

摘要

Let G = G 1 G k F $G=G_{1}\ast \dots \ast G_{k}\ast F$ be a countable group which splits as a free product, where all groups G i $G_{i}$ are freely indecomposable and not isomorphic to ℤ, and F $F$ is a finitely generated free group. If for all i { 1 , , k } $i\in \{1,\dots ,k\}$ , both G i $G_{i}$ and its outer automorphism group Out ( G i ) $\text{Out}(G_{i})$ satisfy the Tits alternative, then Out ( G ) $\text{Out}(G)$ satisfies the Tits alternative. As an application, we prove that the Tits alternative holds for outer automorphism groups of right-angled Artin groups, and of torsion-free groups that are hyperbolic relative to a finite family of virtually polycyclic groups.