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 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.
A module is called torsionless if it embeds into its algebraic dual. Simple A simple module S is a module that is not {0} and whose only submodules are {0} and S. Simple modules are sometimes called irreducible. [5] Semisimple A semisimple module is a direct sum (finite or not) of simple modules.
Algebraic characters are defined for locally-finite weight modules and are additive, i.e. the character of a direct sum of modules is the sum of their characters.On the other hand, although one can define multiplication of the formal exponents by the formula = + and extend it to their finite linear combinations by linearity, this does not make into a ring, because of the possibility of formal ...
The direct sum of two nonzero uniform modules always contains two submodules with intersection zero, namely the two original summand modules. If N 1 and N 2 are proper submodules of a uniform module M and neither submodule contains the other, then M / ( N 1 ∩ N 2 ) {\displaystyle M/(N_{1}\cap N_{2})} fails to be uniform, as
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!
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 ...