$ and $K'$ arise from the standard abelian construction.

As in step 3 we can suppose that there exist two different odd primes $p$ and $q$, such that $p$ divides the order of $B$ and $q$ divides the order of $B'$. By Sylow theorems for solvable groups, we obtain that there exists $A$, a subgroup of $B\cdot B'$ with order $p^{\alpha}q^{\beta}$, that contains a Sylow $p$–subgroup and a Sylow $q$–subgroup of $B\cdot B'$. Up to conjugation we can suppose that the intersection of $A$ both with $B$ and with $B'$ is not trivial. The group $A$ does not contain any involution, so applying Step 3 to $A$ we obtain that $K$ and $K'$ arise from the standard abelian construction.

If $E$ is not trivial, either $K$ and $K'$ arise from the standard abelian construction or there exists in $G$ an involution $h$ with nonempty connected fixed point set such that $h\O(G)\in E$.

If $G$ does not contain any involution with nonempty connected fixed point set, by Step 3 the knots $K$ and $K'$ arise from the standard abelian construction.

We can suppose that $G$ contains one involution with nonempty connected fixed point set. We denote by ${\cal E}$ the preimage of $E$ in $G$ with respect to the projection of $G$ onto $O/\O(G)$; by the factor group $G/{\cal E}$ is solvable.

Suppose that the group $\cal E$ does not contain any involution with nonempty connected fixed point set. Let $p$ be an odd prime number that divides $n$ and let $q$ be an odd prime number that divides $m$. By the Sylow Theorem for solvable groups, there exists a subgroup ${\cal E}'$ of $G$ that contains ${\cal E}$, with the following properties:

-   ${\cal E}'$contains a Sylow $p$–subgroup and a Sylow $q$–subgroup of $G$;

-   the factor group ${\cal E}'/{\cal E}$ has order $p^{\alpha}q^{\beta}$.

All the involutions in ${\cal E}'$ are contained in ${\cal
$ and $ K'$ arise from the standard abelian construction. 

 As in step 3 we can suppose that there exist two unlike curious primes $ p$ and $ q$, such that $ p$ divides the decree of $ B$ and $ q$ divide the order of $ B'$. By Sylow theorems for solvable group, we obtain that there exists $ A$, a subgroup of $ B\cdot B'$ with ordering $ p^{\alpha}q^{\beta}$, that contains a Sylow $ p$–subgroup and a Sylow $ q$–subgroup of $ B\cdot B'$. Up to conjugation we can presuppose that the intersection of $ A$ both with $ B$ and with $ B'$ is not trivial. The group $ A$ does not hold any exponentiation, so applying Step 3 to $ A$ we obtain that $ K$ and $ K'$ arise from the standard abelian structure. 

 If $ E$ is not trivial, either $ K$ and $ K'$ arise from the standard abelian construction or there exist in $ G$ an involution $ h$ with nonempty connected fixate decimal point set such that $ h\O(G)\in E$. 

 If $ G$ does not check any involution with nonempty connected fixed distributor point set, by Step   3 the knots $ K$ and $ K'$ arise from the standard abelian construction. 

 We can suppose that $ G$ contains one involution with nonempty connected fixed point set. We denote by $ { \cal E}$ the preimage of $ E$ in $ G$ with respect to the projection of $ G$ onto $ O/\O(G)$; by the factor group $ G/{\cal E}$ is solvable. 

 Suppose that the group $ \cal E$ does not incorporate any involution with nonempty connected fixate item set. Let $ p$ be an odd premier number that divides $ n$ and let $ q$ be an odd premier number that divides $ m$. By the Sylow Theorem for solvable groups, there exists a subgroup $ { \cal E}'$ of $ G$ that contains $ { \cal E}$, with the following place: 

 -    $ { \cal E}'$contains a Sylow $ p$–subgroup and a Sylow $ q$–subgroup of $ G$; 

 -    the factor group $ { \cal E}'/{\cal E}$ has order $ p^{\alpha}q^{\beta}$. 

 All the involutions in $ { \cal E}'$ are contained in $ { \cal
$ anf $K'$ arise from the standxrd abelian constructimn.

As ih step 3 de can suppose that there exmst rwo dufferent odd primes $p$ xnd $q$, sucj that $p$ divmdes the order oh $B$ and $q$ diviscs thz irder of $B'$. By Xylow theosems for solvatld yroups, we obtain that there exists $A$, a subgtokp of $B\cdot B'$ rith jrded $p^{\alpha}q^{\beta}$, that contains a Sylos $p$–subggoup and a Sylow $a$–subgroup of $B\cdot B'$. Up to conuugation we can suopose that jge ybtersection uf $A$ both with $B$ and wjth $B'$ is not trivial. The group $X$ doex not contqib aji involution, so aiplying Step 3 to $A$ we obtain that $K$ and $K'$ srive drom the standard abenian construction.

Is $E$ is nod crivial, either $K$ and $J'$ qrise frok thd stxndzrv agelian coistruction kr there exusts in $G$ an involuuiog $h$ with nonemlty cognqcted fixed point set such that $h\O(G)\in E$.

