Related papers: Sylow subgroups for distinct primes and intersecti…

In this paper, we determine the finite groups with a Sylow $r$-subgroup contained in a unique maximal subgroup. The proof involves a reduction to almost simple groups, and our main theorem extends earlier work of Aschbacher in the special…

This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…

In this article, we introduce the study of a class of finite groups $G$ which admits a subgroup which intersects all non-trivial subgroups of $G$. We also explore a subclass of it consisting of all groups $G$ in which the prime order…

Let $G$ be a finite simple group of Lie type and let $P$ be a Sylow $2$-subgroup of $G$. In this paper, we prove that for any nontrivial element $x \in G$, there exists $g \in G$ such that $G = \langle P, x^g \rangle$. By combining this…

Let G be a finite non-nilpotent group such that every Sylow subgroup of G is generated by at most d elements, and such that p is the largest prime dividing |G|. We show that G has a non-nilpotent image G/N, such that N is characteristic and…

Let $p$ and $q$ be different primes and let $G$ be a finite $q$-solvable group. We prove that $\mathrm{Irr}_{p'}(G)\subseteq \mathrm{Irr}_{q'}(G)$ if and only if $\mathbf{N}_G(P)\subseteq \mathbf{N}_G(Q)$ and $\mathbf{C}_{Q'}(P)=1$ for some…

For a finite group $G$, we study the probability $sp(G)$ that, given two elements $x,y \in G$, the cyclic subgroup $\langle x \rangle$ is subnormal in the subgroup $\langle x, y \rangle$. This can be seen as an intermediate invariant…

We consider the structure of a finite groups having a normal series whose factors have bicyclic Sylow subgroups. In particular, we investigated groups of odd order and $A_4$-free groups with this property. Exact estimations of the derived…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms, assume that $G$ has a maximal $A$-invariant subgroup $M$ that is a direct product of some isomorphic simple groups, we prove that if $G$ has a…

For finite groups $G$ with non-abelian, trivial intersection Sylow $p$-subgroups, the analysis of the Loewy structure of the centre of a block allows us to deduce that a stable equivalence of Morita type does not induce an algebra…

We characterize some classes of finite soluble groups. In particular, we prove that: a finite group $G$ is supersoluble if and only if $G$ has a normal subgroup $D$ such that $G/D$ is supersoluble and $D$ avoids every chief factor of $G$…

It is proved that a profinite group $G$ has fewer than $2^{\aleph_0}$ conjugacy classes of $p$-elements for an odd prime $p$ if and only if its $p$-Sylow subgroups are finite. (Here, by a $p$-element one understands an element that either…

The mininal degree of a finite group G, mu(G), is defined to be the smallest natural number n such that G embeds inside Sym(n). The group G is said to be exceptional if there exists a normal subgroup N such that mu(G/N)>mu(G). We will…

We initiate the study of profinite groups of non-negative deficiency. The principal focus of the paper is to show that the existence of a finitely generated normal subgroup of infinite index in a profinite group $G$ of non-negative…

Let $p$ be any prime. Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. Let $\phi$ and $\psi$ be linear characters of $P_n$ and let $N$ be the normaliser of $P_n$ in $S_n$. In this article we show that the inductions of $\phi$…

The paper explores the effect of powerful class of Sylow $p$-subgroups of a given finite group on control of transfer or fusion. We also find an explicit bound for the $p$-length of a $p$-solvable group in terms of the poweful class of a…

We determine the non-abelian composition factors of the finite groups with Sylow normalizers of odd order. As a consequence, among others, we prove the McKay conjecture and the Alperin weight conjecture for these groups.

We establish a surprising correspondence between groups definable in o-minimal structures and linear algebraic groups, in the nilpotent case. It turns out that in the o-minimal context, like for finite groups, nilpotency is equivalent to…

For a prime $p$, a $p$-subgroup of a finite group $G$ is said to be large if and only if $Q= F^*(N_G(Q))$ and, for all $1 \neq U \le Z(Q)$, $N_G(U) \le N_G(Q)$. In this article we determine those groups $G$ which have a large subgroup and…

A proper subgroup $H$ of a group $G$ is said to be: $\Bbb{P}$-subnormal in $G$ if there exists a chain of subgroups $H=H_0 < H_1< ... < H_{n}=G$ such that $|H_{i}:H_{i-1}|$ is a prime for $i=1,...,n$; $\Bbb{P}$-abnormal in $G$ if for every…