Search results
Results from the WOW.Com Content Network
In mathematics, a group G is called the direct sum [1] [2] of two normal subgroups with trivial intersection if it is generated by the subgroups. In abstract algebra, this method of construction of groups can be generalized to direct sums of vector spaces, modules, and other structures; see the article direct sum of modules for more information.
For an arbitrary family of groups indexed by , their direct sum [2] is the subgroup of the direct product that consists of the elements () that have finite support, where by definition, () is said to have finite support if is the identity element of for all but finitely many . [3] The direct sum of an infinite family () of non-trivial groups is ...
Direct sums are commutative and associative (up to isomorphism), meaning that it doesn't matter in which order one forms the direct sum. The abelian group of R-linear homomorphisms from the direct sum to some left R-module L is naturally isomorphic to the direct product of the abelian groups of R-linear homomorphisms from M i to L: (,) (,).
In mathematics, specifically in group theory, the direct product is an operation that takes two groups G and H and constructs a new group, usually denoted G × H.This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics.
The pushout of these maps is the direct sum of A and B. Generalizing to the case where f and g are arbitrary homomorphisms from a common domain Z, one obtains for the pushout a quotient group of the direct sum; namely, we mod out by the subgroup consisting of pairs (f(z), −g(z)). Thus we have "glued" along the images of Z under f and g.
The coproduct in the category of sets is simply the disjoint union with the maps i j being the inclusion maps.Unlike direct products, coproducts in other categories are not all obviously based on the notion for sets, because unions don't behave well with respect to preserving operations (e.g. the union of two groups need not be a group), and so coproducts in different categories can be ...
More generally, is called the direct sum of a finite set of subgroups, …, of the map = is a topological isomorphism. If a topological group is the topological direct sum of the family of subgroups , …, then in particular, as an abstract group (without topology) it is also the direct sum (in the usual way) of the family .
As well as the direct sum, another way to combine free abelian groups is to use the tensor product of -modules. The tensor product of two free abelian groups is always free abelian, with a basis that is the Cartesian product of the bases for the two groups in the product. [22]