06eb82c74c04e6d7.tex
1: \begin{abstract}
2: We first prove that if $\mathcal{Z}$ is a dp-minimal expansion of
3: $\left(\mathbb{Z},+,0,1\right)$ which is not interdefinable with
4: $\left(\mathbb{Z},+,0,1,<\right)$, then every infinite subset of
5: $\Z$ definable in $\mathcal{Z}$ is generic in $\Z$. Using this,
6: we prove that if $\mathcal{Z}$ is a dp-minimal expansion of $\left(\mathbb{Z},+,0,1\right)$
7: with monster model $G$ such that $G^{00}\neq G^{0}$, then for some
8: $\alpha\in\R\backslash\Q$, the cyclic order on $\Z$ induced by the
9: embedding $n\mapsto n\alpha+\Z$ of $\Z$ in $\R\big/\Z$ is definable
10: in $\cZ$. The proof employs the Gleason-Yamabe theorem for abelian
11: groups.
12: \end{abstract}
13: