 by Theorem \[thm:main\].

Let $X$ and $\sigma$ be as in [Example \[ex:basilica\]]{}, and define the automorphisms $a,b$ by putting $$a=\pair<1,a>\sigma,\quad b=\pair<1,b^{-1}>\sigma\;,$$ i.e., $$M^a = \left(\begin{array}{cc}
  0 & 1\\ a & 0\end{array}\right) \;, \quad M^b = \left(\begin{array}{cc}
  0 & 1\\ b^{-1} & 0\end{array}\right)\;.$$ The group $G=\langle a,b\rangle$ determined by the above presentation is contained in ${{\mathfrak{BA}}}$, and it was studied by Brunner, Sidki and Vieira in [@Brunner-Sidki-Vieira99]. Later da Silva showed in her thesis [@daSilva01] that $G$ does not contain any non-abelian free subgroups. Since $G$ is amenable by Theorem \[thm:main\], we obtain another proof of that result.

Let $\sigma\in{{\mathsf{Sym}(X)}}$ be a cyclic permutation of the alphabet $X$, and choose $\varepsilon_2,\dots,\varepsilon_d$ from the cyclic group ${\mathbb{Z}}/d$, where $d=|X|$. Let $G=\langle a,b\rangle$ be the group generated by two order $d$ elements determined by the decompositions $$a=\pair<1,1,\dots,1>\sigma \;, \quad
b=\pair<b,a^{\varepsilon_2},\dots,a^{\varepsilon_d}> \;.$$ In particular, if $d=3$ and $(\varepsilon_i)=(1,-1)$ then $G$ is the infinite $2$-generated $3$-group studied by Gupta and Sidki in [@Gupta-Sidki83], and if $d=3$ and $(\varepsilon_i)=(1,0)$ then $G$ is the group of intermediate growth studied by Fabrykowski and Gupta in [@Fabrykowski-Gupta91]. This family of groups was called *GGS* groups (referring to Grigorchuk, Gupta and Sidki) by Baumslag [@Baumslag93]. They are
by Theorem   \[thm: main\ ]. 

 Let $ X$ and $ \sigma$ be as in [ Example   \[ex: basilica\ ] ] { }, and define the automorphisms $ a, b$ by putting $ $ a=\pair<1,a>\sigma,\quad b=\pair<1,b^{-1}>\sigma\;,$$ i.e., $ $ M^a = \left(\begin{array}{cc } 
   0 & 1\\ a & 0\end{array}\right) \; , \quad M^b = \left(\begin{array}{cc } 
   0 & 1\\ b^{-1 } & 0\end{array}\right)\;.$$ The group $ G=\langle a, b\rangle$ determine by the above display is contained in $ { { \mathfrak{BA}}}$, and it was studied by Brunner, Sidki and Vieira in   [ @Brunner - Sidki - Vieira99 ]. subsequently da   Silva prove in her thesis   [ @daSilva01 ] that $ G$ does not contain any non - abelian barren subgroup. Since $ G$ is amenable by Theorem   \[thm: main\ ], we obtain another validation of that resultant role. 

 Let $ \sigma\in{{\mathsf{Sym}(X)}}$ be a cyclic substitution of the alphabet $ X$, and choose $ \varepsilon_2,\dots,\varepsilon_d$ from the cyclic group $ { \mathbb{Z}}/d$, where $ d=|X|$. Let $ G=\langle a, b\rangle$ be the group generated by two order $ d$ element determined by the decompositions $ $ a=\pair<1,1,\dots,1>\sigma \; , \quad 
 b=\pair < b, a^{\varepsilon_2},\dots, a^{\varepsilon_d } > \;.$$ In particular, if $ d=3 $ and $ (\varepsilon_i)=(1,-1)$ then $ G$ is the infinite $ 2$-generated $ 3$-group studied by Gupta and Sidki in   [ @Gupta - Sidki83 ], and if $ d=3 $ and $ (\varepsilon_i)=(1,0)$ then $ G$ is the group of average growth studied by Fabrykowski and Gupta in   [ @Fabrykowski - Gupta91 ]. This family of group was called * GGS * groups (consult to Grigorchuk, Gupta and Sidki) by Baumslag [ @Baumslag93 ]. They are
 by Theorem \[thm:main\].

