Recently, I read that two free abelian groups $S$ and $T$ have the same elementary theory if and only if rank$S$=rank$T$. Does anyone have a reference with a proof of this? Also, what is known about the elementary theory of non-abelian free semigroups? I know that non-abelian free groups of finite rank have the same elementary theory; does this imply the analogous statement for free semigroups? Thanks!



need references regarding the elementary theory of free semigroup and free abelian groups
Two finitely generated free semigroups of different ranks have different elementary theories. Indeed, the set of elements $x$ such that $\forall z,t \neg(x=zt)$ is exactly the set of generators of the free semigroup. So the rank of a finitely generated free semigroup is elementary definable. 


For the free Abelian group of rank $n$ the formula distinguishing it from any free Abelian group of rank $\gt n$ is this:


$$\exists x\_1,...,x\_{2^n} \forall y \exists z: yx\_1=z^2 \vee yx\_2=z^2 \vee ... \vee yx\_{2^n}=z^2$$
(we enumerate the subsets of the set of generators and for the subset number $i$ we denote the product of generators from that subset by $x\_i$). It is easy to see that this formula holds in every free Abelian group of rank $\le n$ and does not hold if the rank is $\gt n$. For $n=1$ this is the same formula as in the answer of Henry Wilton. 


The standard reference for elementary classification of Abelian groups is Szmielew, W.
Elementary properties of Abelian groups. Fund. Math. 41 (1955), 203–271. A shorter proof can be found in Kargapolov, M. I. On the elementary theory of Abelian groups. 
Algebra i Logika Sem. 1 1962/1963 no. 6, 26–36 and Eklof, Paul C.; Fischer, Edward R.
The elementary theory of abelian groups. Ann. Math. Logic 4 (1972), 115–171 and Zakon, Elias
Model-completeness and elementary properties of torsion free abelian groups.
Canad. J. Math. 26 (1974), 829–840 (for torsion-free groups). 


