The order of every finite group $G$ can be expressed as a product of coprime positive integers $m_1,\cdots ,m_t$ such that $\pi \left(m_i\right)$ is a connected component of the prime graph of $G$. The integers $m_1,\cdots ,m_t$ are called the order components of $G$. Some non-abelian simple groups are known to be uniquely determined by their order components. As the main result of this paper, we show that the projective symplectic groups $C_2\left(q\right)$ where $q>5$ are also uniquely determined by their order components. As corollaries of this result, the validities of a...

We proved that the symplectic groups $\mathrm{PSp}(4,2^n)$, where $2^{2n}+1$ is a Fermat prime number is uniquely determined by its order, the first largest element orders and the second largest element orders.

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.