Search results
Results From The WOW.Com Content Network
A free module is a module that can be represented as a direct sum over its base ring, so free abelian groups and free -modules are equivalent concepts: each free abelian group is (with the multiplication operation above) a free -module, and each free -module comes from a free abelian group in this way. [21]
The fundamental theorem of finite abelian groups states that every finite abelian group can be expressed as the direct sum of cyclic subgroups of prime-power order; it is also known as the basis theorem for finite abelian groups. Moreover, automorphism groups of cyclic groups are examples of abelian groups. [13]
The fundamental theorem of finitely generated abelian groups can be stated two ways, generalizing the two forms of the fundamental theorem of finite abelian groups.The theorem, in both forms, in turn generalizes to the structure theorem for finitely generated modules over a principal ideal domain, which in turn admits further generalizations.
A non-finitely generated countable example is given by the additive group of the polynomial ring [] (the free abelian group of countable rank). More complicated examples are the additive group of the rational field Q {\displaystyle \mathbb {Q} } , or its subgroups such as Z [ p − 1 ] {\displaystyle \mathbb {Z} [p^{-1}]} (rational numbers ...
Then Q is a torsion-free Z-module which is not free. Another classical example of such a module is the Baer–Specker group, the group of all sequences of integers under termwise addition. In general, the question of which infinitely generated torsion-free abelian groups are free depends on which large cardinals exist.
Every elementary abelian p-group is a vector space over the prime field with p elements, and conversely every such vector space is an elementary abelian group. By the classification of finitely generated abelian groups, or by the fact that every vector space has a basis, every finite elementary abelian group must be of the form (Z/pZ) n for n a ...
Even if A is not finitely generated, the size of its torsion-free part is uniquely determined, as is explained in more detail in the article on rank of an abelian group. An abelian group A is torsion-free if and only if it is flat as a Z-module, which means that whenever C is a subgroup of some abelian group B, then the natural map from the ...
The second Prüfer theorem states that a countable abelian p-group whose non-trivial elements have finite p-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 ...