Find a first order sentence in $\mathcal{L}=\{0,+\}$ which is satisfied by exactly one of $\mathbb{Z}\oplus \mathbb{Z}$ and $\mathbb{Z}$ I'm re-reading some material and came to a question, paraphrased below:
Find a first order sentence in $\mathcal{L}=\{0,+\}$ which is satisfied by exactly one of the structures $(\mathbb{Z}\oplus \mathbb{Z}, (0,0), +)$ and $(\mathbb{Z}, 0, +)$.
At first I was thinking about why they're not isomorphic as groups, but the reasons I can think of mostly come down to $\mathbb{Z}$ being generated by one element while $\mathbb{Z}\oplus \mathbb{Z}$ is generated by two, but I can't capture this with such a sentence.
I'm growing pessimistic about finding a sentence satisfied in $\mathbb{Z}\oplus \mathbb{Z}$ but not in the other, since every relation I've thought of between some vectors in the plane seems to just be satisfied by integers, seen by projecting down on an axis.
In any case, this is getting kind of frustrating because my guess is there should be some simple statement like "there exists three nonzero vectors that add to 0 in the plane, but there doesn't exist three nonzero numbers that add to 0 in the integers" (note: this isn't true).

Here's one:
$$
(\forall x)(\forall y)\Bigl[(\exists z)(x=z+z) \lor (\exists z)(y=z+z) \lor (\exists z)(x+y=z+z)\Bigr]
$$
This sentence is satisfied in $\mathbb{Z}$, since one of the numbers $x$, $y$, and $x+y$ must be even.  It isn't satisfied in $\mathbb{Z}\oplus\mathbb{Z}$, e.g. if $x=(1,0)$, $y=(0,1)$, and $x+y=(1,1)$.
