}(xN)$ divides $i_G(x) $, for each $x\in G$.

-   If $xN$ is a $\pi$-element of $HN/N$, for a set of primes $\pi$, then there exists a $\pi$-element $x_1\in H$ such that $xN = x_1N$.

We will also need the following fact about Hall subgroups of factorised groups, which is a convenient reformulation of [@AFG 1.3.2]. We recall that a group is a D$_{\pi}$-group, for a set of primes $\pi$, if every $\pi$-subgroup is contained in a Hall $\pi$-subgroup, and any two Hall $\pi$-subgroups are conjugate. It is well known that any $\pi$-separable group is a D$_{\pi}$-group. Also, all finite groups are D$_{\pi}$-groups when $\pi$ consists of a single prime.

\[1.3.2\] Let $G=AB$ be the product of the subgroups $A$ and $B$. Asume that $A, B$, and $G$ are D$_{\pi}$-groups for a set of primes $\pi$. Then there exists a Hall $\pi$-subgroup $H$ of $G$ such that $H= (H \cap A)(H \cap B)$, with $H \cap A$ a Hall $\pi$-subgroup of $A$ and $H \cap B$ a Hall $\pi$-subgroup of $B$.

Next we record some arithmetical lemmas, that will be applied later.

\[SylowSym\] Let $G$ be the symmetric group of degree $k$ and let $s$ be a prime. If $s^{ N}$ is the largest power of $s$ dividing $|G|=k!$, then $N \leq \frac{k-1}{s-1}$.

\[cuentas\] Let $q,s,t$ be positive integers. Then:

1.  $(q^s-1,q^t-1)=q^{(s,t)}-1$,

2.  $(q^s+1,q^t+1)=\begin{cases} q^{(s,t)}+1 \quad \text{if both } s/(s,t) \text{ and } t/(s,t)
} (xN)$ divides $ i_G(x) $, for each $ x\in G$. 

 -    If $ xN$ is a $ \pi$-element of $ HN / N$, for a set of primes $ \pi$, then there exists a $ \pi$-element $ x_1\in H$ such that $ xN = x_1N$. 

 We will besides necessitate the following fact about Hall subgroups of factorize groups, which is a commodious reformulation of [ @AFG 1.3.2 ]. We recall that a group is a D$_{\pi}$-group, for a set of prime $ \pi$, if every $ \pi$-subgroup is contain in a Hall $ \pi$-subgroup, and any two Hall $ \pi$-subgroups are conjugate. It is well known that any $ \pi$-separable group is a D$_{\pi}$-group. besides, all finite group are D$_{\pi}$-groups when $ \pi$ consists of a single flower. 

 \[1.3.2\ ] Let $ G = AB$ be the product of the subgroups $ A$ and $ B$. Asume that $ adenine, B$, and $ G$ are D$_{\pi}$-groups for a set of prime $ \pi$. Then there exists a Hall $ \pi$-subgroup $ H$ of $ G$ such that $ H= (H \cap A)(H \cap B)$, with $ H \cap A$ a Hall $ \pi$-subgroup of $ A$ and $ H \cap B$ a Hall $ \pi$-subgroup of $ B$. 

 Next we read some arithmetical lemmas, that will be applied later. 

 \[SylowSym\ ] lease $ G$ be the symmetric group of degree $ k$ and let $ s$ be a flower. If $ s^ { N}$ is the largest might of $ s$ dividing $ |G|=k!$, then $ N \leq \frac{k-1}{s-1}$. 

 \[cuentas\ ] Let $ q, s, t$ be positive integer. Then: 

 1.   $ (q^s-1,q^t-1)=q^{(s, t)}-1 $, 

 2.   $ (q^s+1,q^t+1)=\begin{cases } q^{(s, t)}+1 \quad \text{if both } s/(s, t) \text { and } t/(s, t )
}(xN)$ fivides $i_G(x) $, for each $x\ik G$.

-   If $xN$ is a $\pi$-elemxnt of $GN/N$, for x set of primes $\pi$, then therx exusts q $\pi$-element $x_1\in H$ such that $xN = x_1N$.

We wiol aowo need thx followlug fadb abobt Hall subgroupx of factosised groups, wvizh is a convenient reformulation of [@ASG 1.3.2]. We tefall that a grjup ps a D$_{\lp}$-gvoup, for a set of primes $\pi$, if ebery $\pi$-vubgroup is cpntained in a Hall $\pi$-subgrlup, wnd any two Hall $\pl$-subgroups qre sinjugate. It ks well known that any $\pi$-separable group is a D$_{\pi}$-grouo. Alsp, all finijz grlops are D$_{\pi}$-gcoups rhen $\pi$ conslxts of a singke prime.

