Abstract

Let denote the inverse limit of all finite cyclic groups. Let F, G and H be abelian groups with H ≤ G. Let FβH denote the abelian group (F × H, +β), where +βis defined by (a, x) +β (b, y) = (a + b, x + y + β(a) + β(b) — β(a + b)) for a certain β : F → G linear mod H meaning that β(0) = 0 and β(a) + β(b) — β(a + b) ∈ H for all a, b in F. In this paper we show that the following hold: (1) The additive group of any nonstandard model ℤ* of the ring ℤ is isomorphic to (ℤ*+/H)βH for a certain β : ℤ*+/H → linear mod H. (2) is isomorphic to (ℤ+/H )βH for some β : /H →ℚ linear mod H, though is not the additive group of any model of Th(ℤ, +, ×) and the exact sequence H → → /H is not splitting.