<p>The main result of the present paper is bounded elementary generation of the Steinberg groups <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_812_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{St}\hspace{0.55542pt}(\Phi ,R)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>St</mtext> <mspace width="0.55542pt" /> <mo stretchy="false">(</mo> <mi mathvariant="normal">Φ</mi> <mo>,</mo> <mi>R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for simply laced root systems <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_812_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation> of rank <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_812_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\geqslant 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>⩾</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and arbitrary Dedekind rings of arithmetic type. Also, we prove bounded generation of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_812_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="109" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{St}\hspace{0.55542pt}(\Phi ,\mathbb {F}_{q}[\hspace{0.55542pt}t,t^{-1}])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>St</mtext> <mspace width="0.55542pt" /> <mo stretchy="false">(</mo> <mi mathvariant="normal">Φ</mi> <mo>,</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mspace width="0.55542pt" /> <mi>t</mi> <mo>,</mo> <msup> <mi>t</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for all root systems <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_812_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation>, and bounded generation of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_812_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{St}\hspace{0.55542pt}(\Phi ,\mathbb {F}_{q}[\hspace{0.55542pt}t])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>St</mtext> <mspace width="0.55542pt" /> <mo stretchy="false">(</mo> <mi mathvariant="normal">Φ</mi> <mo>,</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mspace width="0.55542pt" /> <mi>t</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for all root systems <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_812_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi \ne {\textsf{A}}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Φ</mi> <mo>≠</mo> <msub> <mi mathvariant="sans-serif">A</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. The proofs are based on a theorem on bounded elementary generation for the corresponding Chevalley groups, where we provide uniform bounds.</p>

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

Bounded generation of Steinberg groups over Dedekind rings of arithmetic type

  • Boris Kunyavskiĭ,
  • Andrei Lavrenov,
  • Eugene Plotkin,
  • Nikolai Vavilov

摘要

The main result of the present paper is bounded elementary generation of the Steinberg groups \(\textrm{St}\hspace{0.55542pt}(\Phi ,R)\) St ( Φ , R ) for simply laced root systems \(\Phi \) Φ of rank \(\geqslant 2\) 2 and arbitrary Dedekind rings of arithmetic type. Also, we prove bounded generation of \(\textrm{St}\hspace{0.55542pt}(\Phi ,\mathbb {F}_{q}[\hspace{0.55542pt}t,t^{-1}])\) St ( Φ , F q [ t , t - 1 ] ) for all root systems \(\Phi \) Φ , and bounded generation of \(\textrm{St}\hspace{0.55542pt}(\Phi ,\mathbb {F}_{q}[\hspace{0.55542pt}t])\) St ( Φ , F q [ t ] ) for all root systems \(\Phi \ne {\textsf{A}}_1\) Φ A 1 . The proofs are based on a theorem on bounded elementary generation for the corresponding Chevalley groups, where we provide uniform bounds.