Finite solvable tidy Groups whose orders are divisible by two primes

In this paper, we investigate finite solvable tidy groups. We classify the tidy $\{ p, q \}$-groups. Combining this with a previous result, we are able to characterize the finite tidy solvable groups. Using this characterization, we bound the Fitting height of finite tidy solvable groups and we prove that the quotients of finite tidy solvable groups are tidy.


Introduction
Throughout this paper, all groups are finite except where stated.We use [11] for standard group theory results; but any standard group theory text will contain nearly all of the results that we need.For a group G and an element x ∈ G, we condier the set Cyc G (x) = {g ∈ G | x, g is cyclic}.For most groups G and elements x, this set Cyc G (x) is not a subgroup.In this paper, we focus on the following special situation.As in [12], a group G is said to be tidy if Cyc G (x) is a subgroup of G for every element x ∈ G.
Using the definition of tidy, it is an easy exercise to show that subgroups of tidy groups are tidy.On the other hand, in [12], it was shown that if G is nilpotent and the Sylow subgroups of G are tidy, then G is tidy.In [5], we determine that a p-group is tidy if and only if it is cyclic, has exponent p, is dihedral, or is generalized quaternion.Therefore, we know all of the nilpotent tidy groups.
It is natural next to look at solvable groups.First, one would ask if there are non-tidy solvable groups where all of the Sylow subgroups are tidy.In [6], we show that S 3 × Z 3 is an example of a solvable group where all of the Sylow subgroups are tidy but the group itself is not tidy.However, when we consider Hall subgroups with two prime divisors, we obtain a different answer.The main result in [6] shows that if G is a solvable group and every Hall subgroup whose order is divisible by two prime divisors is tidy, then G is tidy.
Thus, if we can classify the {p, q}-groups that are tidy for primes p and q, then we can use the main result from [6] to characterize the solvable tidy groups.In fact, we are able to classify the tidy {p, q}groups in Theorem 4.6.Due to the complexity of the list of groups, we will leave the presentation of this classification for Section 4. We now present two consequences for solvable tidy groups that we can obtain from our characterization.
First, we are able to bound the Fitting height of the group and the derived length of the quotient modulo the Fitting subgroup.We note that the definition of tidy groups is not particularly compatible with quotients.It is noted by Erfanian and Farrokhi in the Introduction of [8] that the quotients of infinite tidy groups are not necessarily tidy.They give an example of an infinite tidy group with a quotient that is not tidy.
We now give some evidence that for finite tidy groups, quotients of tidy groups are tidy.In particular, we prove that the quotients of finite solvable tidy groups are tidy.
Theorem 2. If G is a (finite) solvable tidy group and N is a normal subgroup of G, then G/N is tidy.
As the above shows, one of our methods of analyzing tidy groups is in terms of their Hall subgroups.In order to obtain many of our results, we also need a second method of analysis.This method involves studying the elements of prime power order.We will show in Section 2 that it is sufficient to check whether the elements of prime power order satisfy the condition of the definition to determine if a group is tidy.
This research was conducted during a summer REU in 2020 at Kent State University with the funding of NSF Grant DMS-1653002.We thank the NSF and Professor Soprunova for their support.

