### 2-recognizability by prime graph of $\text{PSL}(2,{p}^{2})$.

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

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+\u03f5)/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.

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.