Torsion subgroups of elementary equivalent abelian groups are elementarily equivalent

From Groupprops
Jump to: navigation, search

Statement

Suppose G and H 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.

Related facts