<p>For a finite group <i>G</i>, let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\psi (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ψ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the sum of the orders of its elements, and define the corresponding <i>normalized sum</i> as <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\psi '(G) :=\psi (G)/\psi (\mathcal {C}_{|G|})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ψ</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">C</mi> <mrow> <mo stretchy="false">|</mo> <mi>G</mi> <mo stretchy="false">|</mo> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {C}_{|G|}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mrow> <mo stretchy="false">|</mo> <mi>G</mi> <mo stretchy="false">|</mo> </mrow> </msub> </math></EquationSource> </InlineEquation> is the cyclic group of the same order as <i>G</i>. Inspired by analogous criteria for the classes of soluble, supersoluble, and nilpotent groups, our main result establishes that if&#xa0;<InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\psi '(G)&gt;\psi '(D_8) = \frac{19}{43}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ψ</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <msup> <mi>ψ</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>D</mi> <mn>8</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mn>19</mn> <mn>43</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, then <i>G</i> belongs to the well-understood class of groups with a modular subgroup lattice, whose structure theory allows us to readily identify all groups satisfying this bound. Moreover, the equality case is fully settled. Finally, our arguments lead to a complete description of all groups satisfying <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\psi '(G)&gt; \psi '(A_4) = \frac{31}{77}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ψ</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <msup> <mi>ψ</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mn>4</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mn>31</mn> <mn>77</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, thereby fully determining the groups covered by the supersolubility criterion of Baniasad Azad and Khosravi [<i>Canad. Math. Bull.</i> 65 (2022), 30–38], and thus providing a more complete answer to a corresponding conjecture of&#xa0;Tǎrnǎuceanu.</p>

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

Finite groups with a large normalized sum of element orders

  • Luigi Iorio,
  • Marco Trombetti

摘要

For a finite group G, let \(\psi (G)\) ψ ( G ) be the sum of the orders of its elements, and define the corresponding normalized sum as \(\psi '(G) :=\psi (G)/\psi (\mathcal {C}_{|G|})\) ψ ( G ) : = ψ ( G ) / ψ ( C | G | ) , where \(\mathcal {C}_{|G|}\) C | G | is the cyclic group of the same order as G. Inspired by analogous criteria for the classes of soluble, supersoluble, and nilpotent groups, our main result establishes that if  \(\psi '(G)>\psi '(D_8) = \frac{19}{43}\) ψ ( G ) > ψ ( D 8 ) = 19 43 , then G belongs to the well-understood class of groups with a modular subgroup lattice, whose structure theory allows us to readily identify all groups satisfying this bound. Moreover, the equality case is fully settled. Finally, our arguments lead to a complete description of all groups satisfying \(\psi '(G)> \psi '(A_4) = \frac{31}{77}\) ψ ( G ) > ψ ( A 4 ) = 31 77 , thereby fully determining the groups covered by the supersolubility criterion of Baniasad Azad and Khosravi [Canad. Math. Bull. 65 (2022), 30–38], and thus providing a more complete answer to a corresponding conjecture of Tǎrnǎuceanu.