We remedy an omission in the proof of Proposition 2.7 of the paper ‘Cohomology and profinite topologies for solvable groups of finite rank’, Bull. Aust. Math. Soc.86 (2012), 254–265. This proposition states that a solvable group with finite abelian section rank has merely finitely many subgroups of any given index.

Assume that G is a solvable group whose elementary abelian sections are all finite. Suppose, further, that p is a prime such that G fails to contain any subgroups isomorphic to Cp∞. We show that if G is nilpotent, then the pro-p completion map induces an isomorphism for any discrete -module M of finite p-power order. For the general case, we prove that G contains a normal subgroup N of finite index such that the map is an isomorphism for any discrete -module M of finite p-power order. Moreover, if G lacks any Cp∞-sections, the subgroup N enjoys some additional special properties with respect to its pro-p topology.

The automorphism group of a virtually polycyclic group $G$ is either virtually polycyclic or it contains a non-abelian free subgroup. We describe conditions on the structure of $G$ to decide which of the two alternatives occurs for $Aut(G).$