Let $A, B, C$ three groups such that $A \times C \cong B \times C$. I already know that if $A, B$ and $C$ are abelian and finite, then $A \cong B$. I think this result does not hold anymore if they are not supposed to be finite or abelian. Is it possible to give a counterexample ?
Thank you very much for the help !