<p>Every finite simple group can be generated by two elements and, in fact, every nontrivial element is contained in a generating pair. Groups with this property are said to be <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({3 \over 2}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mfrac> <mn>3</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>-generated, and the finite <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({3 \over 2}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mfrac> <mn>3</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>-generated groups were recently classified. Turning to infinite groups, in this paper, we prove that the finitely presented simple group <i>T</i> of Thompson is <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({3 \over 2}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mfrac> <mn>3</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>-generated. Moreover, we exhibit an element <i>ζ</i> ∈ <i>T</i> such that for any nontrivial <i>α</i> ∈ <i>T</i>, there exists <i>γ</i> ∈ <i>T</i> such that 〈<i>α</i>, <i>ζ</i><sup><i>γ</i></sup>〉 = <i>T</i>.</p>

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

Thompson’s group T is \({3 \over 2}\)-generated

  • Collin Bleak,
  • Scott Harper,
  • Rachel Skipper

摘要

Every finite simple group can be generated by two elements and, in fact, every nontrivial element is contained in a generating pair. Groups with this property are said to be \({3 \over 2}\) 3 2 -generated, and the finite \({3 \over 2}\) 3 2 -generated groups were recently classified. Turning to infinite groups, in this paper, we prove that the finitely presented simple group T of Thompson is \({3 \over 2}\) 3 2 -generated. Moreover, we exhibit an element ζT such that for any nontrivial αT, there exists γT such that 〈α, ζγ〉 = T.