In the class of complete games, the Shapley index of power is the characteristic invariant of the group of automorphisms, for these are exactly the permutations of players preserving the index.

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.

Let $G$ be a finite group and $C_2$ the cyclic group of order $2$. Consider the $8$ multiplicative operations $(x,y)\mapsto {\left(x^i{y}^j\right)}^k$, where $i$, $j$, $k\in \{-1,1\}$. Define a new multiplication on $G\times C_2$ by assigning one of the above $8$ multiplications to each quarter $(G\times \{i\left\}\right)\times (G\times \{j\left\}\right)$, for $i,j\in C_2$. We describe all situations in which the resulting quasigroup is a Bol loop. This paper also corrects an error in P. Vojtěchovsk’y: On the uniqueness of loops $M(G,2)$.