The second maximal groups with respect to the sum of element orders

Abstract

Denote by $G$ a finite group and let $\psi (G)$ denote the sum of element orders in $G$. In 2009, H.Amiri, S.M.Jafarian Amiri and I.M.Isaacs proved that if $|G|=n$ and $G$ is non-cyclic, then $\psi (G)<\psi (C_n)$, where $C_n$ denotes the cyclic group of order $n$. In 2018 we proved that if $G$ is non-cyclic group of order $n$, then $\psi (G)\le \frac{7}{11}\psi (C_n)$ and equality holds if $n=4k$ with $(k,2)=1$ and $G=(C_2\times C_2)\times C_k$. In this paper we proved that equality holds if and only if $n$ and $G$ are as indicated above. Moreover we proved the following generalization of this result: Theorem 4. Let $q$ be a prime and let $G$ be a non-cyclic group of order $n$, with $q$ being the least prime divisor of $n$. Then $\psi (G)\le \frac{((q^2-1)q+1)(q+1)}{q^5+1}\psi (C_n)$, with equality if and only if $n=q^{2}k$ with $(k,q)=1$ and $G=(C_q\times C_q)\times C_k$. Notice that if $q=2$, then $\frac{((q^2-1)q+1)(q+1)}{q^5+1}=\frac{7}{11}$.