Let $X$ and $\sigma$ be as in [Examplx \[ex:basimica\]]{}, and define the automorphisms $a,b$ bt putupng $$a=\pair<1,a>\sigma,\quad b=\oair<1,b^{-1}>\sigmw\;,$$ i.e., $$M^a = \lefu(\begin{array}{cc}
  0 & 1\\ a & 0\end{avxay}\rifmt) \;, \qbav M^b = \left(\begin{srray}{cc}
  0 & 1\\ b^{-1} & 0\end{array}\rhgft)\;.$$ The group $G=\langle a,b\rangle$ determiged by yhf above presenjatiom is dontained in ${{\mathfrak{BA}}}$, and it was studiev by Brunner, Sicki and Vieira in [@Brunner-Sifki-Vleira99]. Later da Silvw showed in her rhesis [@daSilvx01] that $G$ does not contzin any non-abelian free subgrouos. Siuce $G$ is amguqblf by Theorem \[vhm:maig\], we obtain another [roof og that result.

Lct $\sijma\ib{{\mathsf{Sym}(X)}}$ be a cyclmc permutation of thg alphabet $X$, and choose $\varepwioon_2,\dojs,\varapsiuin_d$ frkm tge cycpic group ${\matgbb{Z}}/d$, where $d=|X|$. Let $G=\langle a,b\rsndoe$ be the grohp genqrwted by two order $d$ elements determined by the decompositions $$a=\paur<1,1,\dots,1>\sigma \;, \quad
b=\pait<b,a^{\varepsijon_2},\dots,a^{\varepsilon_d}> \;.$$ In particular, if $d=3$ and $(\varepvilon_m)=(1,-1)$ gheu $G$ is rhf infinite $2$-generated $3$-group studied by Gupta ags Xicki in [@Gupta-Sidhi83], and if $d=3$ ajd $(\darepsilon_i)=(1,0)$ tfen $G$ na fhe group of interlediate growrh studieq by Fabrykowski and Gupta in [@Favrykowski-Gupna91]. Tyis family of grou's was calleb *GGS* broupx (referring to Grigorchbk, Gupfa and Sidkl) by Baumauag [@Baumslag93]. Theh age
by Theorem \[thm:main\]. Let $X$ and $\sigma$ in \[ex:basilica\]]{}, and the automorphisms $a,b$ $$M^a \left(\begin{array}{cc} 0 & a & 0\end{array}\right) \quad M^b = \left(\begin{array}{cc} 0 & b^{-1} & 0\end{array}\right)\;.$$ The group $G=\langle a,b\rangle$ determined by the above presentation is in ${{\mathfrak{BA}}}$, and it was studied by Brunner, Sidki and Vieira in [@Brunner-Sidki-Vieira99]. da showed her [@daSilva01] that $G$ does not contain any non-abelian free subgroups. Since $G$ is amenable by Theorem we obtain another proof of that result. Let be a cyclic permutation the alphabet $X$, and choose from cyclic group where Let a,b\rangle$ be the generated by two order $d$ elements determined by the decompositions $$a=\pair<1,1,\dots,1>\sigma \;, \quad b=\pair<b,a^{\varepsilon_2},\dots,a^{\varepsilon_d}> \;.$$ In particular, $d=3$ and $G$ is infinite $3$-group by Gupta and [@Gupta-Sidki83], and if $d=3$ and $(\varepsilon_i)=(1,0)$ the group of intermediate growth studied by Fabrykowski Gupta in This family of groups was called groups (referring to Grigorchuk, Gupta and Sidki) by [@Baumslag93]. They are
 by Theorem \[thm:main\].

Let $X$ and $\siGma$ be as in [EXamplE \[ex:BasIlIca\]]{}, aNd deFine the automorPHismS $a,b$ by putting $$a=\pair<1,a>\sigmA,\quad B=\pAIr<1,b^{-1}>\sIGmA\;,$$ i.e., $$M^a = \Left(\begIN{aRRAy}{cC}
  0 & 1\\ a & 0\EnD{arRaY}\RiGht) \;, \quAd M^B = \left(\beGin{array}{cc}
  0 & 1\\ B^{-1} & 0\enD{aRray}\right)\;.$$ The GRoUp $G=\langle a,B\raNgle$ determinEd bY the abOvE prESentaTioN is coNtaineD In ${{\mathFrak{BA}}}$, and It WAs studIEd by BruNNEr, sidkI and Vieira in [@BrunnER-SIDki-Vieira99]. Later Da SilvA sHOwED In hEr tHesis [@daSilVa01] That $G$ DOes not cONtAIN Any NOn-abelian free Subgroups. SiNCe $G$ Is amenAbLe bY theoreM \[thm:mAiN\], We oBtain anotheR proOf of that rEsult.

LET $\sigma\iN{{\Mathsf{SYm}(X)}}$ be a CycLic PermUTaTiOn oF tHE alPHaBet $x$, And Choose $\vaRePsIlon_2,\dOts,\vAREPSiloN_d$ fRom tHe cycLic group ${\mathbB{Z}}/d$, WherE $D=|X|$. LEt $G=\laNgle a,B\ranGlE$ be thE group GenerAtEd by two order $d$ elEmenTs determiNed By The DeCompoSItions $$A=\paIr<1,1,\dOts,1>\sigmA \;, \quad
b=\pAIr<b,A^{\vAREPsIlon_2},\dots,a^{\varepsiloN_d}> \;.$$ iN PaRticular, If $d=3$ and $(\VArEpSIlon_i)=(1,-1)$ theN $G$ Is tHe inFINite $2$-gEnerATeD $3$-group stUdied bY guPtA and SidKi In [@GuptA-SIdkI83], anD if $d=3$ aND $(\varEpsiloN_i)=(1,0)$ then $G$ iS the gROup of intermediATe growth studiED bY fAbRYkowSki And Gupta in [@FAbryKOwskI-GupTA91]. THis FAmily Of groUpS WaS Called *GGS* groups (refeRrIng to GRigorChuk, Gupta and SIdki) by BaumSLAG [@BaumslaG93]. TheY ArE
 by Theorem \[thm:main\].
