A tag module is a generalization, in any abelian category, of a torsion abe
lian group. The theory of such modules is developed, it is shown that count
ably generated tag modules are simply presented, and that Ulm's theorem hol
ds for simply presented tag modules. Zippin's theorem is stated and proved
for countably generated tag modules.