A Sufficient Condition for Nilpotency of the Nilpotent Residual of a Finite Group

Extracted source text · arXiv 1710.10712

\documentclass[12pt,leqno]{amsart}
% * <agenorandrade@gmail.com> 2017-10-18T22:44:50.621Z:
%
% ^.
\usepackage{amssymb,amsthm,amsmath,latexsym}
\newtheorem{theorem}{\sc Theorem}[section]
\newtheorem{thm}[theorem]{\sc Theorem}
\newtheorem{lemma}[theorem]{\sc Lemma}
\newtheorem{prop}[theorem]{\sc Proposition}
\newtheorem{corollary}[theorem]{\sc Corollary}
\newtheorem{rem}[theorem]{\sc Remark}
\newtheorem{ex}[theorem]{\sc Example}
\newtheorem{problem}[theorem]{\sc Problem}
%\newtheorem{question}[theorem]{\sc Question}
\newcommand{\prova}{\sc \bf{The proof of Theorem \ref{teo1}}\\}
 \newtheorem*{thmA}{Theorem A}
 \newtheorem*{thmB}{Theorem B}
 \newtheorem*{thmC}{Theorem C}
 \title[Nilpotency Criterion for Nilpotent Residual]{A Sufficient Condition for Nilpotency of the Nilpotent Residual of a Finite Group}
