Let $G$ be some generalized $π$-soluble groups and ${\cal F}$ be a Fitting set of $G$. In this paper, we prove the existence and conjugacy of ${\cal F}$-injectors of $G$, and give a description of the structure of the injectors.
Let $π$ be a set of primes. We show that $π$-separable groups have a conjugacy class of $\mathfrak F$-injectors for suitable Fitting classes $\mathfrak F$, which coincide with the usual ones when specializing to soluble groups.
Let G be a group and H be a Hartley set of G. In this paper, we prove the existence and conjugacy of H-injectors of G and describe the structure of the injectors. As application, some known results are directly followed.
Let $G$ be a finite soluble group and $h(G)$ its Fitting length. The aim of this paper is to give certain upper bounds for $h(G)$ as functions of the Fitting length of at least three Hall subgroups of $G$ which factorize $G$ in a particular way.
In this paper the concept of $\mathbb{F}$-functorial of a finite group was introduced. These functorials have many properties of the Fitting subgroup of a soluble group and the generalized Fitting subgroup of a finite group. It was shown that the set of all $\mathbb{F}$-functorials is a complete distributive lattice and the cardinality of this lattice is continuum. The sharp bounds on the generalized Fitting height of mutually permutable product of two subgroups were obtained.
We show that every finitely generated nilpotent group of class 2 occurs as the quotient of a finitely presented abelian-by-nilpotent group by its largest nilpotent normal subgroup.
Let $q$ be a prime and $A$ a finite $q$-group of exponent $q$ acting by automorphisms on a finite $q'$-group $G$. Assume that $A$ has order at least $q^3$. We show that if $γ_{\infty} (C_{G}(a))$ has order at most $m$ for any $a \in A^{\#}$, then the order of $γ_{\infty} (G)$ is bounded solely in terms of $m$. If the Fitting subgroup of $C_{G}(a)$ has index at most $m$ for any $a \in A^{\#}$, then the second Fitting subgroup of $G$ has index bounded solely in terms of $m$.
We prove two conjectures of E. Khukhro and P. Shumyatsky concerning the Fitting height and insoluble length of finite groups. As a by-product of our methods, we also prove a generalization of a result of Flavell, which itself generalizes Wielandt's Zipper Lemma and provides a characterization of subgroups contained in a unique maximal subgroup. We also derive a number of consequences of our theorems, including some applications to the set of odd order elements of a finite group inverted by an involutory automorphism.
In this paper we consider the Fitting subgroup $F(G)$ of a finite group $G$ and its generalizations: the quasinilpotent radical $F^*(G)$ and the generalized Fitting subgroup $\tilde{F}(G)$ defined by $\tilde{F}(G)\supseteq Φ(G)$ and $\tilde{F}(G)/Φ(G)=Soc(G/Φ(G))$. We sum up known properties of $\tilde{F}(G)$ and suggest some new ones. Let $R$ be a subgroup of a group $G$. We shall call a subgroup $H$ of $G$ the $R$-subnormal subgroup if $H$ is subnormal in $ \langle H,R\rangle$. In this work the influence of $R$-subnormal subgroups (maximal, Sylow, cyclic primary) on the structure of finite g…
The generalised Fitting subgroup of a finite group is the group generated by all subnormal subgroups that are either nilpotent or quasisimple. The importance of this subgroup in finite group theory stems from the fact that it always contains its own centraliser, so that any finite group is an abelian extension of a group of automorphisms of its generalised Fitting subgroup. We define a class of profinite groups which generalises this phenomenon, and explore some consequences for the structure of profinite groups.
Motivated by classic theorems of Thompson and Berger on the Fitting height of finite groups with a fixed-point-free automorphism of coprime order, we conjecture that, for every non-zero polynomial $f(x) = a_0 + a_1 x + \cdots + a_d x^d \in \mathbb{Z}[x] $, there is an integer $k > 0$ with the following property. Let $G$ be a finite (solvable) group with a fixed-point-free automorphism $α$ satisfying $\gcd(|G|,k)= 1$ and $$\{ g^{a_0} \cdot α(g)^{a_1} \cdot α^2(g)^{a_2} \cdots α^d(g)^{a_d} | g \in G \} = \{1\}.$$ Then the Fitting height of $G$ is at most the number of irreducible factors of $f(x…
The nonsoluble length $λ(G)$ of a finite group $G$ is defined as the number of nonsoluble factors in a shortest normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$, where $F^*_1(G)=F^*(G)$ is the generalized Fitting subgroup, and $F^*_{i+1}(G)$ is the inverse image of $F^*(G/F^*_{i}(G))$. It is proved that if a finite group $G=AB$ is factorized by two subgroups of coprime orders, then the nonsoluble length of $G$ is bounded in terms of…
Let $f(x)$ be a non-zero polynomial with integer coefficients. An automorphism $φ$ of a group $G$ is said to satisfy the elementary abelian identity $f(x)$ if the linear transformation induced by $φ$ on every characteristic elementary abelian section $S$ of $G$ is annihilated by $f(x)$. We prove that if a finite (soluble) group $G$ admits a fixed-point-free automorphism $φ$ satisfying an elementary abelian identity $f(x)$, where $f(x)$ is a primitive polynomial, then the Fitting height of $G$ is bounded in terms of $\operatorname{deg}(f(x))$. We also prove that if $f(x)$ is any non-zero polyno…
The main purpose of the present work is an investigation of the notions Hopfian (co-Hopfian) acts whose their surjective (injective) endomorphisms are isomorphisms. While we investigate conditions that are relevant to these classes of acts, their interrelationship with some other concepts for example quasi-injective and Dedekind-finite acts is studied. Using Hopfian and co-Hopfian concepts, several conditions are given for a quasi-injective act to be Dedekind-finite. Moreover we bring out some properties of strongly Hopfian and strongly co-Hopfian $S$-acts. Ultimately we introduce and study th…
In this paper we study the groups all whose maximal or all Sylow subgroups are $K$-$\mathfrak{F}$-subnormal in their product the with generalizations of the Fitting subgroup $\mathrm{F}^*(G)$ and $\mathrm{\tilde F}(G)$. We prove that a hereditary formation $\mathfrak{F}$ contains every group all whose Sylow subgroups are $K$-$\mathfrak{F}$-subnormal in their product with $\mathrm{F}^*(G)$ if and only if $\mathfrak{F}$ is the class of all $σ$-nilpotent groups for some partition $σ$ of the set of all primes. We obtain a new characterization of the $σ$-nilpotent hypercenter, i.e. the $\mathfrak{F…
The generalized Fitting height $h^*(G)$ of a finite group $G$ is the least number $h$ such that $\mathrm{F}_h^* (G) = G$, where $\mathrm{F}_{(0)}^* (G) = 1$, and $\mathrm{F}_{(i+1)}^*(G)$ is the inverse image of the generalized Fitting subgroup $\mathrm{F}^*(G/\mathrm{F}^*_{(i)} (G))$. Let $p$ be a prime, $1=G_0\leq G_1\leq\dots\leq G_{2h+1}=G$ be the shortest normal series in which for $i$ odd the factor $G_{i+1}/G_i$ is $p$-soluble (possibly trivial), and for $i$ even the factor $G_{i+1}/G_i$ is a (non-empty) direct product of nonabelian simple groups. Then $h=λ_p(G)$ is called the non-$p$-s…
In this paper we are concerned with finite soluble groups $G$ admitting a factorisation $G=AB$, with $A$ and $B$ proper subgroups having coprime order. We are interested in bounding the Fitting height of $G$ in terms of some group-invariants of $A$ and $B$: including the Fitting heights and the derived lengths.
Let $g$ be an element of a finite group $G$. For a positive integer $n$, let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\dots,g]$ over $x\in G$, where $g$ is repeated $n$ times. By Baer's theorem, if $E_n(g)=1$, then $g$ belongs to the Fitting subgroup $F(G)$. We generalize this theorem in terms of certain length parameters of $E_n(g)$. For soluble $G$ we prove that if, for some $n$, the Fitting height of $E_n(g)$ is equal to $k$, then $g$ belongs to the $(k+1)$th Fitting subgroup $F_{k+1}(G)$. For nonsoluble $G$ the results are in terms of nonsoluble length and gener…
Let $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)}(G)$ with $f(k,m)$ depending only on $k$ and $m$, where $|g|$ is the product of $m$ primes …
Every finite solvable group $G$ has a normal series with nilpotent factors. The smallest possible number of factors in such a series is called the Fitting height $h(G)$. In the present paper, we derive an upper bound for $h(G)$ in terms of the exponent of $G$. Our bound constitutes a considerable improvement of an earlier bound obtained by Shalev.
In this paper, we characterize finite group $G$ with unique proper non-abelian element centralizer. This improves \cite[Theorem 1.1]{nab}. Among other results, we have proved that if $C(a)$ is the proper non-abelian element centralizer of $G$ for some $a \in G$, then $\frac{C(a)}{Z(G)}$ is the Fitting subgroup of $\frac{G}{Z(G)}$, $C(a)$ is the Fitting subgroup of $G$ and $G' \in C(a)$, where $G'$ is the commutator subgroup of $G$.
We prove that the order of a finite group $G$ with trivial solvable radical is bounded above in terms of ${\rm acd}(G)$, the average degree of the irreducible characters. It is not true that the index of the Fitting subgroup is bounded above in terms of ${\rm acd}(G)$, but we show that in certain cases it is bounded in terms of the degrees of the irreducible characters of $G$ that lie over a linear character of the Fitting subgroup. This leads us to propose a refined version of Gluck's conjecture.
It is proved that if a finite $p$-soluble group $G$ admits an automorphism $φ$ of order $p^n$ having at most $m$ fixed points on every $φ$-invariant elementary abelian $p'$-section of $G$, then the $p$-length of $G$ is bounded above in terms of $p^n$ and $m$; if in addition the group $G$ is soluble, then the Fitting height of $G$ is bounded above in terms of $p^n$ and $m$. It is also proved that if a finite soluble group $G$ admits an automorphism $ψ$ of order $p^aq^b$ for some primes $p,q$, then the Fitting height of $G$ is bounded above in terms of $|ψ|$ and $|C_G(ψ)|$.
An abstract group $G$ is called totally $2$-closed if $H=H^{(2),Ω}$ for any set $Ω$ with $G\cong H\leq{\rm Sym}(Ω)$, where $H^{(2),Ω}$ is the largest subgroup of ${\rm Sym}(Ω)$ whose orbits on $Ω\timesΩ$ are the same orbits of $H$. In this paper, we classify the finite soluble totally $2$-closed groups. We also prove that the Fitting subgroup of a totally $2$-closed group is a totally $2$-closed group. Finally, we prove that a finite insoluble totally $2$-closed group $G$ of minimal order with non-trivial Fitting subgroup has shape $Z\cdot X$, with $Z=Z(G)$ cyclic, and $X$ is a finite group wi…
It is known that a finite group with an automorphism $φ$ of coprime order has a soluble radical of $(|φ|,|C_G(φ)|)$-bounded Fitting height and index. We extend this classic result as follows. Let $f(x) = a_0 + a_1 \cdot x + \cdots + a_d \cdot x^d \in \mathbb{Z}[x]$ be a primitive polynomial and let $G$ be a finite group with an automorphism $φ$ of coprime order satisfying $ g^{a_0} \cdot φ(g)^{a_1} \cdots φ^d(g)^{a_d} = 1 $, for all $g \in G$. Then the soluble radical of $G$ has $(d,|C_G(φ)|)$-boundex Fitting height and index. The bounds are made explicit and are particularly good for small va…
Let $q$ be a prime and $A$ an elementary abelian group of order at least $q^3$ acting by automorphisms on a finite $q'$-group $G$. It is proved that if $|γ_{\infty}(C_{G}(a))|\leq m$ for any $a\in A^{\#}$, then the order of $γ_{\infty}(G)$ is $m$-bounded. If $F(C_{G}(a))$ has index at most $m$ in $C_G(a)$ for any $a \in A^{\#}$, then the index of $F_2(G)$ is $m$-bounded.
A theorem of Dolfi, Herzog, Kaplan, and Lev \cite[Thm.~C]{DHKL} asserts that in a finite group with trivial Fitting subgroup, the size of the soluble residual of the group is bounded from below by a certain power of the group order, and that the inequality is sharp. Inspired by this result and some of the arguments in \cite{DHKL}, we establish the following generalisation: if $\mathfrak{X}$ is a subgroup-closed Fitting formation of full characteristic which does not contain all finite groups and $\overline{\mathfrak{X}}$ is the extension-closure of $\mathfrak{X}$, then there exists an (optimal…
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the M…
The nonsoluble length $λ(G)$ of a finite group $G$ is defined as the minimum number of nonsoluble factors in a normal series of $G$ each of whose quotients either is soluble or is a direct product of nonabelian simple groups. The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$, where $F^*_1(G)=F^*(G)$ is the generalized Fitting subgroup, and $F^*_{i+1}(G)$ is the inverse image of $F^*(G/F^*_{i}(G))$. In the present paper we prove that if $λ(J)\leq k$ for every 2-generator subgroup $J$ of $G$, then $λ(G)\leq k$. It is conjectured that if $h…
Goldmann and Russell (2002) initiated the study of the complexity of the equation satisfiability problem in finite groups by showing that it is in P for nilpotent groups while it is NP-complete for non-solvable groups. Since then, several results have appeared showing that the problem can be solved in polynomial time in certain solvable groups of Fitting length two. In this work, we present the first lower bounds for the equation satisfiability problem in finite solvable groups: under the assumption of the exponential time hypothesis, we show that it cannot be in P for any group of Fitting len…
Let $FH$ be a Frobenius group with kernel $F$ and complement $H$, acting coprimely on the finite solvable group $G$ by automorphisms. We prove that if $C_{G}(H)$ is of Fitting length $n$ then the index of the $n$-th Fitting subgroup $F_{n}(G)$ in $G$ is bounded in terms of $|C_{G}(F)|$ and $|F|.$ This generalizes a result of Khukhro and Makarenko \cite{k-m} which handles the case $n=1.$
For a finite group $G$ we investigate the difference between the maximum size MaxDim$(G)$ of an "independent" family of maximal subgroups of $G$ and maximum size $m(G)$ of an irredundant sequence of generators of $G$. We prove that MaxDim$(G)=m(G)$ if the derived subgroup of $G$ is nilpotent. However MaxDim$(G)-m(G)$ can be arbitrarily large: for any odd prime $p,$ we construct a finite soluble group with Fitting length 2 satisfying $m(G)=3$ and MaxDim$(G)=p.$
Let $G$ be a finite solvable group and $H$ be a subgroup of $Aut(G)$. Suppose that there exists an $H$-invariant Carter subgroup $F$ of $G$ such that the semidirect product $FH$ is a Frobenius group with kernel $F$. We prove that the terms of the Fitting series of $C_{G}(H)$ are obtained as the intersection of $C_{G}(H)$ with the corresponding terms of the Fitting series of $G$, and the Fitting height of $G$ may exceed the Fitting height of $C_{G}(H)$ by at most one. As a corollary it is shown that for any set of primes $π$, the terms of the $π$-series of $C_{G}(H)$ is obtained as the intersec…
In this paper, we consider Problem 14.44 in the Kourovka notebook, which is a conjecture about the number of conjugacy classes of a finite group. While elementary, this conjecture is still open and appears to elude any straightforward proof, even in the soluble case. However, we do prove that a minimal soluble counterexample must have certain properties, in particular that it must have Fitting height at least 3 and order at least 2000.
The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$, where the $F^*_i(G)$ is the generalized Fitting series: $F^*_1(G)=F^*(G)$ and $F^*_{i+1}(G)$ is the inverse image of $F^*(G/F^*_{i}(G))$. It is proved that if $G$ admits a soluble group of automorphisms $A$ of coprime order, then $h^*(G)$ is bounded in terms of $h^* (C_G(A))$, where $C_G(A)$ is the fixed-point subgroup, and the number of prime factors of $|A|$ counting multiplicities. The result follows from the special case when $A=\langleφ\rangle$ is of prime order, where it is proved …
Let $G$ be a finite group and $M(G)$ be the subgroup of $G$ generated by all non-central elements of $G$ that lie in the conjugacy classes of the smallest size. Recently several results have been proved regarding the nilpotency class of $M(G)$ and $F(M(G))$, where $F(M(G))$ denotes the Fitting subgroup of $M(G)$. We prove some conditional results regarding the nilpotency class of $M(G)$.
We provide polynomial lower bounds for residual finiteness of residually finite, finitely generated solvable groups that admit infinite order elements in the Fitting subgroup of strict distortion at least exponential. For this class of solvable groups which include polycyclic groups with a nontrivial exponential radical and the metabelian Baumslag-Solitar groups, we improve the lower bounds found in the literature. Additionally, for the class of residually finite, finitely generated solvable groups of infinite Prüfer rank that satisfy the conditions of our theorem, we provide the first nontriv…
We study the Hirsch-Plotkin radical of stability groups of (general) subspace series of infinite dimensional vector spaces. We show that in countable dimension and some other cases, the HP-radical of the stability group coincides with the set of all space automorphisms that fix a finite sub-series; this implies that the HP radical is a Fitting group. Conversely, we prove that every countable Fitting group, which is either torsion-free or a p-group may be represented as a subgroup of the HP radical of a series stabilizer.
Aiming at a better understanding of finite groups as finite dynamical systems, we show that by a version of Fitting's Lemma for groups, each state space of an endomorphism of a finite group is a graph tensor product of a finite directed $1$-tree whose cycle is a loop with a disjoint union of cycles, generalizing results of Hernández-Toledo on linear finite dynamical systems, and we fully characterize the possible forms of state spaces of nilpotent endomorphisms via their "ramification behavior". Finally, as an application, we will count the isomorphism types of state spaces of endomorphisms of…
A left Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. (Thus, $g$ is a left Engel element precisely when we can choose ${\mathscr E}(g)=\{ 1\}$.) We prove that if a finite group $G$ admits an automorphism $φ$ of prime order coprime to $|G|$ such that for some positive integer $m$ every element of the centralizer $C_G(φ)$ has a left Engel sink of cardinality at most $m$, then the index of the second Fitting subgroup $F_2(G)$ is bounded in terms of $m$. A r…
Let $R$ be a subset of a group $G$. We call a subgroup $H$ of $G$ the $R$-conjugate-permutable subgroup of $G$, if $HH^{x}=H^{x}H$ for all $x\in R$. This concept is a generalization of conjugate-permutable subgroups introduced by T. Foguel. Our work focuses on the influence of $R$-conjugate-permutable subgroups on the structure of finite groups in case when $R$ is the Fitting subgroup or its generalizations $F^{*}(G)$ (introduced by H. Bender in 1970) and $\tilde{F}(G)$ (introduced by P. Shmid 1972). We obtain a new criteria for nilpotency and supersolubility of finite groups which generalize …
For an irreducible complex character $χ$ of the finite group $G$, let $π(χ)$ denote the set of prime divisors of the degree $χ(1)$ of $χ$. Denote then by $ρ(G)$ the union of all the sets $π(χ)$ and by $σ(G)$ the largest value of $|π(χ)|$, as $χ$ runs in ${\rm{Irr}}(G)$. The $ρ$-$σ$ conjecture, formulated by Bertram Huppert in the 80's, predicts that $|ρ(G)|\leq 3σ(G)$ always holds, whereas $|ρ(G)|\leq 2σ(G)$ holds if $G$ is solvable; moreover, O. Manz and T.R. Wolf proposed a "strengthened" form of the conjecture in the general case, asking whether $|ρ(G)|\leq 2σ(G)+1$ is true for every finite…
We show that for a finite group $G$, the commuting probability of $G$ can be explicitly bounded from below in a nontrivial way by a function in the maximum fraction of elements inverted resp. squared by an automorphism of $G$. Using these bounds together with a result of Guralnick and Robinson gives upper bounds on the index of the Fitting subgroup of $G$ under each of the two conditions that $G$ have an automorphism inverting resp. squaring at least $ρ|G|$ many elements in $G$, for $ρ\in\left(0,1\right]$ fixed. This is an improvement on previous results of the author.
Jaligot's Lemma states that the Fitting subgroups of distinct Borel subgroups do not intersect in a tame minimal simple groups of finite Morley. Such a strong result appears hopeless without tameness. Here we use the 0-unipotence theory to build a toolkit for the analysis of nonabelian intersections of Borel subgroups. As a demonstration, we show that any connected nilpotent subgroup of an intersection of Borel subgroups, in a nontame minimal simple group, must actually be abelian.
We reformulate several basic notions of notions in finite group theory in terms of iterations of the lifting property (orthogonality) with respect to particular morphisms. Our examples include the notions being nilpotent, solvable, perfect, torsion-free; p-groups and prime-to-p-groups; Fitting subgroup, perfect core, p-core, and prime-to-p core. We also reformulate as in similar terms the conjecture that a localisation of a (transfinitely) nilpotent group is (transfinitely) nilpotent.