Elements of Prime Power Order
In [6], we prove the following result which shows that need only check on the elements of prime power order.Lemma 2.1.Suppose G is a group.If every element 1 = x ∈ G having prime power order satisfies the condition that Cyc G (x) is a subgroup of G, then G is a tidy group.
With this in mind, we can focus on the elements of prime power order.Since subgroups of tidy groups are tidy, we need to focus on tidy Sylow p-subgroups.In Theorem 14 of [12], they obtain a characterization of the tidy p-groups.In [5], we use their characterization to obtain a classification of the tidy p-groups.
Theorem 2.2.Let G be a p-group for some prime p. Then G is a tidy group if and only if one of the following occurs:.
The following is a consequence of Burnside's normal p-complement theorem (see Theorem 5.13 of [11]) and Fitting's theorem (see Theorem 4.34 of [11]).It is proved as Lemma 2.5 of [6].For central elements of order p when the Sylow subgroup has exponent p, we proved the following in Lemma 2.4 of [6].
Lemma 2.5.Let G be a group and let p be a prime.Suppose x ∈ Z(G) has order p and a Sylow p-subgroup of G has exponent p.
For a central element of order 2 in a group whose Sylow 2-subgroups are dihedral and there is a normal 2-complement, we proved the following as Lemma 2.7 of [6].It made use of a result proved by Gorenstein and Walter in [9] regarding groups that have a dihedral subgroup as a Sylow 2-subgroup.Lemma 2.6.Let G be a group and let x ∈ Z(G) have order 2. Suppose a Sylow 2-subgroup T of G is dihedral and write D for the cyclic subgroup of index 2 in T .Then G has a normal 2-complement K and Cyc G (x) = DK.In particular, Cyc G (x) is a subgroup of G.
The following lemma is key to understanding how coprime subgroups interact in a tidy group.Lemma 2.7.Let G be a tidy group, and let p be a prime.If O p (G) > 1 and x ∈ G has order not divisible by p, then one of the following occurs: (1) , and the result is proved.
We will see that we need to understand the centralizer of O p (G) in a Hall p-complement.In this next lemma, we consider this situation when a Sylow p-subgroup has exponent p. Lemma 2.8.Let G be a tidy group and let p be a prime.Suppose that G has a Sylow p-subgroup P of exponent p and let H be a Hall p- Proof.By order considerations, G = P H. Since 1 < O p (G) is a normal subgroup of P , the intersection O p (G) ∩ Z(P ) > 1.Thus, we can fix an element z ∈ Z(P )∩O p (G). Observe that C and P are both contained in C G (z).By Lemma 2.5, we see that We now assume that C < H.By Lemma 2.
In this next lemma, we make use of a result proved by Gorenstein and Walter in [9] regarding groups that have a dihedral subgroup as a Sylow 2-subgroup.Lemma 2.9.Let G be a group.Suppose a Sylow 2-subgroup of G is a dihedral group.If O 2 (G) > 1 and is not elementary abelian of order 4, then G has a normal 2-complement.
Proof.Let P be a Sylow 2-subgroup of G.We know that P is a dihedral group and O 2 (G) is a normal subgroup of P .Since O 2 (G) is not elementary abelian of order 4, we see that O 2 (G) is either cyclic or dihedral.In either case, O 2 (G) has a subgroup Z of order 2 that is characteristic in O 2 (G).It follows that Z is normal in G. Hence, G is the centralizer of an involution.Since a Sylow 2-subgroup of G is dihedral, we can apply Lemma 8 of [9] to see that G has a normal 2-complement.
We continue to investigate tidy groups that have a Sylow 2-subgroup that is dihedral.While we are not assuming that G is solvable, we do assume that G has a Hall 2-complement.

