We discuss some examples of nonassociative algebras which occur in VOA (vertex operator algebra) theory and finite group theory. Methods of VOA theory and finite group theory provide a lot of nonassociative algebras to study. Ideas from nonassociative algebra theory could be useful to group theorists and VOA theorists.

In this paper as the main result, we determine finite groups with the same prime graph as the automorphism group of a sporadic simple group, except $J_2$.

Let $G$ be a finite group. The prime graph of $G$ is a simple graph $\Gamma \left(G\right)$ whose vertex set is $\pi \left(G\right)$ and two distinct vertices $p$ and $q$ are joined by an edge if and only if $G$ has an element of order $pq$. A group $G$ is called $k$-recognizable by prime graph if there exist exactly $k$ nonisomorphic groups $H$ satisfying the condition $\Gamma \left(G\right)=\Gamma \left(H\right)$. A 1-recognizable group is usually called a recognizable group. In this problem, it was proved that $\mathrm{PGL}(2,p^{\alpha })$ is recognizable, if $p$ is an odd prime and $\alpha >1$ is odd. But for even $\alpha$, only the recognizability...

The character degree graph of a finite group $G$ is the graph whose vertices are the prime divisors of the irreducible character degrees of $G$ and two vertices $p$ and $q$ are joined by an edge if $pq$ divides some irreducible character degree of $G$. It is proved that some simple groups are uniquely determined by their orders and their character degree graphs. But since the character degree graphs of the characteristically simple groups are complete, there are very narrow class of characteristically simple...

Let $G$ be a finite group. The main supergraph $𝒮\left(G\right)$ is a graph with vertex set $G$ in which two vertices $x$ and $y$ are adjacent if and only if $o\left(x\right)\mid o\left(y\right)$ or $o\left(y\right)\mid o\left(x\right)$. In this paper, we will show that $G\cong Sz\left(q\right)$ if and only if $𝒮\left(G\right)\cong 𝒮\left(Sz\right(q\left)\right)$, where $q=2^{2m+1}\ge 8$.

Let $G$ be a finite group and let $\pi \left(G\right)=\{p_1,p_2,...,p_k\}$ be the set of prime divisors of $\left|G\right|$ for which $p_1<p_2<\cdots <p_k$. The Gruenberg-Kegel graph of $G$, denoted $GK\left(G\right)$, is defined as follows: its vertex set is $\pi \left(G\right)$ and two different vertices $p_i$ and $p_j$ are adjacent by an edge if and only if $G$ contains an element of order $p_i{p}_j$. The degree of a vertex $p_i$ in $\mathrm{GK}\left(G\right)$ is denoted by $d_G\left(p_i\right)$ and the $k$-tuple $D\left(G\right)=(d_G\left(p_1\right),d_G\left(p_2\right),...,d_G\left(p_k\right))$ is said to be the degree pattern of $G$. Moreover, if $\omega \subseteq \pi \left(G\right)$ is the vertex set of a connected component of $GK\left(G\right)$, then the largest $\omega$-number which divides $\left|G\right|$, is said to be an...