Torsion subgroups of elementary equivalent abelian groups are elementarily equivalent

From Groupprops
Revision as of 21:53, 19 August 2009 by Vipul (talk | contribs) (Created page with '==Statement== Suppose <math>G</math> and <math>H</math> are fact about::abelian groups that are elementarily equivalent. Then,…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

Suppose G and H are Abelian group (?)s that are elementarily equivalent. Then, their torsion subgroups, 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