<p>In 2015, A.N.Skiba in [<CitationRef CitationID="CR1">1</CitationRef>] introduce definition: A subgroup <i>H</i> of <i>G</i> is said to be <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\sigma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-<i>subnormal</i> in <i>G</i> if there is a subgroup chain <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="225" /> </InlineMediaObject> <EquationSource Format="TEX">\(H=H_{0} \le H_{1} \le \cdots \le H_{t}=G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo>=</mo> <msub> <mi>H</mi> <mn>0</mn> </msub> <mo>≤</mo> <msub> <mi>H</mi> <mn>1</mn> </msub> <mo>≤</mo> <mo>⋯</mo> <mo>≤</mo> <msub> <mi>H</mi> <mi>t</mi> </msub> <mo>=</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation> such that either <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{i-1}\trianglelefteq H_{i}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mrow> <mi>i</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo>⊴</mo> <msub> <mi>H</mi> <mi>i</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{i}/(H_{i-1})_{H_{i}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mi>i</mi> </msub> <mo stretchy="false">/</mo> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>H</mi> <mrow> <mi>i</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <msub> <mi>H</mi> <mi>i</mi> </msub> </msub> </mrow> </math></EquationSource> </InlineEquation> is <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-primary for all <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(i=1, \ldots , t\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>t</mi> </mrow> </math></EquationSource> </InlineEquation>. Later, Wenbin Guo and A.N.Skiba in [<CitationRef CitationID="CR2">2</CitationRef>] introduce the definition of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-semipermutable: A subgroup <i>H</i> of <i>G</i> is said to be <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-<i>semipermutable</i> in <i>G</i> if <i>G</i> possesses a complete Hall <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-set <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(HA^{x}=A^{x}H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <msup> <mi>A</mi> <mi>x</mi> </msup> <mo>=</mo> <msup> <mi>A</mi> <mi>x</mi> </msup> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\in {{\mathcal {H}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>∈</mo> <mi mathvariant="script">H</mi> </mrow> </math></EquationSource> </InlineEquation> and all <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq16.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\in G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="127" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma (A)\cap \sigma (H)= \emptyset \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>∩</mo> <mi>σ</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi mathvariant="normal">∅</mi> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we present a new generalized supplemented definition: A subgroup <i>H</i> of <i>G</i> is said to be: <i>weakly</i> <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-<i>semipermutable</i> in <i>G</i> if there exists a <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-subnormal subgroup <i>T</i> of <i>G</i> such that <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq20.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(G=HT\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mi>H</mi> <mi>T</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq21.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\cap T\le H_{\overline{\sigma } G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo>∩</mo> <mi>T</mi> <mo>≤</mo> <msub> <mi>H</mi> <mrow> <mover> <mi>σ</mi> <mo>¯</mo> </mover> <mi>G</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq22.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{\overline{\sigma } G}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mrow> <mover> <mi>σ</mi> <mo>¯</mo> </mover> <mi>G</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> is the subgroup of <i>H</i> generated by all those subgroups of <i>H</i> which are <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-semipermutable in <i>G</i>. Also, the structure of a finite group with some weakly <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_927_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-semipermutable subgroups is investigated.</p>

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

On weakly \(\sigma \)-semipermutable subgroups of finite groups

  • Xinwei Wu,
  • Xianhua Li

摘要

In 2015, A.N.Skiba in [1] introduce definition: A subgroup H of G is said to be \({\sigma }\) σ -subnormal in G if there is a subgroup chain \(H=H_{0} \le H_{1} \le \cdots \le H_{t}=G\) H = H 0 H 1 H t = G such that either \(H_{i-1}\trianglelefteq H_{i}\) H i - 1 H i or \(H_{i}/(H_{i-1})_{H_{i}}\) H i / ( H i - 1 ) H i is \(\sigma \) σ -primary for all \(i=1, \ldots , t\) i = 1 , , t . Later, Wenbin Guo and A.N.Skiba in [2] introduce the definition of \(\sigma \) σ -semipermutable: A subgroup H of G is said to be \(\sigma \) σ -semipermutable in G if G possesses a complete Hall \(\sigma \) σ -set \({\mathcal {H}}\) H such that \(HA^{x}=A^{x}H\) H A x = A x H for all \(A\in {{\mathcal {H}}}\) A H and all \(x\in G\) x G such that \(\sigma (A)\cap \sigma (H)= \emptyset \) σ ( A ) σ ( H ) = . In this paper, we present a new generalized supplemented definition: A subgroup H of G is said to be: weakly \(\sigma \) σ -semipermutable in G if there exists a \(\sigma \) σ -subnormal subgroup T of G such that \(G=HT\) G = H T and \(H\cap T\le H_{\overline{\sigma } G}\) H T H σ ¯ G , where \(H_{\overline{\sigma } G}\) H σ ¯ G is the subgroup of H generated by all those subgroups of H which are \(\sigma \) σ -semipermutable in G. Also, the structure of a finite group with some weakly \(\sigma \) σ -semipermutable subgroups is investigated.