Some tidy groups
In this section, we prove that several groups are tidy groups.The following generalizes Proposition 2.5 of [1].That result proves that a Frobenius group is tidy if and only if the Frobenius kernel is tidy.We now consider certain extensions of Frobenius groups to determine when they are tidy.Theorem 3.1.Let G be a group and let N < F (G) be a normal subgroup of G so that G/N is a Frobenius group with Frobenius kernel F (G)/N and Frobenius complement H/N.Assume that N is a Hall subgroup of F (G) and either (1)  Proof.By Lemma 2.1, to prove that G is tidy, it suffices to prove that Cyc G (x) is a subgroup for every element 1 = x ∈ G that has prime power order.Assume x ∈ G has order that is a power of the prime p.
Suppose first that p does not divide |F (G)|.Let P be a Sylow psubgroup of G.We see that P ∩ N ≤ P ∩ F (G) = 1, so P ∼ = P N/N.This implies that P is isomorphic to a Sylow subgroup of a Frobenius complement.Hence, P is either cyclic or generalized quaternion.By Lemma 2.4, we see that Cyc We now suppose that p divides |F (G)|.We are assuming that G has tidy Sylow subgroups for every prime dividing |F (G)|.This implies that all of the Sylow subgroups of F (G) are tidy.Since F (G) is nilpotent, we conclude that F (G) is tidy.We next suppose that p does not divide |N|.This implies that xN is a nontrivial element of F (G)/N.Since G/N is a Frobenius group, we deduce that We next consider that p divides |N|.If a Sylow p-subgroup of C G (x) is either cyclic or generalized quaternion, then we know that Cyc G (x) = C G (x) is a subgroup by Lemma 2.4.Thus, we may assume that a Sylow p-subgroup of C G (x) either has exponent p or is dihedral.In view of Lemmas 2.5 and 2.6, to show that Cyc G (x) is a subgroup, it suffices to show that C G (x) has a normal p-complement.
Let σ be the set of prime divisors of |F (G) : N|, and let L be the Hall σ-subgroup of F (G).Note that The subgroups H/N and F (G)/N intersect trivially, and so In particular, (H ∩ L) ≤ N. Since N is Hall subgroup of F (G) by our hypothesis and |L| is a σ-number, we know that N ∩ L = 1 by order considerations.Now, (H ∩ L) ≤ (N ∩ L) = 1, and so G/L ∼ = H.
We proceed with the hypothesis that H is not nilpotent.So, the hypotheses in (2) are therefore in effect.As N is a normal Hall subgroup of H ′ N, we know that N ∩ H ′ is a Hall subgroup of the nilpotent group H ′ .Let L be the complement to N ∩ H ′ in H ′ , and note that, in fact, L = O π (H ′ ), where π is the set of prime divisors of and so by Dedekind's Lemma Hence, (U ∩ L) ≤ N, and so (U ∩ L) ≤ (N ∩ L) = 1, where we used the fact that |L| and |N| are coprime.Thus, In the hypotheses of Theorem 3.1, we have a nilpotent normal subgroup N of a group G such that G/N is a Frobenius group with Frobenius kernel F (G)/N.Since the Frobenius kernel of a Frobenius group is the Fitting subgroup of the group, we actually have that Nilpotent normal subgroups N of a group G that satisfy the equation F (G/N) = F (G)/N were called generalized Frattini subgroups by Beidleman and Seo in [2] and further studied by Beidleman in [3].Beidleman and Dykes considered a further generalization of these subgroups in [4].
It is well known that SL 2 (3) has a unique non split extension by Z 2 .
This group is isoclinic to GL 2 (3) and so, we denote it by GL 2 (3).This group occurs as a Frobenius complement and it has a Sylow 2-subgroup that is generalized quaternion of order 16.We determine the tidiness of certain extensions of S 4 .
Theorem 3.2.Suppose G is a {2, 3}-group that satisfies one of the following: Proof.By Lemma 2.1, it suffices to prove that Cyc G (x) is a subgroup for 1 = x ∈ G when x has either 2-power or 3-power order.Suppose first that 1 = x has 3-power order, and let P be a Sylow 3-subgroup of G.We claim that C G (x) ≤ P O 2 (G).In (2), we have G = P O 2 (G), so the claim holds trivially.In ( 1) and ( 3 , and so, C G (x) ≤ P O 2 (G).It follows that the claims holds in these cases also.Thus, C G (x) has a normal 2-complement.Since either P is cyclic or has exponent 3, this implies Cyc G (x) is a subgroup by either Lemma 2.5 or 2.4.Now, suppose 1 = x has 2-power order.If o(x) = 4, then x will be a Sylow 2-subgroup of C G (x), and so, Cyc G (x) is a subgroup by Lemma 2.4.We suppose o(x) = 2.If a Sylow 2-subgroup of G is generalized quaternion, then we have that Cyc G (x) is a subgroup by Lemma 2.4 again.We are left with the case where a Sylow 2-subgroup of G is dihedral of order 8.This implies that we are in hypothesis (1).It is not difficult to see that In particular, C G (x) has a normal 2-complement.This implies that C G (x) is a subgroup by Lemma 2.6, and the result is proved.
Recall that a group G is a 2-Frobenius group if there exists normal subgroups 1 < K < N < G so that N is a Frobenius group with Frobenius kernel K and G/K is a Frobenius group with Frobenius kernel N/K.The group S 4 is an example of a 2-Frobenius group.One consequence of this next lemma is that S 4 is the only 2-Frobenius group that is a tidy group.Lemma 3.3.Suppose G is a tidy group, and suppose there exists a normal subgroup L so that G/L is a 2-Frobenius group.If there exists a normal subgroup M of G so that L ∩ M = 1 and ML/L is the Fitting subgroup of G/L, then M is a Klein 4-subgroup, G/L is isomorphic to S 4 , and |L| is odd.
Proof.We have 1 ≤ L < K < N < G so that N/L is a Frobenius group with Frobenius kernel K/L and G/K is a Frobenius group with Frobenius kernel N/K.Observe that K/L is the Fitting subgroup of G/L, so K = ML.Since M ∩ L = 1, we have K = M × L. Let H/L be a Frobenius complement of N/L.By the Frattini argument, we have that Let p be a prime divisor of |M|, and let P be a Sylow p-subgroup of M. Observe that P HB/L is a 2-Frobenius group.Let Q/L be a subgroup of B/L of prime order q.Observe that P HQ/L is a 2-Frobenius group.Suppose p = q.Observe that HQ/L acts nontrivially on P and Q/L cannot be contained in the kernel of this action.We have that Q/L acts nontrivially on P .On the other hand, HQ/L is not a Frobenius complement, so we have that C P (Q/L) > 1.We now see that C Q/L (P ) = 1 and Q/L does not act Frobeniusly on P .This contradicts Lemma 2.7.Thus, we must have p = q, which implies that M and B/L are both p-groups.Since MH/L is a Frobenius group, we see that M is not dihedral or generalized quaternion.Since HB/L is nonabelian and is isomorphic to a subgroup of G/C G (M) ≤ Aut(M), it follows that M must be cyclic.
By Theorem 2.2, M must have exponent p.This implies that Z := Z(M) is elementary abelian, and we can view Z as a module for Z p .Observe also that ZHQ/L is a 2-Frobenius group.Now, we now apply Theorem 15.16 of [10] to see that Z has a basis which is permuted by Q/L in orbits of size p.Let {a 1 , . . .a p } be one of these orbits.We see that a 1 , Q/L is isomorphic to Z p ≀ Z p .It is well-known that Z p ≀ Z p has exponent p 2 (see Problem 4A.7 in [11]).Since M is not cyclic, we can use Theorem 2.2 to see that a Sylow p-subgroup of G must have exponent p when p is odd.Hence, we must have that p = 2. Now, the Sylow 2-subgroup of G is not abelian, and has a normal subgroup that is elementary abelian.In light of Theorem 2.2 again, we deduce that a Sylow 2-subgroup of G is dihedral of order 8 and M = Z 2 × Z 2 .Since Aut(M) ∼ = GL 2 (2), we have H/L ∼ = Z 3 and HB/L ∼ = S 3 .We finally conclude that G/L ∼ = S 4 and |L| is odd.

Tidy {p, q}-groups
In this section, we classify the tidy {p, q}-groups.We first consider the case where the Sylow 2-subgroup is generalized quaternion and O 2 (G) has order 2.
In particular, there is an odd prime p so that O p (G) > 1.Let p 1 , . . ., p n be the odd prime divisors of |F (G)| so that Observe that no quotient of T /Z is generalized quaternion.
By Lemma 2.7, we see that every element of T /C T (O p i (G)) acts Frobeniusly on O p i (G), and so, T /C T (O p i (G)) is a Frobenius complement.Since it is not generalized quaternion, we conclude that This implies that T has nilpotence class 2. The only generalized quaternion group with nilpotence class 2 is the quaternion group of order 8, and thus, T is the quaternion group.Notice that T ′ < C T (O p i (G)), so we would have a contradiction if only one prime divides |F (G) : To complete the proof, we need to show that G has a normal 2complement.Let H be a 2-complement of G.
By a corollary to the Burnside normal p-complement theorem (Corollary 5.14 of [11]), this implies that G/C G (O p i (G)) has a normal 2complement.Hence, we have will contain elements outside of D, and it will intersect D in a subgroup of order at least 4. Observe that if x ∈ T \ D, then Thus, we are left with the case that O 2 (G) is the quaternion group of order 8.We know that Thus, there are three possibilities here.In particular, We assume that we are in cases ( 2) or (3).Let H be a Hall {2, 3}subgroup of G and take T to be a Hall {2, 3}-complement of C. Observe that H ∩ C will be a 3-subgroup, will be normal in H and will be a Sylow 3-subgroup of C. Also,  (3).Therefore, we obtain conclusion (2).
We also need to understand the centralizer when a Sylow subgroup is cyclic.We obtain additional information in this case.We define the terms of the upper central series as follows.Set Z 0 (G) = 1 and for is the hyper-center of G, and we denote it by Z ∞ (G).Lemma 4.4.Let G be a tidy group and let p be a prime.Suppose that G has a Sylow p-subgroup P that is cyclic and let H be a Hall is cyclic of prime power order and |H : C| is coprime to p, we conclude that H/C is cyclic of order dividing p − 1. (Recall that the automorphism group of a cyclic 2-group is a 2-group and when p is odd, the automorphism group of a cyclic group of order p a is cyclic of order φ(p a ) = p a−1 (p − 1).)It is not difficult to see that any nontrivial automorphism of coprime order of a cyclic group of prime power order will be fixed point-free.(This strongly uses the fact that we have prime power order; it is not true if you do not assume this.We also make use of the following technical lemma about hypercenters.
Lemma 4.5.Let G be a tidy solvable group and let p be a prime.Suppose that G has a Sylow p-subgroup P and let H be a Hall p- We claim that Z n (G) ∩ P = Z n (P ) ∩ O p (G) for n ≥ 1.We have proved this for n = 1.Suppose we know it is true for m ≥ 1, and we now prove it is true for m+1.Since H centralizes O p (G), it follows that HZ m (G) will centralize (Z m+1 (P )∩O p (G))Z m (G)/Z m (G).It is obvious that P Z m (G)/Z m (G) centralizes (Z m+1 (P )∩O p (G))Z m (G)/Z m (G).We have that Z m+1 (P ) ∩ O p (G) ≤ Z m+1 (G) ∩ P .On the other hand, it is easy to see that Z m+1 (G) ∩ P is contained in Z m+1 (P ) and it is a p-group that is normal in G, so we have proved the claim.Since O p (G) ≤ Z n (P ) for some n, we have We now arrive at the main theorem of this section, the classification of tidy {p, q}-groups.
Theorem 4.6.Suppose G is a {p, q}-group for distinct primes p and q.Then G is tidy if and only if G has tidy Sylow pand Sylow q-subgroups and one of the following occurs: (1) G is nilpotent.
(2) Up to relabeling p and q, Z ∞ (G) is a q-group and G/Z ∞ (G) is a Frobenius group whose Frobenius kernel is the Sylow p-subgroup.
Proof.We begin by assuming that G is a tidy group.This implies that G has tidy Sylow p-and Sylow q-subgroups P and Q respectively.If both P = O p (G) and Q = O q (G), then G = P Q and G is nilpotent and we have (1).We now assume that G is not nilpotent; so both P > 1 and Q > 1 and either O p (G) . By Theorem 2.2, we know that P has exponent p, is cyclic, is dihedral, or is generalized quaternion.By Lemmas 2.8, 2.10, 4.2, and 4.4 C is normal in G.This implies that C = O q (G).By our assumption, C < Q.In particular, G does not have a normal p-complement.Hence, if P is a dihedral group, then p = 2. Using Lemma 2.9, we have O 2 (G) = Z 2 × Z 2 and in view of Lemma 2.10, G/C ∼ = S 4 .This implies that q = 3 and Next, suppose P is generalized quaternion, so again p = 2.We are assuming that O 2 (G) > 1.This implies that O 2 (G) is either cyclic or generalized quaternion.In either case, O 2 (G) has a characteristic subgroup of order 2.This implies that there exists x ∈ Z(G) with o(x) = 2. Since we are assuming that G does not have a normal 2-complement, we may apply Lemma 4.3 to see that O 2 (G) is the quaternion group of order 8 and q = 3 and G/O 3 (G) is isomorphic to either SL 2 (3) or GL 2 (3).Now, if G/O 3 (G) is isomorphic to SL 2 (3), then O 2 (G) will be a Sylow 2-subgroup of G.This implies that P = C P (O 3 (G)).By Lemma 4.5, ).This proves (5).
We now assume P is cyclic or has exponent p.By Lemma 4.4 or 2.8, we see that QO p (G)/O q (G) is a Frobenius group with Frobenius kernel P O q (G)/O q (G).Also, P ∩ Z ∞ (G) = 1.Observe that P = C P (O q (G)).By Lemma 4.5, we have (2).Thus, we may assume that O p (G)Q < G, and this implies that O p (G) < P .Let N be a normal subgroup so that O p (G)O q (G) < N and N/O p (G)O q (G) is a chief factor for G. Thus, O p (G)O q (G) is either a p-group or a q-group.
Suppose first that N/(O p (G)O q (G)) is a q-group.(Note that we may have O q (G) = 1.)Since QO p (G)/O q (G) is a Frobenius group, we have that N/O q (G) is a Frobenius group with O p (G)O q (G) as its Frobenius kernel.By the Frattini argument, we have It follows that P = O p (G)N P (N ∩Q).Since (N ∩Q)/O q (G) acts Frobeniusly on O p (G), we see that O p (G) ∩ N P (N ∩ Q) = 1.Hence, we can find 1 = x ∈ N P (N ∩ Q).Suppose there exists y ∈ N ∩ Q that is centralized by x.Observe that 1 < Z(P ) ∩ O p (G) ≤ C G (x).By Lemma 2.5 or 2.3, we know that C G (x) has a normal p-complement.This implies that y is in a normal subgroup of C G (x) that is disjoint from Z(P ) ∩ O p (G).It follows that y centralizes Z(P ) ∩O p (G).Since (N ∩Q)/O q (G) is acting Frobeniusly on O p (G), we deduce that y ∈ O q (G).We now see that ).Thus, Lemma 3.3 applies and implies that p = 2 and NP/O p (G) ∼ = S 4 .This however contradicts the fact that a Sylow p-subgroup is cyclic or has exponent p.This case cannot occur.
We have that N/(O p (G)O q (G)) is a p-group.This implies that O q (G) > 1 since N > O p (G)O q (G).Notice that O p (G) < P and 1 < O q (G) < Q implies that if 2 ∈ {p, q}, then p = 2. Observe that N ∩ P is not normal in G, so N ∩ P cannot centralize O q (G).Using Lemma 2.7, we see that (N ∩ P )/O p (G) acts Frobeniusly on O q (G).(Since q = 2, we have that conclusion (3) of Lemma 2.7 does not occur.)Since q = 2, we know from Theorem 2.2 that Q is either cyclic or exponent q.If Q is cyclic, then Lemma 4.4 would apply and O q (G) = Q which is a contradiction to the choice of p and q.Hence Q has exponent q.Now, we can reverse the roles of p and q, and the same argument as in the last paragraph applies to yield a contradiction.This completes this direction.
To see the converse, observe that a nilpotent group where all the Sylow subgroups are tidy is tidy, so we have the result if (1) holds.If (3), (4), or (5) hold, then G is tidy by Theorem 3.2.If (2) holds, then we have that G is tidy by Theorem 3.1 where N = Z ∞ (G) and H = Q is nilpotent.

