17
$\begingroup$

I found this question in Arhangel'skii and Tkachenko's book Topological Groups and Related Structures. The first chapter of the book is devoted to algebraic preliminaries.

The question actually reads:

Give an example of an infinite abelian group all proper subgroups of which are finite.

What I have done is: Every element of this group has finite order, else we could find an infinite proper subgroup, namely the group generated by $x²$ if $x$ has infinite order.

I think this can be strengthened: every element should have a prime order. Although I haven't proved this.

Intuitively this group cannot be and infinite product of smaller groups, because you could take the product of the even group factors and find an infinite proper subgroup.

Well, this is it, a highly non-trivial problem. Thanks in advance.

  • 1
    You could look up the construction of a Tarski monster.2012-12-18
  • 0
    wow that answers it! Do you know where I can find such a construction?2012-12-18
  • 0
    "Every element of this group has finite order, else we could find an infinite proper subgroup, namely the group generated by $x^2$ if $x$ has infinite order." How can you be certain that $$ is a proper subgroup? Could it be the original group itself?2012-12-18
  • 0
    Tarski Monsters are not abelian groups, so they are not relevant to this problem.2012-12-18
  • 0
    They may not be abelian, but they have the most desired property. So it's a very good partial answer.2012-12-18
  • 0
    @Code-Guru if $x$ has infinite order, then it's impossible for $x$ to be a member of the group $\langle x^2\rangle$ - can you see why?2014-06-16
  • 0
    @BrettFrankel The construction of Tarski Monster groups is not easy - it uses a rather complicated "graded" small cancellation theory (but this is a useful tool for your toolbox, and is not too complicated in itself). It can be found in the book *The Geometry of Defining Relations in Groups* by A. Yu Ol'shanskii (1991 - translated from the Russian in 1994 I think). The book is easier than the original papers, for some value of "easier"...2014-06-16

2 Answers 2

10

More generally, you can show that the abelian groups whose proper subgroups are finite are precisely the Prüfer groups $\mathbb{Z}[p^{\infty}]$.

(Mentioned in Kaplansky's book, Infinite abelian groups, exercice 23.)

  • 0
    now is this a full answer?2013-10-22
29

Consider the set of all $2^n$-th roots of unity, as $n$ ranges over the non-negative integers. An infinite subgroup involves elements of arbitrarily high order, which generate everything below them.

  • 0
    Just checked. This is a perfect answer. So the problem was trivial after all.2012-12-18
  • 0
    In retrospect, at least not hard, if one thinks about the kind of tower we need.2012-12-18
  • 0
    Did not go that deep in group theory. just starting the incantations on that realm.2012-12-18
  • 0
    Now, does anyone know where I can find the construction of them Tarski monsters?2012-12-18
  • 0
    It is not clear to me how the last sentence holds.2013-05-02
  • 1
    @leo: There are $m$ $m$-th roots of unity, so for any infinite subgroup $A$, there must be a sequence $2{n_1}\lt 2^{n_2}\lt \cdots$ such that $A$ contains a primitive $2^{n_i}$-th root of unity. But if $k\lt n_i$, and $g$ is a primitive $2^{n_i}$-th root of unity, and $a$ is a $2^k$-th root of unity, then $a$ is a power of $g$.2013-05-02
  • 0
    Now I see. Under that hypothesis, it was just equate two things which are both 1. Thanks2013-05-02