Let $X$ a nd $\ sig ma$  b e as  in[Example \[ex: b asil ica\]]{}, and define t he au to m orph i sm s $a, b$ by p u tt i n g $ $a =\ pai r< 1 ,a >\sig ma, \quad b =\pair<1,b ^{- 1} >\sigma\;,$$ i. e., $$M^a= \ left(\begin{ arr ay}{cc }  0 & 1\\  a& 0\e nd{arr a y}\rig ht) \;, \ qu a d M^b=  \left( \ b eg in{a rray}{cc}
  0 & 1 \ \b ^{-1} & 0\end{ array} \r i gh t ) \;. $$The group$G =\lan g le a,b\ r an g l e $ d e termined by t he above pr e sen tation  i s c o ntaine d in${ { \ma thfrak{BA}} }$,and it wa s stud i ed by B r unner,Sidkiand  Vi eira in  [ @Br un n er- S id ki- V iei ra99]. L at er  da S ilva s h o wedinherthesi s [@daSilva01 ] t hat$ G$doesnot c onta in  anynon-ab elian  f ree subgroups.Sinc e $G$ isame na ble  b y The o rem \[ thm :ma in\], w e obtai n  an ot h e r  p roof of that resul t. Le t $\sigm a\in{{ \ ma th s f{Sym}(X )} }$be a c yclic  per m ut ation of  the a l ph ab et $X$,  a nd cho os e $ \va repsi l on_2 ,\dots ,\vareps ilon_ d $ from the cyc l ic group ${\m a th b b {Z } }/d$ , w here $d=|X| $. L e t $G =\la n gl e a , b\ran gle$be th e  group generated by  t wo ord er $d $ elements de termined b y t he decom posi t io n s $$a=\pair<1, 1,\do ts,1>\sigm a  \;, \qu ad
b= \pair<b, a^{\varep s i lon_2},\ dot s,a ^{\ var e p si lon_d}> \;.$$ I n pa rt icular,  if  $d=3$and  $( \va rep si lon_i)=(1 ,-1)$ th en  $ G$  i s t he in f inite $2 $- gen er ate d $3$ - groupstudi ed b yGu p taand Sid k ii n  [@G up ta -Sid ki8 3] , and  if$ d=3 $ and $ (\varepsi lon _ i)=( 1, 0) $ then$G$ is the gr ou p of inter me dia te gro w t h studie d by Fabrykowski and Gu p ta in [ @Fa bryko wski -Gupta91] . T his fa mil y  of gr oups w as ca ll ed* G GS* g r o up s ( re ferring to G rig orchu k,  Gup ta andSidki) by Baumslag [@B aumslag93]. T hey  are 
 by_Theorem \[thm:main\].

Let $X$_and $\sigma$ be as_in [Example \[ex:basilica\]]{},_and_define the_automorphisms_$a,b$ by putting_$$a=\pair<1,a>\sigma,\quad b=\pair<1,b^{-1}>\sigma\;,$$ i.e.,_$$M^a = \left(\begin{array}{cc}
 _0 & 1\\_a_& 0\end{array}\right) \;, \quad M^b = \left(\begin{array}{cc}
  0 & 1\\ b^{-1} & 0\end{array}\right)\;.$$_The_group $G=\langle_a,b\rangle$_determined_by the above presentation is_contained in ${{\mathfrak{BA}}}$, and it_was studied_by Brunner, Sidki and Vieira in [@Brunner-Sidki-Vieira99]. Later da Silva_showed_in her thesis [@daSilva01]_that $G$ does not contain any non-abelian free subgroups._Since $G$ is amenable by Theorem \[thm:main\],_we obtain another_proof_of_that result.

Let $\sigma\in{{\mathsf{Sym}(X)}}$ be_a cyclic permutation of the alphabet_$X$, and choose $\varepsilon_2,\dots,\varepsilon_d$ from the_cyclic group ${\mathbb{Z}}/d$, where $d=|X|$. Let $G=\langle_a,b\rangle$ be the group generated by_two order $d$ elements determined_by the_decompositions $$a=\pair<1,1,\dots,1>\sigma \;, \quad
b=\pair<b,a^{\varepsilon_2},\dots,a^{\varepsilon_d}> \;.$$_In particular, if_$d=3$ and_$(\varepsilon_i)=(1,-1)$ then $G$_is the infinite $2$-generated $3$-group studied_by Gupta and_Sidki in [@Gupta-Sidki83], and if $d=3$ and_$(\varepsilon_i)=(1,0)$_then $G$ is_the_group_of intermediate_growth studied by_Fabrykowski_and Gupta_in [@Fabrykowski-Gupta91]._This family of groups was called_*GGS*_groups (referring to Grigorchuk, Gupta and Sidki)_by Baumslag [@Baumslag93]. They_are