When is a torsionfree subgroup contained in a torsionfree direct summand? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T00:04:03Z http://mathoverflow.net/feeds/question/108354 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/108354/when-is-a-torsionfree-subgroup-contained-in-a-torsionfree-direct-summand When is a torsionfree subgroup contained in a torsionfree direct summand? Fred Rohrer 2012-09-28T15:34:22Z 2012-09-29T04:25:36Z <blockquote> <p>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$?</p> </blockquote> <p>I would already be happy with such a condition in case $F$ is free or $G$ is of finite type.</p> <p><em>Motivation:</em></p> <p>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 <code>$(R_g)_{g\in G}$</code>, 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 <code>$(R_{[\psi]})_h=\bigoplus_{g\in\psi^{-1}(h)}R_g$</code> for $h\in H$.</p> <p>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]}$.</p> <p>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$.</p> http://mathoverflow.net/questions/108354/when-is-a-torsionfree-subgroup-contained-in-a-torsionfree-direct-summand/108373#108373 Answer by Mohan for When is a torsionfree subgroup contained in a torsionfree direct summand? Mohan 2012-09-28T19:50:15Z 2012-09-28T19:50:15Z <p>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}$?</p> http://mathoverflow.net/questions/108354/when-is-a-torsionfree-subgroup-contained-in-a-torsionfree-direct-summand/108375#108375 Answer by Misha for When is a torsionfree subgroup contained in a torsionfree direct summand? Misha 2012-09-28T19:57:33Z 2012-09-29T04:25:36Z <p>Here is a counter-example in the case when $G$ is 2-generated. Let <code>$G=&lt;a&gt;\times &lt;b&gt;$</code> where $a$ has finite order $p>1$ and $b$ has infinite order. Let <code>$H=&lt;c&gt;$</code>, 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. </p> <p>Edit: Here are details for Will's comments:</p> <p>Suppose that $G=T\times R$, where $T$ is the torsion subgroup of $G$. Let $F\subset G$ be a torsion-free subgroup. </p> <p>Assume now that $F\subset \tilde{F}$, where $\tilde{F}$ is a direct torsion-free factor of $G$. Then it is easily seen that $G=T\times \tilde{F} \times L$. Thus, $G/F\cong T\times (\tilde{F}/F) \times L$ and the sequence <code>$$0\to T\to G/F\to G/&lt;F,T&gt;\to 0$$</code> clearly splits. Conversely, suppose that the above sequence splits. Then $G/F=T\times R$. Taking preimage of $1\times R$ under the homomorphism $G\to G/F\to T\times R$, we obtain a torsion-free subgroup $\tilde{F}\subset G$ which contains $F$. By construction $T$ maps isomorphically to $G/\tilde{F}$. Thus, $G=T\times \tilde{F}$. qed </p>