Infinite index lowers a polynomial growth upper bound
ID: infinite-index-lowers-a-polynomial-growth-upper-bound
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.
New to topics? Read the docs here!