1: \begin{abstract}

2: This paper is devoted to understand groups definable in Presburger arithmetic. We prove the following theorems:

3: 

4: \noindent Theorem $1$. Every group definable in a model of Presburger arithmetic is abelian- by-finite.

5: 

6: \noindent Theorem $2$ Every bounded abelian group definable in a model $(\mathbb{Z},+,<)$ of Presburger arithmetic is definably isomorphic to $(\mathbb{Z}, +)^{n}$ mod out by a lattice.

7: \end{abstract}

8: