Skip to main content
2 of 4
added 334 characters in body
Arturo Magidin
  • 7.2k
  • 1
  • 42
  • 60

The answer for (2) is "no". Take $G$ to be the relatively free group of class $2$ and rank $k$ (isomorphic to $F_k/(F_k)_3$, where $F_k$ is the free group of rank $k$ and $(F_k)_3$ is the third term of the lower central series of $G$). Then $G^{\rm ab}\cong \mathbb{Z}^k$. Let $H=[G,G]$; then $H$ is free abelian of rank $\binom{k}{2}$. Pick $k\gt 3$ to get that the rank of $H/[H,H]$ is greater than the rang of $G/[G,G]$. If you want to exclude the case where $H$ is abelian itself, just add two of the original generators to the commutator subgroup so the abelianization is of rank $2+\binom{k-1}{2}$.

For the modified version of (2) (see comments), it is still not true that $\mathrm{rank}(Z_H)\leq \mathrm{rank}(Z_G)$. Take $G$ as above; then $Z_G=[G,G]$ is free abelian of rank $\binom{k}{2}$. Take $H=\langle [G,G], x_1\rangle$, where $x_1$ is one of the free generators of $G$. Then $H$ is free abelian of rank $\binom{k}{2}+1$.

Arturo Magidin
  • 7.2k
  • 1
  • 42
  • 60