<p>Let&#xa0;<InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ \pi $</EquationSource> </InlineEquation> be a&#xa0;set of&#xa0;primes.A&#xa0;finite group is said to be a&#xa0;<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ \pi $</EquationSource> </InlineEquation>-group if all prime divisors of&#xa0;its order belong to&#xa0;<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ \pi $</EquationSource> </InlineEquation>.Following Wielandt, we say that for&#xa0;a&#xa0;finite group&#xa0;<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">$ G $</EquationSource> </InlineEquation> the <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ \pi $</EquationSource> </InlineEquation>-Sylow theorem holds if all maximal <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ \pi $</EquationSource> </InlineEquation>-subgroups of&#xa0;<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">$ G $</EquationSource> </InlineEquation> are conjugate;if the <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ \pi $</EquationSource> </InlineEquation>-Sylow theorem holds for&#xa0;every subgroup of&#xa0;<InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">$ G $</EquationSource> </InlineEquation>, then&#xa0;<InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">$ G $</EquationSource> </InlineEquation> is said to satisfy the strong <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ \pi $</EquationSource> </InlineEquation>-Sylow theorem.The question of&#xa0;which finite nonabelian simple groups satisfy the strong <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ \pi $</EquationSource> </InlineEquation>-Sylow theorem was posed by Wielandt in&#xa0;1979.This paper completes an&#xa0;arithmetic description of&#xa0;the groups of&#xa0;Lie type of&#xa0;rank&#xa0;<InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">$ 1 $</EquationSource> </InlineEquation> that satisfy the strong <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1589_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ \pi $</EquationSource> </InlineEquation>-Sylow theorem.</p>

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

The Strong \( \pi \)-Sylow Theorem for Finite Simple Groups of Lie Type of Rank \( 1 \)

  • V. D. Shepelev

摘要

Let  $ \pi $ be a set of primes.A finite group is said to be a  $ \pi $ -group if all prime divisors of its order belong to  $ \pi $ .Following Wielandt, we say that for a finite group  $ G $ the $ \pi $ -Sylow theorem holds if all maximal $ \pi $ -subgroups of  $ G $ are conjugate;if the $ \pi $ -Sylow theorem holds for every subgroup of  $ G $ , then  $ G $ is said to satisfy the strong $ \pi $ -Sylow theorem.The question of which finite nonabelian simple groups satisfy the strong $ \pi $ -Sylow theorem was posed by Wielandt in 1979.This paper completes an arithmetic description of the groups of Lie type of rank  $ 1 $ that satisfy the strong $ \pi $ -Sylow theorem.