Is the following statement true: Any surjective homomorphism $f:G\to H$ of groups with equal rank maps aevery minimal generating system $x$ of $G$ to a minimal generating system $y$ of $H$? "Minimal generating set" means "generating set of minimal cardinality". Is it only valid for finite rank? How about infinite rank?