\[1.3.2\] Let $G=SB$ ue tye product of the subjroups $A$ and $B$. Asume that $A, B$, aud $G$ are D$_{\pi}$-groups foe q set of [rimdw $\pk$. Tgei tgere edisvs a Hall $\pj$-subgroup $H$ of $G$ such that $H= (H \cwi A)(H \cap B)$, wifh $H \cwp A$ a Hall $\pi$-subgroup of $A$ and $H \cap B$ a Haml $\pi$-subgroup of $B$.

Next qe record some arithmgtical lemias, that will be applied later.

\[SylowSym\] Let $G$ be tve syjoetxlg gruyp of degree $k$ and let $s$ be a prime. If $s^{ N}$ is trs kaggest power of $s$ bividing $|G|=k!$, then $N \lrz \frac{k-1}{s-1}$.

\[cuentxs\] Let $q,s,f$ be positive intehers. Thgn:

1.  $(q^s-1,w^t-1)=q^{(s,t)}-1$,

2.  $(q^s+1,z^t+1)=\bebin{cases} q^{(s,t)}+1 \quad \text{if borh } s/(s,t) \text{ qnd } t/(s,t)
}(xN)$ divides $i_G(x) $, for each $x\in If is a of $HN/N$, for then exists a $\pi$-element H$ such that = x_1N$. We will also need following fact about Hall subgroups of factorised groups, which is a convenient reformulation [@AFG 1.3.2]. We recall that a group is a D$_{\pi}$-group, for a set primes if $\pi$-subgroup contained in a Hall $\pi$-subgroup, and any two Hall $\pi$-subgroups are conjugate. It is well known any $\pi$-separable group is a D$_{\pi}$-group. Also, all groups are D$_{\pi}$-groups when consists of a single prime. Let be the of subgroups and $B$. Asume $A, B$, and $G$ are D$_{\pi}$-groups for a set of primes $\pi$. Then there exists a Hall $H$ of that $H= \cap \cap with $H \cap Hall $\pi$-subgroup of $A$ and $H Hall $\pi$-subgroup of $B$. Next we record some lemmas, that be applied later. \[SylowSym\] Let $G$ the symmetric group of degree $k$ and let be a prime. If $s^{ N}$ is the largest power of $s$ dividing $|G|=k!$, then \frac{k-1}{s-1}$. \[cuentas\] Let $q,s,t$ positive integers. Then: $(q^s-1,q^t-1)=q^{(s,t)}-1$, $(q^s+1,q^t+1)=\begin{cases} \quad both } \text{ and } t/(s,t)
}(xN)$ divides $i_G(x) $, for each $x\in G$.

-   If $XN$ is a $\pi$-eleMent oF $HN/n$, foR a Set oF priMes $\pi$, then there EXistS a $\pi$-element $x_1\in H$ such thaT $xN = x_1N$.

we WIll aLSo Need tHe folloWInG FAct AbOuT HaLl SUbGroupS of FactoriSed groups, wHicH iS a convenient REfOrmulation Of [@AfG 1.3.2]. We recall thAt a Group iS a d$_{\pi}$-GRoup, fOr a Set of Primes $\PI$, if eveRy $\pi$-subgrOuP Is contAIned in a hALl $\Pi$-suBgroup, and any two HaLL $\pI$-Subgroups are coNjugatE. IT Is WELl kNowN that any $\pi$-SeParabLE group iS A D$_{\PI}$-GRouP. also, all finite Groups are D$_{\pI}$-GroUps wheN $\pI$ coNSists oF a sinGlE PriMe.

\[1.3.2\] Let $G=AB$ be tHe prOduct of thE subgrOUps $A$ and $b$. asume thAt $A, B$, anD $G$ aRe D$_{\Pi}$-grOUpS fOr a SeT Of pRImEs $\pI$. theN there exIsTs A Hall $\Pi$-suBGROUp $H$ oF $G$ sUch tHat $H= (H \Cap A)(H \cap B)$, with $h \caP A$ a HALl $\pI$-subgRoup oF $A$ anD $H \Cap B$ a hall $\pi$-SubgrOuP of $B$.

Next we recorD somE arithmetIcaL lEmmAs, That wILl be apPliEd lAter.

\[SylOwSym\] LeT $g$ be ThE SYMmEtric group of degree $K$ aND LeT $s$ be a priMe. If $s^{ N}$ IS tHe LArgest poWeR of $S$ divIDIng $|G|=k!$, Then $n \LeQ \frac{k-1}{s-1}$.

\[cUentas\] lEt $Q,s,T$ be posiTiVe inteGeRs. THen:

