<p>Consider a finite group <i>G</i> of order <i>n</i> with a prime divisor <i>p</i>. In this article, we establish, among other results, that if the Sylow <i>p</i>-subgroup of <i>G</i> is neither cyclic nor generalized quaternion, then there exists a bijection <i>f</i> from <i>G</i> onto the abelian group <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1387_Article_IEq1.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_{\frac{n}{p}}\times C_p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>C</mi> <mfrac> <mi>n</mi> <mi>p</mi> </mfrac> </msub> <mo>×</mo> <msub> <mi>C</mi> <mi>p</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> such that for every element <i>x</i> in <i>G</i>, the order of <i>x</i> divides the order of <i>f</i>(<i>x</i>). This resolves Question 1.5 posed in Jafarian Amiri and Amiri (Comm. Algebra 45:3396-3401, 2017). As application of our results, we show that the group with the third largest value of the sum of element orders in the set of all finite groups of order <i>n</i> is a solvable <i>p</i>-nilpotent group where <i>p</i> is the smallest prime divisor of <i>n</i> such that the Sylow <i>p</i>-subgroups are not cyclic.</p>

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

On a bijection between a finite group to a non-cyclic group with divisibility of element orders

  • Mohsen Amiri

摘要

Consider a finite group G of order n with a prime divisor p. In this article, we establish, among other results, that if the Sylow p-subgroup of G is neither cyclic nor generalized quaternion, then there exists a bijection f from G onto the abelian group \(C_{\frac{n}{p}}\times C_p\) C n p × C p such that for every element x in G, the order of x divides the order of f(x). This resolves Question 1.5 posed in Jafarian Amiri and Amiri (Comm. Algebra 45:3396-3401, 2017). As application of our results, we show that the group with the third largest value of the sum of element orders in the set of all finite groups of order n is a solvable p-nilpotent group where p is the smallest prime divisor of n such that the Sylow p-subgroups are not cyclic.