Related papers: On strictly 2-maximal subgroups of finite groups

Groups, in which every subgroup containing some fixed primary cyclic subgroup has a complement, are investigated.

We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs,…

We study maximal horizontal subgroups of Carnot groups of Heisenberg type. We classify those of dimension half of that of the canonical distribution ("lagrangians") and illustrate some notable ones of small dimension. An infinitesimal…

A maximal abelian normal subgroup A in a nilpotent group N is self-centralizing. This makes their role an important one in determining the structure of the nilpotent group. For example if A is finite then N is also finite. In the free…

A nonempty class $\mathfrak{X}$ of finite groups is called complete if it is closed under taking subgroups, homomorphic images and extensions. We deal with a classical problem of determining $\mathfrak{X}$-maximal subgroups. We consider two…

In this paper we show that the membership problems for finitely generated submonoids and for rational subsets are recursively equivalent for groups with two or more ends.

We prove the conjugacy of Sylow $p$-subgroups of linear pseudofinite groups under the assumption of the existence of a finite Sylow $p$-subgroup. We also give an example of a linear pseudofinite group with non-conjugate Sylow $2$-subgroups.

We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).

We show that, in contrast to the integers setting, almost all even order abelian groups $G$ have exponentially fewer maximal sum-free sets than $2^{\mu(G)/2}$, where $\mu(G)$ denotes the size of a largest sum-free set in $G$. This confirms…

A strongly real Beauville group is a Beauville group that defines a real Beauville surface. Here we discuss efforts to find examples of these groups, emphasising on the one extreme finite simple groups and on the other abelian and nilpotent…

We prove an upper bound for the number of cyclic transitive subgroups in a finite permutation group and clarify the structure of the groups for which this bound becomes sharp. We also give an application in the theory of number fields.

A finite p-group is said to be of Gorenstein-Kulkarni type if the set of all elements of non-maximal order is a maximal subgroup. 2-groups of Gorenstein-Kulkarni type arise naturally in the study of group actions on compact Riemann…

A proper subgroup $H$ in a finite group $G$ is said to be large if $|H|^3\geq |G|$. In this paper, we determined all large maximal subgroups of almost simple classical groups. Combined with the work of Alavi and Burness (J. Algebra 421…

We introduce the concept of hyperreflection groups, which are a generalization of Coxeter groups. We prove the Deletion and Exchange Conditions for hyperreflection groups, and we discuss special subgroups and fundamental sectors of…

In 1962, V.A. Belonogov proved that if a finite group $G$ contains two maximal subgroups of coprime orders, then either $G$ is one of known solvable groups or $G$ is simple. In this short note based on results by M. Liebeck and J. Saxl on…

We consider the relation between geometrically finite groups and their limit sets in infinite-dimensional hyperbolic space. Specifically, we show that a rigidity theorem of Susskind and Swarup ('92) generalizes to infinite dimensions, while…

Balogh, Liu, Sharifzadeh and Treglown [Journal of the European Mathematical Society, 2018] recently gave a sharp count on the number of maximal sum-free subsets of $\{1, \dots, n\}$, thereby answering a question of Cameron and Erd\H{o}s. In…

Following Isaacs (see [Isa08, p. 94]), we call a normal subgroup N of a finite group G large, if $C_G(N) \leq N$, so that N has bounded index in G. Our principal aim here is to establish some general results for systematically producing…

We confirm Martin's conjecture for a broad subclass of weakly quasi-o-minimal theories.

We give here the exact maximal subgroup growth of two classes of polycyclic groups. Let $G_k = \langle x_1, x_2, ..., x_k \mid x_ix_jx_i^{-1}x_j \text{ for all } i < j \rangle$. So $G_k = \mathbb{Z} \rtimes (\mathbb{Z} \rtimes (\mathbb{Z}…