groups generated by finite automata ( groups of automata or automaton groups ) were formally introduced at the beginning of 1960 s  @xcite , but more substantial work on this remarkable class of groups started only in 1970 s after aleshin  @xcite confirmed a conjecture by glushkov  @xcite that these groups could be used to study problems of burnside type ( note that groups of automata should not be confused with automatic groups as described in  @xcite ) . it was observed in 1960 s and 1970 s that groups of automata are closely related to iterated wreath products ( pioneering work in this direction is due to kaloujnin  @xcite ) and that the theory of such groups could be studied by using the language of tables developed by kaloujnin  @xcite and sushchanskii  @xcite .
even more intensive study of groups of finite automata started in the beginning of 1980 s after the development of some new ideas such as self - similarity , contracting properties , and a geometric realization as groups acting on rooted trees .
these developments allowed for elegant constructions of burnside groups  @xcite and pushed the study of groups of automata in many directions : analysis  @xcite , geometry  @xcite , probability  @xcite , dynamics  @xcite , formal languages  @xcite , etc .
two well known and important problems were solved using groups of automata in the early 1980 s , namely milnor problem  @xcite on intermediate growth and day problem  @xcite on amenability . a 5-state automaton constructed in  @xcite ( on the right in figure  [ 3automata ] ) generates a 2-group , denoted @xmath0 .
it was shown in  @xcite that @xmath0 has intermediate growth ( between polynomial and exponential ) .
this led to construction of other examples of this type  @xcite and also made important contribution to and impact on the theory of invariant means on groups  @xcite initiated by von neumann  @xcite by providing an example of amenable , but not elementary amenable group ( in the sense of day  @xcite ) .    among the most interesting newer developments
is the spectral theory of groups generated by finite automata and graphs associated to such groups  @xcite .
for instance , automaton groups provided first examples of regular graphs realized as schreier graphs of groups for which the spectrum of the combinatorial laplacian is a cantor set  @xcite .
further , the realization of the lamplighter group @xmath1 as automaton group ( bottom left in figure  [ 3automata ] ) was crucial in the proof that this group has a pure point spectrum ( with respect to a system of generators related to the states of the automaton ) and thus has discrete spectral measure , which was completely described  @xcite .
this , in turn , led to a construction  @xcite of a 7-dimensional closed manifold with non - integer third @xmath2-betti number providing a counterexample to the strong atiyah conjecture  @xcite .
another fundamental recent discovery is the relation of groups of automata to holomorphic dynamics  @xcite .
namely , it is shown that to every rational map @xmath3 on the riemann sphere with finite postcritical set one can associate a finite automaton generating a group , denoted @xmath4 and called iterated monodromy group of @xmath5 . the geometry and the topology of the schreier graphs of @xmath4 is closely related to the geometry of the julia set of @xmath5 .
figure  [ b - schreier5 ] depicts a schreier graph associated to an automaton group , denoted @xmath6 and called basilica group .
its reminiscence to the julia set of the map @xmath7 is related to the fact that @xmath6 is the iterated monodromy group @xmath8 of the holomorphic map @xmath9  @xcite ) .
groups of automata represent the basis of the theory of self - similar groups and actions  @xcite and are related to the study of belyi polynomials and dessins denfants of grothendieck  @xcite .
the use of iterated monodromy groups was crucial in the recent solution of hubbard s twisted rabbit problem in  @xcite .
one of the most important developments in the theory of automaton groups is the introduction of groups with branch structure , providing a link to just - infinite groups  @xcite and groups of finite width  @xcite .
in particular , a problem suggested by zelmanov was solved by using the profinite completion of @xmath0  @xcite .
the problem of gromov on uniformly exponential growth was solved recently by using branch automaton groups  @xcite .
an unexpected link of groups of automata and their profinite completions to galois theory was found by r.  pink ( private communication ) and aitken , hajir and maire  @xcite , while n.  boston @xcite related branch groups of automata to fontaine - mazur conjecture and other problems in number theory .
the class of branch groups is also a new source for infinitely presented groups , for which the presentation can be written in a recursive form ( see  @xcite ) .
a recent observation  @xcite is that automaton groups and their schreier graphs stand behind the famous hanoi towers problem ( see  @xcite ) and some of its generalizations  @xcite .
there are indications that spectral properties of groups generated by finite automata could be used in the study of kaplansky conjecture on idempotents ( and thus also baum - connes conjecture  @xcite and novikov conjecture  @xcite ) , dixmier unitarizability problem  @xcite , and for construction of new families of expanders , and perhaps even ramanujan , graphs  @xcite .    in this article
we are going to describe some progress which was achieved during the last few years in the problem of classification of automaton groups
.    two important characteristics of an automaton are the cardinalities @xmath10 and @xmath11 of the set of states and the alphabet , respectively , and the pair @xmath12 is a natural measure of complexity of an automaton and of the group it generates .
the groups of complexity @xmath13 are classified @xcite and there are only @xmath14 such groups ( see theorem  [ thm_class2states ] in section  [ sec_proofs ] here ) .
the problem of classification of @xmath15 groups or @xmath16 groups is much harder .
the current text represents the progress being made by the research group at texas a&m university over the last few years toward classification of @xmath15 groups .
the total number of invertible automata of complexity @xmath15 is @xmath17 .
however , the number of non - isomorphic groups generated by these automata is much smaller .
there are no more than @xmath18 pairwise non - isomorphic groups of complexity @xmath15 .
the proof of this theorem is too long to be presented here ( even the list of all groups takes a lot of space ) .    instead
, we have chosen for this article a set of @xmath19 automata generating @xmath20 groups ( among the most interesting in this class , in our opinion ) , which we list in the form of a table .
the table provided here is a part of the table listing the whole set of @xmath18 groups .
we keep the numeration system from the whole table ( the rule for numeration is explained in section  [ sec_approach ] ) .
major results obtained for the whole family are the following theorems . the numbers in the brackets indicate the numbers of corresponding automata in the class .
there are @xmath14 finite groups in the class : @xmath21 [ 1 ] , @xmath22 [ 1090 ] , @xmath23 [ 730 ] , @xmath24 [ 847 ] , @xmath25 [ 802 ] and @xmath26 [ 748 ] .
there are @xmath14 abelian groups in the class : @xmath21 [ 1 ] , @xmath22 [ 1090 ] , @xmath23 [ 730 ] , @xmath25 [ 802 ] , @xmath27 [ 731 ] and @xmath28 [ 771 ] .
note that there are also virtually abelian groups in this class ( having @xmath29 , @xmath30 [ 2212 ] , @xmath31 [ 752 ] or @xmath32 [ 968 ] as subgroups of finite index ) .
[ thm : class_free ] the only free non - abelian group in the class is the free group of rank 3 generated by the aleshin - vorobets automaton [ 2240 ] .
moreover , the isomorphism class of this automaton group coincides with its equivalence class under symmetry .
the definition of symmetric automata is given in section  [ sec_approach ] .
there are no infinite torsion groups in the class .
we do not provide the complete proofs of these theorems ( by the reason explained above ) .
instead , we give here some information about each of the chosen groups and include proofs of most facts .
properties that are in our focus are the contracting property , self - replication , torsion , relations ( we list the relators up to length @xmath33 ) , rank of quotients of the stabilizers series , shape of the related schreier graphs .
the article is organized as follows .
we start with a general information about rooted trees and their automorphisms .
then we provide quick introduction to the theory of automaton groups .
we continue with the definition of schreier graphs and explain how they naturally appear for the actions on rooted trees . then we list @xmath19 automata generating @xmath20 groups together with some of their properties . in the last section we give proofs of many facts related to the groups in the list .
the last part also contains some more general results ( such as an algorithm detecting transitivity of an element and a criterion for group transitivity on the binary tree ) .
we recommend the articles  @xcite and the book @xcite to the reader who is interested in becoming more familiar with automaton groups .
let @xmath34 be fixed and let @xmath35 be the alphabet @xmath36 .
the set of words @xmath37 over @xmath35 ( the free monoid over @xmath35 ) can be given the structure of a _ regular rooted labeled @xmath38-ary tree _
@xmath39 in which the empty word @xmath40 is the _ root _ , the _ level _ @xmath11 in @xmath39 consists of the words of length @xmath11 over @xmath35 and every vertex @xmath41 has @xmath38 children , labeled by @xmath42 , for @xmath43 .
denote by @xmath44 the group of automorphisms of @xmath39 .
let @xmath5 be an automorphism in @xmath44 .
any such automorphism can be decomposed as @xmath45 where @xmath46 , for @xmath43 , are automorphisms of @xmath39 and @xmath47 is a permutation of @xmath35 .
the automorphisms @xmath46 ( also denoted by @xmath48 ) , @xmath43 , are called ( the first level ) _ sections _ of @xmath5 and each one acts as an automorphism on the subtree @xmath49 hanging below the vertex @xmath50 in @xmath39 consisting of the words in @xmath37 that start with @xmath50 ( any such subtree is canonically isomorphic to the whole tree ) .
the action of @xmath5 is decomposed in two steps .
first the @xmath38-tuple @xmath51 acts on the @xmath38 subtrees hanging below the root , and then the permutation @xmath47 , called the _ root permutation _ of @xmath5 , permutes these @xmath38 subtrees .
thus the action of @xmath5 from on @xmath37 is given by @xmath52 for @xmath50 a letter in @xmath35 and @xmath53 a word over @xmath35 .
further iterations of the decomposition ( [ decomposition ] ) yield the second level sections @xmath54 , @xmath55 , and so on .
algebraically , we have @xmath56 where @xmath57 is the _ permutational wreath product _ in which the coordinates of @xmath58 are permuted by @xmath59
.    iterations of the decomposition   show that @xmath44 has the structure of an iterated wreath product @xmath60 .
thus @xmath44 is a pro - finite group and in particular , all of its subgroups are residually finite . an obvious and natural sequence of normal subgroups of finite index intersecting trivially is the sequence of level stabilizers . the @xmath11-th _ level stabilizer _
@xmath61 of a group @xmath62 consists of those tree automorphisms in @xmath63 that fix the vertices in @xmath39 up to level @xmath11 .
the group @xmath44 is obviously an uncountable object .
we are interested in finitely generated subgroups of @xmath44 that exhibit some important features of @xmath44 .
one such feature is self - similarity .
a group @xmath63 of tree automorphisms is _ self - similar _ if , for every @xmath64 in @xmath63 and a letter @xmath50 in @xmath35 there exists a letter @xmath65 in @xmath35 and an element @xmath66 in @xmath63 such that @xmath67 for all words @xmath53 over @xmath35 .    another way to express self - similarity of a group @xmath63 of tree automorphisms is to say that every section @xmath68 of every element @xmath64 in @xmath63 is again an element of @xmath63 .
the full tree automorphism group @xmath44 is clearly self - similar ( see ( [ fxw ] ) ) .
a self - similar group @xmath63 embeds in the permutational wreath product @xmath69 by @xmath70
consider a finite system of recursive relations @xmath71 where each symbol @xmath72 , @xmath73 , @xmath74 , is equal to one of the symbols @xmath75 and @xmath76 .
the system ( [ f^0 ] ) has a unique solution in @xmath44 .
the action of @xmath77 on @xmath39 is given recursively by @xmath78 .
the group generated by the automorphisms @xmath75 is finitely generated self - similar group of automorphisms of @xmath39 .
this group can be described by a finite invertible automaton ( just called automaton in the rest of the article ) .
[ automaton ] a _ finite invertible automaton _ @xmath79 is a @xmath80-tuple @xmath81 where @xmath82 is a finite set of _ states _ , @xmath35 is a finite _ alphabet _ of cardinality @xmath34 , @xmath83 is a map , called _ output map _ , @xmath84 is a map , called _ transition map _ , and for each state @xmath85 in @xmath82 , the restriction @xmath86 given by @xmath87 is a permutation , i.e. @xmath88 .    the automaton @xmath81 reads words from @xmath37 and provides output words that are also in @xmath37 . the behavior is encoded in the output and transition maps .
an _ initial automaton _
@xmath89 is just an automaton @xmath79 with a distinguished state @xmath90 selected as an initial state .
we first informally describe the action of the initial automaton @xmath89 on @xmath37 .
the automaton starts at the state @xmath85 , reads the first input letter @xmath91 , outputs the letter @xmath92 and changes its state to @xmath93 .
the rest of the input word is handled by the new state @xmath94 in the same fashion ( in fact it is handled by the initial automaton @xmath95 ) .
formally , the action of the states of the automaton @xmath79 on @xmath37 can be described by extending the output function @xmath96 to a function @xmath97 recursively by @xmath98 for all states @xmath85 in @xmath82 , letters @xmath43 and words @xmath53 over @xmath35 .
then the action of the initial automaton @xmath89 is defined by @xmath99 , for words @xmath100 over @xmath35 .
in fact , ( [ rhoext ] ) shows that each initial automaton @xmath89 , @xmath90 , defines a tree automorphism , denoted by @xmath85 , defined by @xmath101 where the section @xmath102 is the state @xmath103 and the root permutation @xmath104 is the permutation @xmath105 .
given an automaton @xmath81 , the group of tree automorphisms generated by the states of @xmath79 is denoted by @xmath106 and called the _ automaton group _ defined by @xmath79 . the generating set @xmath82 is called the _ standard _ generating set of @xmath106 .
_ boundary _ of the tree @xmath39 , denoted @xmath107 , is the set @xmath108 of words over @xmath35 that are infinite to the right ( infinite geodesic rays in @xmath39 starting at the root ) .
it has a natural metric ( infinite words are close if they agree on long finite prefixes ) and the group of isometries @xmath109 is canonically isomorphic to @xmath44 .
thus the action of the automaton group @xmath106 on @xmath39 can be extended to an isometric action on @xmath107 .
in fact , and are valid for infinite words @xmath53 as well .
an automaton @xmath79 can be represented by a labeled directed graph , called moore diagram , in which the vertices are the states of the automaton , each state @xmath85 is labeled by its own root permutation @xmath104 and , for each pair @xmath110 , there is an edge from @xmath85 to @xmath111 labeled by @xmath50 .
for example , the 5-state automaton in the right half of figure  [ 3automata ] generates the group @xmath0 mentioned in the introduction ( @xmath112 denotes the permutation exchanging @xmath113 and @xmath114 ) .
the two 2-state automata given on the left of figure  [ 3automata ] are the so called _ adding machine _ ( top ) , which generates the infinite cyclic group @xmath29 and the _ lamplighter automaton _ ( bottom ) generating @xmath115 .
recursion relations of type ( [ f^0 ] ) for the adding machine and the lamplighter automaton are given by @xmath116 respectively .
various classes of automaton groups deserve special attention .
an automaton group @xmath117 is _ contracting _ if there exist constants @xmath118 , @xmath119 , and @xmath120 , with @xmath121 , such that @xmath122 , for all vertices @xmath41 of length at least @xmath120 and @xmath123 ( the length is measured with respect to the standard generating set @xmath82 )
. for sufficiently long elements @xmath64 this means that the length of its sections at vertices on levels deeper than @xmath120 is strictly shorter than the length of @xmath64 .
this length shortening leads to an equivalent definition of a contracting group .
namely , a group @xmath63 of tree automorphisms is contracting if there exists a finite set @xmath124 , such that for every @xmath125 , there exists @xmath126 , such that @xmath127 for all vertices @xmath128 of length not shorter than @xmath120 . the minimal set @xmath129 with this property
is called the _ nucleus _ of @xmath63 .
the contraction property is a key feature of various inductive arguments and algorithms involving the decomposition @xmath130 .
another important class is the class of automaton groups of _ branch type_. branch groups arise as one of the three  @xcite possible types of just - infinite groups ( infinite groups for which all proper homomorphic images are finite ) .
every infinite , finitely generated group has a just - infinite image . thus if a class of groups @xmath131 is closed under homomorphic images and if it contains infinite , finitely generated examples then it contains just - infinite examples .
such examples are , in a sense , minimal infinite examples in @xmath131 .
for example , @xmath0 is a branch automaton group that is a just - infinite 2-group .
i.e. , it is an infinite , finitely generated , torsion group that has no proper infinite quotients .
also , the hanoi towers group  @xcite and the iterated monodromy group @xmath132  @xcite are branch groups , while @xmath133 is not a branch group , but only weakly branch ( for definitions see  @xcite ) .    the class of _ polynomially growing automata _ was introduced by sidki in  @xcite , where it is proved that no group @xmath106 defined by such an automaton contains free subgroups of rank 2 .
moreover , for a subclass of so called _ bounded automata _ it is known that the corresponding groups are amenable  @xcite ( this class of automata , for instance , includes the automata generating @xmath0 , @xmath6 and hanoi towers group on @xmath134 pegs , but not for more pegs ) .
finally , self - replicating groups play an important role .
a self - similar group @xmath63 is called _ self - replicating _ if , for every vertex @xmath100 , the homomorphism @xmath135 from the stabilizer @xmath100 in @xmath63 to @xmath63 , given by @xmath136 , is surjective .
this condition is usually easy to check and , together with transitivity of the action on level 1 , it implies transitivity of the action on all levels . another way to show that a group of automorphisms of the binary tree is level transitive is to use proposition  [ prop : transitivity ] .
let us fix some self - similar contracting group acting on @xmath137 by automorphisms . denote by @xmath138 the space of left infinite sequences over @xmath35 .
two elements @xmath139 are said to be _ asymptotically equivalent _ with respect to the action of the group @xmath63 , if there exist a finite set @xmath140 and a sequence @xmath141 of elements in @xmath142 such that @xmath143 for every @xmath144 .
the asymptotic equivalence is an equivalence relation .
moreover , sequences @xmath145 are asymptotically equivalent if and only if there exists a sequence @xmath146 of the elements in the nucleus of @xmath63 such that @xmath147 and @xmath148 , for all @xmath144 .
the quotient space @xmath149 of the topological space @xmath138 by the asymptotic equivalence relation is called the _
limit space _ of the self - similar action of @xmath63 .
the limit space @xmath149 is metrizable and finite - dimensional .
if the group @xmath63 is finitely - generated and level - transitive , then the limit space @xmath149 is connected .
the last decade witnessed a shift in the attention payed to the study of schreier graphs .
let @xmath63 be a group generated by a finite set @xmath150 and let @xmath63 act on a set @xmath151 .
the _ schreier graph _ of the action @xmath152 is the graph @xmath153 with set of vertices @xmath151 and set of edges @xmath154 , where the arrow @xmath155 starts in @xmath65 and ends in @xmath156 . if @xmath157 then the schreier graph @xmath158 of the action of @xmath63 on the @xmath63-orbit of @xmath65 is called _
orbital schreier graph_.    let @xmath63 be a subgroup of @xmath44 generated by a finite set @xmath150 ( not necessary self - similar ) . the levels @xmath159 , @xmath160 , are invariant under the action of @xmath63 and we can consider the schreier graphs @xmath161 .
let @xmath162 .
then the pointed schreier graphs @xmath163 converge in the local topology ( topology defined in  @xcite ) to the pointed orbital schreier graph @xmath164 .
the limit space of a finitely generated contracting self - similar group @xmath63 can be viewed as a hyperbolic boundary in the following way . for
any given finite generating system @xmath150 of @xmath63 define the self - similarity graph @xmath165 as the graph with set of vertices @xmath137 in which two vertices @xmath166 are connected by an edge if and only if either @xmath167 , for some @xmath168 ( vertical edges ) , or @xmath169 for some @xmath170 ( horizontal edges ) . if the group is contracting then the self - similarity graph @xmath165 is gromov - hyperbolic and its hyperbolic boundary is homeomorphic to the limit space @xmath149 .
the set of horizontal edges of @xmath165 spans the disjoint union of all schreier graphs @xmath171.thus , the schreier graphs @xmath171 in some sense approximate the limit space @xmath149 of the group @xmath63 .
moreover , for many examples of self - similar contracting groups there exists a sequence of numbers @xmath172 such that the metric spaces @xmath173 , where @xmath38 is the combinatorial metric on the graph , converge in the gromov - hausdorff metric to the limit space of the group .
we recall the definition and basic properties of iterated monodromy groups ( img ) .
let @xmath174 be a path connected and locally path connected topological space and let @xmath175 be its open path connected subset .
let @xmath176 be a @xmath38-fold covering .
by @xmath177 we denote the @xmath11-th iteration of the map @xmath5 .
the map @xmath178 , where @xmath179 , is a @xmath180-fold covering .    choose an arbitrary base point @xmath181 .
let @xmath182 be the disjoint union of the sets @xmath183 ( these sets are note necessarily disjoint by themselves ) .
the set of pre - images @xmath182 has a natural structure of a rooted @xmath38-ary tree with root @xmath184 in which every vertex @xmath185 is connected to the vertex @xmath186 , @xmath187 .
the fundamental group @xmath188 acts naturally on every set @xmath189 and , in fact , acts by automorphisms on @xmath182 .
_ iterated monodromy group _ @xmath4 of the covering @xmath5 is the quotient of the fundamental group @xmath188 by the kernel of its action on @xmath182 .
it is proved in  @xcite that all iterated monodromy groups are self - similar .
this fact provides a connection between holomorphic dynamics and groups generated by automata .
the iterated monodromy group of a sub - hyperbolic rational function is contracting and its limit space is homeomorphic to the julia set of the rational function .    in particular , the sequence of schreier graphs @xmath190 of the iterated monodromy group of a sub - hyperbolic rational function can be drawn on the riemann sphere in such a way that they converge in the hausdorff metric to the julia set of the function .
schreier graphs also play a role in computing the spectrum of the markov operator @xmath191 on the group .
namely , given a group @xmath63 generated by a finite set @xmath192 , acting on a tree @xmath37 there is a natural unitary representation of @xmath63 in the space of bounded linear operators @xmath193 given by @xmath194 .    the markov operator @xmath195 corresponding to this unitary representation plays an important role .
the spectrum of @xmath191 for a self - similar group @xmath63 is approximated by the spectra of finite dimensional operators arising from the action of @xmath63 on the levels of the tree @xmath37 . for more on this see  @xcite .
let @xmath196 be a subspace of @xmath197 spanned by the @xmath198 characteristic functions @xmath199 , of the cylindrical sets corresponding to the @xmath198 vertices on level @xmath11 .
then @xmath196 is invariant under the action of @xmath63 and @xmath200 .
denote by @xmath201 the restriction of @xmath202 on @xmath196 .
then @xmath203 are finite dimensional operators , whose spectra converge to the spectrum of @xmath191 in the sense @xmath204    if @xmath205 is the stabilizer of an infinite word from @xmath108 , then one can consider the markov operator @xmath206 on the schreier graph of @xmath63 with respect to @xmath205
. the following fact is observed in  @xcite and can be applied to compute the spectrum of markov operator on the cayley graph of a group in case if @xmath205 is small .    if @xmath63 is amenable or the schreier graph @xmath207 ( the schreier graph of the action of @xmath63 on the cosets of @xmath205 ) is amenable then @xmath208 .
the next three sections are devoted to the groups generated by 3-state automata over the 2-letter alphabet @xmath209 .
fix @xmath210 as the set of states .
every @xmath15 automaton is given by @xmath211 where @xmath212 , for @xmath213 , @xmath214 , @xmath215 , and @xmath216 .
a number is assigned to the automaton above by the following formula @xmath217    thus every @xmath15 automaton obtains a unique number in the range from @xmath114 to @xmath218 .
the numbering of the automata is induced by the lexicographic ordering of all automata in the class .
the automata numbered @xmath114 through @xmath219 act trivially on the tree and generate the trivial group .
the automata numbered @xmath220 through @xmath218 generate the group @xmath22 of order @xmath221 , because every element in any of these groups is either trivial , or changes all letters in any word over @xmath35 .
therefore the `` interesting '' automata have numbers @xmath222 through @xmath223 .
denote by @xmath224 the automaton numbered by @xmath11 and by @xmath225 the corresponding group of tree automorphisms .
sometimes , when the context is clear , we use just the number to refer to the corresponding automaton or group .    the following operations on automata change neither the group generated by this automaton , nor , essentially , the action of the group on the tree .    1 .   passing to inverses of all generators 2 .
permuting the states of the automaton 3 .   permuting the letters of the alphabet    two automata @xmath226 and @xmath227 that can be obtained from one another using a composition of the operations ( @xmath228)(@xmath229 ) ,
are called _ symmetric_.
if the minimization of an automaton @xmath226 is symmetric to the minimization of an automaton @xmath227 , we say that the automata @xmath226 and @xmath227 are _ minimally symmetric _ and write @xmath230 .
another equivalence relation we consider is the isomorphism of the groups generated by the automata .
the minimal symmetry relation is a refinement of the isomorphism relation , since the same abstract group may have different actions on the binary tree .
there are @xmath231 classes of automata , which are pairwise not minimally symmetric , @xmath33 of which are minimally symmetric to automata with fewer than @xmath134 states .
these @xmath33 classes of automata are subject of theorem  [ thm_class2states ] , which states that they generate @xmath14 different groups .    at present , it is known that there are at most @xmath18 non - isomorphic groups in the considered class .
in this section we provide information about selected groups in the class of all groups generated by @xmath15 automata .
the groups are selected in such a way that the corresponding proofs in section  [ sec_proofs ] show most of the main methods and ideas that were used for the whole class .
the following notation is used :    * rels - this is a list of some relators in the group .
all independent relators up to length @xmath20 are included . on some situations additional longer relators
are included . for @xmath232 and @xmath233
there are no relators of length up to @xmath20 and the relators provided in the table are not necessarily the shortest . in many cases ,
the given relations are not sufficient ( for example , some of the groups are not finitely presented ) . *
sf - these numbers represent the size of the factors @xmath234 , for @xmath235 .
* gr - these numbers represent the values of the growth function @xmath236 , for @xmath235 , and generating system @xmath237 , @xmath238 , @xmath239 .
finally , for each automaton in the list a histogram for the spectral density of the operator @xmath240 acting on level @xmath241 of the tree is shown .    in some cases ,
in order to show the main ways to prove the group isomorphism , we provide several different automata generating the same group .
@p172ptp174pt@    * automaton number @xmath242 *    @p48ptp200pt    @xmath243    @xmath244    @xmath245 & group : @xmath246    contracting : _ yes _
self - replicating : _ no _
+    rels : @xmath247 , @xmath248 , @xmath249 , @xmath250 , @xmath251 , @xmath252 , + @xmath253 , @xmath254 , @xmath255 , + @xmath256 , @xmath257 , @xmath258 , + @xmath259 , @xmath260 , + @xmath261 , @xmath262 , + @xmath263 + sf : @xmath264,@xmath265,@xmath266,@xmath267,@xmath268,@xmath269,@xmath270,@xmath271,@xmath272 + gr : 1,4,9,17,30,47,68,93,122,155,192 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 100,100 ) ( 46,216)(100,200)(55,167 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 190,10)@xmath273 ( 1155,10)@xmath274 ( 680,77)@xmath275 ( 455,585)@xmath273     +    @p172ptp174pt@ * automaton number @xmath276 *    @p48ptp200pt    @xmath277    @xmath244    @xmath245 & group :    contracting : _ no _    self - replicating : _ yes _ +    rels :
@xmath278 , @xmath279 , @xmath280 , @xmath281 + sf : @xmath264,@xmath265,@xmath266,@xmath267,@xmath270,@xmath282,@xmath283,@xmath284,@xmath285 + gr : 1,7,37,187,937,4687 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 230,700)@xmath274 ( 680,240)@xmath275 ( 1155,10)@xmath274 ( 680,77)@xmath275 ( 455,585)@xmath273     +    @p172ptp174pt@ * automaton number @xmath286 *    @p48ptp200pt    @xmath243    @xmath287    @xmath245 & group : @xmath26    contracting : _ yes _
self - replicating : _ no _
+    rels : @xmath247 , @xmath248 , @xmath249 , @xmath250 , @xmath288 , @xmath289 + sf : @xmath264,@xmath265,@xmath266,@xmath290,@xmath290,@xmath290,@xmath290,@xmath290,@xmath290 + gr : 1,4,8,12,15,16,16,16,16,16,16 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 100,100 ) ( 46,216)(100,200)(55,167 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 190,10)@xmath273 ( 890,585)@xmath274 ( 680,77)@xmath275 ( 455,585)@xmath273     +    @p172ptp174pt@ * automaton number @xmath291 *    @p48ptp200pt    @xmath277    @xmath287    @xmath245 & group :    contracting : _ no _    self - replicating : _ yes _
+    rels : @xmath292 + @xmath293 , @xmath294 + @xmath295 , @xmath296 + @xmath297 + sf : @xmath264,@xmath265,@xmath266,@xmath267,@xmath270,@xmath282,@xmath283,@xmath284,@xmath285 + gr : 1,7,37,187,937,4687 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 230,700)@xmath274 ( 680,240)@xmath275 ( 890,585)@xmath274 ( 680,77)@xmath275 ( 455,585)@xmath273     +    @p172ptp174pt@ * automaton number @xmath298 *    @p48ptp200pt    @xmath277    @xmath299    @xmath245 & group : @xmath28    contracting : _ yes _
self - replicating : _ yes _ +    rels : @xmath238 , @xmath300 + sf : @xmath264,@xmath265,@xmath301,@xmath266,@xmath290,@xmath302,@xmath267,@xmath303,@xmath268 + gr : 1,5,13,25,41,61,85,113,145,181,221 + limit space : @xmath221-dimensional torus @xmath304    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 230,700)@xmath274 ( 680,240)@xmath275 ( 1080,10)@xmath273 ( 455,585)@xmath273     +    @p172ptp174pt@ * automata number @xmath305 and @xmath306 *    @p48ptp12ptp48ptp200pt    @xmath243    @xmath307    @xmath245 &     783 : &    @xmath308    @xmath307    @xmath245&group : @xmath309    contracting : _ yes _    self - replicating : _ yes _ +    rels :
@xmath247 , @xmath248 , @xmath249 , @xmath250 , @xmath310 , + @xmath311 , @xmath312 , + @xmath313 , @xmath314 + sf : @xmath264,@xmath265,@xmath301,@xmath290,@xmath267,@xmath315,@xmath316,@xmath317,@xmath318 + gr : 1,4,9,17,30,51,85,140,229,367,579 + limit space :    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 100,100 ) ( 46,216)(100,200)(55,167 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 190,10)@xmath273 ( 890,585)@xmath274 ( 1160,10)@xmath275 ( 455,585)@xmath273     +    @p172ptp174pt@ * automaton number @xmath319 *    @p48ptp200pt    @xmath320    @xmath321    @xmath245 & group : @xmath28    contracting : _ yes _
self - replicating : _ yes _ +    rels : @xmath322 , @xmath300 + sf : @xmath264,@xmath265,@xmath301,@xmath266,@xmath290,@xmath302,@xmath267,@xmath303,@xmath268 + gr : 1,7,21,43,73,111,157,211,273,343,421 + limit space : @xmath221-dimensional torus @xmath304    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 100,100 ) ( 46,216)(100,200)(55,167 ) ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 680,240)@xmath274 ( 193,10)@xmath275 ( 820,585)@xmath273 ( 455,585)@xmath273     +    @p172ptp174pt@ * automaton number @xmath323 *    @p48ptp200pt    @xmath308    @xmath324    @xmath325 & group : @xmath326    contracting : _ no _    self - replicating : _ no _
+    rels : @xmath247 , @xmath248 , @xmath249 + sf : @xmath264,@xmath265,@xmath266,@xmath302,@xmath303,@xmath269,@xmath327,@xmath272,@xmath328 + gr : 1,4,10,22,46,94,190,382,766,1534 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 1200,300)(1123,733)(787,1020 ) ( 1216,354)(1200,300)(1167,345 ) ( 150,700)@xmath273 ( 680,77)@xmath274 ( 1160,10)@xmath275 ( 1115,700)@xmath274(460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath329 *    @p48ptp200pt    @xmath277    @xmath299    @xmath325 & group : _ basilica group _
contracting : _ yes _    self - replicating : _ yes _ +    rels : @xmath238 , @xmath330 , @xmath331 , + @xmath332 , @xmath333 , + @xmath334 , @xmath335 , + @xmath336 + sf : @xmath264,@xmath265,@xmath266,@xmath267,@xmath270,@xmath282,@xmath283,@xmath284,@xmath285 + gr : 1,5,17,53,153,421,1125,2945,7545 + limit space :    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 1200,300)(1123,733)(787,1020 ) ( 1216,354)(1200,300)(1167,345 ) ( 230,700)@xmath274 ( 680,240)@xmath275 ( 1080,10)@xmath273 ( 1115,700)@xmath274(460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath337 *    @p48ptp200pt    @xmath320    @xmath307    @xmath325 & group :    contracting : _ no _    self - replicating : _ yes _ +    rels :
@xmath338 , @xmath339 , + @xmath340 , @xmath341 , @xmath342 , @xmath343 , @xmath344 , + @xmath345 , @xmath346 + sf : @xmath264,@xmath265,@xmath266,@xmath303,@xmath327,@xmath347,@xmath348,@xmath349,@xmath350 + gr : 1,7,35,165,758,3460 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 100,100 ) ( 46,216)(100,200)(55,167 ) ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 1200,300)(1123,733)(787,1020 ) ( 1216,354)(1200,300)(1167,345 ) ( 680,240)@xmath274 ( 193,10)@xmath275 ( 890,585)@xmath274 ( 1160,10)@xmath275 ( 1115,700)@xmath274(460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath351 *    @p48ptp200pt    @xmath352    @xmath307    @xmath325 & group :    contracting : _ no _    self - replicating : _ yes _ +    rels : @xmath353 + @xmath354 , @xmath355 + @xmath356 + sf : @xmath264,@xmath265,@xmath266,@xmath303,@xmath327,@xmath357,@xmath358,@xmath349,@xmath350 + gr : 1,7,37,187,937,4687 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 100,100 ) ( 46,216)(100,200)(55,167 ) ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 1200,300)(1123,733)(787,1020 ) ( 1216,354)(1200,300)(1167,345 ) ( 230,700)@xmath274 ( 193,10)@xmath275 ( 890,585)@xmath274 ( 1160,10)@xmath275 ( 1115,700)@xmath274(460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath359 *    @p48ptp200pt    @xmath277    @xmath360    @xmath325 & group : _ baumslag - solitar group @xmath361 _    contracting : _ no _    self - replicating : _ yes _ +    rels : @xmath362 , @xmath363 + sf : @xmath264,@xmath265,@xmath266,@xmath290,@xmath267,@xmath268,@xmath269,@xmath270,@xmath271 + gr : 1,7,33,127,433,1415 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 1200,300)(1123,733)(787,1020 ) ( 1216,354)(1200,300)(1167,345 ) ( 230,700)@xmath274 ( 680,240)@xmath275 ( 680,77)@xmath274 ( 890,585)@xmath275 ( 1115,700)@xmath274(460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath364 *    @p48ptp200pt    @xmath365    @xmath366    @xmath325 & group : @xmath367    contracting : _ yes _
self - replicating : _ yes _
+    rels : @xmath247 , @xmath248 , @xmath249 , @xmath368 , @xmath369 + sf : @xmath264,@xmath265,@xmath266,@xmath303,@xmath327,@xmath357,@xmath358,@xmath370,@xmath371 + gr : 1,4,10,22,46,94,184,352,664,1244,2296,4198,7612 + limit space :    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 1200,300)(1123,733)(787,1020 ) ( 1216,354)(1200,300)(1167,345 ) ( 650,250)@xmath273 ( 1155,10)@xmath274 ( 890,585)@xmath275 ( 1115,700)@xmath274(460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath372 *    @p48ptp200pt    @xmath320    @xmath299    @xmath373 & group :    contracting : _ no _    self - replicating : _ yes _ +    rels : @xmath238 , @xmath374 + sf : @xmath264,@xmath265,@xmath266,@xmath267,@xmath270,@xmath282,@xmath283,@xmath284,@xmath285 + gr : 1,5,17,53,161,475,1387 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 100,100 ) ( 46,216)(100,200)(55,167 ) ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 700,1211 ) ( 820,1168)(771,1141)(779,1196 ) ( 680,240)@xmath274 ( 193,10)@xmath275 ( 1080,10)@xmath273 ( 545,1261)@xmath274 ( 460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath375 *    @p48ptp200pt    @xmath277    @xmath307    @xmath373 & group : contains the lamplighter group    contracting : _ no _    self - replicating : _ yes _ +    rels : @xmath376 , @xmath377 , @xmath378 , + @xmath379 , @xmath380 , @xmath381 , + @xmath382 , @xmath383 , @xmath384 , + @xmath385 , @xmath386 , + @xmath387 , @xmath388 , + @xmath389 , @xmath390 , + @xmath391 , @xmath392 , + @xmath393 , + @xmath394 , + @xmath395 + sf : @xmath264,@xmath265,@xmath266,@xmath303,@xmath327,@xmath347,@xmath348,@xmath349,@xmath350 + gr : 1,7,33,143,597,2465 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 700,1211 ) ( 820,1168)(771,1141)(779,1196 ) ( 230,700)@xmath274 ( 680,240)@xmath275 ( 890,585)@xmath274 ( 1160,10)@xmath275 ( 545,1261)@xmath274 ( 460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath396 *    @p48ptp200pt    @xmath365    @xmath321    @xmath373 & group : contains @xmath32 as a subgroup of index @xmath397    contracting : _ yes _
self - replicating : _ no _
+    rels : @xmath247 , @xmath248 , @xmath249 , @xmath368 , @xmath256 , + @xmath398 , @xmath369 , @xmath399 , + @xmath400 , @xmath401 , + @xmath311 , @xmath402 + sf : @xmath264,@xmath265,@xmath266,@xmath267,@xmath315,@xmath327,@xmath403,@xmath404,@xmath347 + gr : 1,4,10,22,46,94,184,338,600,1022 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,152)@xmath114 ( 664,1022)@xmath114 ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 700,1211 ) ( 820,1168)(771,1141)(779,1196 ) ( 650,250)@xmath273 ( 820,585)@xmath273 ( 545,1261)@xmath274 ( 460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath405 *    @p48ptp200pt    @xmath308    @xmath406    @xmath245 & group : @xmath309    contracting : _ yes _
self - replicating : _ yes _
+    rels : @xmath247 , @xmath249 , @xmath250 , @xmath407 , @xmath408 , + @xmath409 , @xmath410 , @xmath411 , @xmath412 , + @xmath413 , @xmath414 , @xmath415 , @xmath416 , + @xmath417 , @xmath418 + sf : @xmath264,@xmath265,@xmath301,@xmath290,@xmath267,@xmath315,@xmath316,@xmath317,@xmath318,@xmath419 + gr : 1,5,16,40,88,184,376,746,1458 + limit space :    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,165)@xmath112 ( 664,1022)@xmath114 ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 150,700)@xmath273 ( 1155,10)@xmath274 ( 680,77)@xmath275 ( 455,585)@xmath273     +    @p172ptp174pt@ * automaton number @xmath420 *    @p48ptp200pt    @xmath421    @xmath422    @xmath245 & group : _ klein bottle group _ , virtually @xmath30    contracting : _ yes _    self - replicating : _ no _
+    rels : @xmath423 , @xmath424 + sf : @xmath264,@xmath265,@xmath301,@xmath290,@xmath267,@xmath268,@xmath269,@xmath270,@xmath271 + gr : 1,7,19,37,61,91,127,169,217,271,331 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,165)@xmath112 ( 664,1022)@xmath114 ( 100,100 ) ( 46,216)(100,200)(55,167 ) ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 190,10)@xmath274 ( 230,700)@xmath275 ( 890,585)@xmath274 ( 680,77)@xmath275 ( 455,585)@xmath273     +    @p172ptp174pt@ * automaton number @xmath425 *    @p48ptp200pt    @xmath426    @xmath427    @xmath245 & group : @xmath428   free of rank @xmath134 ( aleshin - vorobets )    contracting : _ no _    self - replicating : _ no _
+    rels : + sf : @xmath264,@xmath265,@xmath301,@xmath290,@xmath303,@xmath269,@xmath271,@xmath404,@xmath429 + gr : 1,7,37,187,937,4687 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,165)@xmath112 ( 664,1022)@xmath114 ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 680,240)@xmath274 ( 230,700)@xmath275 ( 890,585)@xmath274 ( 1160,10)@xmath275 ( 455,585)@xmath273     +    @p172ptp174pt@ * automaton number @xmath430 *    @p48ptp200pt    @xmath308    @xmath431    @xmath325 & group : @xmath432    contracting : _ yes _
self - replicating : _ yes _
+    rels : @xmath247 , @xmath248 , @xmath249 , @xmath408 , @xmath433 , + @xmath434 , @xmath435 , @xmath436 , + @xmath437 , @xmath438 , + @xmath439 , @xmath440 , + @xmath441 + sf : @xmath264,@xmath265,@xmath301,@xmath290,@xmath302,@xmath267,@xmath303,@xmath268,@xmath315 + gr : 1,4,10,19,31,46,64,85,109,136,166 + limit space : @xmath221-dimensional sphere @xmath442    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,165)@xmath112 ( 664,1022)@xmath114 ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 1200,300)(1123,733)(787,1020 ) ( 1216,354)(1200,300)(1167,345 ) ( 150,700)@xmath273 ( 650,87)@xmath273 ( 1115,700)@xmath274(460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath443 *    @p48ptp200pt    @xmath320    @xmath422    @xmath373 & group :    contracting : _ no _    self - replicating : _ yes _ +    rels : @xmath376 , @xmath377 , @xmath378 , + @xmath379 , @xmath380 , @xmath383 , + @xmath384 , @xmath385 , + @xmath387 , @xmath388 , + @xmath389 , @xmath390 , + @xmath392 , @xmath393 , + @xmath394 + sf : @xmath264,@xmath265,@xmath266,@xmath303,@xmath327,@xmath347,@xmath348,@xmath349,@xmath350 + gr : 1,7,33,143,602,2514 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,165)@xmath112 ( 664,1022)@xmath114 ( 100,100 ) ( 46,216)(100,200)(55,167 ) ( 300,200)(1,0)800 ( 1050,225)(1100,200)(1050,175 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 750,983)(1150,287 ) ( 753,927)(750,983)(797,952 ) ( 650,983)(250,287 ) ( 297,318)(250,287)(253,343 ) ( 700,1211 ) ( 820,1168)(771,1141)(779,1196 ) ( 680,240)@xmath274 ( 193,10)@xmath275 ( 890,585)@xmath274 ( 680,77)@xmath275 ( 545,1261)@xmath274 ( 460,585)@xmath275     +    @p172ptp174pt@ * automaton number @xmath444 *    @p48ptp200pt    @xmath421    @xmath406    @xmath445 & group : isomorphic to @xmath446    contracting : _ no _    self - replicating : _ yes _
+    rels : @xmath239 , @xmath447 + sf : @xmath264,@xmath265,@xmath266,@xmath267,@xmath270,@xmath282,@xmath283,@xmath284,@xmath285,@xmath448 + gr : 1,5,17,53,161,485,1445 +    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,165)@xmath112 ( 664,1022)@xmath114 ( 100,100 ) ( 46,216)(100,200)(55,167 ) ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 700,1211 ) ( 820,1168)(771,1141)(779,1196 ) ( 190,10)@xmath274 ( 230,700)@xmath275 ( 1155,10)@xmath274 ( 680,77)@xmath275 ( 465,1261)@xmath273     +    @p172ptp174pt@ * automaton number @xmath449 *    @p48ptp200pt    @xmath308    @xmath406    @xmath445 & group : @xmath450    contracting : _ yes _    self - replicating : _ yes _ +    rels :
@xmath239 , @xmath247 , @xmath451 + sf : @xmath264,@xmath265,@xmath301,@xmath266,@xmath302,@xmath268,@xmath271,@xmath347,@xmath348 + gr : 1,4,10,22,46,94,190,375,731,1422,2752,5246,9908 + limit space :    &     ( 1450,1090)(0,130 ) ( 200,200 ) ( 1200,200)(700,1070 ) ( 45,280)@xmath237 ( 1280,280)@xmath238 ( 820,1035)@xmath239 ( 164,165)@xmath112 ( 1164,165)@xmath112 ( 664,1022)@xmath114 ( 200,300)(277,733)(613,1020 ) ( 559,1007)(613,1020)(591,969 ) ( 287,150)(700,0)(1113,150 ) ( 325,109)(287,150)(343,156 ) ( 1300,100 ) ( 1345,167)(1300,200)(1354,216 ) ( 700,1211 ) ( 820,1168)(771,1141)(779,1196 ) ( 150,700)@xmath273 ( 1155,10)@xmath274 ( 680,77)@xmath275 ( 465,1261)@xmath273     +
we start this section with a few useful observations , which simplify computations and were used often in the classification process .
[ thm_class2states ] there are , up to isomorphism , @xmath14 different groups generated by @xmath221-state automata over a @xmath221-letter alphabet ( automata of complexity @xmath13 ) .
namely , trivial group , @xmath22 , @xmath23 , infinite cyclic group @xmath29 , infinite dihedral group @xmath452 and the lamplighter group @xmath1 .
[ nontors ] let @xmath63 be a group generated by an automaton @xmath79 over the @xmath221-letter alphabet @xmath209 that has the following property .
the set of states of @xmath79 splits into two nonempty parts @xmath205 and @xmath82 such that    1 .
one of the parts contains all active states and the other contains all inactive states ; 2 .   for each state
in part @xmath205 , both arrows go to states in the same part ( either both to @xmath205 pr both to @xmath82 ) ; 3 .   for each state in part @xmath82
, one arrow goes to part @xmath205 and the other to part @xmath82    then any element of the group that can be written as a product of odd number of active generators and odd number of inactive generators in any order , has infinite order . in particular
, @xmath63 is not a torsion group .
let @xmath64 be such an element .
let us prove by induction on @xmath11 that , for each @xmath160 , there exists a vertex @xmath41 fixed by @xmath453 such that the section of @xmath453 at @xmath41 has the same form ( i.e. is a product of odd number of active generators and odd number of inactive generators ) .    for @xmath454
this is true .
suppose it is true for @xmath455 and let @xmath66 be a section of @xmath456 at some vertex @xmath128 satisfying the conditions of the assumption . since @xmath66 is a product of odd number of active states and odd number of inactive states we can write @xmath457 .
since @xmath41 is fixed under @xmath458 we have that @xmath459 is fixed under @xmath460 and @xmath461 .
the element @xmath462 is product ( in some order ) of the first level sections of the generators ( and/or their inverses ) used to express @xmath66 . by assumption , among these generators , there are odd number of active and odd number of inactive .
the generators from part @xmath205 , by condition ( @xmath463 ) , will produce even number of active and even number of inactive generators , while the generators from part @xmath82 , by condition @xmath464 , will give odd number of generators from both categories , which proves the induction step .
thus @xmath465 for all @xmath11 .
the abelianization of @xmath466 is isomorphic to the infinite cartesian product @xmath467 .
the canonical isomorphism sends @xmath125 to @xmath468 , where @xmath469 is the number of vertices @xmath470 , such that @xmath471 acts nontrivially on the first level ( i.e.  @xmath469 is the number of active sections of @xmath64 at level @xmath228 )      [ alg_trans ] let @xmath63 be a self - similar group generated by a finite automaton over the @xmath221-letter alphabet @xmath209 , and let @xmath125 be given as a product of states and their inverses
. denote by @xmath475 the image of @xmath64 in @xmath472 $ ] .
the element @xmath64 acts level transitively on @xmath37 if and only if @xmath476 .
suppose @xmath477 , @xmath478 .
then @xmath479 we can produce similar equations for the sections @xmath480 , @xmath481 and so on .
since @xmath63 is generated by a finite automaton the number of different sections of @xmath64 is finite .
therefore we get finite linear system of equations over the variables @xmath482 , whose solution will express @xmath475 as a rational function @xmath483 , where @xmath484 are polynomials with degrees not higher than @xmath485 .    expanding this rational function as a power series will produce a preperiodic sequence of coefficients from @xmath22 with period and preperiod no longer than @xmath486 .
in particular , @xmath64 acts level transitively if and only if all @xmath469 , @xmath487 are equal to @xmath114 .            for the converse , let us first prove that all level stabilizers @xmath488 are different . for this
it suffices to show that for every @xmath489 @xmath490 .
since all stabilizers have finite indices in @xmath63 and @xmath63 is infinite we get that all of them are infinite .
let @xmath491 be an arbitrary nontrivial element and @xmath492 be a word of shortest length ( one of them ) such that @xmath493 ( in other words , @xmath494 and such @xmath495 is maximal ) .
clearly @xmath496 and we can consider the section @xmath497 which is an element of @xmath63 because of self - similarity .
the fact that @xmath498 implies @xmath499 .
on other hand @xmath500 .
therefore @xmath501 , thus @xmath502 and we found the desired element .
suppose @xmath63 acts transitively on level @xmath11 .
let @xmath503 be an arbitrary element and let @xmath504 be one of the words such that @xmath505 , where @xmath506 .
for @xmath507 , let us find an element @xmath125 such that @xmath508 .
this will prove the induction step .
note , that the last proof works also for self - similar subgroups of the infinitely iterated permutational wreath product @xmath516 ( the subgroup of @xmath44 consisting of those automorphisms of the @xmath38-ary tree for which the activity at every vertex is a power of some fixed cycle of length @xmath38 .
also , certain generalizations of this method could be used in more complex situations ( see , for example , the construction of @xmath517 in  @xcite , or proof of transitivity of sushchansky groups on a subtree in  @xcite ) .
all generators have order @xmath221 . the elements @xmath520 and @xmath521 generate @xmath30 because @xmath522 is the adding machine and has infinite order .
also we have @xmath523 and @xmath524 is normal in @xmath525 because @xmath526 and @xmath527 . in other words , @xmath528 .
furthermore , the element @xmath541 has infinite order , fixes the vertex @xmath542 and its section at this vertex is equal to @xmath541 .
therefore @xmath535 is not contracting ( all powers of @xmath541 would have to belong to the nucleus ) .
it follows from the relations @xmath544 that @xmath543 is a homomorphic image of @xmath26 . since @xmath545 , @xmath546 and @xmath547
, it follows that @xmath548 .
one can verify directly that @xmath239 is not equal to any of the four elements in @xmath549 that stabilize level 1 ( namely @xmath114 , @xmath238 , @xmath550 and @xmath551 ) .
thus @xmath552 .        for a word @xmath53 in @xmath554 ,
let @xmath555 , @xmath556 and @xmath557 denote the sum of the exponents of @xmath237 , @xmath238 and @xmath239 in @xmath53 .
let @xmath53 represents the element @xmath123 .
if @xmath555 and @xmath556 are odd , then @xmath64 acts transitively on the first level , and @xmath558 is represented by a word @xmath559 , which is the product ( in some order ) of all first level sections of all generators appearing in @xmath53 .
hence , @xmath560 and @xmath561 are odd again .
therefore , similarly to proposition  [ nontors ] , any such element has infinite order .
in particular @xmath562 has infinite order .
since @xmath563 and @xmath564 , the element @xmath565 has infinite order ( and so does @xmath237 ) .
since @xmath565 fixes the vertex @xmath539 and its section at that vertex is equal to @xmath565 , the group @xmath232 is not contracting .      since @xmath566 is finitely generated , abelian , and self - replicating ( easy to check ) , it follows from  @xcite that it is free abelian .
there are two options : either it has rank @xmath114 or rank @xmath221 ( since @xmath567 ) .
let us prove that the rank is @xmath221 .
for this it is sufficient to show that @xmath568 in @xmath63 .
assume on the contrary that @xmath569 for some integer @xmath11 and @xmath10 and choose such integers with minimal @xmath570 .
since @xmath571 stabilizes level 1 , @xmath10 must be even and we have @xmath572 .
but then @xmath573 and by the minimality assumption @xmath10 must be @xmath113 , implying @xmath574 .
the last equality can only be true for @xmath454 since @xmath566 is torsion free ( free abelian ) and @xmath575 .
thus @xmath576 .
we have @xmath578 , @xmath579 and @xmath580 .
hence , for the subgroup @xmath581 , we have @xmath582 . on the other hand
@xmath530 is normal in @xmath63 since @xmath583 and @xmath584 .
thus @xmath585 , where @xmath22 is generated by @xmath237 and the action of @xmath237 on @xmath530 is given above .
it is proved below ( see @xmath586 ) , that @xmath587 .
therefore @xmath577 also contains a torsion free subgroup of index @xmath80 .
all generators have order @xmath221 and @xmath237 commutes with @xmath239 . conjugating this group by the automorphism @xmath589 yields an isomorphic group generated by the 4-state automaton defined by the recursive relations @xmath590 , @xmath591 and @xmath592 . on the other hand , we obtain the same automaton after conjugating @xmath577 by @xmath593 ( here @xmath237 denotes the generator of @xmath577 ) .
since @xmath566 is finitely generated , abelian , and self - replicating , it follows from  @xcite that it is free abelian .
consider the @xmath601-endomorphism @xmath602 associated to the vetrex @xmath113 , given by @xmath603 for @xmath604 , provided @xmath605 .
consider also the linear map @xmath606 induced by @xmath607 .
it has the following matrix representation with respect to the basis corresponding to the triple @xmath608 : @xmath609    its characteristic polynomial @xmath610 has three distinct complex roots @xmath611 , @xmath612 and @xmath613 .
choose an eigenvector @xmath614 associated to the eigenvalue @xmath615 , @xmath215 .
in particular , we may choose @xmath616 , which shows that @xmath617 in @xmath600 . in order to show that @xmath618 ( except when @xmath619 ) we will prove that the vector @xmath620 is eventually pushed out from the domain corresponding to the first level stabilizer , i.e. from the set @xmath621 , by iterations of the action of @xmath79 .    consider the expansion of @xmath41 in the basis @xmath622 : @xmath623 .
since @xmath624 or @xmath625 , @xmath41 is not a scalar multiple of @xmath626 .
we have @xmath627 , as @xmath628 , since @xmath629 .
we can choose a neighborhood of @xmath630 that does not contain points from @xmath631 , except maybe @xmath630 .
eventually @xmath632 will be in this neighborhood and , since @xmath633 for all @xmath634 , @xmath632 will be outside of @xmath631 .
this implies that the word @xmath635 represents a nontrivial element in @xmath600 .
thus @xmath636 .    *
846 * : @xmath326 .
this is a result of muntyan .
see the proof in  @xcite .
in particular , @xmath637 contains a self - similar free group of rank @xmath221 generated by a 6-state automaton .
the automaton 846 is sometimes called bellaterra automaton .    *
852 * : basilica group @xmath638 .
first studied in  @xcite , where it is proved that @xmath6 is not in the class @xmath639 of sub - exponentially amenable groups , does not contain a free subgroup of rank @xmath221 , and the nontrivial generators @xmath237 and @xmath238 generate a free subsemigroup .
spectral properties are considered in  @xcite .
it is proved in  @xcite that @xmath6 is amenable , providing the first example of an amenable group not in the class @xmath639 .
let us prove that @xmath238 has infinite order .
for any @xmath641 @xmath642 . since @xmath643 equals either @xmath238 or @xmath239 and @xmath644 , we have @xmath645 . therefore all elements in the forward orbit of @xmath646 under the action of @xmath238 end in @xmath647 .
the length of the non - zero prefix of any infinite word ending in @xmath647 can not decrease under the action of @xmath238 .
indeed , for any @xmath641 @xmath648 . the section @xmath649 is one of the three generators , for which we have @xmath650 , @xmath651 and @xmath652 .
on the other hand , the length of the non - zero prefix along the orbit can not stabilize , because in this case the orbit must be finite and we must have @xmath653 , for some @xmath654 .
but this is impossible since @xmath655 and thus the length of the non - zero prefix of @xmath656 must be at least @xmath134 .
thus the orbit is infinite and @xmath238 has infinite order .          using the same approach as for @xmath640 one can show that @xmath239 has infinite order .
namely the length of the non - zero prefix of the forward orbit of @xmath658 under @xmath239 is nondecreasing , which then implies that this orbit is not finite .
the automaton satisfies the conditions of proposition  [ nontors ] .
thus , @xmath660 has infinite order in @xmath63 , which implies that @xmath661 , @xmath662 also have infinite order . hence , we can claim the same for @xmath237 and @xmath360 .
furthermore , the element @xmath663 also has infinite order ( it is conjugate of the adding machine ) .
since @xmath664 we have @xmath665 and @xmath666 .
let us check that @xmath667 .
since @xmath668 and @xmath669 all we need to check is that @xmath670 , i.e.  @xmath671 . the last is correct since @xmath672 and @xmath673 is a conjugate of the inverse of @xmath674 .
thus , since @xmath238 and @xmath675 have infinite order , @xmath676 .
denote @xmath678 and @xmath679 .
all generators have order @xmath221 , and therefore the subgroup @xmath680 is a normal subgroup of index @xmath221 in @xmath677 .
moreover @xmath681 , where @xmath22 is generated by @xmath239 and the action of @xmath22 on @xmath530 is given by @xmath682 and @xmath683 .
we have @xmath684 and @xmath685 . exchanging the letters @xmath113 and @xmath114 leads to an isomorphic copy of @xmath530 defined by @xmath686 and @xmath687 , which is the iterated monodromy group @xmath688 , according to  @xcite .
thus , @xmath689 .
it is known  @xcite that the group @xmath692 defined by @xmath693 is the lamplighter group @xmath1 ( compare to  ) .
consider the subtree @xmath694 of @xmath37 consisting of all words over the alphabet @xmath695 .
the element @xmath237 swaps the letters of @xmath151 and @xmath238 fixes them .
since @xmath696 , @xmath697 , the tree @xmath694 is invariant under the action of @xmath698 and the action of @xmath530 on @xmath694 coincides with the action of the lamplighter group @xmath699 on @xmath37 ( with the identification @xmath700 ) .
therefore the map @xmath701 given by @xmath702 , @xmath703 extends to a homomorphism .
we claim that this homomorphism has trivial kernel .
indeed , let @xmath704 be a group word representing an element of the kernel of @xmath607 .
since the word @xmath705 represents the identity in @xmath706 the total exponent of @xmath237 in @xmath53 must be even and the total exponent @xmath707 of both @xmath237 and @xmath238 in @xmath53 must be 0 .
but in that case the element @xmath708 fixes the top two levels of the tree @xmath37 and has decomposition @xmath709 where the @xmath710 s denote words over @xmath237 and @xmath238 representing the identity in @xmath530 ( these words correspond to the first level sections of @xmath705 in @xmath706 ) .
therefore @xmath711 and the kernel of @xmath607 is trivial .
this group contains @xmath32 as a subgroup of index @xmath397 .
it is contracting with nucleus consisting of @xmath713 elements , whose self - similar closure consists of @xmath714 elements .
all generators have order @xmath221 .
let @xmath715 , @xmath716 , and consider the subgroup @xmath717 .
direct computations show that @xmath50 and @xmath65 commute ( @xmath718 and @xmath719 ) .
conjugating by @xmath720 leads to the self - similar copy @xmath721 of @xmath142 generated by @xmath722 and @xmath723 , where @xmath724 and @xmath725 . since @xmath726
, the virtual endomorphism of @xmath721 is given by the matrix @xmath727 the eigenvalues @xmath728 of this matrix are not algebraic integers , hence , according to  @xcite , the group @xmath721 is free abelian of rank @xmath221 , and so is @xmath142 .    since all generators have order @xmath221 , the subgroup @xmath729 has index @xmath221 in @xmath712 .
the stabilizer @xmath730 of the second level has index @xmath731 in @xmath530 .
moreover , the quotient group is isomorphic to the dihedral group @xmath24 ( since @xmath660 acts on the second level by permuting @xmath732 and @xmath733 , while @xmath734 acts by permuting @xmath735 ) .
the stabilizer @xmath730 , conjugated by the element @xmath736 , is generated by @xmath737 therefore , all @xmath738 commute and @xmath739 .
if @xmath740 , then all sections must be trivial , hence , @xmath741 .
but @xmath142 is free abelian , whence @xmath742 , @xmath743 .
thus , @xmath730 is a free abelian group of rank @xmath744 .        since @xmath748 and @xmath749 , the generators @xmath237 and @xmath239 commute
further , @xmath750 , which shows that @xmath751 , and therefore @xmath752 and @xmath753 .
since @xmath754 , the element @xmath237 has infinite order and so does @xmath755 .
finally , since @xmath756 , we have @xmath757 and @xmath747 is the klein bottle group .
going back to the generating set consisting of @xmath237 and @xmath238 , we get the presentation @xmath758 .    *
2240 * : free group of rank @xmath134 .
the automaton generating this group first appeared in  @xcite .
it is proved in  @xcite that @xmath759 is a free group of rank 3 with basis @xmath608 .
this is the smallest example of a free nonabelian group among all automata over a @xmath221-letter alphabet ( see theorem  [ thm : class_free ] ) .
all generators have order @xmath221 .
let @xmath762 and @xmath763 and let @xmath764 . then @xmath765 and @xmath766 .
it is easy to check that @xmath50 and @xmath65 commute and that @xmath530 is self - replicating .
the matrix of the associated virtual endomorphism is given by @xmath767 since the eigenvalues @xmath768 are not algebraic integers , according to  @xcite @xmath530 is free abelian of rank 2 .
the subgroup @xmath530 is normal of index 2 in @xmath761 because the generators of @xmath761 are of order @xmath221 .
thus @xmath769 , where the action of @xmath770 on @xmath530 is by inversion of the generators .
for any vertex @xmath128 , we have @xmath772 , @xmath773 and @xmath774 , for @xmath775 .
therefore , for any vertex @xmath776 , @xmath777 and the forward orbit of @xmath658 under @xmath237 is infinite , because the length of the non - zero prefix grows by 2 with each application of @xmath237 .
thus @xmath237 has infinite order .
the subsemigroup @xmath787 is free .
indeed , let @xmath53 be a nonempty word in @xmath788 .
if @xmath789 in @xmath690 , then @xmath53 contains both @xmath237 and @xmath238 , because they both have infinite order .
suppose the length of @xmath53 is minimal among all nonempty words over @xmath790 representing the identity element in @xmath690 .
then one of the projections of @xmath53 will be shorter than @xmath53 , nonempty , and will represent the identity in @xmath690 , which contradicts the minimality assumption .
thus @xmath791 in @xmath690 , for any nonempty word in @xmath788 .      1 .
if @xmath53 ends in @xmath794 then @xmath559 is a word that is shorter than @xmath53 ending in @xmath237 , while @xmath795 is a word not longer than @xmath41 ending in @xmath238 . since @xmath796 in @xmath690 and @xmath797
, we have a contradiction .
if @xmath53 ends in @xmath798 then @xmath799 is a word shorter than @xmath53 ending in @xmath238 , while @xmath626 is a word not longer than @xmath41 ending in @xmath237 . since @xmath800 in @xmath690 and @xmath801
, we have a contradiction .
3 .   if @xmath802 then @xmath803 in @xmath63 and @xmath626 is a nonempty word , which is impossible , as already proved above .
it is proved in  @xcite that @xmath450 is generated by @xmath808 and @xmath809 .
we have then @xmath810 .
conjugate the right hand side of the wreath recursion by @xmath811 to obtain a copy of @xmath450 given by @xmath812 , @xmath813 and @xmath814 ( this is equivalent to conjugating by @xmath815 in @xmath816 ) .
this shows that @xmath807 is isomorphic to @xmath450 via the isomorphism @xmath817 and @xmath818 .
moreover , they are conjugate by the element @xmath819 , where @xmath820 ( this is the automorphism of the tree changing all letters which stand on even places ) .      the group @xmath807 is contained in @xmath577 as a subgroup of index @xmath221 ( see @xmath577 ) .
it contains the torsion free subgroup @xmath530 mentioned in the discussion of @xmath577 as subgroup of index 2 and is a weakly branch group over @xmath596 .
all schreier graphs on the boundary of the tree have polynomial growth of degree @xmath221
. diameters of schreier graphs on the levels grow as @xmath822 ( see  @xcite for details ) .
laurent bartholdi and rostislav  i. grigorchuk .
lie methods in growth of groups and groups of finite width . in michael  atkinson et  al . , editor , _ computational and geometric aspects of modern algebra _ , volume 275 of _ london math .
_ , pages 127 .
cambridge univ . press ,
cambridge , 2000 .
laurent  i. bartholdi and zoran unik . some solvable automaton groups . in _
topological and asymptotic aspects of group theory _ ,
volume 394 of _ contemp .
_ , pages 1129 .
soc . , providence , ri , 2006 .
steven  c. ferry , andrew ranicki , and jonathan rosenberg . a history and survey of the novikov conjecture . in _
novikov conjectures , index theorems and rigidity , vol .  1 ( oberwolfach , 1993 ) _ , volume 226 of _ london math .
lecture note ser .
_ , pages 766 .
cambridge univ . press ,
cambridge , 1995 .
rostislav  i. grigorchuk and andrzej uk .
spectral properties of a torsion - free weakly branch group defined by a three state automaton . in _
computational and statistical group theory ( las vegas , nv / hoboken , nj , 2001 ) _ , volume 298 of _ contemp .
_ , pages 5782 .
soc . , providence , ri , 2002 .
wolfgang lck . , volume  44 of _ ergebnisse der mathematik und ihrer grenzgebiete .
3 . folge . a series of modern surveys in mathematics [ results in mathematics and related areas .
3rd series .
a series of modern surveys in mathematics]_. springer - verlag , berlin , 2002 .
v.  nekrashevych and s.  sidki .
automorphisms of the binary tree : state - closed subgroups and dynamics of @xmath825-endomorphisms .
volume 311 of _ london math .
_ , pages 375404 .
cambridge univ . press , 2004 .