Prüfer theorems

In mathematics, two Prüfer theorems, named after Heinz Prüfer, describe the structure of certain infinite abelian groups. They have been generalized by L. Ya. Kulikov.

Statement

Let A be an abelian group. If A is finitely generated then by the fundamental theorem of finitely generated abelian groups, A is decomposable into a direct sum of cyclic subgroups, which leads to the classification of finitely generated abelian groups up to isomorphism. The structure of general infinite abelian groups can be considerably more complicated and the conclusion needs not to hold, but Prüfer proved that it remains true for periodic groups in two special cases.

The first Prüfer theorem states that an abelian group of bounded exponent is isomorphic to a direct sum of cyclic groups. The second Prüfer theorem states that a countable periodic abelian group whose elements have finite height is isomorphic to a direct sum of cyclic groups. Examples show that the assumption that the group be countable cannot be removed.

The two Prüfer theorems follow from a general criterion of decomposability of an abelian group into a direct sum of cyclic subgroups due to L. Ya. Kulikov.

An abelian p-group A is isomorphic to a direct sum of cyclic groups if and only if it is a union of a sequence {Ai} of subgroups with the property that the heights of all elements of Ai are bounded by a constant (possibly depending on i).

References

László Fuchs (1970), Infinite abelian groups, Vol. I. Pure and Applied Mathematics, Vol. 36. New York–London: Academic Press MR 0255673
Kurosh, A. G. (1960), The theory of groups, New York: Chelsea, MR 0109842

This article is issued from Wikipedia - version of the 5/14/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.