7
$\begingroup$

Can anyone give me a reference to the aforementioned theorem? W. Hodges uses it for an example in his "Model Theory", but I couldn't find anything on it yet.

The group may be (let's say, countably) infinite, the direct sum will then be infinite, too, of course. The "exponent" of a group is defined here as $\sup_{g \in G} \mathopen|G.g\mathclose|$

  • 1
    The moderators have merged your two accounts. If @Steve would post his answer as an answer, you can accept it. Otherwise, if would also be nice if you give a some-what detailed account of the proof below yourself and accept that as the answer. Cheers.2011-07-24

1 Answers 1

5

It's called Prüfer's first theorem and I found it on page 173 in

A. G. Kurosh: The Theory of Groups, Volume One, Second English Edition. Chelsea Publishing Company, New York 1960