For an abelian torsion group of finite exponent, i.e. there is an integer $n$ such that $g^n=1$ for all $g\in G$, its theory appears to be $\aleph_0$-categorical by the theorem of Engeler, Ryll-Nardzewski and Svenonius. I want to confirm this fact.
Is an abelian group of bounded exponent $\aleph_0$-categorical
Eugene Zhang
- 663
- 5
- 15