group theory

I was talking with my supervisor a while ago and I came up with the following example of a group and subgroup meeting some particular criteria (which I've now forgotten). Let $A = \mathbb{Z}^{\omega}$ be the countably infinite direct product of the $1$-generated free abelian group.\\ Let $B =...