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: