# Torsion subgroups of elementary equivalent abelian groups are elementarily equivalent

From Groupprops

## Statement

Suppose and are Abelian group (?)s that are elementarily equivalent. Then, their Torsion subgroup (?)s, i.e., the subgroups comprising the elements that have finite order (also called periodic elements or torsion elements) are also elementarily equivalent groups.