124ff1a33ff5b528.tex
1: \begin{abstract}
2:  
3:  Finding the number of maximal subgroups of infinite index of a finitely generated group is a natural problem that has been solved for several classes of ``geometric'' groups
4:  (linear groups, hyperbolic groups, mapping class groups, etc). 
5:  Here we provide a solution for a family of groups with a different geometric origin: groups of intermediate growth that act on rooted binary trees. 
6:  In particular, we show that the non-torsion iterated monodromy groups of the tent map 
7:  (a special case of some groups first introduced by {\v{S}}uni{\'c} in \cite{Sunic} as ``siblings of the Grigorchuk group'')
8:  have exactly countably many maximal subgroups of infinite index, and describe them up to conjugacy.
9:  This is in contrast to the torsion case (e.g.\ Grigorchuk group) where there are no maximal subgroups of infinite index. 
10:  It is  also in contrast to the above-mentioned geometric groups, where there are either none or uncountably many such subgroups. 
11:  
12:  Along the way we show that all the groups defined by {\v{S}}uni{\'c} have the congruence subgroup property and are just infinite. 
13: %  
14: %  
15: %  
16: %  
17: %  We show that each non-torsion {\v{S}}uni{\'c} group acting on the binary tree has exactly countably many finitely generated maximal subgroups of infinite index,
18: %  in contrast to the torsion examples (e.g., Grigorchuk group) which have no maximal subgroups of infinite index. 
19: %  Along the way we show that all {\v{S}}uni{\'c} groups (for all primes) are just infinite and have the congruence subgroup property.
20: \end{abstract}
21: