$–rank at most two implies $2$–rank at most two.

More details are given in where is proved. If $E$ is not trivial, the structure of the solvable group $(G/\O(G))/E$ is well understood. Also in the second case, if we suppose that the group $G$ is not solvable, a short list of candidates for the group $G/N$ can be produced (the nonsolvable subgroups of ${\rm GL}(4,2)\cong \A_8$ can be easily deduced from [@A]).

In the study of cyclic branched coverings of knots, we are mainly interested in the case when the projection of the involution with nonempty connected fixed point set is contained in $E$, the maximal semisimple normal subgroup. Under this condition the list of candidates is much shorter.

\[thm2\] Let $G$ be a finite group of orientation-preserving diffeomorphisms of a closed orientable $3$–manifold; we denote by $\O(G)$ the maximal normal subgroup of odd order and by $E$ the maximal semisimple normal subgroup of $G/\O(G)$. Suppose that $G$ contains an involution $h$ with nonempty and connected fixed point set such that the coset $h\O(G)$ is contained in $E$; then $G/\O(G)$ has a normal subgroup $D$ isomorphic to one of the following groups: $${\rm PSL}(2,q),  \quad{\rm PSL}(2,q)\times  \Z_2 \quad  \hbox{or} \quad {\rm SL}(2,q) \times_{\Z_2} {\rm SL}(2,q')$$ where $q$ and $q'$ are odd prime powers greater than four. The factor group $(G/\O(G))/D$ contains, with index at most two, an abelian subgroup of rank at most four.

The group ${\rm SL}(2,q)$ is the special linear group of $2\times 2$ matrices of determinant one over the finite Galois field with $q$ elements. The group ${\rm SL}(2,q)$ is a perfect group which has a unique involution; this involution generates its center $Z$, and the factor group ${\rm
SL}(2,q)/Z$ is the projective special linear group ${\rm PSL}(2,q)$ (which is a simple
$ – rank at most two implies $ 2$–rank at most two. 

 More details are give in where is prove. If $ E$ is not trivial, the social organization of the solvable group $ (G/\O(G))/E$ is well understood. besides in the second case, if we suppose that the group $ G$ is not solvable, a brusque tilt of candidates for the group $ G / N$ can be produced (the nonsolvable subgroups of $ { \rm GL}(4,2)\cong \A_8 $ can be easily deduce from [ @A ]). 

 In the study of cyclic branched cover of knots, we are mainly interested in the case when the projection of the involution with nonempty get in touch fixed point set is contain in $ E$, the maximal semisimple normal subgroup. Under this condition the list of candidates is much short. 

 \[thm2\ ] Let $ G$ be a finite group of orientation - preserving diffeomorphisms of a closed orientable $ 3$–manifold; we denote by $ \O(G)$ the maximal normal subgroup of curious order and by $ E$ the maximal semisimple normal subgroup of $ G/\O(G)$. Suppose that $ G$ contains an involution $ h$ with nonempty and connected fixed point set such that the coset $ h\O(G)$ is contained in $ E$; then $ G/\O(G)$ has a normal subgroup $ D$ isomorphic to one of the following groups: $ $ { \rm PSL}(2,q),   \quad{\rm PSL}(2,q)\times   \Z_2 \quad   \hbox{or } \quad { \rm SL}(2,q) \times_{\Z_2 } { \rm SL}(2,q')$$ where $ q$ and $ q'$ are odd prime powers greater than four. The component group $ (G/\O(G))/D$ contains, with index at about two, an abelian subgroup of membership at about four. 

 The group $ { \rm SL}(2,q)$ is the special linear group of $ 2\times 2 $ matrices of determinant one over the finite Galois field with $ q$ elements. The group $ { \rm SL}(2,q)$ is a perfect group which has a unique exponentiation; this involution generates its center $ Z$, and the factor group $ { \rm 
 SL}(2,q)/Z$ is the projective special linear group $ { \rm PSL}(2,q)$ (which is a simple
$–rann at most two implies $2$–rakk at most two.

Mote detains are given iv where is proved. If $E$ is nov truvial, the structure of the rolvable hroup $(G/\O(T))/E$ iw well undecatood. Also in bhe szcind case, if we suppose tvat the group $C$ ks not solvable, a short list of candiqates fpr the group $G/N$ san nq prkduced (the nonsolvable subgroups or ${\rm GL}(4,2)\bong \A_8$ can be easoly deduced from [@A]).

In the shudy of cyclic branchef coverings of hbots, we are oainly inttrzsted in thg case when the projection of thd invplution wijk nojgmpty connecved fiqed point set is contdined im $E$, the maximak sxmisumple normal subgroup. Under this condityon the lhsc of candidates is muxh shorjer.

\[thk2\] Leg $G$ ce z hinjte grlup of orientztion-presercing diffeomorphismx jd a closed orjentabje $3$–manifold; we denote by $\O(G)$ the maximal nmrmzl subgroup of odd ordee and by $E$ the maximap semisim[le normal subgroup of $G/\O(G)$. Suppose that $G$ containv an mnxolbblon $f$ wlth nonempty and connected fixed point set susg uhan the coset $h\O(G)$ if contained ij $R$; then $G/\O(G)$ has a normal subgroup $D$ isomorohic to one if the fojlowong groups: $${\rm PSL}(2,q),  \quad{\rm PSL}(2,q)\times  \Z_2 \wuad  \hbox{or} \quad {\xm SL}(2,q) \times_{\V_2} {\rm SK}(2,q')$$ whrre $q$ and $q'$ are odd prioe pkwers greatfr than fkjr. The factor gruup $(G/\M(G))/D$ contains, with index at most two, an cbelian rubgtoup of rank at mlst four.

The group ${\rm SL}(2,q)$ is tke spacial linewr group of $2\times 2$ matrices of vxterminant ong oeer the finnte Gakois field wieh $q$ elements. Jhe group ${\rm SU}(2,q)$ is a pegfect gronp which has a unique invmpution; this mnvolutiog geberares its zenter $Z$, and tne factor group ${\rm
SO}(2,q)/Z$ is the projectlve skedial linear grobk ${\rn PSL}(2,q)$ (which is a rim[lv
$–rank at most two implies $2$–rank at More are given where is proved. the of the solvable $(G/\O(G))/E$ is well Also in the second case, if suppose that the group $G$ is not solvable, a short list of candidates the group $G/N$ can be produced (the nonsolvable subgroups of ${\rm GL}(4,2)\cong \A_8$ be deduced [@A]). the study of cyclic branched coverings of knots, we are mainly interested in the case when projection of the involution with nonempty connected fixed set is contained in the maximal semisimple normal subgroup. this the list candidates much \[thm2\] Let $G$ a finite group of orientation-preserving diffeomorphisms of a closed orientable $3$–manifold; we denote by $\O(G)$ the maximal subgroup of and by the semisimple subgroup of $G/\O(G)$. $G$ contains an involution $h$ with fixed point set such that the coset $h\O(G)$ contained in then $G/\O(G)$ has a normal subgroup isomorphic to one of the following groups: $${\rm \quad{\rm PSL}(2,q)\times \Z_2 \quad \hbox{or} \quad {\rm SL}(2,q) \times_{\Z_2} {\rm SL}(2,q')$$ where $q$ and $q'$ prime powers greater than The factor group contains, index most an abelian of rank at most four. The group ${\rm SL}(2,q)$ is the linear group of $2\times 2$ matrices of determinant one over Galois with $q$ elements. group ${\rm SL}(2,q)$ is perfect which has a unique involution its the group SL}(2,q)/Z$ is the projective linear group ${\rm PSL}(2,q)$ (which a simple
$–rank at most two implies $2$–rank aT most two.

MoRe detAilS arE gIven In whEre is proved. If $E$ IS not Trivial, the structure of tHe solVaBLe grOUp $(g/\O(G))/E$ iS well unDErSTOod. alSo In tHe SEcOnd caSe, iF we suppOse that the GroUp $g$ is not solvabLE, a Short list oF caNdidates for tHe gRoup $G/N$ CaN be PRoducEd (tHe nonSolvabLE subgrOups of ${\rm Gl}(4,2)\cONg \A_8$ can BE easily DEDuCed fRom [@A]).

In the study of cYClIC branched coverIngs of KnOTs, WE Are MaiNly interesTeD in thE Case wheN ThE PROjeCTion of the invoLution with nONemPty conNeCteD Fixed pOint sEt IS coNtained in $E$, tHe maXimal semiSimple NOrmal suBGroup. UnDer thiS coNdiTion THe LiSt oF cANdiDAtEs iS MucH shorter.

\[ThM2\] LEt $G$ be A finITE GRoup Of oRienTatioN-preserving diFfeOmorPHisMs of a CloseD oriEnTable $3$–ManifoLd; we dEnOte by $\O(G)$ the maximAl noRmal subgrOup Of Odd OrDer anD By $E$ the MaxImaL semisiMple norMAl sUbGROUp Of $G/\O(G)$. Suppose that $G$ cOnTAInS an involUtion $h$ WItH nONempty anD cOnnEcteD FIxed pOint SEt Such that The cosET $h\o(G)$ Is contaInEd in $E$; tHeN $G/\O(g)$ haS a norMAl suBgroup $d$ isomorpHic to ONe of the followiNG groups: $${\rm PSL}(2,q),  \QUaD{\RM Psl}(2,q)\tiMes  \z_2 \quad  \hbox{or} \Quad {\RM SL}(2,q) \TimeS_{\z_2} {\rM SL}(2,Q')$$ Where $Q$ and $q'$ ArE OdD Prime powers greater tHaN four. THe facTor group $(G/\O(G))/D$ cOntains, witH INDex at mosT two, AN aBElian subgroup oF rank At most four.

tHe group ${\rM SL}(2,q)$ iS the specIal linear GROup of $2\timEs 2$ mAtrIceS of DETeRminant one oveR THe fiNiTe GaloiS fiEld with $Q$ elEmeNts. the GrOup ${\rm SL}(2,q)$ iS a perfecT gRoUp WhIch Has a uNIque invoLuTioN; tHis InvolUTion geNeratEs itS cEnTEr $Z$, And the fACtOR GrouP ${\rM
Sl}(2,q)/Z$ iS thE pRojecTive SPecIal lineAr group ${\rm pSL}(2,Q)$ (WhicH iS a Simple
$–rank at most two implies  $2$–rankat mo sttwo .
Mor e de tails are give n  inwhere is proved. If $E $ isno t  tri v ia l, th e struc t ur e ofth esol va b le  grou p $ (G/\O(G ))/E$ is w ell  u nderstood. A l so  in the se con d case, if w e s uppose  t hat the g rou p $G$  is no t  solva ble, a sh or t  listo f candi d a te s fo r the group $G/N$ ca n  be produced ( the no ns o lv a b lesub groups of${ \rm G L }(4,2)\ c on g \ A_8 $  can be easil y deduced f r om[@A]). 
Int he stu dy of  c y cli c branchedcove rings ofknots, we arem ainly i nteres ted  in  the ca se  wh en the pr oje c tio n of the  i nv oluti on w i t h none mpt y co nnect ed fixed poin t s et i s  co ntain ed in  $E$ ,the m aximal  semi si mple normal sub grou p. Underthi scon di tiont he lis t o f c andidat es is m u chsh o r t er .

\[thm2\] Let $G $b e  a  finitegroupo for i entation -p res ervi n g  diff eomo r ph isms ofa clos e dor ientabl e$3$–ma ni fol d;we de n oteby $\O (G)$ the  maxi m al normal subg r oup of odd or d er a nd by $ E$the maximal  sem i simp le n o rm als ubgro up of  $ G /\ O (G)$. Suppose that$G $ cont ainsan involution  $h$ withn o n empty an d co n ne c ted fixed poin t set  such that the cose t $h\ O(G)$ is  containe d in $E$;the n $ G/\ O(G ) $  h as a normal s u b grou p$D$ iso mor phic to  on e o f t hefo llowing g roups: $ ${ \r mPS L}( 2,q),  \quad{\ rm  PS L} (2, q)\ti m es  \Z _2 \q uad \ hb o x{o r} \qua d  { \ r m SL }( 2, q) \ tim es _{\Z_ 2} { \ rmSL}(2,q ')$$ wher e $ q $ an d$q '$ areodd prime pow er s greaterth anfour.T h e factor  group $(G/\O(G))/D$ co n tains,wit h ind ex a t most tw o,an abe lia n  subgr oup of  rank  a t m o s t fou r . 
The  g roup ${\rm S L}( 2,q)$  i s th e speci al linear group of $2\ times 2$ matr ice s of d et erm i na n t o ne ove r the finite Galo is field w it h  $ q$ element s . T he  group${\rm S L}(2, q )$ is a  perfectgroup whi ch  has a  un ique invol ution; t his invol u tiong en erate s i ts cen te r $ Z$, a nd the fac tor g roup $ {\ rm
SL} (2,q) /Z $ is the  projective special lin ear gr oup $ {\r m PSL}(2, q)$ (wh ich is asimp le
$–rank at_most two_implies $2$–rank at most_two.

More details_are_given in_where_is proved. If_$E$ is not_trivial, the structure of_the solvable group_$(G/\O(G))/E$_is well understood. Also in the second case, if we suppose that the group_$G$_is not_solvable,_a_short list of candidates for_the group $G/N$ can be_produced (the_nonsolvable subgroups of ${\rm GL}(4,2)\cong \A_8$ can be_easily_deduced from [@A]).

In_the study of cyclic branched coverings of knots, we_are mainly interested in the case_when the projection_of_the_involution with nonempty connected_fixed point set is contained in_$E$, the maximal semisimple normal subgroup._Under this condition the list of candidates_is much shorter.

\[thm2\] Let $G$ be_a finite group of orientation-preserving_diffeomorphisms of_a closed orientable $3$–manifold; we_denote by $\O(G)$_the maximal_normal subgroup of_odd order and by $E$ the_maximal semisimple normal_subgroup of $G/\O(G)$. Suppose that $G$_contains_an involution $h$_with_nonempty_and connected_fixed point set_such_that the_coset_$h\O(G)$ is contained in $E$; then_$G/\O(G)$_has a normal subgroup $D$ isomorphic to_one of the following_groups:_$${\rm PSL}(2,q),  \quad{\rm_PSL}(2,q)\times  \Z_2 \quad _\hbox{or} \quad {\rm SL}(2,q) \times_{\Z_2} {\rm_SL}(2,q')$$ where_$q$ and_$q'$ are odd prime powers greater than four. The factor group_$(G/\O(G))/D$ contains, with index at most_two, an abelian subgroup_of rank_at_most four.

The group_${\rm_SL}(2,q)$ is_the special linear group of $2\times 2$_matrices of_determinant one over the finite Galois_field with $q$ elements._The_group ${\rm SL}(2,q)$ is a perfect_group which has a unique involution;_this involution generates its center_$Z$,_and_the factor group ${\rm
SL}(2,q)/Z$ is_the projective special linear group ${\rm_PSL}(2,q)$ (which is_a simple