We prove that two Abelian p-groups with separable reduced parts are isotypically equivalent if and only if their divisible parts and their basic subgroups are elementarily equivalent. Also as a corollary we prove that any Abelian p-group with a separable reduced part is ω-strongly homogeneous
No takes yet. Share an insight, caveat, or question.
E. I. Bunina (2024) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: