Search results
Results from the WOW.Com Content Network
The group operation in the external direct sum is pointwise multiplication, as in the usual direct product. This subset does indeed form a group, and for a finite set of groups {H i} the external direct sum is equal to the direct product. If G = ΣH i, then G is isomorphic to Σ E {H i}. Thus, in a sense, the direct sum is an "internal ...
The direct sum is also commutative up to isomorphism, i.e. for any algebraic structures and of the same kind. The direct sum of finitely many abelian groups, vector spaces, or modules is canonically isomorphic to the corresponding direct product. This is false, however, for some algebraic objects, like nonabelian groups.
In the context of abelian groups, the direct product is sometimes referred to as the direct sum, and is denoted . Direct sums play an important role in the classification of abelian groups: according to the fundamental theorem of finite abelian groups , every finite abelian group can be expressed as the direct sum of cyclic groups .
An abelian group is called periodic or torsion, if every element has finite order. A direct sum of finite cyclic groups is periodic. Although the converse statement is not true in general, some special cases are known.
The primary decomposition formulation states that every finitely generated abelian group G is isomorphic to a direct sum of primary cyclic groups and infinite cyclic groups. A primary cyclic group is one whose order is a power of a prime. That is, every finitely generated abelian group is isomorphic to a group of the form
Here, Z/pZ denotes the cyclic group of order p (or equivalently the integers mod p), and the superscript notation means the n-fold direct product of groups. [2] In general, a (possibly infinite) elementary abelian p-group is a direct sum of cyclic groups of order p. [4] (Note that in the finite case the direct product and direct sum coincide ...
The coproduct in Ab is given by the direct sum; since Ab has cokernels, it follows that Ab is also cocomplete. We have a forgetful functor Ab → Set which assigns to each abelian group the underlying set, and to each group homomorphism the underlying function. This functor is faithful, and therefore Ab is a concrete category.
If the quotient group is torsion-free, the subgroup is pure. The torsion subgroup of an abelian group is pure. The directed union of pure subgroups is a pure subgroup. Since in a finitely generated abelian group the torsion subgroup is a direct summand, one might ask if the torsion subgroup is always a direct summand of an abelian group.