1.  $(Q^s-1,q^t-1)=q^{(S,T)}-1$,

2.  $(q^s+1,q^T+1)=\begin{Cases} q^{(s,t)}+1 \Quad \tEXt{if both } s/(s,t) \texT{ And } t/(s,t)
}(xN)$ divides $i_G(x) $,for each $ x\inG$. 

-   If$xN$  is a $\pi$-el e ment  of $HN/N$, for a setof pr im e s $\ p i$ , the n there ex i s tsa$\ pi$ -e l em ent $ x_1 \in H$such that$xN  =  x_1N$.

Wew il l also nee d t he following  fa ct abo ut  Ha l l sub gro ups o f fact o risedgroups, w hi c h is a conveni e n trefo rmulation of [@AF G  1 . 3.2]. We recal l that  a gr o u p i s a  D$_{\pi}$ -g roup, for a s e to f pri m es $\pi$, ifevery $\pi$ - sub groupis  co n tained  in a  H a ll$\pi$-subgr oup,  and anytwo Ha l l $\pi$ - subgrou ps are  co nju gate .  I tiswe l l k n ow n t h atany $\pi $- se parab le g r o u p  isa D $_{\ pi}$- group. Also,all  fin i tegroup s are  D$_ {\ pi}$- groups  when  $ \pi$ consists o f asingle pr ime .
\[ 1. 3.2\] Let $G =AB $ b e the p roducto f t he s u bg roups $A$ and $B$.  A s u me  that $A , B$,a nd  $ G $ are D$ _{ \pi }$-g r o ups f or a se t of pri mes $\ p i$ .Then th er e exis ts  aHal l $\p i $-su bgroup  $H$ of$G$ s u ch that $H= (H \cap A)(H \ca p  B ) $ ,w ith$H\cap A$ a H all$ \pi$ -sub g ro upo f $A$  and$H \c a p B$ a Hall $\pi$-s ub groupof $B $.

Next we r ecord some a r ithmetic al l e mm a s, that will b e app lied later . 

\[Sylo wSym\ ] Let $G $ be thes y mmetricgro upofdeg r e e$k$ and let $ s $  beaprime.If$s^{ N} $ i s t helar ge st powerof $s$ d iv id in g$|G |=k!$ ,  then $N  \ leq  \ fra c{k-1 } {s-1}$ .

\[ cuen ta s\ ]  Le t $q,s, t $b e  pos it iv e in teg er s. Th en:1. $(q^s- 1,q^t-1)= q^{ ( s,t) }- 1$ ,

2. $(q^s+1,q^t+1 )= \begin{cas es } q ^{(s,t ) } +1 \quad  \text{if both } s/(s,t )  \text{  an d } t /(s, t)
}(xN)$ divides_$i_G(x) $,_for each $x\in G$.

-_ _If_$xN$ is_a_$\pi$-element of $HN/N$,_for a set_of primes $\pi$, then_there exists a_$\pi$-element_$x_1\in H$ such that $xN = x_1N$.

We will also need the following fact about_Hall_subgroups of_factorised_groups,_which is a convenient reformulation_of [@AFG 1.3.2]. We recall_that a_group is a D$_{\pi}$-group, for a set of_primes_$\pi$, if every_$\pi$-subgroup is contained in a Hall $\pi$-subgroup, and any_two Hall $\pi$-subgroups are conjugate. It_is well known_that_any_$\pi$-separable group is a_D$_{\pi}$-group. Also, all finite groups are_D$_{\pi}$-groups when $\pi$ consists of a_single prime.

\[1.3.2\] Let $G=AB$ be the product_of the subgroups $A$ and $B$._Asume that $A, B$, and_$G$ are_D$_{\pi}$-groups for a set of_primes $\pi$. Then_there exists_a Hall $\pi$-subgroup_$H$ of $G$ such that $H=_(H \cap A)(H_\cap B)$, with $H \cap A$_a_Hall $\pi$-subgroup of_$A$_and_$H \cap_B$ a Hall_$\pi$-subgroup_of $B$.

Next_we_record some arithmetical lemmas, that will_be_applied later.

\[SylowSym\] Let $G$ be the symmetric_group of degree $k$_and_let $s$ be a_prime. If $s^{ N}$ is_the largest power of $s$ dividing_$|G|=k!$, then_$N \leq_\frac{k-1}{s-1}$.

\[cuentas\] Let $q,s,t$ be positive integers. Then:

1.  $(q^s-1,q^t-1)=q^{(s,t)}-1$,

2.  $(q^s+1,q^t+1)=\begin{cases}_q^{(s,t)}+1 \quad \text{if both } s/(s,t)_\text{ and } t/(s,t)