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.
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 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]).
A free R-module is a module that has a basis, or equivalently, one that is isomorphic to a direct sum of copies of the ring R. These are the modules that behave very much like vector spaces. Projective Projective modules are direct summands of free modules and share many of their desirable properties. Injective
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 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.
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!
A free module is a module that can be represented as a direct sum over its base ring, so free abelian groups and free -modules are equivalent concepts: each free abelian group is (with the multiplication operation above) a free -module, and each free -module comes from a free abelian group in this way. [21]