On a question of Jaikin-Zapirain about the average order elements of finite groups

Message:
Article Type:
Research/Original Article (دارای رتبه معتبر)
Abstract:
For a finite group $G$, the average order $o(G)$ is defined to be the average of all order elements in $G$, that is $o( G)=\frac{1}{|G|}\sum_{x\in G}o(x)$, where $o(x)$ is the order of element $x$ in $G$. Jaikin-Zapirain in [On the number of conjugacy classes of finite nilpotent groups, Advances in Mathematics, \textbf{227} (2011) 1129-1143] asked the following question: if $G$ is a finite ($p$-) group and $N$ is a normal (abelian) subgroup of $G$, is it true that $o(N)^{\frac{1}{2}}\leq o(G) $? We say that $G$ satisfies the average condition if $o(H)\leq o(G)$, for all subgroups $H$ of $G$. In this paer we show that every finite abelian group satisfies the average condition. This result confirms and improves the question of Jaikin-Zapirain for finite abelian groups.
Language:
English
Published:
International Journal of Group Theory, Volume:14 Issue: 3, Sep 2025
Pages:
139 to 147
https://www.magiran.com/p2789477