Gromov's theorem on groups of polynomial growth (source code)

= Gromov's theorem on groups of polynomial growth
{c}
{wiki}

= Gromov theorem on groups of polynomial growth
{c}
{synonym}

Every finitely generated <group> of <polynomial growth of a group> has a <virtually nilpotent group> structure. Applying the <one-scale virtual nilpotence theorem> gives a finite normal subgroup with nilpotent quotient; centralizing that finite subgroup produces a nilpotent subgroup of finite index.