Estoy seguro de que debe haber un montón de ejemplos de tres grupos (infinito) $A$, $B$, $C$ donde $A****
Aquí está un ejemplo con grupos libres: $\mathbf F(a^2,ab)
¿Pero hay ejemplos que son igual de fácil, pero no implican grupos libres (o construcciones equivalentes)?