Embedding a torsion-free group into a divisible group, using compactness So the question of why an abelian torsion-free group can always be embedded in a divisible group has already been asked on this site; but I'm looking for a proof using the compactness theorem.
I have what one may call leads, but not a full solution.
Here's my attempt : let $G$ be an abelian torsion-free group, and let $L$ be the language of groups, to which we've added a constant symbol for each element in $G$. Let $T$ be the theory of abelian groups, with the tables of $G$ (i.e. if $g, h\in G$ and if $\underline{g}$ denotes the symbol added for $g$, then $T$ has the axiom $\underline{g}+\underline{h} = \underline{g+h}$). Then we consider, for each $n\in \mathbb{N}$ and $a\in G$, the following sentence $\Phi_{n,a} := \exists x, x+...+x = \underline{a}$ (where there are $n$ $x$'s). 
Let $\Sigma := T\cup \{\Phi_{n,a}, n\in \mathbb{N}, a\in G\}$. Through compactness, it is easily seen that $\Sigma$ is consistent (indeed it suffices to show that for any abelian group $H$ and any $a\in H$, $H$ can be embedded in an abelian group with an "$n$th root of $a$", which is done by taking $H(x)$ a formal abelian group generated by $H$ and $x$, then taking the quotient of $H(x)$ by the subgroup $\langle n\cdot x - a\rangle$).
But this is where I get stuck : what I now have is a group $H$ in which $G$ can be embedded, and in which every element of $G$ has an $n$th root. The first problem is that $H$ need not be torsion-free and so the root in question may not be unique. This is a problem since my next idea was to take the intersection of all subgroups of $H$ which have roots for all elements of $G$, and then showing that this would work, but I can't.. 
Any indications ?
 A: Instead, let $T$ be the theory of t.f. (torsion-free) abelian groups, enriched with the diagram of $G$ (for $g,h\in G$, add as axioms: $\underline{g+h}=\underline{g}+\underline{h}$ and, if $g\ne h$, also $\underline{g}\ne\underline{h}$), and let $\Sigma$ be the theory $T\cup \{\Phi_{n,a}\,| \, n\in \mathbb{N} \, \& \, a\in G\}$ as before.
Let $\Delta\subseteq\Sigma$ be finite. It contains finitely many sentences of the form $\Phi_{n,a} = \exists x, n.x = \underline{a}$. We treat them one by one. Given $n\in\mathbb{N}$ and $a\in G$, if $n=1$ we may skip $\Phi_{n,a}$. If not, factorize $n$ as $n=p_{1}p_{2}\cdots p_{r}$ with the $p_{i}$ prime (but not necessarily different, of course).
Start with $p:=p_{1}$, and let $H$ be our current t.f. abelian group (initially, we take $H:=G$), which we extend step by step. And let $b:=a$ be our current "working element" in $H$.
If $\exists x\in H, p.x = b$, do nothing; H is unchanged, and is still t.f.
If no such $x$ exists in $H$, let $K:=H\oplus\mathbb{Z}/<(b,-p)>$ (this is your $H(x)/<px-b>$). Then $H\subseteq K$ via $h\mapsto \overline{(h,0)}$, and we identify $H$ with it's image in $K$. The element $x:=\overline{(0,1)} \in K$ satisfies $p.x=\overline{(0,p)}=\overline{(b,0)}=b$. The group $K$ remains t.f.: suppose $s.\overline{(h,m)}=0$ in $K$ for some $s\in\mathbb{N},h\in H, m\in\mathbb{Z}$. Then $\overline{(s.h,s.m)}=0$, so $(s.h,s.m)\in <(b,-p)>\subseteq H\oplus\mathbb{Z}$, so $s.h=i.b$ and $s.m=-i.p$ for some $i\in\mathbb{Z}$. Then $(-ip)h=(sm)h=m.(sh)=i.m.b$; as $H$ is t.f, it follows that $-p.h=m.b$. If $p$ does not divide $m$, one has $1=u.p+v.m$ for suitable integers $u,v$, so $b=upb+vmb=upb-vph=p.(ub-vh)$ is a multiple of $p$ in $H$ after all - contradiction. Hence $p$ divides $m$, so $m=p.j$, say, and we find $-p.h=m.b= p.j.b$, so $-h=j.b$, and $\overline{(h,m)}=\overline{(-j.b,j.p)}=-j.\overline{(b,-p)}=-j.0=0$ in $K$. I.e., $K$ is indeed torsion-free. We now let our working group $H:=K$.
We take our new $b$ to be the unique $x\in H$ such that $p.x=b$ (our previous $b$), and we proceed to $p:=p_{2}$, the next prime factor of $n$, and argue in the same way. So if $\exists x\in H, p.x = b$, do nothing, and otherwise add a "$p$th root" of $b$ as above.
After finitely many steps we arrive at an $H\models T\cup \{\Phi_{n,a}\}$, and clearly we can continue in this way for the remaining $\Phi_{n',a'}$, to get a model $H\models \Delta$.
Using Compactness, we find a t.f. abelian group $H$ that contains $G$ and has the property that for every $a\in G$ and $n\in\mathbb{N}$, $H$ has an element $x$ such that $n.x=a$. The subgroup $H_{0}:=\{x\in H | \exists n\in\mathbb{N},n.x\in G \}$ clearly is t.f as well, contains $G$, and is divisible.
