词条 | 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. StatementLet 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:
References
3 : Abelian group theory|Infinite group theory|Theorems in group theory |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。