Solvable tidy groups
In this section, we work to prove some consequences of our characterization of solvable tidy groups.
We now work to prove that the quotients of finite solvable tidy groups are tidy.We will see that the proof relies on the fact that a finite solvable group is tidy if and only if its Hall {p, q}-subgroups are tidy for all primes p and q and on the classification of tidy {p, q}-groups.At this time, it is an open question as to whether quotients of finite nonsolvable tidy groups are tidy.
We begin with the observation using Theorem 2.2 that any quotient of a tidy p-group will be tidy where p is a prime.Next, we use Theorem 4.6 to determine the tidy {p, q}-group where p and q are distinct primes.This will be the key to the next lemma.Lemma 5.1.Let G be a tidy {p, q}-group for distinct primes p and q.If N is a normal subgroup of G, then G/N is a tidy group.
Proof.We know that all subgroups of tidy groups are tidy, so the Sylow p-and Sylow q-subgroups of G are tidy.Hence, if G/N is a p-group or a q-group, then it is a quotient of a tidy p-group or q-group, and we have seen that quotients of tidy p-groups are tidy.Thus, we may assume that G/N is not a p-group or a q-group.We now consider the possibilities from Theorem 4.6.If G is nilpotent, then G/N is nilpotent, and the Sylow p-and Sylow q-subgroups are quotients of tidy groups, so they are tidy.Thus, G/N is tidy.Suppose Z ∞ (G) is a q-group and G/Z ∞ (G) is a Frobenius group.Let F = F (G) and observe that F = P × Z ∞ (G) where P is the Sylow subgroup.Then F N/N = P N/N × Z ∞ (G)N/N and G/(Z ∞ (G)N) will be a Frobenius group with Frobenius kernel F N/N.By Theorem 3.1, we see that G/N is tidy.Finally, suppose G satisfies (3), (4), or (5) of Theorem 4.6.Observe that the possible quotients of G that are not p-groups or q-groups are S 3 , A 4 , or a group that satisfies the hypotheses of Theorem 3.2.Certainly, one can use Proposition 2.5 of [1] to see that S 3 and A 4 are tidy, and Theorem 3.2 shows that remaining possible quotients are tidy.
We now prove that quotients of solvable tidy groups are tidy.
Proof of Theorem 2. Let π be the set of primes that divide |G|, and let ρ ⊆ π have size 2. Let H be a Hall ρ-subgroup of G. Then HN/N is a Hall ρ-subgroup of G/N.Since G is tidy, we see that H is tidy.By Lemma 5.1, we see that HN/N is tidy.Thus, for every two element subset ρ of π, we see that G/N has a tidy Hall ρ-subgroup.By Theorem 1.1 of [6], we see that G/N is tidy.
We next work to prove that the Fitting height of a tidy solvable group is at most 4. We first prove a theorem that classifies the groups that arise modulo the centralizer of O p (G).This is the key step in bounding the Fitting height.(1) G/C is a p-group.
( Next, suppose that a Sylow p-subgroup is cyclic or has exponent p.Let q be a prime distinct from p that divides |G : C|.If either p = 3 or q = 2 when p = 3, we see from Theorem 4.6 that P QC/C is either nilpotent or a Frobenius group where P is normalized by Q.Notice that if P QC/C is nilpotent, then Q would centalize O p (G) and this would imply that Q ≤ C contradicting q divides |G : C|.Hence, we have that P QC/C is a Frobenius group.Since all the Sylow subgroups of G/C normalize P , we conclude that P = O p (G).Notice that if 1 = x ∈ P centralizes a nontrivial element of H/C, then it will centralize a nontrivial element of prime power order, and this is a contradiction.Hence, we have G/C is a Frobenius group with Frobenius kernel P = O p (G) ∼ = O p (G)C/C.This yields (2).
We are left with case that p = 3 and 2 divides |G : C|.Let T be a Sylow 2-subgoup of G.If P T C/C is nilpotent or a Frobenius group with Frobenius kernel P , then we can use the argument in the previous paragraph again to see that we have (2) again.This handles conclusions (1) and (2) of Theorem 4.6.We now suppose that P T C/C satisfies (3), (4), or (5) from Theorem 4.6.In all three of these cases, we see that |P : O 3 (G)| = 3.We have seen that if q is a prime divisor of |G : C| other than 2 or 3, then QC/C will act Frobeniusly on P .This would imply that it acts Frobeniusly on P/O 3 (G) which is a contradiction since |P : O 3 (G)| = 3.Hence, no prime other than 2 or 3 divides |G : C|.In conclusion (4) of Theorem 4.6, we see that G/C is a 3-group, and we have conclusion (1).In conclusions (3) or (5) of Theorem 4.6, we obtain conclusion (5).This proves the theorem.
We now are able to bound the Fitting height.We also bound the derived length of G/F (G).Since one can find Frobenius kernels of exponent p and arbitrarily large derived length, we are not able to bound the derived length of G.In particular, we prove Theorem 1. .Suppose that n ≥ 2. Consider an element x ∈ N. We can write x = x 1 • • • x n x ′ where x 1 , . . ., x n , x ′ are powers of x and each x i has p i -power order and x ′ has {p 1 , . . ., p n } ′order.Since x ∈ O p i (G)C i , we see that x i ∈ O p i (G) for each i.Also, x ′ ∈ C i for each i.This implies that x ′ centralizes O p i (G) for each i.We deduce that x ′ centralizes F (G), and so, x ′ ∈ C G (F (G)) ≤ F (G). Since the order of x ′ is coprime to |F (G)|, we see that x ′ = 1.Now, . We conclude that N ≤ F (G).We have now proved the result.

Theorem 1 .
Let G be a solvable, tidy group.Then G has Fitting height at most 4 and G/F (G) has derived length at most 4. If |G| is odd, then G has Fitting height at most 3 and G/F (G) is abelian or metabelian.

Lemma 2 . 3 .
Let G be a group and let p be a prime.If G has a cyclic Sylow p-subgroup and p divides |Z(G)|, then G has a normal p-complement.When a Sylow p-subgroup of G is cyclic or generalized quaternion and x ∈ Z(G) has p-power order, then Cyc G (x) is a subgroup.This was proved in Lemma 2.6 of [6].Lemma 2.4.Let G be a group and let p be a prime.Suppose 1 = x ∈ Z(G) has p-power order.If a Sylow p-subgroup of G is either cyclic or generalized quaternion, then G = Cyc G (x).
and H ′ and U are nilpotent groups.If the Sylow p-subgroups of G are tidy for every prime p that divides |F (G)|, then G is tidy.

Lemma 4 . 1 .
Let G be a solvable tidy group.Suppose a Sylow 2subgroup T of G is generalized quaternion.If |O 2 (G)| = 2, then T is a quaternion group of order 8, G has a normal 2-complement, and |F (G) : C F (G) (T )| is divisible by at least two primes.Proof.The hypothesis that |O 2 ) Thus, O p (G)H/C is a Frobenius group with Frobenius kernel O p (G)C/C and Frobenius complement H/C.This implies Z(G) ∩ O p (G) = 1.Notice that Z(G) ∩ P is a normal p-subgroup of G, and so, we deduce that Z(G) ∩ P ≤ O p (G) and so, Z(G) ∩ P = 1.This implies that Z ∞ (G) ∩ P = 1.Note that |G : P C| = |H : C| = |H : O p (G)C| divides p − 1.Since the number of Sylow p-subgroups of G/C needs to be congruent to 1 modulo p, we deduce that P C/C is normal in G/C.Hence, we have that P C is normal in G.By Fitting's Lemma, we see that H/C acts Frobeniusly on P C/C.

