Residually finite abelian group

Definition
A residually finite abelian group is a group satisfying the following equivalent conditions:


 * 1) It is both residually finite and abelian.
 * 2) It is both conjugacy-separable and abelian.