Let $G$ be a finite group and ${\pi }_e\left(G\right)$ be the set of element orders of $G$. Let $k\in {\pi }_e\left(G\right)$ and $m_k$ be the number of elements of order $k$ in $G$. Set $\mathrm{nse}\left(G\right):=\{m_k:k\in {\pi }_e\left(G\right)\}$. In fact $\mathrm{nse}\left(G\right)$ is the set of sizes of elements with the same order in $G$. In this paper, by $\mathrm{nse}\left(G\right)$ and order, we give a new characterization of finite projective special linear groups $L_2\left(p\right)$ over a field with $p$ elements, where $p$ is prime. We prove the following theorem: If $G$ is a group such that $\left|G\right|=|L_2\left(p\right)|$ and $\mathrm{nse}\left(G\right)$ consists of $1$, $p^2-1$, $p(p+ϵ)/2$ and some numbers divisible by $2p$, where $p$ is a prime greater than...

Let $\omega \left(G\right)$ denote the set of element orders of a finite group $G$. If $H$ is a finite non-abelian simple group and $\omega \left(H\right)=\omega \left(G\right)$ implies $G$ contains a unique non-abelian composition factor isomorphic to $H$, then $G$ is called quasirecognizable by the set of its element orders. In this paper we will prove that the group $PS{L}_4\left(5\right)$ is quasirecognizable.

We investigate loops defined upon the product ${\mathbb{Z}}_m\times {\mathbb{Z}}_k$ by the formula $(a,i)(b,j)=((a+b)/(1+t{f}^i\left(0\right)f^j\left(0\right)),i+j)$, where $f\left(x\right)=(sx+1)/(tx+1)$, for appropriate parameters $s,t\in {\mathbb{Z}}_m^{*}$. Each such loop is coupled to a 2-cocycle (in the group-theoretical sense) and this connection makes it possible to prove that the loop possesses a metacyclic inner mapping group. If $s=1$, then the loop is an A-loop. Questions of isotopism and isomorphism are considered in detail.

We report on a partial solution of the conjecture that the class of finite solvable groups can be characterised by 2-variable identities. The proof requires pieces from number theory, algebraic geometry, singularity theory and computer algebra. The computations were carried out using the computer algebra system SINGULAR.

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.