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 Remak decomposition, introduced by Robert Remak, [3] is a decomposition of an abelian group or similar object into a finite direct sum of indecomposable objects. The Krull–Schmidt theorem gives conditions for a Remak decomposition to exist and for its factors to be unique.
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]).
Let R be a ring (associative, with 1), let M be a (left) module over R, let P be a submodule of M and let i: P → M be the natural injective map. Then P is a pure submodule of M if, for any (right) R-module X, the natural induced map id X ⊗ i : X ⊗ P → X ⊗ M (where the tensor products are taken over R) is injective.
For an R-module M, M is semi-simple if and only if it is the direct sum of simple modules (the trivial module is the empty direct sum). Finally, R is called a semi-simple ring if it is semi-simple as an R-module. As it turns out, this is equivalent to requiring that any finitely generated R-module M is semi-simple. [3]
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 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