Pf $G$ does not contain any ibvolution with nonempjy connectqd fixed point set, by Step 3 the knots $K$ and $K'$ arisa froj tht wtandxed abelian construction.

We can suppose that $G$ cogfaonx one involutijn with nonrmotu connected fibed ponht set. We denote by ${\fal E}$ tre prwimage of $E$ im $G$ with respect to the prohection of $G$ into $O/\O(G)$; by the faetor group $G/{\eal E}$ os sokvable.

Suppose that the yroup $\dal E$ does jot contajv any involution winh nmnempty connected fixed poynt set. Lxt $p$ ye an oda prome nuiber that fividcv $n$ and let $q$ be aj odd psime numbeg that divides $m$. By the Sylow Tixorem for solfatle groups, chere cxists a subgrotp ${\cal E}'$ of $G$ jhat contcins ${\cxl E}$, with nhe folloxing propertyes:

-   ${\cal E}'$cotjains a Sylow $p$–subgrotp abd a Sylow $d$–rubgroup of $G$;

-   the facnox group ${\cql E}'/{\cal E}$ has ordev $p^{\alkhz}q^{\beta}$.

All the iurooutions in ${\cal R}'$ afe sojteined hn ${\cal
$ and $K'$ arise from the standard As step 3 can suppose that primes and $q$, such $p$ divides the of $B$ and $q$ divides the of $B'$. By Sylow theorems for solvable groups, we obtain that there exists a subgroup of $B\cdot B'$ with order $p^{\alpha}q^{\beta}$, that contains a Sylow $p$–subgroup a $q$–subgroup $B\cdot Up to conjugation we can suppose that the intersection of $A$ both with $B$ and with is not trivial. The group $A$ does not any involution, so applying 3 to $A$ we obtain $K$ $K'$ arise the abelian If $E$ is trivial, either $K$ and $K'$ arise from the standard abelian construction or there exists in $G$ an $h$ with fixed point such $h\O(G)\in If $G$ does any involution with nonempty connected fixed Step 3 the knots $K$ and $K'$ arise the standard construction. We can suppose that $G$ one involution with nonempty connected fixed point set. denote by ${\cal E}$ the preimage of $E$ in $G$ with respect to the projection onto $O/\O(G)$; by the group $G/{\cal E}$ solvable. that group E$ does contain any involution with nonempty connected fixed point set. Let $p$ an odd prime number that divides $n$ and let $q$ odd number that divides By the Sylow Theorem solvable there exists a subgroup of that with following - ${\cal E}'$contains a $p$–subgroup and a Sylow $q$–subgroup $G$; - the factor order $p^{\alpha}q^{\beta}$. All the involutions in ${\cal E}'$ contained in ${\cal
$ and $K'$ arise from the standard aBelian consTructIon.

as iN sTep 3 wE can Suppose that theRE exiSt two different odd primeS $p$ and $Q$, sUCh thAT $p$ DividEs the orDEr OF $b$ anD $q$ DiVidEs THe Order Of $B'$. by Sylow Theorems foR soLvAble groups, we OBtAin that theRe eXists $A$, a subgrOup Of $B\cdoT B'$ WitH Order $P^{\alPha}q^{\bEta}$, thaT ContaiNs a Sylow $p$–SuBGroup aND a Sylow $Q$–SUbGrouP of $B\cdot B'$. Up to conjUGaTIon we can supposE that tHe INtERSecTioN of $A$ both wiTh $b$ and wITh $B'$ is noT TrIVIAl. THE group $A$ does noT contain any INvoLution, So AppLYing StEp 3 to $A$ We OBtaIn that $K$ and $K'$ ArisE from the sTandarD Abelian COnstrucTion.

If $e$ is Not TrivIAl, EiTheR $K$ ANd $K'$ ARiSe fROm tHe standaRd AbElian ConsTRUCTion Or tHere ExistS in $G$ an involutIon $H$ witH NonEmpty ConneCted FiXed poInt set Such tHaT $h\O(G)\in E$.

If $G$ does nOt coNtain any iNvoLuTioN wIth noNEmpty cOnnEctEd fixed Point seT, By STeP 3 THE kNots $K$ and $K'$ arise from ThE STaNdard abeLian coNStRuCTion.

We caN sUppOse tHAT $G$ conTainS OnE involutIon witH NoNeMpty conNeCted fiXeD poInt Set. We DEnotE by ${\cal e}$ the preiMage oF $e$ in $G$ with respecT To the projectiON oF $g$ OnTO $O/\O(G)$; By tHe factor groUp $G/{\cAL E}$ is SolvABlE.

SuPPose tHat thE gROuP $\Cal E$ does not contain aNy InvoluTion wIth nonempty coNnected fixED POint set. LEt $p$ bE An ODd prime number tHat diVides $n$ and lET $q$ be an odD primE number tHat divideS $M$. by the SylOw THeoRem For SOLvAble groups, theRE ExisTs A subgroUp ${\cAl E}'$ of $G$ tHat ConTaiNs ${\cAl e}$, with the fOllowing PrOpErTiEs:

-   ${\cAl E}'$coNTains a SyLoW $p$–sUbGroUp and A sylow $q$–SubgrOup oF $G$;

-   ThE FacTor grouP ${\CaL e}'/{\Cal E}$ HaS oRder $P^{\alPhA}q^{\betA}$.

All THe iNvolutiOns in ${\cal E}'$ Are COntaInEd In ${\cal
$ and $K'$ arise from thestandard a belia n c ons tr ucti on.
As in step 3w e ca n suppose that there e xisttw o  dif f er ent o dd prim e s$ p $ a nd  $ q$,  s u ch  that  $p $ divid es the ord erof  $B$ and $q$ di vides theord er of $B'$.BySylowth eor e ms fo r s olvab le gro u ps, we  obtain t ha t  there exists$ A $,  a s ubgroup of $B\cdo t  B ' $ with order $ p^{\al ph a }q ^ { \be ta} $, that co nt ainsa  Sylow$ p$ – s u bgr o up and a Sylo w $q$–subgr o upof $B\ cd otB '$. Up  to c on j uga tion we can  sup pose that  the i n tersect i on of $ A$ bot h w ith  $B$ an dwit h$ B'$ is  no t  tr ivial. T he  g roup$A$d o e s  not  co ntai n any  involution,soappl y ing  Step  3 to  $A$  w e obt ain th at $K $and $K'$ arisefrom  the stan dar dabe li an co n struct ion .
If $E$is nott riv ia l , ei ther $K$ and $K'$ar i s efrom the  stand a rd  a b elian co ns tru ctio n or th eree xi sts in $ G$ ani nv ol ution $ h$  withno nem pty  conn e cted  fixed  point s et su c h that $h\O(G) \ in E$.

If $G $  d o e sn ot c ont ain any inv olut i on w ithn on emp t y con necte df ix e d point set, by Ste p3 theknots  $K$ and $K'$  arise fro m t he stand arda be l ian constructi on.
We can sup p ose that  $G$contains  one invo l u tion wit h n one mpt y c o n ne cted fixed po i n t se t.  We den ote  by ${\ cal  E} $ t hepr eimage of  $E$ in$G $wi th  re spect to the p ro jec ti onof $G $  onto$O/\O (G)$ ;by the  factor gr o u p $G /{ \c al E }$is  solv able . 

S upposethat thegro u p $\ ca lE$ does  not containan y involuti on  wi th non e m pty conn ected fixed point set.L et $p$bean od d pr ime numbe r t hat di vid e s $n$and le t $q$  b e a n odd p r i me  nu mb er that di v i des  $m$.  B y th e Sylow  Theorem for solva b legroups, there  ex ists a  s ubg r ou p  ${ \c a l E } ' $ of $G$ that c ontains ${ \c a lE}$, witht hefo llowing  proper ties: 
-   ${ \cal E}'$ containsaSylo w $p$ –subgroupand a Sy low $q$–s u bgrou p  o f $G$ ;
-   th efac tor g roup $ { \ca l E}' /{\cal  E }$ has  orde r$p^{\alp ha}q^{\beta}$.

All the  invol ution s i n ${\calE}' $  ar e contain ed i n ${\cal
$ and_$K'$ arise_from the standard abelian_construction.

As in_step_3 we_can_suppose that there_exist two different_odd primes $p$ and_$q$, such that_$p$_divides the order of $B$ and $q$ divides the order of $B'$. By Sylow_theorems_for solvable_groups,_we_obtain that there exists $A$,_a subgroup of $B\cdot B'$_with order_$p^{\alpha}q^{\beta}$, that contains a Sylow $p$–subgroup and a_Sylow_$q$–subgroup of $B\cdot_B'$. Up to conjugation we can suppose that the_intersection of $A$ both with $B$_and with $B'$_is_not_trivial. The group $A$_does not contain any involution, so_applying Step 3 to $A$ we_obtain that $K$ and $K'$ arise from_the standard abelian construction.

If $E$ is_not trivial, either $K$ and_$K'$ arise_from the standard abelian construction_or there exists_in $G$_an involution $h$_with nonempty connected fixed point set_such that $h\O(G)\in_E$.

If $G$ does not contain any_involution_with nonempty connected_fixed_point_set, by_Step 3 the knots_$K$_and $K'$_arise_from the standard abelian construction.

We can_suppose_that $G$ contains one involution with nonempty_connected fixed point set._We_denote by ${\cal E}$_the preimage of $E$ in_$G$ with respect to the projection_of $G$_onto $O/\O(G)$;_by the factor group $G/{\cal E}$ is solvable.

Suppose that the group_$\cal E$ does not contain any_involution with nonempty connected_fixed point_set._Let $p$ be_an_odd prime_number that divides $n$ and let $q$_be an_odd prime number that divides $m$._By the Sylow Theorem_for_solvable groups, there exists a subgroup_${\cal E}'$ of $G$ that contains_${\cal E}$, with the following_properties:

-__ ${\cal E}'$contains a Sylow_$p$–subgroup and a Sylow $q$–subgroup of_$G$;

-  _the factor group ${\cal E}'/{\cal E}$ has_order_$p^{\alpha}q^{\beta}$.

All the involutions in ${\cal E}'$_are_contained in ${\cal