# Residually finite abelian group

## Definition

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

- It is both residually finite and abelian.
- It is both conjugacy-separable and abelian.

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism

View a complete list of group propertiesVIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

This page describes a group property obtained as a conjunction (AND) of two (or more) more fundamental group properties: residually finite group and abelian group

View other group property conjunctions OR view all group properties