Let $F$ be a torsionfree subgroup of a commutative group $G$. Are there nontrivial conditions known under which there exists a torsionfree direct summand of $G$ containing $F$?

I would already be happy with such a condition in case $F$ is free or $G$ is of finite type.

Motivation:

We consider a property $\mathcal{P}$ of graded rings and its behaviour under coarsening. Given an epimorphism of commutative groups $\psi:G\rightarrow H$ and a $G$-graded ring $R$ with $G$-graduation $(R_g)_{g\in G}$, the $\psi$-coarsening $R_{[\psi]}$ of $R$ is the $H$-graded ring with underlying ring the ring underlying $R$ and with $H$-graduation given by $(R_{[\psi]})_h=\bigoplus_{g\in\psi^{-1}(h)}R_g$ for $h\in H$.

Suppose we know that $\mathcal{P}$ is reflected by $\psi$-coarsening for every $\psi$, i.e., if $R_{[\psi]}$ has $\mathcal{P}$ then so does $R$, and that if $\ker(\psi)$ is a torsionfree direct summand of $G$ then $\mathcal{P}$ is respected by $\psi$-coarsening, i.e., if $R$ has $\mathcal{P}$ then so does $R_{[\psi]}$.

Then, we want to know whether $\mathcal{P}$ is also respected by $\psi$-coarsening if $\ker(\psi)$ is torsionfree but not necessarily a direct summand of $G$. And this would follow immediately if $\ker(\psi)$ is contained in a torsionfree direct summand of $G$.

I think this is the same as the splitting of the exact sequence $0 \to T \to G/F \to G/(F,T) \to 0$
–
Will SawinSep 28 '12 at 17:11

@Misha: Even if the torsion subgroup of $G$ is a direct summand of $G$ the answer to my question is - to me - totally unclear. @Will: No idea what you mean.
–
Fred RohrerSep 28 '12 at 17:17

Oh sorry I mistakenly had a longer thing and thought if I deleted some of it, it would still be readable. $T$ is supposed to be the torsion subgroup of $G$. $G$ and $F$ are as in the question.
–
Will SawinSep 28 '12 at 20:50

Will is correct, his condition is necessary and sufficient: The round brackets is Will's notation for "subgroup generated by". MathJax does not like inequality signs which one would ordinarily use.
–
MishaSep 28 '12 at 20:51

2 Answers
2

Here is a counter-example in the case when $G$ is 2-generated. Let $G=<a>\times <b>$ where $a$ has finite order $p>1$ and $b$ has infinite order. Let $H=<c>$, where $c=ab^p$. Then the infinite cyclic group $H$ is not contained in a free factor of $G$. Indeed, otherwise, $c$ admits $p$-th root: $c=x^p$. Then $x=a^n b$, but $x^p=(a^{pn} b^p)=b^p$. Contradiction.

Edit: Here are details for Will's comments:

Suppose that $G=T\times R$, where $T$ is the torsion subgroup of $G$.
Let $F\subset G$ be a torsion-free subgroup.

For clarity, I would emphasize the torsion free assumption and say "where Ftilde is a direct torsion free factor". It then reinforces that you are doing an iff. Gerhard "Ask Me About System Design" Paseman, 2012.09.28
–
Gerhard PasemanSep 29 '12 at 3:36

@Wei: Assume that $\tilde{H}$ is a direct torsion-free factor containing $H$. Then $\tilde{H}$ has to be infinite cyclic. Dividing $G$ by the torsion subgroup $T=<a>$, we see that $\tilde{H}$ has to map onto $G/T$. Since the image of $H$ in $G/T$ has index $p$, it follows that $|\tilde{H}:H|=p$ as well. Hence, $c$ admits a $p$-th root.
–
MishaSep 29 '12 at 5:12

This is always true if $G$ is a finitely generated abelian group. Careful reading of the proof of the structure theorem for finitely generated abelian groups should clarify this. If it not finitely generated, then no easy condition comes to mind. For, example, how should one avoid a case like $\mathbb{Z}\subset\mathbb{Q}$?