Search results
Results from the WOW.Com Content Network
In abstract algebra, the direct sum is a construction which combines several modules into a new, larger module. The direct sum of modules is the smallest module which contains the given modules as submodules with no "unnecessary" constraints, making it an example of a coproduct. Contrast with the direct product, which is the dual notion.
A decomposition with local endomorphism rings [5] (cf. #Azumaya's theorem): a direct sum of modules whose endomorphism rings are local rings (a ring is local if for each element x, either x or 1 − x is a unit). Serial decomposition: a direct sum of uniserial modules (a module is uniserial if the lattice of submodules is a finite chain [6]).
The biproduct is again the direct sum, and the zero object is the trivial vector space. More generally, biproducts exist in the category of modules over a ring. On the other hand, biproducts do not exist in the category of groups. [4] Here, the product is the direct product, but the coproduct is the free product.
In more technical language, if the summands are (), the direct sum is defined to be the set of tuples () with such that = for all but finitely many i. The direct sum is contained in the direct product, but is strictly smaller when the index set is infinite, because an element of the direct product can have infinitely many nonzero coordinates.
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 ...
If is a module that satisfies the ACC and DCC on submodules (that is, it is both Noetherian and Artinian or – equivalently – of finite length), then is a direct sum of indecomposable modules. Up to a permutation, the indecomposable components in such a direct sum are uniquely determined up to isomorphism.
A direct sum of modules is a module that is the direct sum of the underlying abelian group together with component-wise scalar multiplication. dual module The dual module of a module M over a commutative ring R is the module Hom R ( M , R ) {\displaystyle \operatorname {Hom} _{R}(M,R)} .
In abstract algebra, a module is indecomposable if it is non-zero and cannot be written as a direct sum of two non-zero submodules. [1] [2]Indecomposable is a weaker notion than simple module (which is also sometimes called irreducible module): simple means "no proper submodule" N < M, while indecomposable "not expressible as N ⊕ P = M".