Generalized Fitting subgroup of a group of finite Morley rank

1991 ◽  
Vol 56 (4) ◽  
pp. 1391-1399 ◽  
Author(s):  
Ali Nesin

AbstractWe define a characteristic and definable subgroup F*(G) of any group G of finite Morley rank that behaves very much like the generalized Fitting subgroup of a finite group. We also prove that semisimple subnormal subgroups of G are all definable and that there are finitely many of them.

2019 ◽  
Vol 109 (3) ◽  
pp. 340-350
Author(s):  
E. I. KHUKHRO ◽  
P. SHUMYATSKY ◽  
G. TRAUSTASON

AbstractLet $g$ be an element of a finite group $G$ and let $R_{n}(g)$ be the subgroup generated by all the right Engel values $[g,_{n}x]$ over $x\in G$. In the case when $G$ is soluble we prove that if, for some $n$, the Fitting height of $R_{n}(g)$ is equal to $k$, then $g$ belongs to the $(k+1)$th Fitting subgroup $F_{k+1}(G)$. For nonsoluble $G$, it is proved that if, for some $n$, the generalized Fitting height of $R_{n}(g)$ is equal to $k$, then $g$ belongs to the generalized Fitting subgroup $F_{f(k,m)}^{\ast }(G)$ with $f(k,m)$ depending only on $k$ and $m$, where $|g|$ is the product of $m$ primes counting multiplicities. It is also proved that if, for some $n$, the nonsoluble length of $R_{n}(g)$ is equal to $k$, then $g$ belongs to a normal subgroup whose nonsoluble length is bounded in terms of $k$ and $m$. Earlier, similar generalizations of Baer’s theorem (which states that an Engel element of a finite group belongs to the Fitting subgroup) were obtained by the first two authors in terms of left Engel-type subgroups.


1992 ◽  
Vol 57 (4) ◽  
pp. 1469-1477 ◽  
Author(s):  
Alexandre V. Borovik ◽  
Ali Nesin

The Schur-Zassenhaus Theorem is one of the fundamental theorems of finite group theory. Here is its statement:Fact 1.1 (Schur-Zassenhaus Theorem). Let G be a finite group and let N be a normal subgroup of G. Assume that the order ∣N∣ is relatively prime to the index [G:N]. Then N has a complement in G and any two complements of N are conjugate in G.The proof can be found in most standard books in group theory, e.g., in [S, Chapter 2, Theorem 8.10]. The original statement stipulated one of N or G/N to be solvable. Since then, the Feit-Thompson theorem [FT] has been proved and it forces either N or G/N to be solvable. (The analogous Feit-Thompson theorem for groups of finite Morley rank is a long standing open problem).The literal translation of the Schur-Zassenhaus theorem to the finite Morley rank context would state that in a group G of finite Morley rank a normal π-Hall subgroup (if it exists at all) has a complement and all the complements are conjugate to each other. (Recall that a group H is called a π-group, where π is a set of prime numbers, if elements of H have finite orders whose prime divisors are from π. Maximal π-subgroups of a group G are called π-Hall subgroups. They exist by Zorn's lemma. Since a normal π-subgroup of G is in all the π-Hall subgroups, if a group has a normal π-Hall subgroup then this subgroup is unique.)The second assertion of the Schur-Zassenhaus theorem about the conjugacy of complements is false in general. As a counterexample, consider the multiplicative group ℂ* of the complex number field ℂ and consider the p-Sylow for any prime p, or even the torsion part of ℂ*. Let H be this subgroup. H has a complement, but this complement is found by Zorn's Lemma (consider a maximal subgroup that intersects H trivially) and the use of Zorn's Lemma is essential. In fact, by Zorn's Lemma, any subgroup that has a trivial intersection with H can be extended to a complement of H. Since ℂ* is abelian, these complements cannot be conjugated to each other.


Author(s):  
Eloisa Detomi ◽  
Pavel Shumyatsky

Let $K$ be a subgroup of a finite group $G$ . The probability that an element of $G$ commutes with an element of $K$ is denoted by $Pr(K,G)$ . Assume that $Pr(K,G)\geq \epsilon$ for some fixed $\epsilon >0$ . We show that there is a normal subgroup $T\leq G$ and a subgroup $B\leq K$ such that the indices $[G:T]$ and $[K:B]$ and the order of the commutator subgroup $[T,B]$ are $\epsilon$ -bounded. This extends the well-known theorem, due to P. M. Neumann, that covers the case where $K=G$ . We deduce a number of corollaries of this result. A typical application is that if $K$ is the generalized Fitting subgroup $F^{*}(G)$ then $G$ has a class-2-nilpotent normal subgroup $R$ such that both the index $[G:R]$ and the order of the commutator subgroup $[R,R]$ are $\epsilon$ -bounded. In the same spirit we consider the cases where $K$ is a term of the lower central series of $G$ , or a Sylow subgroup, etc.


2008 ◽  
Vol 78 (1) ◽  
pp. 97-106
Author(s):  
GIL KAPLAN ◽  
DAN LEVY

AbstractLet α be a formation of finite groups which is closed under subgroups and group extensions and which contains the formation of solvable groups. Let G be any finite group. We state and prove equivalences between conditions on chief factors of G and structural characterizations of the α-residual and theα-radical of G. We also discuss the connection of our results to the generalized Fitting subgroup of G.


2018 ◽  
Vol 21 (6) ◽  
pp. 1095-1110
Author(s):  
Alexander A. Buturlakin ◽  
Danila O. Revin ◽  
Andrey V. Vasil’ev

Abstract Let G be a locally finite group and let {F(G)} be the Hirsch–Plotkin radical of G. Let S denote the full inverse image of the generalized Fitting subgroup of {G/F(G)} in G. Assume that there is a number k such that the length of every nested chain of centralizers in G does not exceed k. The Borovik–Khukhro conjecture states, in particular, that under this assumption, the quotient {G/S} contains an abelian subgroup of finite index bounded in terms of k. We disprove this statement and prove a weak analogue of it.


1993 ◽  
Vol 36 (2) ◽  
pp. 289-297
Author(s):  
Angel Carocca ◽  
Rudolf Maier

Based on the theory of p-supersoluble and supersoluble groups, a prime-number parametrized family of canonical characteristic subgroups Γp(G) and their intersection Γ(G) is introduced in every finite group G and some of its properties are studied. Special interest is dedicated to an elementwise description of the largest p-nilpotent normal subgroup of Γp(G) and of the Fitting subgroup of Γ(G).


2015 ◽  
Vol 15 (01) ◽  
pp. 1650008 ◽  
Author(s):  
Lü Gong ◽  
Libo Zhao ◽  
Xiuyun Guo

The main aim of this paper is to investigate two characteristic subgroups ω𝒜(G) and θ𝒜(G) of a finite group G, which are defined as the intersections of the normalizers of derived subgroups of subnormal and non-subnormal subgroups of G respectively. Our main theory improve and extend some earlier results.


1982 ◽  
Vol 25 (1) ◽  
pp. 19-20 ◽  
Author(s):  
U. Dempwolff ◽  
S. K. Wong

In [3] Laffey has shown that if Z is a cyclic subgroup of a finite subgroup G, then either a nontrivial subgroup of Z is normal in the Fitting subgroup F(G) or there exists a g in G such that Zg∩Z = 1. In this note we offer a simple proof of the following generalisation of that result:Theorem. Let G be a finite group and X and Y cyclic subgroups of G. Then there exists a g in G such that Xg∩Y⊴F(G).


Sign in / Sign up

Export Citation Format

Share Document