Commutative Algebra – Is Q/Z Artinian as a Z-Module?

abelian-groupscommutative-algebramodulesproof-verification

I'm confused.

Is $\Bbb Q/\Bbb Z$ artinian as a $\Bbb Z$-module?

We know that $\Bbb Z_{p^{\infty}} \subset \Bbb Q/\Bbb Z$ is artinian. The following argument is true or not ?

$\mathbb Q / \mathbb Z$ (as $\mathbb Z$-module):
subgroups of $\mathbb Q / \mathbb Z$ look like $(\frac{1}{n})$, the subgroup generated by $\frac1n$. If we have $(\frac1n) \supset (\frac1m)$ we know that $m$ divides $n$ so if $(\frac{1}{n_1}) \supset (\frac{1}{n_2}) \supset \dots$ is a decreasing chain it eventually becomes stationary because there are only a finite number of divisors of $n_1$. Hence $\mathbb Q / \mathbb Z$ is Artinian.

Best Answer

Starting from all of $\Bbb Q/\Bbb Z$, you can successively forbid all fractions whose denominator contains a factor $2$, then factors $3$, $5$, and so forth. This gives an infinite decreasing chain, and the module is not Artinian.