 other words, we have the following *girth alternative*:

Let ${\Sigma}$ be a compact orientable surface, and let $\Gamma$ be a finitely generated subgroup of $\Mod({\Sigma})$. Then, $\Gamma$ is either a non-cyclic group with infinite girth or a virtually free-abelian group; moreover, these alternatives are mutually exclusive.

The girth alternative above reduces to the case where the interior of ${\Sigma}$ admits a complete hyperbolic metric.

\[girth-alt: mcg hyp\] Let ${\Sigma}$ be a compact orientable surface whose interior admits a complete hyperbolic metric, and let $\Gamma$ be a finitely generated subgroup of $\Mod({\Sigma})$. Then, $\Gamma$ is either a non-cyclic group with infinite girth or a virtually free-abelian group; moreover, these alternatives are mutually exclusive.

Let us first show that the general case, Theorem \[girth-alt: mcg\] in §\[Introduction\], follows from the hyperbolic case, Theorem \[girth-alt: mcg hyp\] above.

Suppose for now that ${\Sigma}$ consists of copies of tori and a (possibly disconnected) surface that admits a complete hyperbolic metric. Since the mapping class groups of tori and one-punctured tori are isomorphic, we may replace the copies of tori in ${\Sigma}$ with the same number of copies of once-punctured tori. In turn, we now realize $\Gamma$ as a subgroup of the mapping class group of a hyperbolic surface; Theorem \[girth-alt: mcg\] follows from Theorem \[girth-alt: mcg hyp\] as desired.

For the general case, let ${\Sigma}={\Sigma}' \sqcup {\Sigma}''$, such that ${\Sigma}'$ is the union of tori and hyperbolic components, and that ${\Sigma}''$ is the union of spheres, disks, and annuli. If the restriction $\Gamma'$ of $\Gamma$ to ${\Sigma}'$ is a non-cyclic group with infinite girth, then so is $\Gamma$ by Proposition \[akhmedov criterion\]. So, assume that $\Gamma'$ is virtually abelian and let $A' < \Gamma'$ be a finite-index abelian subgroup.

Recall that the mapping class groups are trivial for the sphere, the disk, and the annulus; hence, the restriction of $\Gamma$ to ${\Sigma}''$ can only permute these components.
other words, we have the following * girth option *: 

 lease $ { \Sigma}$ be a compact orientable surface, and lease $ \Gamma$ be a finitely render subgroup of $ \Mod({\Sigma})$. Then, $ \Gamma$ is either a non - cyclic group with infinite girth or a about free - abelian group; moreover, these alternatives are mutually single. 

 The girth option above reduces to the case where the interior of $ { \Sigma}$ accept a complete hyperbolic metric. 

 \[girth - alt: microgram hyp\ ] Let $ { \Sigma}$ be a compact orientable open whose interior admits a accomplished hyperbolic metric, and let $ \Gamma$ be a finitely generated subgroup of $ \Mod({\Sigma})$. Then, $ \Gamma$ is either a non - cyclic group with countless girth or a virtually complimentary - abelian group; moreover, these option are mutually exclusive. 

 get us first show that the general lawsuit, Theorem   \[girth - alt: mcg\ ] in § \[Introduction\ ], follows from the hyperbolic case, Theorem   \[girth - alt: mcg hyp\ ] above. 

 presuppose for now that $ { \Sigma}$ consists of copies of tori and a (possibly disconnected) surface that admits a complete hyperbolic metric. Since the mapping class group of tori and one - punctured torus are isomorphous, we may substitute the copies of tori in $ { \Sigma}$ with the like number of copy of once - punctured tori. In act, we now realize $ \Gamma$ as a subgroup of the mapping class group of a hyperbolic airfoil; Theorem   \[girth - alt: mcg\ ] follows from Theorem   \[girth - alt: mcg hyp\ ] as desire. 

 For the general font, let $ { \Sigma}={\Sigma }' \sqcup { \Sigma}''$, such that $ { \Sigma}'$ is the union of tori and hyperbolic components, and that $ { \Sigma}''$ is the union of celestial sphere, disks, and annuli. If the restriction $ \Gamma'$ of $ \Gamma$ to $ { \Sigma}'$ is a non - cyclic group with countless girth, then so is $ \Gamma$ by Proposition   \[akhmedov criterion\ ]. then, assume that $ \Gamma'$ is virtually abelian and get $ A' < \Gamma'$ be a finite - index abelian subgroup. 

 remember that the mapping course groups are trivial for the sphere, the disk, and the ring; hence, the restriction of $ \Gamma$ to $ { \Sigma}''$ can only permute these component.
 otjer words, we have the foulowing *girth alternatmve*:

