Search

A rank 3 graph is an orbital graph of a rank 3 permutation group of even order. Despite the classification of rank 3 graphs being complete, see, e.g., Chapter 11 of the recent monograph 'Strongly regular graphs' by Brouwer and Van Maldeghem, the full automorphism groups of these graphs (equivalently, the 2-closures of rank 3 groups) have not been explicitly described, though a lot of information on this subject is available. In the present note, we address this problem for the affine rank 3 graphs. We find the automorphism groups for finitely many relatively small graphs and show that modulo known results, this provides the full description of the automorphism groups of the affine rank 3 graphs, thus reducing the general problem to the case when the socle of the automorphism group is nonabelian simple.

Given a permutation group $G$ on a finite set $\Omega$, let $G^{(k)}$ denote the $k$-closure of $G$, that is, the largest permutation group on $\Omega$ having the same orbits in the induced action on $\Omega^k$ as $G$. Recall that a group is $\mathrm{Alt}(d)$-free if it does not contain a section isomorphic to the alternating group of degree $d$. Motivated by some problems in computational group theory, we prove that the $k$-closure of an $\mathrm{Alt}(d)$-free group is again $\mathrm{Alt}(d)$-free for $k \geq 4$ and $d \geq 25$., Comment: 20 pages

Given a set of primes $\pi$, the $\pi$-index of an element $x$ of a finite group $G$ is the $\pi$-part of the index of the centralizer of $x$ in $G$. If $\pi=\{p\}$ is a singleton, we just say the $p$-index. If the $\pi$-index of $x$ is equal to $p_1^{k_1}\ldots p^{k_s}$, where $p_1,\ldots,p_s$ are distinct primes, then we set $\exp_\pi(x)=k_1+\ldots+k_s$. In this short note, we study how the number $\epsilon_\pi(G)=\max\{\epsilon_\pi(x):x\in G\}$ restricts the structure of the factor group $G/Z(G)$ of $G$ by its center. First, for a finite group $G$, we prove that $\phi_p(G/Z(G))\leq\epsilon_p(G)$, where $\phi_p(G/Z(G))$ is the Frattini length of a Sylow $p$-subgroup of $G/Z(G)$. Second, for a $\pi$-separable finite group $G$, we prove that $l_\pi(G/Z(G))\leq\epsilon_\pi(G)$, where $l_{\pi}(G/Z(G))$ is the $\pi$-length of $G/Z(G)$.

Let $t$ be a fixed natural number. A subgroup $H$ of a group $G$ will be called $\mathrm{K}$-$\mathbb{P}_{t}$-subnormal in $G$ if there exists a chain of subgroups $H = H_{0} \leq H_{1} \leq \cdots \leq H_{m-1} \leq H_{m} = G$ such that either $H_{i-1}$ is normal in $H_{i}$ or $|H_{i} : H_{i-1}|$ is a some prime $p$ and $p-1$ is not divisible by the $(t+1)$th powers of primes for every $i = 1,\ldots , n$. In this work, properties of $\mathrm{K}$-$\mathbb{P}_{t}$-subnormal subgroups and classes of groups with Sylow $\mathrm{K}$-$\mathbb{P}_{t}$-subnormal subgroups are obtained.

The spectrum of a group is the set of orders of its elements. Finite groups with the same spectra as the direct squares of the finite simple groups with abelian Sylow 2-subgroups are considered. It is proved that the direct square $J_1\times J_1$ of the sporadic Janko group $J_1$ and the direct squares ${^2}G_2(q)\times{^2}G_2(q)$ of the simple small Ree groups ${^2}G_2(q)$ are uniquely characterized by their spectra in the class of finite groups, while for the direct square $PSL_2(q)\times PSL_2(q)$ of a 2-dimensional simple linear group $PSL_2(q)$, there are always infinitely many groups (even solvable groups) with the same spectra.

Let $m\ge 3$ be an integer. It is proved that the $m$-closure of a given solvable permutation group of degree $n$ can be constructed in time $n^{O(m)}$., Comment: 7 pages

The question on connection between the structure of a finite group $G$ and the properties of the indices of elements of $G$ has been a popular research topic for many years. The $p$-index $|x^G|_p$ of an element $x$ of a group $G$ is the $p$-part of its index $|x^G|=|G:C_G(x)|$. The presented short note describes some new results and open problems in this direction, united by the concept of the $p$-index of a group element.

The generalized Fitting height $h^*(G)$ of a finite group $G$ is the least number $h$ such that $\mathrm{F}_h^* (G) = G$, where $\mathrm{F}_{(0)}^* (G) = 1$, and $\mathrm{F}_{(i+1)}^*(G)$ is the inverse image of the generalized Fitting subgroup $\mathrm{F}^*(G/\mathrm{F}^*_{(i)} (G))$. Let $p$ be a prime, $1=G_0\leq G_1\leq\dots\leq G_{2h+1}=G$ be the shortest normal series in which for $i$ odd the factor $G_{i+1}/G_i$ is $p$-soluble (possibly trivial), and for $i$ even the factor $G_{i+1}/G_i$ is a (non-empty) direct product of nonabelian simple groups. Then $h=\lambda_p(G)$ is called the non-$p$-soluble length of a group $G$. We proved that if a finite group $G$ is a mutually permutable product of of subgroups $A$ and $B$ then $\max\{h^*(A), h^*(B)\}\leq h^*(G)\leq \max\{h^*(A), h^*(B)\}+1$ and $\max\{\lambda_p(A), \lambda_p(B)\}= \lambda_p(G)$. Also we introduced and studied the non-Frattini length., Comment: arXiv admin note: substantial text overlap with arXiv:2103.13354

The spectrum of a finite group is the set of its element orders. We give an affirmative answer to Problem 20.58(a) from the Kourovka Notebook proving that for every positive integer $k$, the $k$-th direct power of the simple linear group $L_{n}(2)$ is uniquely determined by its spectrum in the class of finite groups provided $n$ is a power of $2$ greater than or equal to $56k^2$., Comment: 17 pages