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: (,) (,).
The resulting algebraic object satisfies the axioms for a group. Specifically: Associativity The binary operation on G × H is associative. Identity The direct product has an identity element, namely (1 G, 1 H), where 1 G is the identity element of G and 1 H is the identity element of H.
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]
More generally, is called the direct sum of a finite set of subgroups, …, of the map = is a topological isomorphism. If a topological group G {\displaystyle G} is the topological direct sum of the family of subgroups H 1 , … , H n {\displaystyle H_{1},\ldots ,H_{n}} then in particular, as an abstract group (without topology) it is also the ...
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
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.