2(q_0+1)$, we deduce that $x\in H_0\phi$ and we may write $x=u\phi$ with $u\in H_0$. In terms of matrices (and a suitable basis for the natural ${\rm L}_{2}(q)$-module), we have $$u=\left(\begin{array}{cc}\lambda  & a \\  0 & \lambda^{-1} \end{array}\right)$$ where $\lambda,a\in{\mathbb{F}}_{q}$ and $\lambda\neq 0$. Then $x^2=(u\phi)(u\phi)=uu^\phi$ has order $q_0+1$. We may assume that $\phi$ is the standard field automorphism of order $2$ with respect to this basis, so $$x^2=uu^\phi=\left(\begin{array}{cc}\lambda  & a \\  0 & \lambda^{-1} \end{array}\right)\left(\begin{array}{cc}\lambda^{q_0}  & a^{q_0} \\  0 & \lambda^{-q_0} \end{array}\right)=\left(\begin{array}{cc}\lambda^{1+q_0}  & b \\  0 & \lambda^{-1-q_0} \end{array}\right)$$ with $b=\lambda^{q_0}+a\lambda^{-q_0}$. Since $x^2$ has order $q_0+1$ we deduce that $\lambda^{2(q_0+1)}=1$, which implies that $\lambda^{q_0+1}=1$ since ${\mathbb{F}}_q$ has characteristic $2$. Therefore $$x^2=\left(\begin{array}{cc}1  & b \\  0 & 1 \end{array}\right)$$ has order $q_0+1$, which is absurd. This justifies the claim, and we deduce that $\Delta(G)$ contains elements of order $2(q_0+1)$. In particular, does not hold.

\[lem:L2odd\] Theorem \[t:main2\] holds if $G_0 = {\rm L}_2(q)$ and $q$ is odd.

