A theorem of Hall extends the sylow theory to π-subgroups of a finite solvable group for any set of primes π. This theorem has been generalized to solvable periodic linear groups [21] and to other similar settings [19]. We consider the same problem in a model-theoretic context. In model theory, the study of ω-stable groups generalizes the classical theory of algebraic groups in the case of a al...

Throughout this paper G is a finite group and S is a subgroup of G. When S is contained in the subgroup H of G, we say S is strongly closed in H with respect to G if whenever s ∈ S and g ∈ G are such that s ∈ H, then s ∈ S. In other words, every G-conjugacy class of elements of S intersected with H is contained in S. In the case where S is a p-group for some prime p we say that S is strongly cl...

Lagrange’s theorem tells us that if G is a finite group and H ≤ G, then #(H) divides #(G). As we have seen, the converse to Lagrange’s theorem is false in general: if G is a finite group of order n and d divides n, then there need not exist a subgroup of G whose order is d. The Sylow theorems say that such a subgroup exists in one special but very important case: when d is the largest power of ...

There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are simple algebraic groups. One of the major theorems in the area is Borovik’s trichotomy theorem. The ‘trichotomy’ here is a case division of the generic minimal counterexamples within odd type, that is, groups with a large and divisible Sylow◦ 2-subgroup. The so-called ‘u...

Abstract A finite group G G is called an MSN-group if all maximal subgroups of the Sylow are subnormal in . In this article, we investigate structure groups such that a non-MSN-group even order which every subgroup MSN-group. addition, determine minimal simple whose second MSN-groups.

Let P be an extraspecial p-group which is neither dihedral of order 8, nor of odd order p and exponent p. Let G be a finite group having P as a Sylow p-subgroup. Then the mod-p cohomology ring of G coincides with that of the normalizer NG(P ).

Suppose that a group G acts transitively on the points of a nonDesarguesian plane, P. We prove first that the Sylow 2-subgroups of G are cyclic or generalized quaternion. We also prove that P must admit an odd order automorphism group which acts transitively on the set of points of P. 1 MSC(2000): 20B25, 51A35.

A subgroup $H$ is said to be $nc$-supplemented in a group $G$ if there exists a subgroup $Kleq G$ such that $HKlhd G$ and $Hcap K$ is contained in $H_{G}$, the core of $H$ in $G$. We characterize the supersolubility of finite groups $G$ with that every maximal subgroup of the Sylow subgroups is $nc$-supplemented in $G$.

In a connected group of finite Morley rank, if the Sylow 2-subgroups are finite then they are trivial. The proof involves a combination of modeltheoretic ideas with a device originating in black box group theory. Mathematics Subject Classification (2000). 03C60, 20G99.