Let be a finitely generated group whose word balls have cardinality at most , and let be a finitely generated infinite-index subgroup. Then has polynomial growth of a group of degree at most . To prove this, let be finite generating sets of , and bound the -length of every -generator by . The infinite locally finite Schreier graph of left cosets of has at least vertices within radius . Choose representatives of those cosets with . The sets are disjoint and lie in . Therefore , which gives the claimed bound. In particular an infinite-index finitely generated subgroup cannot occur if the right side would force its nonempty word balls to shrink to zero cardinality.

Articles by others on the same topic (0)

There are currently no matching articles.