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]).
An element in the direct product is an infinite sequence, such as (1,2,3,...) but in the direct sum, there is a requirement that all but finitely many coordinates be zero, so the sequence (1,2,3,...) would be an element of the direct product but not of the direct sum, while (1,2,0,0,0,...) would be an element of both.
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.
Examples: A graded vector space is an example of a graded module over a field (with the field having trivial grading). A graded ring is a graded module over itself. An ideal in a graded ring is homogeneous if and only if it is a graded submodule. The annihilator of a graded module is a homogeneous ideal.
In algebra the addition used in the swindle is usually the direct sum of modules over a ring. Example: A typical application of the Eilenberg swindle in algebra is the proof that if A is a projective module over a ring R then there is a free module F with A ⊕ F ≅ F. [1] To see this, choose a module B such that A ⊕ B is free, which can be ...
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!
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