Theorem 5 . 2 .
Let G be a solvable tidy group, let p be a prime, let H be a Hall p-complement of G and letC = C H (O p (G)).If O p (G) > 1,then C is a normal subgroup of G and one of the following occurs:

Proof of Theorem 1 .
Let p 1 , . . ., p n be the prime divisors of F (G), so thatF (G) = O p 1 (G)×• • •×O pn (G).Let H i be a Hall p i -complement of G for each i = 1, . . ., n and let C i = C H i (O p i (G)).By Theorem 5.2, we know that G/C i is one of: (1) a p i -group; (2) a Frobenius group with Frobenius complement Op i (G)C i /C i ; (3) p i = 2 and G/C i is isomorphic to S 4 , SL 2 (3), or GL 2 (3); or (4) p i = 3, G/C i is a Frobenius group whose Frobenius kernel is the Sylow 3-subgroup of G/C i , a Frobenius complement is cyclic of order 2, and G/O 3 (G)C i ∼ = S 3 .Note that if G/(O p i (G)C i ) is isomorphicto a Frobenius complement, then it has normal subgroup that is metacyclic and whose quotient is isomorphic to a subgroup of S 4 .It is not hard to show that G/(O p i (G)C i ) has Fitting height at most 3 and derived length at most 4 in all cases.If |G| is odd, then G/(O p i (G)C i ) is either cyclic or metacyclic; so it has Fitting height and derived length at most 2. Take N = ∩ n i=1 O p i (G)C i .It follows that G/N has Fitting height at most 3 and derived length at most 4 and if |G| is odd, then G/N has Fitting height and derived length at most 2. Note that if n = 1, then C G (O p 1 (G)) = C G (F (G)) ≤ F (G), and so, C 1 = 1.This implies that N = O p 1 (G)C 1 = O p 1 (G) = F (G) is the quaternion group of order 8,and x O 2 (G)/C x (O 2 (G)) is isomorphic to SL 2 (3).
(3)of.Without loss of generality, we may assume that G = x O p (G).If x centralizes O p (G), then we are done.Thus, we may assume that x does not centralize O p (G).We know via Theorem 2.2 that a Sylow p-subgroup is either cyclic, dihedral, generalized quaternion, or has exponent p.It is not difficult to see that this implies that O p (G) must also be in this same list.If O p (G) is dihedral, generalized quaternion but not quaternion, or cyclic of 2-power order, then we know that Aut(O p (G)) is a 2-group and we conclude that x must centralize O p (G). Suppose that O 2 (G) is the quaternion group of order 8.In this case, we know that Aut(O 2 (G)) is isomorphic to S 4 .This implies that xC x (O 2 (G)) has order 3 and x O 2 (G)/C x (O 2 (G)) is isomorphic to SL 2(3).We now may assume that either p is odd or O p (G) is elementary abelian if p = 2. Hence, either O p (G) is cyclic or has exponent p. Suppose that there exists 1 7, we see that every element in H \C acts Frobeniusly on O p (G).It follows that HO p (G)/C is a Frobenius group with Frobenius kernel O p Lemma 2.10.Let G be a tidy group.Suppose a Sylow 2-subgroup of G is a dihedral group.Let H be a Hall 2-complement of G and letC = C H (O 2 (G)).If O 2 (G) > 1, then C is normal in G and either G has a normal 2-complement or G/C ∼ = S 4 .
we see that H is normal and thus characteristic in HZ.We now obtain the desired conclusion that H is normal in G.We next consider the centralizer C H (O 2 (G)) for a group G where a Sylow 2-subgroup of G is generalized quaternion group and H is a 2-complement of G.Note the similarity to Theorem 2.1.
we deduce that C is a normal subgroup of G.The remaining possibility is that O 2 (G) has order 2.This implies that C = H.By Lemma 4.1, we conclude that H is normal in G, and the result is proved.In this next lemma, we classify the groups where a Sylow 2-subgroup is generalized quaternion and there is a central element of order 2.This is a key step in the general classification.Lemma 4.3.Let G be a solvable, tidy group.Suppose a Sylow 2subgroup of G is generalized quaternion.If x ∈ Z(G) has order 2, then one of the following occurs: (1) G has a normal 2-complement.(2) O 2 (G) is the quaternion group of order 8 and if H is a Hall {2, 3}-subgroup of G, then H/O 3 (H) is isomorphic to SL 2 (3) or GL 2 (3) and there is a Hall {2, 3}-complement T so that O 3 (H)T is a normal subgroup of G. Proof.Since G has a central element of order 2, we must have that O 2 (G) > 1.If |O 2 (G)| = 2, then by Lemma 4.1, we see that G has a normal 2-complement.Suppose that O 2 (G) is cyclic or is generalized quaternion of order at least 16.We know that C G (O 2 (G)) is normal in G and G/C G (O 2 (G)) is isomorphic to a subgroup of Aut(O 2 (G)).This implies that G/C G (O 2 (G)) is a 2-group.By Lemmas 2.3 or 4.2, C G (O 2 (G)) has a normal 2-complement C. Observe that C will be characteristic in G G (O 2 (G)) and hence it is normal in G. Since |G : C a Klein 4-group, (2) A 4 , or (3) S 4 .We may use Lemma 2.3 to see that C G (O 2 (G)) has a normal 2-complement C. In the first case, it is not difficult to see that C is a normal 2-complement of G.
is either A 4 or S 4 .In either case, we see that H ∩ C = O 3 (H) and C = O 3 (H)T .Since a Sylow 2-subgroup of H is either the quaternion group of order 8 or the generalized quaternion group of order 16, we see that H/O 3 (H) is isomorphic to either SL 2 (3) or GL 2 3 .By Lemma 2.7, we have that P/O 2 (G) acts Frobeniusly on O 3 (G).It follows that G/O 2 (G) is a Frobenius group with Frobenius kernel QO 2 (G)/O 2 (G) and a Frobenius complement of order 2.This implies that Z ∞ We know by Theorem 2.2 that a Sylow p-subgroup of G is one of the following: exponent p, cyclic, dihedral, or generalized quaternion.Thus, applying Lemmas 2.8, 2.10, 4.2 and 4.4,we see that C is normal in G. Suppose first p = 2 and that a Sylow 2-subgroup is a generalized quaternion group.Since O 2 (G) > 1, this implies that G has a central element of order 2. We may apply Lemma 4.3 to see that either conclusion (1) or (3) occurs.Next, suppose that p = 2 and G has a dihedral Sylow 2-subgroup.By Lemma 2.10, we see that either conclusion (1) or (4) holds.
) G/C is a Frobenius group whose Frobenius kernel is O p (G)C/C.(3) p = 2, O 2 (G) is the quaternion group of order 8, and G/C is isomorphic to SL 2 (3) or GL 2 (3).