On permutizers of subgroups of finite groups

Finite groups with given systems of permuteral and strongly permuteral subgroups are studied. New characterizations of w-supersoluble and supersoluble groups are received.Comment: 11 page

2\mathbf{2}-Closure of 32\mathbf{\frac{3}{2}}-transitive group in polynomial time

Let $G$ be a permutation group on a finite set $\Omega$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(\Omega)$ having the same orbits as $G$ on the $k$-th Cartesian power $\Omega^k$ of $\Omega$. A group $G$ is called $\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_\alpha$ on the set $\Omega\setminus\{\alpha\}$ are of the same size greater than one. We prove that the $2$-closure $G^{(2)}$ of a $\frac{3}{2}$-transitive permutation group $G$ can be found in polynomial time in size of $\Omega$. In addition, if the group $G$ is not $2$-transitive, then for every positive integer $k$ its $k$-closure can be found within the same time. Applying the result, we prove the existence of a polynomial-time algorithm for solving the isomorphism problem for schurian $\frac{3}{2}$-homogeneous coherent configurations, that is the configurations naturally associated with $\frac{3}{2}$-transitive groups

Locally finite groups with bounded centralizer chains

The c-dimension of a group G is the maximal length of a chain of nested centralizers in G. We prove that a locally finite group of finite c-dimension k has less than 5k nonabelian composition factors.Comment: 4 page

Arithmetic graphs of finite groups

In this paper we introduced an arithmetic graph function which associates with every group G the directed graph whose vertices corresponds to the divisors of |G|. With the help of such functions we introduced arithmetic graphs of classes of groups, in particular of hereditary saturated formations. We formulated the problem of the recognition of classes of groups by arithmetic graph functions and investigated this problem for some arithmetic graph functions

Almost recognizability by spectrum of simple exceptional groups of Lie type

The spectrum of a finite group is the set of its elements orders. Groups are said to be isospectral if their spectra coincide. For every finite simple exceptional group $L=E_7(q)$, we prove that each finite group isospectral to $L$ is isomorphic to a group $G$ squeezed between $L$ and its automorphism group, that is $L\leq G\leq \operatorname{Aut}L$; in particular, up-to isomorphism, there are only finitely many such groups. This assertion, together with a series of previously obtained results, implies that the same is true for every finite simple exceptional group except the group ${}^3D_4(2)$.Comment: minor changes, Tables 2 and 3 are fixe

On partially conjugate-permutable subgroups of finite groups

Let $R$ be a subset of a group $G$. We call a subgroup $H$ of $G$ the $R$-conjugate-permutable subgroup of $G$, if $HH^{x}=H^{x}H$ for all $x\in R$. This concept is a generalization of conjugate-permutable subgroups introduced by T. Foguel. Our work focuses on the influence of $R$-conjugate-permutable subgroups on the structure of finite groups in case when $R$ is the Fitting subgroup or its generalizations $F^{*}(G)$ (introduced by H. Bender in 1970) and $\tilde{F}(G)$ (introduced by P. Shmid 1972). We obtain a new criteria for nilpotency and supersolubility of finite groups which generalize some well known results

Condensation of electron-hole pairs in a degenerate semiconductor at room temperature

It has been theoretically shown that in large-density semiconductor plasma there exist an energy level of a bound electron-hole pair (a composite boson) at the band gap. Filling this level up occurs through the condensation of electron-hole pairs with the use of mediating photons of a resonant electromagnetic field. We have demonstrated that in the case of a strong degeneracy of the plasma the critical temperature of the condensation is determined by the Fermi energies of the plasma components rather than the order parameter D. The critical temperature can exceed 300 K at electron-hole densities as large as 6.1018 cm-3. The theoretical model is consistent with available experimental dataComment: 26 pages, 5 figures Submitted to Physical Review

The graph of atomic divisors and constructive recognition of finite simple groups

The spectrum $\omega(G)$ of a finite group $G$ is the set of orders of elements of $G$. We present a polynomial-time algorithm that, given a finite set $\mathcal M$ of positive integers, outputs either an empty set or a finite simple group $G$. In the former case, there is no finite simple group $H$ with $\mathcal{M}=\omega(H)$, while in the latter case, $\mathcal{M}\subseteq\omega(G)$ and $\mathcal{M}\neq\omega(H)$ for all finite simple groups $H$ with $\omega(H)\neq\omega(G)$

Generalized Fitting subgroups of finite groups

In this paper we consider the Fitting subgroup $F(G)$ of a finite group $G$ and its generalizations: the quasinilpotent radical $F^*(G)$ and the generalized Fitting subgroup $\tilde{F}(G)$ defined by $\tilde{F}(G)\supseteq \Phi(G)$ and $\tilde{F}(G)/\Phi(G)=Soc(G/\Phi(G))$. We sum up known properties of $\tilde{F}(G)$ and suggest some new ones. Let $R$ be a subgroup of a group $G$. We shall call a subgroup $H$ of $G$ the $R$-subnormal subgroup if $H$ is subnormal in $\langle H,R\rangle$. In this work the influence of $R$-subnormal subgroups (maximal, Sylow, cyclic primary) on the structure of finite groups are studied in the case when $R\in\{F(G), F^*(G),\tilde{F}(G)\}$

On the structure of finite groups isospectral to finite simple groups

Finite groups are said to be isospectral if they have the same sets of element orders. A finite nonabelian simple group $L$ is said to be almost recognizable by spectrum if every finite group isospectral to $L$ is an almost simple group with socle isomorphic to $L$. It is known that all finite simple sporadic, alternating and exceptional groups of Lie type, except $J_2$, $A_6$, $A_{10}$ and $^3D_4(2)$, are almost recognizable by spectrum. The present paper is the final step in the proof of the following conjecture due to V.D. Mazurov: there exists a positive integer $d_0$ such that every finite simple classical group of dimension larger than $d_0$ is almost recognizable by spectrum. Namely, we prove that a nonabelian composition factor of a~finite group isospectral to a finite simple symplectic or orthogonal group $L$ of dimension at least 10, is either isomorphic to $L$ or not a group of Lie type in the same characteristic as $L$, and combining this result with earlier work, we deduce that Mazurov's conjecture holds with $d_0=60$.Comment: 13 page