It is proved that if a finite abelian group is factored into a direct product of lacunary cyclic subsets, then at least one of the factors must be periodic. This result generalizes Hajós's factorization theorem.

Menon’s identity is a classical identity involving gcd sums and the Euler totient function $\phi$. A natural generalization of $\phi$ is the Klee’s function ${\Phi }_s$. We derive a Menon-type identity using Klee’s function and a generalization of the gcd function. This identity generalizes an identity given by Y. Li and D. Kim (2017).

Let $G$ be a finite group and $p$ a prime number. We prove that if $G$ is a finite group of order $\left|\mathrm{PSL}\right(2,p^2\left)\right|$ such that $G$ has an irreducible character of degree $p^2$ and we know that $G$ has no irreducible character $\theta$ such that $2p\mid \theta \left(1\right)$, then $G$ is isomorphic to $\mathrm{PSL}(2,p^2)$. As a consequence of our result we prove that $\mathrm{PSL}(2,p^2)$ is uniquely determined by the structure of its complex group algebra.

Let $G$ be a finite group and $nse\left(G\right)$ the set of numbers of elements with the same order in $G$. In this paper, we prove that a finite group $G$ is isomorphic to $M$, where $M$ is one of the Mathieu groups, if and only if the following hold: (1) $\left|G\right|=\left|M\right|$, (2) $nse\left(G\right)=nse\left(M\right)$.

One of the important questions that remains after the classification of the finite simple groups is how to recognize a simple group via specific properties. For example, authors have been able to use graphs associated to element orders and to number of elements with specific orders to determine simple groups up to isomorphism. In this paper, we prove that Suzuki groups $Sz\left(q\right)$, where $q\pm \sqrt{2q}+1$ is a prime number can be uniquely determined by the order of group and the number of elements with the same order.

Let $G$ be a group and $\omega \left(G\right)$ be the set of element orders of $G$. Let $k\in \omega \left(G\right)$ and $m_k\left(G\right)$ be the number of elements of order $k$ in $G$. Let nse$\left(G\right)=\{m_k\left(G\right):k\in \omega \left(G\right)\}$. Assume $r$ is a prime number and let $G$ be a group such that nse$\left(G\right)=$ nse$\left(S_r\right)$, where $S_r$ is the symmetric group of degree $r$. In this paper we prove that $G\cong S_r$, if $r$ divides the order of $G$ and $r^2$ does not divide it. To get the conclusion we make use of some well-known results on the prime graphs of finite simple groups and their components.

$G(3,m,n)$ is the group presented by $\langle a,b\mid a^5={\left(ab\right)}^2=b^{m+3}{a}^{-n}{b}^m{a}^{-n}=1\rangle$. In this paper, we study the structure of $G(3,m,n)$. We also give a new efficient presentation for the Projective Special Linear group $PSL(2,5)$ and in particular we prove that $PSL(2,5)$ is isomorphic to $G(3,m,n)$ under certain conditions.