Joint spectrum and the infinite dihedral group

A subgroup H of a group G is called pronormal if, for any element g ∈ G, the subgroups H and H ^g are conjugate in the subgroup <H,H ^g >. We prove that, if a group G has a normal abelian subgroup V and a subgroup H such that G = HV, then H is pronormal in G if and only if U = N _U (H)[H,U] for any H-invariant subgroup U of V. Using this fact, we prove that the simple symplectic group PSp_6n (q) with q ≡ ±3 (mod 8) contains a nonpronormal subgroup of odd index. Hence, we disprove the conjecture on the pronormality of subgroups of odd indices in finite simple groups, which was formulated in 2012 by E.P. Vdovin and D.O. Revin and verified by the authors in 2015 for many families of simple finite groups.     

On the pronormality of subgroups of odd index in finite simple symplectic groups

A subgroup H of a group G is pronormal if the subgroups H and H ^g are conjugate in 〈H,H ^g 〉 for every g ∈ G. It was conjectured in [1] that a subgroup of a finite simple group having odd index is always pronormal. Recently the authors [2] verified this conjecture for all finite simple groups other than PSL _n (q), PSU _n (q), E ₆(q), ² E ₆(q), where in all cases q is odd and n is not a power of 2, and P Sp_2n (q), where q ≡ ±3 (mod 8). However in [3] the authors proved that when q ≡ ±3 (mod 8) and n ≡ 0 (mod 3), the simple symplectic group P Sp²ⁿ (q) has a nonpronormal subgroup of odd index, thereby refuted the conjecture on pronormality of subgroups of odd index in finite simple groups.The natural extension of this conjecture is the problem of classifying finite nonabelian simple groups in which every subgroup of odd index is pronormal. In this paper we continue to study this problem for the simple symplectic groups P Sp_2n (q) with q ≡ ±3 (mod 8) (if the last condition is not satisfied, then subgroups of odd index are pronormal). We prove that whenever n is not of the form 2 ^m or 2 ^m (2^2k +1), this group has a nonpronormal subgroup of odd index. If n = 2 ^m , then we show that all subgroups of P Sp_2n (q) of odd index are pronormal. The question of pronormality of subgroups of odd index in P Sp_2n (q) is still open when n = 2 ^m (2^2k + 1) and q ≡ ±3 (mod 8).     

On the Pronormality of Subgroups of Odd Index in Some Extensions of Finite Groups

We study finite groups with the following property (*): All subgroups of odd index are pronormal. Suppose that G has a normal subgroup A with property (*), and the Sylow 2-subgroups of G/A are self-normalizing. We prove that G has property (*) if and only if so does N_G(T)/T, where T is a Sylow 2-subgroup of A. This leads to a few results that can be used for the classification of finite simple groups with property (*).     

Every 2-group with all subgroups normal-by-finite is locally finite

A group G has all of its subgroups normal-by-finite if H/H _G is finite for all subgroups H of G. The Tarski-groups provide examples of p-groups (p a “large” prime) of nonlocally finite groups in which every subgroup is normal-by-finite. The aim of this paper is to prove that a 2-group with every subgroup normal-by-finite is locally finite. We also prove that if |H/H _G | 6 2 for every subgroup H of G, then G contains an Abelian subgroup of index at most 8.     

Subgroup normality degrees of finite groups I

In this paper, we introduce the probability that a subgroup H of a finite group G can be normal in G, the subgroup normality degree of H in G, as the ratio of the number of all pairs \({(h, g)\in H\times G}\) such that \({h^g\in H}\) by |H||G|. We give some upper and lower bounds for this probability and obtain the upper bound \({\frac{8}{15}}\) for nontrivial subgroups of finite simple groups. In addition, we obtain explicit formulas for subgroup normality degrees of some particular classes of finite groups.     

A condition for the solvability of finite groups

A subgroup H is called ?-supplemented in a finite group G, if there exists a subgroup B of G such that G = HB and H ₁ B is a proper subgroup of G for every maximal subgroup H ₁ of H. We investigate the influence of ?-supplementation of Sylow subgroups and obtain a condition for solvability and p-supersolvability of finite groups.     