%\title{Crit\'erio de Nilpot\^encia em Comutadores Coprimos}

\author{Agenor Freitas de Andrade} 
\address{Instituto Federal de Educa\c{c}\~ao, Ci\^{e}ncia e Tecnologia de Goi\'as, Luzi\^{a}nia - GO, 72811-580, Brazil}
\email{agenor.andrade@ifg.edu.br}

\author{Alex Carrazedo Dantas}
\address{Universidade Tecnol\'ogica Federal do Paran\'a, Guarapuava - PR, 85053 - 525, Brazil}
\email{alexcdan@gmail.com}
%\author{testeaaa}
\subjclass[2010]{20D05; 20D45.}
\keywords{finite groups, coprime commutators, nilpotent residual}

\begin{document}
%\maketitle
\begin{abstract}
Let $G$ be a finite group with the property that if $a,b$ are powers of $\delta_1^*$-commutators such that $(|a|,|b|)=1$, then $|ab|=|a||b|$. We show that $\gamma_{\infty}(G)$ is nilpotent. %In particular, we conclude that a group with this property is soluble.
\end{abstract}
\maketitle
\section{Introduction}
All groups considered in the present paper are finite. The last term of the lower central series of a group $G$ is called the nilpotent residual. It is usually denoted by $\gamma_\infty(G)$. The lower Fitting series of $G$ is defined by $D_0(G)=G$ and $D_{i+1}(G)=\gamma_\infty(D_i(G))$ for $i=0,1,2,\dots$.

%The coprime commutators $\gamma_k^*$ and $\delta_k^*$ have been introduced in \cite{shumyatsky} by Shumyatsky as a tool to study properties of finite groups that can be expressed in terms of commutators of elements of coprime orders. The definition goes as follows. Every element of $G$ is  both a $\gamma_1^*$-commutator and a $\delta_0^*$-commutator. Now, let $k\geq 2$ and let $S$ be the set of all elements of $G$ that are powers of $\gamma_{k-1}^*$-commutators. An element $g$ is a $\gamma_k^*$-commutator if there exist $a\in S$ and $b\in G$ such that $g=[a,b]$ and $(|a|,|b|)=1$. For $k\geq 1$, let $T$ be the set of all elements of $G$ that are powers of $\delta_{k-1}^*$-commutators. The element $g$ is a $\delta_k^*$-commutator if there exist $a,b\in T$ such that $g=[a,b]$ and $(|a|,|b|)=1$. It was shown in \cite{shumyatsky} that for every $k\geq1$ the subgroup generated by $\gamma_k^*$-commutators is precisely $\gamma_\infty(G)$ and for every $k\geq0$ the subgroup generated by $\delta_k^*$-commutators is precisely $D_k(G)$.

Here the notation $|x|$ stands for the order of the element $x$ in a group $G$. The following criterion of nilpotency of a finite group was established by Baumslag and Wiegold in \cite{bw}.

\begin{theorem}\label{1}
Let $G$ be a finite group in which $|ab|=|a||b|$ whenever the elements $a,b$ have coprime orders. Then $G$ is nilpotent.
\end{theorem}

%In the Theorem \ref{1} and the remainder of this article the symbol $|x|$ stands for the order of the element $x$ in a group $G$.
The following result was obtained by Bastos and Shumyatsky \cite{bs}.

\begin{theorem}\label{2}
Let $G$ be a finite group in which $|ab|=|a||b|$ whenever the elements $a,b$ are commutators of coprime orders. Then $G^{'}$ is nilpotent.
\end{theorem}

In \cite{bs} the following question is posed.
Let $w$ be a commutator word and $G$ a finite group with the property that if $a,b$ are $w$-values of coprime order, then $|ab|=|a||b|$. Is then the verbal subgroup $w(G)$ nilpotent?
% * <agenorandrade@gmail.com> 2017-10-18T22:44:13.120Z:
%
% ^.
A coprime commutator in  a group $G$ is a commutator $[x,y]$ with $|x|$ and $|y|$. The main result of this article is to obtain a similar result of the Theorems \ref{1} and \ref{2}  for the powers of coprime commutators.

\begin{theorem}\label{teo1}
Let $G$ be a finite group and set $$X = \{[a,b]^k | \, a, b \in G, (|a|,|b|)=1, k \in \mathbb{Z}\}.$$
Assume that for all $x,y \in X$ with $|x|$ and $|y|$ coprimes, we have $|xy| = |x||y|$. Then $\gamma_\infty(G)$ is nilpotent. In particular, $G$ has Fitting height at most $2$.
\end{theorem}
The coprime commutators $\gamma_k^*$ and $\delta_k^*$ have been introduced in \cite{shumyatsky} by Shumyatsky as a tool to study properties of finite groups that can be expressed in terms of commutators of elements of coprime orders. The definition of $\delta_k^*$ goes as follows (for more details see \cite{shumyatsky}). Every element of $G$ is a $\delta_0^*$-commutator. Now, let $k\geq 1$, let $T$ be the set of all elements of $G$ that are powers of $\delta_{k-1}^*$-commutators. The element $g$ is a $\delta_k^*$-commutator if there exist $a,b\in T$ such that $g=[a,b]$ and $(|a|,|b|)=1$. It was shown in \cite{shumyatsky} that for every $k\geq 0$ the subgroup generated by $\delta_k^*$-commutators is precisely $D_k(G)$.

%\begin{theorem}\label{teo1}
%Let $G$ be a finite group in which $|ab|=|a||b|$ whenever the elements $a,b$ are powers of $\delta_1^*$-commutators of coprime orders. Then $\gamma_{\infty}(G)$ is nilpotent. 
%\end{theorem}

%An immediate consequence of Theorem \ref{teo1} is the following corollary.
%\begin{corollary}\label{cor1}
%If G is a finite group satisfying the hypotheses of Theorem \ref{teo1} then G is soluble. %In particular,
%\end{corollary}


Remark that the set $X$ in the Theorem \ref{teo1} is precisely the set of generators of $D_1(G)$, that is, $D_1(G) = \langle X \rangle$. Consequently we could ask the following question, which extends Theorem \ref{teo1}.

\begin{problem}\label{teo2}
Let be $k$ a non-negative integer and $G$ a finite group in which $|ab|=|a||b|$ whenever the elements $a,b$ are (powers of) $\delta_k^*$-commutators of coprime orders. It is true that the subgroup $D_k(G)$ is nilpotent? 
\end{problem}

\section{Preliminaries}
Throughout the remaining part of this short note, $G$ denotes a finite group satisfying the hypothesis of Theorem \ref{teo1}. For simplicity, we denote by $X$ the set of all powers of $\delta_1^*$-commutators of $G$. As usual, $O_\pi(M)$ stands for the maximal normal $\pi$-subgroup of a group $M$. The Fitting subgroup of $M$ is denoted by $F(M)$. We start with the following known lemma.

\begin{lemma}[\cite{issacs}, Lemma 4.28]\label{2a}
Let $A$ and $G$ be finite groups. Let $A$ act via automorphisms on $G$, and suppose that $(|A|,|G|)=1$. Then $G = [G,A]C_G(A)$.
\end{lemma}

Analogously to Lemma 3 of \cite{bs}, we have:

\begin{lemma}\label{3}
Let $x \in X$ and $N$ be a subgroup normalized by $x$. If $(|x|, |N|)=1,$ then $[x,N]=1$
\end{lemma}

\begin{proof}
Let $y \in N$. Then $[x, y]$ is a $\delta_{1}^{*}$-commutator and $x[x, y] = x^{y}$. Thus $|x[x, y]| = |x||[x, y]|$ and $|x[x, y]| = |x|$, this is, $[x, y] = 1$.
\end{proof}

The following result is the version of the well-know Focal Subgroup Theorem for $\delta_k^*$-commutators of a finite group.

\begin{lemma}[\cite{cpa}, Lemma 2.6]\label{4}
Let $k\geq 0$ and let $G$ be a finite soluble group of order $p^an$, where $p$ is a prime and $n$ is not divisible by $p$, and let $P$ be a Sylow $p$-subgroup of $G$. Then $P \cap \delta_k^*(G)$ is generated by $n$th powers of $\delta_k^*$-commutators lying in $P$.
\end{lemma}

The next theorem will also be useful. Recall the the Fitting height $h=h(G)$ of a finite soluble group $G$ is the minimal number $h$ such that $G$ possesses a normal series all of whose quotients are nilpotent.

\begin{theorem}[\cite{shumyatsky}, Theorem 2.6]\label{5}
Let $G$ be a finite group and $k$ a positive integer. We have $D_k(G) = 1$ if and only if $G$ is soluble with Fitting height at most $k$.
\end{theorem}

Our first result ensures that the theorem is valid for soluble groups. Recall that a finite group $G$ is metanilpotent if and only if $\gamma_{\infty}(G)$ is nilpotent.

\begin{lemma} \label{6}
If $G$ is soluble, then $\gamma_{\infty}(G)$ is nilpotent.
\end{lemma}
\begin{proof}
Recall that $D_1(G) = \gamma_\infty(G)$. Suppose that $|G|>1$. As $G$ is soluble we have that $|G'| < |G|$. Then by induction on $|G|$ we can assume that $D_1(G')$ is nilpotent. Thus $D_{2}(G') = 1$ and $G'$ has Fitting height $\leq 2$. So $G$ has Fitting height $\leq 3$. Then $D_{3}(G) = 1$ (Theorem \ref{5}). This implies that $D_{2}(G)$ is nilpotent. In particular $D_1(G)$ is metanilpotent. By simplicity, denote $D_{2}(G)$ by $H$. Therefore if $P$ is a Sylow $p$-subgroup of $H$ then $P$ is characteristic in $H$. Obviously $H$ is characteristic in $G$ and so we can conclude that $P$ is characteristic in $G$. In particular, $P \unlhd G$. Suppose that $D_1(G)$ is not a $p$-group. Let $Q$ be a Sylow $q$-subgroup of $D_1(G)$, with $q \neq p$. By Lemma \ref{4} $Q$ is generated by $n$th powers of $Q \cap X$, where $|D_1(G)| = q^an$ and $(q,n)=1$. Thus using Lemma \ref{3} we have that $[P,x]=1$ for all generators $x$ of $Q$. Consequently $QP$ is normal in $QH$. Since $D_1(G)$ is a metanilpotent we have $QH \unlhd D_1(G)$ and then it follows that 
$$(QH)^G = \displaystyle \prod_{g \in G}(QH)^g$$
is nilpotent, because every $(QH)^g$ is nilpotent and normal in $D_1(G)$. Then we conclude that $Q \leq F(G)$. If $|\pi(H)| > 1$ then all Sylow $q$-subgroups of $D_1(G)$ are normal and so the result follows. If $H$ is a $p$-group, then the Sylow $p$-subgroup of $D_1(G)$ is normal (because $D_1(G)$ is metanilpotent) and, applying the same argument now to the Sylow subgroups of $D_1(G)$, we can conclude that they are all normal, as desired.
\end{proof}

%\begin{rem}
%Under the hypotheses of Problem \ref{teo2}, the previous lemma is valid for all $k$ nonnegative integer. Indeed, the proof present in Lemma \ref{6} can be reproduced word-by-word for any nonnegative integer $k$.
%\end{rem}

%Recall that a group $G$ is said to be quasisimple if $G=G'$ and $G/Z(G)$ is simple.

%\begin{prop}\label{P3}
%Let $G$ be a quasisimple. Then $G$ has a non-trivial $2$-element $c$ such that $c$ is a $\delta_1^*$-commutator with order $2$ or $4$ modulo $Z(G)$.% Se $G$ \'e um grupo quasisimples, ent\~ao em $G$ existe um $2$-elemento $\delta^{*}_{1}$-comutador n\~ao trivial com ordem $2$ ou $4$ m\'odulo $Z(G)$. 
%\end{prop}

%\begin{proof}
%Since $G$ does not possess a normal $2$-complement, it follows from the Frobenius Theorem \cite[Theorem 7.4.5]{gorenstein} that $G$ contains a $2$-subgroup $H$ and an element of odd order $b \in N_G(H)$ such that $[H,b] \neq 1$. By Thompson's Theorem \cite[Theorem 5.3.11]{gorenstein} exists a characteristic subgroup $C$ of $H$ such that $C$ is nilpotent of class at most $2$ and $C/Z(C)$ is elementary abelian $2$-group, with $[H,C] \leq Z(C), C_H(C) = Z(C)$ and $b \notin C_G(C)$. Thus we can suppose that $H = C$. So we have two cases to consider:
%\begin{description}
%\item[(i)] If there exists $h \in Z(H) \setminus C_H(b)$, then $$[h,b]^2 = [h,b][h,b] = [h,b]^h[h,b] = [h^2,b],$$ that is, there is an element $c \in H \cap D_1(G)$ of order $2$. Indeed, take $a = [h,b]^{|\overline{h}|/2}$ where $\overline{h} = hC_H(b) \in H/(C_H(b) \cap Z(H))$.
%\item[(ii)] If $Z(H) \leq C_H(b)$ and exists $[h,b] \in C_H(b) \setminus Z(G)$ for some $h \in H \setminus C_H(b)$, then $$[h,b^2] = [h,b][h,b]^b=[h,b]^2.$$ In other words, there is an element $a \in H \cap D_1(G)$ of order $2$, in which case it is enough to take $a = [h,b]^n,$ where $n = |[h,b]|/2$.
%\end{description}

%Consequently, we can suppose that $H^2 \leq H' = Z(H) \leq C_H(b)$. Given $h \in H \setminus C_H(b)$, it follows that $h$ inverts $[h, b]$ and $[h, [h,b]]$, since
%$$1 = [h^{2}, b] = [h,b]^{h}[h,b],$$
%$$1 = [h^{2}, [h, b]] = [h, [h,b]]^{h}[h, [h,b]].$$
%Therefore
%$$[h, [h, b]] = [h, b]^{-h}[h, b] = [h, b]^{2}$$
%and
%$$1 = [h, [h, [h, b]]] = [h, [h,b]]^{-h}[h, [h,b]] = [h, b]^{4}.$$
%Thus $|[h, b]| \, | 4$. So we have two cases: if $[h,b]^2 \in Z(G)$ then $c =[h,b]^2$ is the element with the searched property. If $[h,b]^2 \notin Z(G)$ then take $c = [h,b]^4$. The proposition is now proved.

%\noindent \textit{(iii)} $[h, b]^{2} \in Z(G)$;

%\noindent \textit{(iv)} $[h, b]^{2} \notin Z(G)$.

%If $G$ posses a normal $2$-complement $P$ then $G/P$ is soluble, because $|G/P|$ is oddSe $G$ tem um $2$-complemento normal $P$, ent\~ao $G/P$ \'e sol\'uvel, pois $|G/P|$ \'e \'impar, logo tal complemento n\~ao existe. Pelo Teorema de Frobenius (Gorenstein, Theorem 7.4.5), $G$ cont\'em um $2$-subgrupo $H$ e um elemento de ordem \'impar $b \in N_{G}(H)$ tais que $[H, b]$ n\~ao \'e trivial. Pelo Teorema de Thompson (Gorenstein, Theorem 5.3.11), existe um subgrupo caracter\'istico $C$ de $H$ tal que $C/Z(C)$ \'e $2$-abeliano elementar, $[H, C] \leq Z(C)$, $C_{P}(C) = Z(C)$ e $b \notin C_{G}(C)$. Assim podemos supor $H = C$. 

% Suponha que $Z(H) \leq C_{H}(b)$. Pelo Lema 2.1 de Shumyatsky, segue que $H = [H, b]C_{H}(b)$. Tome $h \in [H, b]$ de ordem $2$. Assim $h$ inverte $[h, b]$.

%\noindent \textit{(i)} Se existe $h \in Z(H) \setminus C_{H}(b)$, ent\~ao
%$$[h, b]^{2} = [h, b][h, b] = [h, b]^{h}[h, b] = [h^{2}, b],$$
%ou seja, existe $a \in H \cap \delta^{*}_{1}(G)$ de ordem $2$, basta tomar $a = [h, b]^{|\bar{h}|/2}$, onde $\bar{h} = hC_{H}(b) \in H/C_{H}(b)$. 

%\noindent \textit{(ii)} Agora, se $Z(H) \leq C_{H}(b)$ e existe $[h, b] \in C_{H}(b) \setminus Z(G)$ para algum $h \in H \setminus C_{H}(b)$, ent\~ao
%$$[h, b^{2}] = [h, b][h, b]^{b} = [h, b]^{2},$$
%ou seja, existir\'a um elemento de ordem dois $a \in \delta^{*}_{1}(G) \cap H$, basta tomar $a = [h, b^{n}]$, onde $n = |[h, b]| / 2$. \\

%Logo $H^{2} \leq H' = Z(H) \leq C_{H}(b)$. Dado $h \in H \setminus C_{H}(b)$, segue que $h$ inverte $[h, b]$ e $[h, [h,b]]$, uma vez que
%$$1 = [h^{2}, b] = [h,b]^{h}[h,b],$$
%$$1 = [h^{2}, [h, b]] = [h, [h,b]]^{h}[h, [h,b]].$$
%Logo
%$$[h, [h, b]] = [h, b]^{-h}[h, b] = [h, b]^{2}$$
%e
%$$1 = [h, [h, [h, b]]] = [h, [h,b]]^{-h}[h, [h,b]] = [h, b]^{4}.$$
%Assim $|[h, b]| \, | 4$. Temos assim dois casos:

%\noindent \textit{(iii)} $[h, b]^{2} \in Z(G)$;

%\noindent \textit{(iv)} $[h, b]^{2} \notin Z(G)$.
%\end{proof}
Recall that a group $M$ is said to be quasisimple if $M=M'$ and $M/Z(M)$ is simple. We are now ready to complete the proof of Theorem \ref{teo1}.
\section{The proof of Theorem \ref{teo1}}
\begin{proof}
%Seja $G$ um grupo finito tal que $|ab| = |a||b|$ sempre que $mdc(a,b) = 1$ e $a, b \in X^{*}_{k}$, onde
%$$X^{*}_{k} = \{a^{n} \, | \text{ onde } a \text{ \'e um } \delta_{k}^{*}\textit{-comutador e } n \textit{ um inteiro positivo}\}.$$
%Ser\'a que $\langle X^{*}_{k} \rangle$ \'e nilpotente? O \'ultimo termo da s\'erie central de um grupo $G$ \'e chamado de residual nilpotente de $G$ e \'e denotado por $\gamma_{\infty}(G)$. A s\'erie de Fitting de $G$ \'e definida por $D_{0}(G) = G$ e para $i > 0$ define-se, recusivamete, $D_{i}(G)$ por $D_{i}(G) = \gamma_{\infty}(D_{i-1}(G)).$

%\begin{prop}
%$\langle X^{*}_{k} \rangle = D_{k}(G).$
%\end{prop}

%\begin{proof}
%Artigo de A. F. de Andrade and P. Shumyatsky.
%\end{proof}

%\noindent A pergunta \'e ent\~ao reescrita por: o grupo $D_{k}(G)$ \'e nilpotente?

%\begin{prop} \label{P1}
%Se $G$ \'e sol\'uvel, ent\~ao $D_{k}(G)$ \'e nilpotente.
%\end{prop}

%\begin{proof}
%A demonstra\c{c}\~ao ser\'a feita por indu\c{c}\~ao sobre a ordem de $G$. Para $|G| = 1$ nada precisa ser feito. Suponha que $|G| > 1$. Como $G'$ \'e sol\'uvel, ent\~ao $|G'| < |G|$. Por hip\'otese de indu\c{c}\~ao $D_{k}(G')$ \'e nilpotente. Assim $D_{k + 1}(G') = 1$ e a altura de Fitting de $G'$ \'e menor ou igual a $k + 1$. Da\'i a altura de Fitting de $G$ \'e menor ou igual a $k + 2$, ou seja, $D_{k + 2}(G) = 1$. Como $D_{k + 2}(G) = \gamma_{\infty}(D_{k+1}(G))$, segue que $D_{k+1}(G)$ \'e nilpotente. Em particular, $D_{k}(G)$ \'e metanilpotente (Lema 4.10, Tese de A. F. de Andrade). Portanto, um $p$-subgrupo de Sylow $P$ de $D_{k + 1}(G)$ \'e caracter\'istico em $D_{k + 1}(G)$. Como $D_{k + 1}(G)$ tamb\'em \'e caracter\'istico em $G$, segue que $P$ \'e caracter\'istico em $G$, em particular, \'e normal. Se $D_{k}(G)$ \'e $p$-grupo, nada h\'a para fazer, caso contr\'ario, seja $Q$ um $q$-subgrupo de Sylow de $D_{k}(G)$, com $q \neq p$. Pelo Lema do Subgrupo Focal, $Q$ \'e gerado pelas $n$-\'esimas pot\^encias de $Q \cap X^{*}_{k}$, onde $|D_{k}(G)| = q^{a}n$ e $mdc(q,n) = 1$. Pelo Lema 3 de R. Bastos e P. Shumyatsky, segue que $[P, x] = 1$ para todo $x$ gerador de $Q$. Segue que $QP$ \'e normal em $QD_{k+1}(G)$. Desde que $QD_{k+1}(G)$ \'e normal em $D_{k}(G)$, pois $D_{k}(G)$ \'e metanilpotente, segue que
%$$(QD_{k+1}(G))^{G} = \prod_{g \in G} (QD_{k+1}(G))^{g}$$
%\'e nilpotente, pois cada $(QD_{k+1}(G))^{g}$ \'e nilpotente e normal em $D_{k}(G)$. Conclu\'imos que $Q \leq Fit(G)$. Se $|\pi(D_{k + 1}(G))| > 1$, todos $q$-subgrupos de Sylow de $D_{k}(G)$ s\~ao normais e o resultado segue. Agora, se $D_{k + 1}(G)$ \'e $p$-grupo, ent\~ao o $p$-subgrupo de Sylow de $D_{k}(G)$ \'e normal ($D_{k}(G)$ \'e metanilpotente) e, aplicando o mesmo racioc\'inio para os subgrupos de Sylow de $D_{k}(G)$, chega-se que eles s\~ao normais, como desejado.
%\end{proof}
%\prova
We affirm that $G$ is soluble. Indeed, we assume otherwise. Let $G$ be a counter-example of minimal order. So all proper subgroups in $G$ are soluble and we can assume that $G = D_1(G)$. Let $R$ be the soluble radical in $G$. By Lemma \ref{6} $D_1(R)$ is nilpotent. Suppose that $G$ is nonsimple and $R \neq 1$. Let $P$ to be Sylow $p$-subgroup of $F(G)$. Let $q \neq p$ be a prime number and denote by $T$ the subgroup generated by all $\delta_1^*$-commutators whose order is a power of $q$. By Lemma \ref{4}, all $q$-subgroups of $D_1(G)$ are contained in $T$. Then $G/T$ is a $p$-group. Since $G=D_1(G)$, we conclude that $G=T$ (indeed, if $G \neq T$, then $T$ is soluble and this implies that $G$ is soluble, a contradiction). Now if $x$ is a $\delta_1^*$-commutator of a Sylow $q$-subgroup of $G$, with $q \neq p$, we conclude by Lemmas \ref{3} and \ref{4} that $[P,x]=1$. Then $C_{G}(P)$ is a normal subgroup of $G$, and $G/C_{G}(P)$ is a $p$-group, that is, $G = C_{G}(P)$ and $P \leq Z(G)$. Consequently $F(G) \leq Z(G)$. Since $R$ is soluble it follows by Lemma \ref{6} that $D_1(R)$ is nilpotent. Clearly $D_1(R) \unlhd G$. Then $D_1(R) \leq F(G) \leq Z(G)$. In particular, $D_1(R) \leq Z(R)$. Thus $R$ is nilpotent and therefore $R = Z(G)$. Thus, our group $G$ is quasisimple. By the Feit-Thompson Theorem,  $G$ has a Sylow $2$-subgroup $S$ which is not contained in the centre of $G$. By the Frobenius Theorem \cite[Theorem 7.4.5]{gorenstein} there exists a $2$-subgroup $L$ of $S$ such that $N_G(L)$ contains an element $b$ of odd order such that $[b,t] \notin Z(G)$, for all $t \in L$. Then $[b,t]$ is of $2$-power order. Let $k$ such that $z=[b,t]^k \notin Z(G)$ and $z^2 \in Z(G)$. We have $z \in X$. By the Baer-Suzuki Theorem \cite[Theorem 3.8.2]{gorenstein} there exists $h \in G$ such that $\langle z,z^h \rangle Z(G)/Z(G)$ is a dihedral group of order $2n$ for $n$ odd. Let $J = \langle z z^h \rangle Z(G)$. Then $J/Z(G)$ is inverted by $z$ and $J$ is nilpotent. However Lemma \ref{3} shows that $z$ centralizes $O_{2'}(J)$ a contradiction. The proof is complete.  %Note now that $R_{x} = \langle R, x \rangle$ is soluble because it is a proper subgroup of $G$

 
%\begin{prop}
%O subgrupo $D_{1}(G)$ \'e nilpotente.
%\end{prop}

%\begin{proof}
%Vamos demonstrar que $G$ \'e sol\'uvel. Suponha o contr\'ario. Seja $G$ um contra exemplo de ordem minimal. Logo todo subgrupo de $G$ \'e sol\'uvel e $G = D_{1}(G)$. Suponha que $R$ \'e o radical sol\'uvel de $G$. Pelo Lema \ref{6}, $D_{1}(R)$ \'e nilpotente. Suponha que $G$ n\~ao \'e simple e $R \neq 1$. Seja $P$ um $p$-subgrupo de Sylow de $F(G)$. Se $T$ \'e o subgrupo gerado por todos os $\delta^{*}_{1}$-comutadores de ordens uma pot\^encia de $q \neq p$. Pelo Lema 2.6 (Shumyatsky, Aciarri e Thillaisundaram), todos $q$-subgrupos de $D_{1}(G)$ est\~ao contidos em $T$. Segue que $G/T$ \'e um $p$-grupo. Como $G = D_{1}(G)$ e (se $T$ \'e proprio ent\~ao \'e nilpotente), tem-se que $G = T$. Agora, se $x$ \'e um $\delta^{*}_{1}$-comutador de um $q$-subgrupo de Sylow de $G$ ($q \neq p$), pelo Lema 3 (Bastos e Shumyatsky) e pelo Lema 2.6 (Shumyatsky, Aciarri e Thillaisundaram), $x$ comuta com $P$. segue que $F(G) \leq Z(G)$. 
%Note agora que $R_{x} = \langle R, x \rangle$ \'e sol\'uvel, pois \'e um subgrupo pr\'oprio de $G$. Da\'i $D_{1}(R_{x})$ \'e nilpotente. Segue que $D_{1}(R_{x}) \leq F(G) \leq Z(G)$. Logo $R$ \'e metanilpotente com $D_{1}(R) \leq Z(R)$, segue que $R$ \'e nilpotente e da\'i $R = Z(G)$.   
%By Proposition \ref{P3} there is $\delta_1^*$-commutator $c$ with order $2$ or $4$ modulo $Z(G)$. 
%Hence $G$ contains an element $a$ such that: $a$ is a $2$-element, $a \in X$ and $a$ has order $2$ modulo $Z(G)$. Indeed, by Proposition \ref{P3} if $c$ has order $2$ modulo $Z(G)$ take $a =c$, if not, take $a = c^2$. Thus we fix such an element $a$.  Since $G/Z(G)$ is nonabelian simple, it follows from the Baer-Suzuki Theorem \cite[Theorem 3.8.2]{gorenstein} that there exists an element $t \in G$ such that the order of $[a,t]$ is odd. On the one hand $a$ inverts $[a,t]$. Indeed, $$1=[a^2,t] = [a,t]^a[a,t].$$ Moreover $$[a, [a, t]] = [a, t]^{-a}[a, t] = ([a, t]^{a})^{-1}[a, t] =[a, t][a, t] = [a, t]^{2},$$ this is,  the element $f = [a,[a,t]]$ has odd order and is in $D_1(G)$. On the other hand, by Lemma \ref{3} $a$ must commute with $f$ (since $a$ normalize $\langle f \rangle$). This is a contradiction. The proof is complete.  
%Pela Proposi\c{c}\~ao \ref{P3}, existe um $\delta^{*}_{1}$-comutador $c$ com ordem $2$ ou $4$ m\'odulo $Z(G)$. Se $c$ tem ordem $2$ m\'odulo $Z(G)$, tome $a = c$, caso contr\'ario, tome $a = c^{2}$. Pelo Teorema de Baer-Suzuki (Gorenstein, Theorem 3.8.2), existe um $t \in G$ tal que $[a, t]$ tem ordem \'impar. Como
%$$1 = [a^{2}, t] = [a, t]^{a}[a, t],$$
%segue que $[a, t]^{a} = [a, t]^{-1}$. Logo
%$$[a, [a, t]] = [a, t]^{-a}[a, t] = ([a, t]^{a})^{-1}[a, t] =[a, t][a, t] = [a, t]^{2},$$
%isto \'e $k = [a, [a, t]]$ 
%tem ordem \'impar e est\'a em $\delta_{1}^{*}(G)$. Pelo mesmo racioc\'inio acima, o elemento $a$ inverte $k$, o que \'e uma contradi\c{c}\~ao, pois, pelo Lema de Bastos e Shumyatsky, $a$ e $k$ comutam (uma vez que $a$ normaliza $\langle k \rangle$).  
\end{proof}

\begin{thebibliography}{99}
\bibitem{cpa} C. Acciarri, P. Shumyatsky and A. Thillaisundaram. Conciseness of coprime commutators in finite groups. \textit{Bull. Aust. Math. Soc.}, {\bf 89} (2014), 252-258.
\bibitem{bw} B. Baumslag and J. Wiegold, \textit{A Sufficient Condition for Nilpotency in a Finite Group}, preprint available at arXiv:1411.2877v1 [maht.GR]. 
\bibitem{bs} R. Bastos and P. Shumyatsky. A Sufficient Condition for Nilpotency of The Commutator Subgroup. \textit{Siberian Mathematical Journal}, {\bf 57} (2016) 762-763.
\bibitem{gorenstein} D. Gorenstein, \textit{Finite Groups}. Chelsea Publishing Company, New York, 1980.
\bibitem{issacs} I. M. Issacs,  \textit{Finite Group Theory}. Amer. Math. Soc., vol. {\bf 92}, 2008.
%\bibitem{bks} S. Brazil, A. Krasilnikov, P. Shumyatsky, Groups with bounded verbal conjugacy classes, \textit{J. Group Theory} {\bf 9} (2006), 115--120.

%\bibitem{cossey} J. Cossey, T. Hawkes, Computing the order of the nilpotent residual of a finite group from knowledge of its group algebra, Archiv der Mathematik, {\bf 60} (1993), 115--120.

%\bibitem{housto} S. Franciosi, F. de Giovanni and P. Shumyatsky, On groups with finite verbal conjugacy classes, Houston J. Math., {\bf 28} (2002), 683–-689.

%\bibitem{herzog} S. Dolfi1 M. Herzog, G. Kaplan, A. Lev, On the size of the nilpotent residual in finite groups, J. Group Theory, {\bf 10} (2007), 299--305.

%\bibitem{khsh} E. Khukhro and P. Shumyatsky, in preparation.

\bibitem{shumyatsky} P. Shumyatsky. Commutators of elements of coprime orders in finite groups. \textit{Forum Mathematicum}, {\bf 27} (2015), 575-583.
%\b ibitem{wieg} J. Wiegold, Groups with boundedly finite classes of conjugate elements, \textit{Proc. R. Soc. Lond. A}, {\bf 238} (1957), 389--401.

%\bibitem{gua} Xiuyun Guo, L\"u Gong, A note on the size of the nilpotent residual in finite groups, Archiv der Mathematik, {\bf 99} (2012), 413--416.


\end{thebibliography}

\end{document}