Frattini Argument for Hall subgroups

In the paper, it is proved that if a finite group $G$ possesses a $\pi$-Hall subgroup for a set $\pi$ of primes, then every normal subgroup $A$ of $G$ possesses a $\pi$-Hall subgroup $H$ such that ${G=AN_G(H)}$

Discrete symmetries in the three-Higgs-doublet model

N-Higgs-doublet models (NHDM) are among the most popular examples of electroweak symmetry breaking mechanisms beyond the Standard Model. Discrete symmetries imposed on the NHDM scalar potential play a pivotal role in shaping the phenomenology of the model, and various symmetry groups have been studied so far. However, in spite of all efforts, the classification of finite Higgs-family symmetry groups realizable in NHDM for any N>2 is still missing. Here, we solve this problem for the three-Higgs-doublet model by making use of Burnside's theorem and other results from pure finite group theory which are rarely exploited in physics. Our method and results can be also used beyond high-energy physics, for example, in study of possible symmetries in three-band superconductors.Comment: 5 pages; v2: expanded introduction, some minor corrections, matches the published versio

On the pronormality of Hall subgroups

Fix a set of primes $\pi$. A finite group is said to satisfy $C_\pi$ or, in other words, to be a $C_\pi$-group, if it possesses exactly one class of conjugate $\pi$-Hall subgroups. The pronormality of $\pi$-Hall subgroups in $C_\pi$-groups is proven, or, equivalently, we prove that $C_\pi$ is inherited by overgroups of $\pi$-Hall subgroups. Thus an affirmative solution to Problem 17.44(a) from the "Kourovka notebook" is obtained. We also provide an example, showing that Hall subgroups in finite groups are not pronormal in general

Strong reality of finite simple groups

The classification of finite simple strongly real groups is complete. It is easy to see that strong reality for every nonabelian finite simple group is equivalent to the fact that each element can be written as a product of two involutions. We thus obtain a solution to Problem 14.82 from the Kourovka notebook from the classification of finite simple strongly real groups