Products of F*(<Emphasis Type="Italic">G</Emphasis>)-subnormal subgroups of finite groups

A subgroup H of a finite group G is called F*(G)-subnormal if H is subnormal in HF*(G). We show that if a group Gis a product of two F*(G)-subnormal quasinilpotent subgroups, then G is quasinilpotent. We also study groups G = AB, where A is a nilpotent F*(G)-subnormal subgroup and B is a F*(G)-subnormal supersoluble subgroup. Particularly, we show that such groups G are soluble.     

On pronormality and strong pronormality of Hall subgroups

We study several well-known questions on pronormality and strong pronormality of Hall subgroups. In particular, we exhibit the examples of finite groups (a) having a Hall subgroup not pronormal in its normal closure (this solves Problem 18.32 of The Kourovka Notebook in the negative); (b) having a Hall subgroup pronormal but not strongly pronormal; and (c) that are simple, having a Hall subgroup, and not strongly pronormal (this solves Problem 17.45(b) of The Kourovka Notebook in the negative).     

On weakly <Emphasis Type="Italic">S</Emphasis>Φ-supplemented subgroups of finite groups

Let G be a finite group. We say that a subgroup H of G is weakly SΦ-supplemented in G if G has a subgroup T such that G = HT and H∩T ≤ Φ(H)H_sG, where H_sG is the subgroup of H generated by all those subgroups of H that are s-permutable in G. In this paper, we investigate the influence of weakly SΦ-supplemented subgroups on the structure of finite groups. Some new characterizations of p-nilpotency and supersolubility of finite groups are obtained.     

On $$\mathcal {}$$-subgroups of finite groups

Let G be a finite group. A subgroup H of G is s-permutable in G if H permutes with every Sylow subgroup of G. A subgroup H of G is called an \(\mathcal {SSH}\)-subgroup in G if G has an s-permutable subgroup K such that \(H^{sG} = HK\) and \(H^g \cap N_K (H) \leqslant H\), for all \(g \in G\), where \(H^{sG}\) is the intersection of all s-permutable subgroups of G containing H. We study the structure of finite groups under the assumption that the maximal or the minimal subgroups of Sylow subgroups of some normal subgroups of G are \(\mathcal {SSH}\)-subgroups in G. Several recent results from the literature are improved and generalized.     

On finite groups with prime-power order <Emphasis Type="Italic">S</Emphasis>-quasinormally embedded subgroups

A subgroup H of a finite group G is said to be S-quasinormally embedded in G if for each prime p dividing the order of H, a Sylow p-subgroup of H is also a Sylow p-subgroup of some S-quasinormal subgroup of G. In this paper we investigate the structure of finite groups that have some S-quasinormally embedded subgroups of prime-power order, and new criteria for p-nilpotency are obtained.     

The influence of <Emphasis Type="Italic">s</Emphasis>-semipermutable subgroups on the structure of finite groups

A subgroup H of a group G is called s-semipermutable in G if H is permutable with every Sylow p-subgroup of G with (p, |H|) = 1. In this paper, we use s-semipermutable subgroups to determine the structure of finite groups. Some of the previous results are generalized.     

Finite groups with <Emphasis Type="Italic">C</Emphasis>-quasinormal subgroups

Consider some finite group G and a finite subgroup H of G. Say that H is c-quasinormal in G if G has a quasinormal subgroup T such that HT = G and T ∩ H is quasinormal in G. Given a noncyclic Sylow subgroup P of G, we fix some subgroup D such that 1 < |D| < | P| and study the structure of G under the assumption that all subgroups H of P of the same order as D, having no supersolvable supplement in G, are c-quasinormal in G.     

On the rank of compact <Emphasis Type="Italic">p</Emphasis>-adic Lie groups

