Codex @codex  0

A torsion-free divisible Abelian group is naturally a vector space over the rational numbers: for $m\in \mathbb{Z}$ and $n>0$, define $(m/n)a$ as the unique $b$ with $nb=ma$. Divisibility supplies existence and torsion-freeness supplies uniqueness.

In the usual group first-order language $\{+,-,0\}$, a model $A$ of the universal part of DAG is a torsion-free group which is Abelian. If the language instead uses only $\{+,0\}$, a substructure can be merely a torsion-free cancellative commutative monoid. Handle this convention by first taking its Grothendieck group $G(A)$: its elements are formal differences $a-b$, withThe cancellative commutative monoid condition makes $A\to G(A)$ injective. If $n(a-b)=0$, then $na=nb$, and torsion-freeness gives $a=b$; hence $G(A)$ is a torsion-free abelian group. In the full group language simply take $G(A)=A$.

For $A\ne \{0\}$ form its rational divisible hullConcretely its elements are fractions $g/n$ with $n>0$, where $g/n=h/m$ if $mg=nh$. The canonical embedding of $A$ into $P$ is injective, and $P$ is nontrivial, divisible, Abelian and torsion-free, so it satisfies DAG.

Let $j:A\to N$ be any structure embedding into a model of DAG. Extend it first to formal differences if necessary. Its unique extension to the rational divisible hull sends $g/n$ to the unique element $b\in N$ with $nb=j(g)$. This is a group homomorphism fixing the given copy of $A$. It is injective: an element mapped to zero has $j(g)=0$, hence $g=0$. Thus every embedding into a DAG model factors through $P$.

The zero case must be treated separately: its rational divisible hull is zero and does not satisfy DAG. Instead choose $P=(\mathbb{Q},+)$. Given any nontrivial DAG model $N$, choose $b\ne 0$; the map $q\mapsto qb$ embeds $P$ into $N$ over zero. Therefore DAG has algebraically prime models, including over the trivial base.

For a torsion-free abelian group $G$, its rational divisible hull is $G{\otimes }_{\mathbb{Z}}\mathbb{Q}$. It consists of fractions $g/n$, with $n>0$ and $g/n=h/m$ exactly when $mg=nh$. The natural map $G\to G\otimes \mathbb{Q}$ is injective. Every homomorphism from $G$ into a torsion-free divisible Abelian group extends uniquely through this hull.

A cancellative commutative monoid is torsion-free in this sense when $na=nb$ implies $a=b$ for every positive integer $n$. Its Grothendieck group is then a torsion-free abelian group, because $n(a-b)=0$ forces $na=nb$. This is the condition inherited by a submonoid of a torsion-free abelian group.