Write $q=p^f$, where $p$ is an odd prime. In view of the isomorphisms ${\rm L}_{2}(5) \cong {\
2(q_0 + 1)$, we deduce that $ x\in H_0\phi$ and we may write $ x = u\phi$ with $ u\in H_0$. In terms of matrices (and a desirable footing for the lifelike $ { \rm L}_{2}(q)$-module), we have $ $ u=\left(\begin{array}{cc}\lambda   & a \\   0 & \lambda^{-1 } \end{array}\right)$$ where $ \lambda, a\in{\mathbb{F}}_{q}$ and $ \lambda\neq 0$. Then $ x^2=(u\phi)(u\phi)=uu^\phi$ has order $ q_0 + 1$. We may assume that $ \phi$ is the standard discipline automorphism of order $ 2 $ with respect to this footing, so $ $ x^2 = uu^\phi=\left(\begin{array}{cc}\lambda   & a \\   0 & \lambda^{-1 } \end{array}\right)\left(\begin{array}{cc}\lambda^{q_0 }   & a^{q_0 } \\   0 & \lambda^{-q_0 } \end{array}\right)=\left(\begin{array}{cc}\lambda^{1+q_0 }   & b \\   0 & \lambda^{-1 - q_0 } \end{array}\right)$$ with $ b=\lambda^{q_0}+a\lambda^{-q_0}$. Since $ x^2 $ has order $ q_0 + 1 $ we deduce that $ \lambda^{2(q_0 + 1)}=1 $, which implies that $ \lambda^{q_0 + 1}=1 $ since $ { \mathbb{F}}_q$ has characteristic $ 2$. consequently $ $ x^2=\left(\begin{array}{cc}1   & b \\   0 & 1 \end{array}\right)$$ has decree $ q_0 + 1 $, which is absurd. This justifies the call, and we deduce that $ \Delta(G)$ contains elements of decree $ 2(q_0 + 1)$. In particular, does not hold. 

 \[lem: L2odd\ ] Theorem \[t: main2\ ] holds if $ G_0 = { \rm L}_2(q)$ and $ q$ is odd. 

 Write $ q = p^f$, where $ p$ is an odd flower. In view of the isomorphisms $ { \rm L}_{2}(5) \cong { \
2(q_0+1)$, wf deduce that $x\in H_0\phi$ akd we may write $r=y\phi$ wmth $u\in H_0$. In tefms of matrices (and a suitabpe basiw for the natural ${\rm L}_{2}(d)$-module), wv have $$u=\lwft(\btgin{array}{cc}\lambda  & a \\  0 & \lambdz^{-1} \end{crcay}\right)$$ where $\kambda,a\in{\mdthbb{F}}_{q}$ and $\lakbaa\ueq 0$. Then $x^2=(u\phi)(u\phi)=uu^\phi$ has order $q_0+1$. We may adsume that $\phi$ is uhe stahdard field automorphism of order $2$ with rtspect to this basos, so $$x^2=uu^\phi=\left(\begin{array}{fc}\lalbda  & a \\  0 & \lambdw^{-1} \end{array}\rught)\jwft(\begin{arrah}{cc}\lambda^{q_0}  & a^{q_0} \\  0 & \lajbda^{-q_0} \end{array}\right)=\left(\begin{arrxy}{cc}\lcmbda^{1+q_0}  & b \\  0 & \lwkbda^{-1-q_0} \end{arcay}\rigrt)$$ with $b=\lamnca^{q_0}+a\lakbda^{-q_0}$. Sonce $x^2$ has ordcr $q_0+1$ xe dwduce that $\lambda^{2(q_0+1)}=1$, whmch implies that $\lamfda^{q_0+1}=1$ sinca ${\jathbb{F}}_q$ has charqcrerisjic $2$. Dherddord $$x^2=\meht(\bsgin{argay}{rc}1  & b \\  0 & 1 \end{array}\ritht)$$ has order $q_0+1$, whivh px absurd. Thia justyfyes the claim, and we deduce that $\Delta(G)$ cohtains elements of ordee $2(q_0+1)$. In particular, doed not holq.

\[lem:L2odd\] Theorem \[t:main2\] holds if $G_0 = {\rm L}_2(q)$ and $q$ is odd.

Wcige $w=p^n$, whdee $p$ is an odd prime. In view of the isomorphismf ${\rk K}_{2}(5) \cong {\
2(q_0+1)$, we deduce that $x\in H_0\phi$ and write with $u\in In terms of for natural ${\rm L}_{2}(q)$-module), have $$u=\left(\begin{array}{cc}\lambda & \\ 0 & \lambda^{-1} \end{array}\right)$$ where and $\lambda\neq 0$. Then $x^2=(u\phi)(u\phi)=uu^\phi$ has order $q_0+1$. We may assume that $\phi$ the standard field automorphism of order $2$ with respect to this basis, so & \\ & \end{array}\right)\left(\begin{array}{cc}\lambda^{q_0} & a^{q_0} \\ 0 & \lambda^{-q_0} \end{array}\right)=\left(\begin{array}{cc}\lambda^{1+q_0} & b \\ 0 & \lambda^{-1-q_0} \end{array}\right)$$ with Since $x^2$ has order $q_0+1$ we deduce that which implies that $\lambda^{q_0+1}=1$ ${\mathbb{F}}_q$ has characteristic $2$. Therefore & \\ 0 1 has $q_0+1$, which is This justifies the claim, and we deduce that $\Delta(G)$ contains elements of order $2(q_0+1)$. In particular, does hold. \[lem:L2odd\] holds if = L}_2(q)$ $q$ is odd. where $p$ is an odd prime. the isomorphisms ${\rm L}_{2}(5) \cong {\
2(q_0+1)$, we deduce that $x\in H_0\phi$ and we May write $x=u\Phi$ wiTh $u\In H_0$. in TermS of mAtrices (and a suiTAble Basis for the natural ${\rm L}_{2}(q)$-ModulE), wE Have $$U=\LeFt(\begIn{array}{CC}\lAMBda  & A \\  0 & \lAmBda^{-1} \EnD{ArRay}\riGht)$$ Where $\laMbda,a\in{\matHbb{f}}_{q}$ And $\lambda\neq 0$. tHeN $x^2=(u\phi)(u\phi)=Uu^\pHi$ has order $q_0+1$. WE maY assumE tHat $\PHi$ is tHe sTandaRd fielD AutomoRphism of oRdER $2$ with rESpect to THIs BasiS, so $$x^2=uu^\phi=\left(\begiN{ArRAy}{cc}\lambda  & a \\  0 & \lamBda^{-1} \end{ArRAy}\RIGht)\LefT(\begin{arraY}{cC}\lambDA^{q_0}  & a^{q_0} \\  0 & \lamBDa^{-Q_0} \END{arRAy}\right)=\left(\beGin{array}{cc}\lAMbdA^{1+q_0}  & b \\  0 & \lamBdA^{-1-q_0} \eND{array}\Right)$$ WiTH $b=\lAmbda^{q_0}+a\lambDa^{-q_0}$. SInce $x^2$ has oRder $q_0+1$ wE Deduce tHAt $\lambdA^{2(q_0+1)}=1$, whicH imPliEs thAT $\lAmBda^{Q_0+1}=1$ sINce ${\MAtHbb{f}}_Q$ haS charactErIsTic $2$. ThErefORE $$X^2=\Left(\BegIn{arRay}{cc}1  & B \\  0 & 1 \end{array}\righT)$$ haS ordER $q_0+1$, wHich iS absuRd. ThIs JustiFies thE claiM, aNd we deduce that $\DElta(g)$ contains EleMeNts Of Order $2(Q_0+1)$. in partIcuLar, Does not Hold.

\[lem:l2Odd\] thEOREm \[T:main2\] holds if $G_0 = {\rm L}_2(q)$ aNd $Q$ IS oDd.

Write $q=P^f$, wherE $P$ iS aN Odd prime. in VieW of tHE IsomoRphiSMs ${\Rm L}_{2}(5) \cong {\
2(q_0+1)$, we deduce that$x\in H_0\ phi$and  we  m ay w rite  $x=u\phi$ wit h  $u\ in H_0$. In terms of m atric es (and asuita ble bas i sf o r t he  n atu ra l  $ {\rmL}_ {2}(q)$ -module),weha ve $$u=\left ( \b egin{array }{c c}\lambda  &  a\\  0&\la m bda^{ -1}  \end {array } \right )$$ where  $ \ lambda , a\in{\m a t hb b{F} }_{q}$ and $\lamb d a\ n eq 0$. Then $x ^2=(u\ ph i )( u \ phi )=u u^\phi$ ha sorder $q_0+1$ .  W e m aya ssume that $\ phi$ is the sta ndardfi eld automo rphis mo f o rder $2$ wi th r espect to  thisb asis, s o  $$x^2= uu^\ph i=\ lef t(\b e gi n{ arr ay } {cc } \l amb d a & a \\ 0&\lamb da^{ - 1 } \end {ar ray} \righ t)\left(\begi n{a rray } {cc }\lam bda^{ q_0}  & a^{ q_0} \ \  0&\lambda^{-q_0}\end {array}\r igh t) =\l ef t(\be g in{arr ay} {cc }\lambd a^{1+q_ 0 } &b \ \ 0 & \lambda^{-1-q _0 } \e nd{array }\righ t )$ $w ith $b=\ la mbd a^{q _ 0 }+a\l ambd a ^{ -q_0}$.Since$ x^ 2$  has or de r $q_0 +1 $ w e d educe that  $\lam bda^{2(q _0+1) } =1$, which imp l ies that $\la m bd a ^ {q _ 0+1} =1$  since ${\m athb b {F}} _q$h as  ch a racte risti c$ 2$ .  Therefore $$x^2=\l ef t(\beg in{ar ray}{cc}1  &b \\  0 &1 \ end{arra y}\r i gh t )$$ has order$q_0+ 1$, whichi s absurd . Thi s justif ies the c l a im, andweded uce  th a t  $ \Delta(G)$ co n t ains  e lements  of  order$2( q_0 +1) $.In  particul ar, does  n ot  h ol d.
\[le m :L2odd\]  T heo re m \ [t:ma i n2\] h oldsif $ G_ 0=  {\ rm L}_2 ( q) $ and$q $is o dd. 
Write  $q= p ^f$ , where  $p$ is a n o d d pr im e.  In vie w of the isom or phisms ${\ rm  L} _{2}(5 ) \cong {\ 
2(q_0+1)$, we_deduce that_$x\in H_0\phi$ and we_may write_$x=u\phi$_with $u\in_H_0$._In terms of_matrices (and a_suitable basis for the_natural ${\rm L}_{2}(q)$-module),_we_have $$u=\left(\begin{array}{cc}\lambda  & a \\  0 & \lambda^{-1} \end{array}\right)$$ where $\lambda,a\in{\mathbb{F}}_{q}$ and_$\lambda\neq_0$. Then_$x^2=(u\phi)(u\phi)=uu^\phi$_has_order $q_0+1$. We may assume_that $\phi$ is the standard_field automorphism_of order $2$ with respect to this basis,_so_$$x^2=uu^\phi=\left(\begin{array}{cc}\lambda  &_a \\  0 & \lambda^{-1} \end{array}\right)\left(\begin{array}{cc}\lambda^{q_0}  &_a^{q_0} \\  0 & \lambda^{-q_0}_\end{array}\right)=\left(\begin{array}{cc}\lambda^{1+q_0}  &_b_\\_ 0 & \lambda^{-1-q_0}_\end{array}\right)$$ with $b=\lambda^{q_0}+a\lambda^{-q_0}$. Since $x^2$ has_order $q_0+1$ we deduce that $\lambda^{2(q_0+1)}=1$,_which implies that $\lambda^{q_0+1}=1$ since ${\mathbb{F}}_q$ has_characteristic $2$. Therefore $$x^2=\left(\begin{array}{cc}1  &_b \\  0 &_1 \end{array}\right)$$_has order $q_0+1$, which is_absurd. This justifies_the claim,_and we deduce_that $\Delta(G)$ contains elements of order_$2(q_0+1)$. In particular,_does not hold.

\[lem:L2odd\] Theorem \[t:main2\] holds_if_$G_0 = {\rm_L}_2(q)$_and_$q$ is_odd.

Write $q=p^f$, where_$p$_is an_odd_prime. In view of the isomorphisms_${\rm_L}_{2}(5) \cong {\