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 of a module is a way to express a module as a direct sum of submodules. dense dense submodule determinant The determinant of a finite free module over a commutative ring is the r-th exterior power of the module when r is the rank of the module. differential A differential graded module or dg-module is a graded module with a ...
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]).
More generally, a direct sum of torsionless modules is torsionless. A free module is reflexive if it is finitely generated, and for some rings there are also infinitely generated free modules that are reflexive. For instance, the direct sum of countably many copies of the integers is a reflexive module over the integers, see for instance. [1]
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
Every vector space is a free module, [1] but, if the ring of the coefficients is not a division ring (not a field in the commutative case), then there exist non-free modules. Given any set S and ring R, there is a free R-module with basis S, which is called the free module on S or module of formal R-linear combinations of the elements of S.
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