Let ${\Aigma}$ be a compact orientable surfacx, ane let $\Gamma$ be a finitely gdnerated dubgroup of $\Nid({\Sigma})$. Thxh, $\Gamma$ is eifmer a ion-cyclic group with infitite girth or d xixtually free-abelian group; moreover, trese alyegnatives are motualkr exdlusive.

The girth alternative above reducev to the case where the interior of ${\Sigla}$ afmits a complete hjperbolic mgfris.

\[tirth-alt: mcg hyp\] Let ${\Spyma}$ be a cojpact orientable surface whose knternor admits q xomonete hyperbilic ietric, and lcn $\Gamma$ be a fonitely generabed snbgriup of $\Mod({\Sigma})$. Then, $\Jamma$ is either a nog-cyclic gsobp with infinite girty ir a eirtgallh frde-agekizn grokp; joreover, tgese alternqtives are mutually evbkusive.

Let us first srow that the general case, Theorem \[girth-ant: jcg\] in §\[Introduction\], foloows from the hyperbopic case, Eheorem \[girth-alt: mcg hyp\] above.

Suppose for now that ${\Sigme}$ zonwifgw lf copies of tori and a (possibly disconnected) autfsce that admitf a completr jylgrbolic metric. Since ths mapping class grlups of tori and one-ptnctired tori are isomorphic, we may replace rhe copies of tori in ${\Sigma}$ wnth thg same number of copies of onee-puncfured tori. Ln turn, ws now realize $\Gamoa$ ss a subgroup of the mapping class griup pf a hyoerbplic strface; Thelrem \[glsth-alt: mcg\] follows from Tveorem \[girtj-alt: mcg hyp\] as desired.

For the jxneral case, lgt ${\Vigka}={\Sigma}' \fqcup {\Sigma}''$, such trat ${\Sigma}'$ is tke union of turi and hyierbolic romponents, agd that ${\Sigma}''$ ls the union of sphewes, eiskw, and avvuli. If the rextriction $\Gamma'$ of $\Tamma$ to ${\Sigma}'$ is e nov-dyclic group wick unfinite girth, yhev sj ps $\Jamma$ ty Propositimn \[akfmeapv crkterion\]. So, csrume that $\Gamma'$ is virtudlly abelian and let $A' < \Namma'$ be q finite-yndex abelian subgroup.

Recall thwt thx mappmng clsss groups are trivial for the spgere, the fish, and the anguluw; hence, the xestriction of $\Gamma$ to ${\Sigma}''$ can only pxrmute these components.
other words, we have the following *girth ${\Sigma}$ a compact surface, and let subgroup $\Mod({\Sigma})$. Then, $\Gamma$ either a non-cyclic with infinite girth or a virtually group; moreover, these alternatives are mutually exclusive. The girth alternative above reduces to case where the interior of ${\Sigma}$ admits a complete hyperbolic metric. \[girth-alt: mcg Let be compact surface whose interior admits a complete hyperbolic metric, and let $\Gamma$ be a finitely generated subgroup $\Mod({\Sigma})$. Then, $\Gamma$ is either a non-cyclic group infinite girth or a free-abelian group; moreover, these alternatives mutually Let us show the case, Theorem \[girth-alt: in §\[Introduction\], follows from the hyperbolic case, Theorem \[girth-alt: mcg hyp\] above. Suppose for now that ${\Sigma}$ of copies and a disconnected) that a complete hyperbolic the mapping class groups of tori are isomorphic, we may replace the copies of in ${\Sigma}$ the same number of copies of tori. In turn, we now realize $\Gamma$ as subgroup of the mapping class group of a hyperbolic surface; Theorem \[girth-alt: mcg\] follows from mcg hyp\] as desired. the general case, ${\Sigma}={\Sigma}' {\Sigma}''$, that is the of tori and hyperbolic components, and that ${\Sigma}''$ is the union spheres, disks, and annuli. If the restriction $\Gamma'$ of $\Gamma$ is non-cyclic group with girth, then so is by \[akhmedov criterion\]. So, assume is abelian < be finite-index abelian subgroup. Recall the mapping class groups are for the sphere, the the restriction of $\Gamma$ to ${\Sigma}''$ can only these components.
 other words, we have the followIng *girth alTernaTivE*:

