5
$\begingroup$

Is the following question obvious ?

Let $G$ be an abelian group, such that for any finite abelian group $A$, we have $G\otimes_{\mathbf{Z}}A=0$, does it mean that $G$ is a $\mathbf{Q}$-vector space ?

$\endgroup$

closed as off-topic by Eevee Trainer, Cesareo, YiFan, Song, Antinous Mar 12 at 13:36

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Eevee Trainer, Cesareo, YiFan, Song, Antinous
If this question can be reworded to fit the rules in the help center, please edit the question.

8
$\begingroup$

You have $G\otimes(\Bbb Z/n\Bbb Z)=0$ for all $n\in \Bbb N$. That means $G/nG=0$, so $G=nG$, that is all elements of $G$ are divisible by $n$. Then $G$ is a divisible Abelian group. Conversely if $G$ is a divisible Abelian group, then $G\otimes(\Bbb Z/n\Bbb Z)=0$ and so $G\otimes A=0$ for all finitely generated Abelian groups.

But not all divisible Abelian groups are $\Bbb Q$-modules: they may have torsion. As an example, let $G=\Bbb Q/\Bbb Z$.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.