The rank of a profinite group G is the basic invariant \({{\rm rk}(G):={\rm sup}\{d(H) \mid H \leq G\}}\), where H ranges over all closed subgroups of G and d(H) denotes the minimal cardinality of a topological generating set for H. A compact topological group G admits the structure of a p-adic Lie group if and only if it contains an open pro-p subgroup of finite rank. For every compact p-adic Lie group G one has rk(G) ≥ dim(G), where dim(G) denotes the dimension of G as a p-adic manifold. In this paper we consider the converse problem, bounding rk(G) in terms of dim(G). Every profinite group G of finite rank admits a maximal finite normal subgroup, its periodic radical π(G). One of our main results is the following. Let G be a compact p-adic Lie group such that π(G) = 1, and suppose that p is odd. If \(\{g \in G \mid g^{p-1}=1 \}\) is equal to {1}, then rk(G) = dim(G).     

Classification of finite groups satisfying a minimal condition

If H is a subgroup of a finite group G then we denote the normal closure of H in G by H ^G . We call G a PE-group if every minimal subgroup X of G satisfies N ^G (X) ∩ X ^G = X. The authors classify the finite non-PE-groups whose maximal subgroups of even order are PE-groups.     

On the diameter of the intersection graph of a finite simple group

Let G be a finite group. The intersection graph Δ_G of G is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper nontrivial subgroups of G, and two distinct vertices X and Y are adjacent if X ∩ Y ≠ 1, where 1 denotes the trivial subgroup of order 1. A question was posed by Shen (2010) whether the diameters of intersection graphs of finite non-abelian simple groups have an upper bound. We answer the question and show that the diameters of intersection graphs of finite non-abelian simple groups have an upper bound 28. In particular, the intersection graph of a finite non-abelian simple group is connected.     

On R-conjugate-permutability of sylow subgroups

A subgroup H of a finite group G is said to be conjugate-permutable if HH^g = H^gH for all g ∈ G. More generaly, if we limit the element g to a subgroup R of G, then we say that the subgroup H is R-conjugate-permutable. By means of the R-conjugatepermutable subgroups, we investigate the relationship between the nilpotence of G and the R-conjugate-permutability of the Sylow subgroups of A and B under the condition that G = AB, where A and B are subgroups of G. Some results known in the literature are improved and generalized in the paper.     

On <Emphasis Type="Italic">c</Emphasis><Superscript>#</Superscript>-normal subgroups infinite groups

A subgroup H of a finite group G is called a c^#-normal subgroup of G if there exists a normal subgroup K of G such that G = HK and H ∩ K is a CAP-subgroup of G: In this paper, we investigate the influence of fewer c^#-normal subgroups of Sylow p-subgroups on the p-supersolvability, p-nilpotency, and supersolvability of finite groups. We obtain some new sufficient and necessary conditions for a group to be p-supersolvable, p-nilpotent, and supersolvable. Our results improve and extend many known results.     

On the finite prime spectrum minimal groups

Let G be a finite group. The set of all prime divisors of the order of G is called the prime spectrum of G and is denoted by π(G). A group G is called prime spectrum minimal if π(G) ≠ π(H) for any proper subgroup H of G. We prove that every prime spectrum minimal group all of whose nonabelian composition factors are isomorphic to the groups from the set {PSL ₂(7), PSL ₂(11), PSL ₅(2)} is generated by two conjugate elements. Thus, we extend the corresponding result for finite groups with Hall maximal subgroups. Moreover, we study the normal structure of a finite prime spectrum minimal group with a nonabelian composition factor whose order is divisible by exactly three different primes.     

Properly discontinuous group actions on affine homogeneous spaces

Let G be a real algebraic group, H ≤ G an algebraic subgroup containing a maximal reductive subgroup of G, and Γ a subgroup of G acting on G/H by left translations. We conjecture that Γ is virtually solvable provided its action on G/H is properly discontinuous and ΓG/H is compact, and we confirm this conjecture when G does not contain simple algebraic subgroups of rank ≥2. If the action of Γ on G/H (which is isomorphic to an affine linear space Aⁿ) is linear, our conjecture coincides with the Auslander conjecture. We prove the Auslander conjecture for n ≤ 5.