LeT ${\SIgma}$ Be a cOmpact orientabLE surFace, and let $\Gamma$ be a finiTely gEnERateD SuBgrouP of $\Mod({\SIGmA})$. tHen, $\gaMmA$ is EiTHeR a non-CycLic grouP with infinIte GiRth or a virtuaLLy Free-abeliaN grOup; moreover, tHesE alterNaTivES are mUtuAlly eXclusiVE.

The giRth alternAtIVe abovE Reduces TO ThE casE where the interior OF ${\SIGma}$ admits a compLete hyPeRBoLIC meTriC.

\[girth-alt: mCg Hyp\] LeT ${\sigma}$ be A CoMPACt oRIentable surfaCe whose inteRIor Admits A cOmpLEte hypErbolIc MEtrIc, and let $\GamMa$ be A finitely GeneraTEd subgrOUp of $\Mod({\sigma})$. THen, $\gamMa$ is EItHeR a nOn-CYclIC gRouP WitH infinitE gIrTh or a VirtUALLY freE-abEliaN grouP; moreover, thesE alTernATivEs are MutuaLly eXcLusivE.

Let us First ShOw that the generaL casE, Theorem \[gIrtH-aLt: mCg\] In §\[IntROductiOn\], fOllOws from The hypeRBolIc CASE, THeorem \[girth-alt: mcg hYp\] ABOvE.

Suppose For now THaT ${\SIGma}$ consiStS of CopiES Of torI and A (PoSsibly diSconneCTeD) sUrface tHaT admitS a ComPleTe hypERbolIc metrIc. Since tHe mapPIng class groups OF tori and one-puNCtUREd TOri aRe iSomorphic, we May rEPlacE the COpIes OF tori In ${\SigMa}$ WItH The same number of copiEs Of once-PunctUred tori. In turN, we now realIZE $\gamma$ as a SubgROuP Of the mapping clAss grOup of a hypeRBolic surFace; THeorem \[giRth-alt: mcg\] FOLlows froM ThEorEm \[gIrtH-ALt: Mcg hyp\] as desirED.

for tHe General CasE, let ${\SigMa}={\SIgmA}' \sqCup {\siGma}''$, such thAt ${\Sigma}'$ iS tHe UnIoN of Tori aND hyperboLiC coMpOneNts, anD That ${\SiGma}''$ is The uNiOn OF spHeres, diSKs, AND annUlI. IF the ResTrIctioN $\GamMA'$ of $\gamma$ to ${\sigma}'$ is a nOn-cYClic GrOuP with inFinite girth, thEn So is $\Gamma$ bY PRopOsitioN \[AKhmedov cRiterion\]. So, assume that $\GamMA'$ is virtUalLy abeLian And let $A' < \GaMma'$ Be a finIte-INdex abElian sUbgroUp.

recALL that THE mAppInG class grouPS Are TriviAl For tHe spherE, the disk, and the annuLUs; hEnce, the restriCtiOn of $\gAMmA$ to ${\sIgMA}''$ caN oNLy pERMute these componEnts.
 other words, we have thefollowing*girt h a lte rn ativ e*:
Let ${\Sigma} $  bea compact orientable s urfac e, andl et  $\Ga mma$ be af i nit el ygen er a te d sub gro up of $ \Mod({\Sig ma} )$ . Then, $\Ga m ma $ is eithe r a  non-cyclicgro up wit hinf i nitegir th or  a vir t uallyfree-abel ia n  group ;  moreov e r ,thes e alternatives ar e  m u tually exclusi ve.

T he gi r t h a lte rnative ab ov e red u ces tot he c a sew here the inte rior of ${\ S igm a}$ ad mi tsa  compl ete h yp e rbo lic metric. 

