<p>Let <i>G</i> be a finite group and <i>H</i> a subgroup of <i>G</i>. We say that <i>H</i> is an <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>-subgroup of <i>G</i> if <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(N_{G}(H)\cap H^{g}\le H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>N</mi> <mi>G</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <msup> <mi>H</mi> <mi>g</mi> </msup> <mo>≤</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(g\in G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation>. The subgroup <i>H</i> is called an <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {H}N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">H</mi> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation>-subgroup of <i>G</i> if there exists a normal subgroup <i>T</i> with <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\((|H|,|G:HT|)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi>H</mi> <mo stretchy="false">|</mo> <mo>,</mo> <mo stretchy="false">|</mo> <mi>G</mi> <mo>:</mo> <mi>H</mi> <mi>T</mi> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(N_{T}(H)\cap H^{g}\le H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>N</mi> <mi>T</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <msup> <mi>H</mi> <mi>g</mi> </msup> <mo>≤</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(g\in G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation>. In this paper, some new criteria for a group <i>G</i> to be <i>p</i>-nilpotent and supersolvable are given when certain subgroups of prime power orders are <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {H}N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">H</mi> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation>-subgroups of <i>G</i>. Our results improve and generalize some recent results in the literature.</p>

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

Finite groups with \(\mathcal {H}N\)-subgroups

  • M. Ramadan

摘要

Let G be a finite group and H a subgroup of G. We say that H is an \(\mathcal {H}\) H -subgroup of G if \(N_{G}(H)\cap H^{g}\le H\) N G ( H ) H g H for all \(g\in G\) g G . The subgroup H is called an \(\mathcal {H}N\) H N -subgroup of G if there exists a normal subgroup T with \((|H|,|G:HT|)=1\) ( | H | , | G : H T | ) = 1 such that \(N_{T}(H)\cap H^{g}\le H\) N T ( H ) H g H for all \(g\in G\) g G . In this paper, some new criteria for a group G to be p-nilpotent and supersolvable are given when certain subgroups of prime power orders are \(\mathcal {H}N\) H N -subgroups of G. Our results improve and generalize some recent results in the literature.