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 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)} .
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
An indecomposable module is a module that is not a direct sum of two nonzero submodules. Azumaya's theorem states that if a module has an decomposition into modules with local endomorphism rings , then all decompositions into indecomposable modules are equivalent to each other; a special case of this, especially in group theory , is known as ...
Torsionfree modules over a Dedekind domain are determined (up to isomorphism) by rank and Steinitz class (which takes value in the ideal class group), and the decomposition into a direct sum of copies of R (rank one free modules) is replaced by a direct sum into rank one projective modules: the individual summands are not uniquely determined ...
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 a finite projective module over a commutative local ring, the theorem is an easy consequence of Nakayama's lemma. [3] For the general case, the proof (both the original as well as later one) consists of the following two steps: Observe that a projective module over an arbitrary ring is a direct sum of countably generated projective modules.