\in (H \cap A) \cup (H \cap B)$ of prime power order, it holds that $P\leq  {{\operatorname}{C}_{G}(x)}$. Therefore $[P, H]=1$ and (ii) follows.

As an inmediate consequence of the Main Theorem, we get:

\[all\] Let the group $G = AB$ be the product of subgroups $A$ and $B$, and let $p$ be a prime. Then $p$ does not divide $i_G(x) $ for every element of prime power order $x\in A\cup B$ if and only if $G$ has a central Sylow $p$-subgroup, i.e. $G=O_p(G) \times O_{p'}(G)$ with $O_p(G)$ abelian.

Our results provide an improvement of [@BCL Theorem 1.1] in the case of only two factors, since in that paper products of $n$ pairwise mutually permutable subgroups were considered.

\[adolfo\] Let the group $G = AB$ be the mutually product of the subgroups $A$ and $B$, and let $p$ be a prime. Then:

-   No index $i_G(x) $, where $x$ is a $p$-regular element in $ A\cup B$, is divisible by $p$ if and only if $G=O_p(G) \times O_{p'}(G)$.

-   $i_G(x) $ is not divisible by $p$ for every element $ x \in A\cup B$ if and only if $G=O_p(G) \times O_{p'}(G)$ with $O_p(G)$ abelian.

Finally, we also point out that [@FMOpi Theorem A] and [@ZGS Theorem 3.2] when $\pi=p'$ are direct consequences from our main result.

Preliminary results
===================

We will use without further reference the following elementary lemma:

Let $N$ be a normal subgroup of a group $G$, and $H$ be a subgroup of $G$. We have:

-   $i_N(x)$ divides $i_G(x) $, for each $x\in N$.

-   $i_{G/N
\in (H \cap A) \cup (H \cap B)$ of prime power order, it holds that $ P\leq   { { \operatorname}{C}_{G}(x)}$. consequently $ [ phosphorus, H]=1 $ and (ii) stick to. 

 As an inmediate consequence of the Main Theorem, we get: 

 \[all\ ] lease the group $ guanine = AB$ be the product of subgroups $ A$ and $ B$, and permit $ p$ be a prime. Then $ p$ does not divide $ i_G(x) $ for every component of prime power club $ x\in A\cup B$ if and only if $ G$ has a cardinal Sylow $ p$-subgroup, i.e. $ G = O_p(G) \times O_{p'}(G)$ with $ O_p(G)$ abelian. 

 Our results provide an improvement of [ @BCL Theorem 1.1 ] in the case of only two factors, since in that paper products of $ n$ pairwise mutually transposable subgroups were considered. 

 \[adolfo\ ] Let the group $ guanine = AB$ be the mutually product of the subgroups $ A$ and $ B$, and permit $ p$ be a prime. Then: 

 -    No exponent $ i_G(x) $, where $ x$ is a $ p$-regular element in $ A\cup B$, is divisible by $ p$ if and entirely if $ G = O_p(G) \times O_{p'}(G)$. 

 -    $ i_G(x) $ is not divisible by $ p$ for every element $ x \in A\cup B$ if and only if $ gravitational constant = O_p(G) \times O_{p'}(G)$ with $ O_p(G)$ abelian. 

 Finally, we also point out that [ @FMOpi Theorem A ] and [ @ZGS Theorem 3.2 ] when $ \pi = p'$ are direct consequences from our main result. 

 Preliminary results 
 = = = = = = = = = = = = = = = = = = = 

 We will use without further reference the following elementary lemma: 

 Let $ N$ be a normal subgroup of a group $ G$, and $ H$ be a subgroup of $ G$. We have: 

 -    $ i_N(x)$ divides $ i_G(x) $, for each $ x\in N$. 

 -    $ i_{G / N
\in (J \cap A) \cup (H \cap B)$ of pvime power order, it holvs that $P\leq  {{\ooeratorname}{C}_{G}(x)}$. Therefore $[P, H]=1$ abd (ii) follows.

As an inmediatd consequvnce of tye Mein Theorem, we gxf:

\[all\] Leb the nroup $J = AB$ be the prpduct of sgbgroups $A$ and $B$, aud let $p$ be a prime. Then $p$ does not qivide $o_G(d) $ for every ejememe of irlme power order $x\in A\cup B$ if ans only pf $G$ has a centrak Sylow $p$-subgroup, i.e. $G=O_p(G) \himed O_{p'}(G)$ with $O_p(G)$ abepian.

Our resomts provide an ioprovement of [@BCL Theotem 1.1] in the case of only two facgors, xince in tyar pwker products of $n$ pairwise mublally parmutabke subgroups wcre cmnsudered.

\[adolfo\] Let the jroup $G = AB$ be the motually prmdbct of the subgroups $Q$ qnd $B$, and let $p$ bd a pcims. Then:

-   Io index $i_G(s) $, where $x$ us a $p$-regular elememt pm $ A\cup B$, is divisybje by $p$ if and only if $G=O_p(G) \times O_{p'}(G)$.

-   $i_G(s) $ is not divisible by $p$ for every element $ d \in A\cup B$ if and only if $G=O_p(G) \times O_{p'}(G)$ with $O_p(G)$ abelian.

Xinalmh, wt qlso oiijt out that [@FMOpi Theorem A] and [@ZGS Theorem 3.2] rgem $\ii=p'$ are direct coksequences from out laog result.

Prelioinary reaults
===================

We will use wlthout surthwr referegce yhe following elementary lenma:

Let $N$ be c nirmal subgroup of c group $G$, anb $H$ be a sungroup of $G$. We have:

-   $i_U(x)$ divjdes $i_G(x) $, flr each $x\jv N$.

-   $i_{G/N
\in (H \cap A) \cup (H \cap prime order, it that $P\leq {{\operatorname}{C}_{G}(x)}$. follows. an inmediate consequence the Main Theorem, get: \[all\] Let the group $G AB$ be the product of subgroups $A$ and $B$, and let $p$ be prime. Then $p$ does not divide $i_G(x) $ for every element of prime order A\cup if only if $G$ has a central Sylow $p$-subgroup, i.e. $G=O_p(G) \times O_{p'}(G)$ with $O_p(G)$ abelian. Our provide an improvement of [@BCL Theorem 1.1] in case of only two since in that paper products $n$ mutually permutable were \[adolfo\] the group $G AB$ be the mutually product of the subgroups $A$ and $B$, and let $p$ be a prime. - No $, where is $p$-regular in $ A\cup divisible by $p$ if and only O_{p'}(G)$. - $i_G(x) $ is not divisible by for every $ x \in A\cup B$ if only if $G=O_p(G) \times O_{p'}(G)$ with $O_p(G)$ abelian. we also point out that [@FMOpi Theorem A] and [@ZGS Theorem 3.2] when $\pi=p'$ are from our main result. results =================== We use further the elementary lemma: $N$ be a normal subgroup of a group $G$, and $H$ a subgroup of $G$. We have: - $i_N(x)$ divides $i_G(x) each N$. - $i_{G/N
\in (H \cap A) \cup (H \cap B)$ of prime powEr order, it hOlds tHat $p\leQ  {{\oPeraTornAme}{C}_{G}(x)}$. ThereforE $[p, H]=1$ anD (ii) follows.

As an inmediatE consEqUEnce OF tHe MaiN TheoreM, We GET:

\[alL\] LEt The GrOUp $g = AB$ be The Product Of subgroupS $A$ aNd $b$, and let $p$ be a pRImE. Then $p$ does Not Divide $i_G(x) $ for EveRy elemEnT of PRime pOweR ordeR $x\in A\cUP B$ if anD only if $G$ hAs A CentraL sylow $p$-sUBGrOup, i.E. $G=O_p(G) \times O_{p'}(G)$ with $o_P(G)$ ABelian.

Our resulTs provIdE An IMProVemEnt of [@BCL ThEoRem 1.1] in THe case oF OnLY TWo fACtors, since in tHat paper proDUctS of $n$ paIrWisE MutualLy perMuTAblE subgroups wEre cOnsidered.

\[Adolfo\] lEt the grOUp $G = AB$ be The mutUalLy pRoduCT oF tHe sUbGRouPS $A$ And $b$, And Let $p$ be a pRiMe. then:

-   NO indEX $I_g(X) $, wheRe $x$ Is a $p$-RegulAr element in $ A\cUp B$, Is diVIsiBle by $P$ if anD onlY iF $G=O_p(G) \Times O_{P'}(G)$.

-   $i_G(x) $ Is Not divisible by $p$ For eVery elemeNt $ x \In a\cuP B$ If and ONly if $G=o_p(G) \TimEs O_{p'}(G)$ wiTh $O_p(G)$ abELiaN.

FINALlY, we also point out thaT [@FmoPi theorem A] And [@ZGS tHeOrEM 3.2] when $\pi=p'$ ArE diRect CONsequEnceS FrOm our maiN resulT.

prElIminary ReSults
===================

WE wIll Use WithoUT furTher reFerence tHe folLOwing elementarY Lemma:

Let $N$ be a nORmAL SuBGrouP of A group $G$, and $H$ Be a sUBgroUp of $g$. we HavE:

-   $I_N(x)$ diVides $I_G(X) $, FoR Each $x\in N$.

-   $i_{G/N
\in (H \cap A) \cup (H \ca p B)$ of p rimepow eror der,  itholds that $P\ l eq {{\operatorname}{C}_{G }(x)} $. Ther e fo re $[ P, H]=1 $  a n d  (i i)  f oll ow s .
As a n i nmediat e conseque nce  o f the Main T h eo rem, we ge t:
\[all\] Let  th e grou p$G=  AB$bethe p roduct of sub groups $A $a nd $B$ ,  and le t $p $ be  a prime. Then $p $  d o es not divide$i_G(x )$  f o r  ev ery  element o fprime power o r de r $ x\i n  A\cup B$ ifand only if $G$  has a  c ent r al Syl ow $p $- s ubg roup, i.e.$G=O _p(G) \ti mes O_ { p'}(G)$ with $O _p(G)$  ab eli an.Ou rres ul t s p r ov ide animprovem en tof [@ BCLT h e o rem1.1 ] in  thecase of onlytwo  fac t ors , sin ce in  tha tpaper  produ cts o f$n$ pairwise mu tual ly permut abl esub gr oupsw ere co nsi der ed.

\[ adolfo\ ]  Le tt h e  g roup $G = AB$ be t he m ut ually pr oducto fth e  subgrou ps  $A $ an d $B$,andl et  $p$ bea prim e .Th en:

- No ind ex  $i _G( x) $, wher e $x$is a $p$ -regu l ar element in$  A\cup B$, is di v i si b le b y $ p$ if and o nlyi f $G =O_p ( G)  \t i mes O _{p'} (G ) $. 
-   $i_G(x) $ is n ot  divis ibleby $p$ for ev ery elemen t $  x \in A \cup B$ if and only if  $G=O _p(G) \tim e s O_{p'} (G)$with $O_ p(G)$ abe l i an.

Fin all y,weals o po int out that[ @ FMOp iTheorem  A]  and [@ ZGS  Th eor em3. 2] when $ \pi=p'$ar edi re ctconse q uences f ro m o ur  ma in re s ult.
Preli mina ry  r e sul ts
==== = == = = ==== == == ==
Wewi ll us e wi t hou t furth er refere nce thefo ll owing e lementary lem ma :

Let $N$  b e a  norma l subgroup  of a group $G$, and $H $  be a s ubg roupof $ G$. We ha ve: 

-  $i_ N (x)$ d ivides  $i_G (x ) $ , for e a c h$x\ in  N$.

-  $ i _{G /N
\in (H_\cap A)_\cup (H \cap B)$_of prime_power_order, it_holds_that $P\leq _{{\operatorname}{C}_{G}(x)}$. Therefore $[P,_H]=1$ and (ii) follows.

As_an inmediate consequence_of_the Main Theorem, we get:

\[all\] Let the group $G = AB$ be the product_of_subgroups $A$_and_$B$,_and let $p$ be a_prime. Then $p$ does not_divide $i_G(x)_$ for every element of prime power order_$x\in_A\cup B$ if_and only if $G$ has a central Sylow $p$-subgroup,_i.e. $G=O_p(G) \times O_{p'}(G)$ with $O_p(G)$_abelian.

Our results provide_an_improvement_of [@BCL Theorem 1.1]_in the case of only two_factors, since in that paper products_of $n$ pairwise mutually permutable subgroups were_considered.

\[adolfo\] Let the group $G =_AB$ be the mutually product_of the_subgroups $A$ and $B$, and_let $p$ be_a prime._Then:

-  _No index $i_G(x) $, where $x$_is a $p$-regular_element in $ A\cup B$, is_divisible_by $p$ if_and_only_if $G=O_p(G)_\times O_{p'}(G)$.

- __$i_G(x) $_is_not divisible by $p$ for every_element_$ x \in A\cup B$ if and_only if $G=O_p(G) \times_O_{p'}(G)$_with $O_p(G)$ abelian.

Finally, we_also point out that [@FMOpi_Theorem A] and [@ZGS Theorem 3.2]_when $\pi=p'$_are direct_consequences from our main result.

Preliminary results
===================

We will use without further reference_the following elementary lemma:

Let $N$ be_a normal subgroup of_a group_$G$,_and $H$ be_a_subgroup of_$G$. We have:

-   $i_N(x)$ divides_$i_G(x) $,_for each $x\in N$.

-  _$i_{G/N