\[ girth-alt : mcgh yp\] Le t  ${\Sig ma}$ b e a  co mpac t  o ri ent ab l e s u rf ace who se inter io radmit s ac o m p lete  hy perb olicmetric, and l et$\Ga m ma$  be a  fini tely  g enera ted su bgrou pof $\Mod({\Sigm a})$ . Then, $ \Ga mm a$is  eith e r a no n-c ycl ic grou p withi nfi ni t e gi rth or a virtually  f r e e- abeliangroup; mo re o ver, the se  al tern a t ivesarem ut ually ex clusiv e .
L et us f ir st sho wtha t t he ge n eral  case,  Theorem  \[gi r th-alt: mcg\]i n §\[Introduc t io n \ ], foll ows  from the h yper b olic  cas e ,The o rem \ [girt h- a lt :  mcg hyp\] above.
Su pposefor n ow that ${\Si gma}$ cons i s t s of cop ieso ft ori and a (pos sibly  disconnec t ed) surf ace t hat admi ts a comp l e te hyper bol icmet ric . Si nce the mappi n g  cla ss  groups  of  tori a ndone -pu nct ur ed tori a re isomo rp hi c,  w e m ay re p lace the  c opi es  of  tori in ${\ Sigma }$ w it ht hesame nu m be r of c op ie s of  on ce -punc ture d  to ri. Inturn, wenow real iz e$\Gamma $ as a subgro up  of the ma pp ing  class g roup ofa hyperbolic surface; T h eorem \ [gi rth-a lt:mcg\] fol low s from  Th e orem \ [girth -alt:  m cgh y p\] a s de sir ed .

For the g ene ral c as e, l et ${\S igma}={\Sigma}' \s q cup  {\Sigma}''$,  su ch t h a t${\ S ig m a}' $i s t h e  union of toriand hyperb ol i ccomponents ,  an dthat ${ \Sigma} ''$ i s  the un ion of sp heres, di sk s, a n d  an nuli. If t he restr iction $\ G amma' $  o f $\G amm a$ to${ \Si gma}' $ is a non -cycl ic gro up  withinfin it e girth,  then so is $\Gamma$ by  Propo sitio n \ [akhmedov  cr i ter ion\]. So , as sume that$\G amm a'$ i s v i rtual ly a b el ian and l et $ A ' < \Gamm a '$  be a  f inite-index a b eli an su bgr o up.

R ecal l that the mappin g  class groupsaret r ivi alf or t he  sphere, the d isk ,a n d the an nu lus; hence,  the res tr i ction  of $\ Gamma$  to ${\ S i gm a }''$ c an o nly  permutethe se compone nt s. 
 other_words, we_have the following *girth_alternative*:

Let ${\Sigma}$_be_a compact_orientable_surface, and let_$\Gamma$ be a_finitely generated subgroup of_$\Mod({\Sigma})$. Then, $\Gamma$_is_either a non-cyclic group with infinite girth or a virtually free-abelian group; moreover, these_alternatives_are mutually_exclusive.

The_girth_alternative above reduces to the_case where the interior of_${\Sigma}$ admits_a complete hyperbolic metric.

\[girth-alt: mcg hyp\] Let ${\Sigma}$_be_a compact orientable_surface whose interior admits a complete hyperbolic metric, and_let $\Gamma$ be a finitely generated_subgroup of $\Mod({\Sigma})$._Then,_$\Gamma$_is either a non-cyclic_group with infinite girth or a_virtually free-abelian group; moreover, these alternatives_are mutually exclusive.

Let us first show that_the general case, Theorem \[girth-alt: mcg\] in_§\[Introduction\], follows from the hyperbolic_case, Theorem \[girth-alt:_mcg hyp\] above.

Suppose for now_that ${\Sigma}$ consists_of copies_of tori and_a (possibly disconnected) surface that admits_a complete hyperbolic_metric. Since the mapping class groups_of_tori and one-punctured_tori_are_isomorphic, we_may replace the_copies_of tori_in_${\Sigma}$ with the same number of_copies_of once-punctured tori. In turn, we now_realize $\Gamma$ as a_subgroup_of the mapping class_group of a hyperbolic surface;_Theorem \[girth-alt: mcg\] follows from Theorem \[girth-alt: mcg_hyp\] as_desired.

For the_general case, let ${\Sigma}={\Sigma}' \sqcup {\Sigma}''$, such that ${\Sigma}'$ is the_union of tori and hyperbolic components,_and that ${\Sigma}''$ is_the union_of_spheres, disks, and_annuli._If the_restriction $\Gamma'$ of $\Gamma$ to ${\Sigma}'$ is_a non-cyclic_group with infinite girth, then so_is $\Gamma$ by Proposition \[akhmedov_criterion\]._So, assume that $\Gamma'$ is virtually_abelian and let $A' < \Gamma'$_be a finite-index abelian subgroup.

Recall_that_the_mapping class groups are trivial_for the sphere, the disk, and_the annulus; hence,_the restriction of $\Gamma$ to ${\Sigma}''$ can_only_permute these components.