Search results
Results from the WOW.Com Content Network
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 ...
The direct sum is a submodule of the direct product of the modules M i (Bourbaki 1989, §II.1.7). The direct product is the set of all functions α from I to the disjoint union of the modules M i with α(i)∈M i, but not necessarily vanishing for all but finitely many i. If the index set I is finite, then the direct sum and the direct product ...
For any non-negative integer n, =, the cartesian product of n copies of R as a left R-module, is free. If R has invariant basis number, then its rank is n. A direct sum of free modules is free, while an infinite cartesian product of free modules is generally not free (cf. the Baer–Specker group).
The direct sum and direct product are not isomorphic for infinite indices, where the elements of a direct sum are zero for all but for a finite number of entries. They are dual in the sense of category theory : the direct sum is the coproduct , while the direct product is the product.
For example, the coproduct in the category of groups, called the free product, is quite complicated. On the other hand, in the category of abelian groups (and equally for vector spaces), the coproduct, called the direct sum, consists of the elements of the direct product which have only finitely many nonzero terms. (It therefore coincides ...
In mathematics, the Kronecker product, sometimes denoted by ⊗, is an operation on two matrices of arbitrary size resulting in a block matrix.It is a specialization of the tensor product (which is denoted by the same symbol) from vectors to matrices and gives the matrix of the tensor product linear map with respect to a standard choice of basis.
Consider now the exterior product of and : = (+) (+) = + + + = (), where the first step uses the distributive law for the exterior product, and the last uses the fact that the exterior product is an alternating map, and in particular = (). (The fact that the exterior product is an alternating map also forces = =
The direct product of groups consists of tuples of an element from each group in the product, with componentwise addition. The direct product of two free abelian groups is itself free abelian, with basis the disjoint union of the bases of the two groups. [8] More generally the direct product of any finite number of free abelian groups is free ...