Date: Fri, 19 Jul 2024 | Total: 5

Given a finite group $G$ and a prime $p$, we establish the sieve formula, which is a congruence containing as summands numbers of chains of $p$-subgroups of $G$ of certain orders. This generalises the Theorem of Sylow-Frobenius, using Wielandt's approach. Its name stems from the sieve formula from set theory because of formal similarities.

For a wide family of formations $\mathfrak{F}$ (which includes Baer-local formations) it is proved that the $ \mathfrak{F}$-hypercenter of a permutation finite group can be computed in polynomial time. In particular, the algorithms for computing the $\mathfrak{F}$-hypercenter for the following classes of groups are suggested: hereditary local formations with the Shemetkov property, rank formations, formations of all quasinilpotent, Sylow tower, $p$-nilpotent, supersoluble, $w$-supersoluble and $SC$-groups. For some of these formations algorithms for the computation of the intersection of all maximal $\mathfrak{F}$-subgroups are suggested.

We introduce and study the class of spherically ordered groups. The notions of spherically ordered groups and their spectra of spherical orderability are introduced. Values of these spectra are found for a series of natural groups.

We consider the random right-angled Coxeter group whose presentation graph is an Erdos-Renyi random graph on n vertices with edge probability p=p(n). We establish that p=1/\sqrt{n} is a threshold for relative hyperbolicity of the random right-angled Coxeter group . As a key step in the proof, we determine the minimal number of pairs of generators that must commute in a right-angled Coxeter group which is not relatively hyperbolic, a result which is of independent interest.

A strict lower bound for the diameter of a symmetric graph is proposed, which is calculable with the order ($n$) and other local parameters of the graph such as the degree, even girth $g$ ($\geq 4$), and number of cycles of length $g$ passing through a vertex, which are easily determined by inspecting a small portion of the graph (unless the girth is large). It is applied to the symmetric Cayley graphs of the Rubik's Cube groups of various sizes and metrics, yielding reasonably tight lower bounds, which range from 60% to 77% of the correct diameters of large-$n$ graphs.