Any nonzero finite abelian $ p $ - group is the additive group of a commutative local ring.
Proof : Let $ G $ be such a group, by the structure theorem you can write it as $ \mathbb{Z}/p^k \mathbb{Z} \times M $ where $ p^k = \exp (G) $. Then $ M $ naturally has the structure of a $ \mathbb{Z}/p^k \mathbb{Z} $ - module.
Now define a multiplication on $ G $ by $ (x, m)(y, n) := (xy, ym + xn) $. Clearly $ (1,0) $ is a unity.
Now let's prove it's local with maximal ideal $ \{ (x,m) \mid p $ divides $x \} $.
Indeed clearly this is a proper ideal, and now if $ p $ doesn't divide $ x $ then $ x $ is invertible modulo $ p^k $, let $ y $ be its inverse. Then $(x,m) (y, -y^2m) = (xy, -xy^2m + ym) = (1,0) $ so $ (x,m) $ is invertible : therefore the complement of our ideal is the set of nonunits, which implies that our ring is local.
This example can be generalized of course : whenever $ R $ is a ring, $ M $ an $ R $ - module, you can "adjoin" $ M $ as an ideal to $ R $, this is where my construction comes from.