Ad
related to: rings modules and linear algebra 3rd sem
Search results
Results From The WOW.Com Content Network
In a module, the scalars need only be a ring, so the module concept represents a significant generalization. In commutative algebra, both ideals and quotient rings are modules, so that many arguments about ideals or quotient rings can be combined into a single argument about modules. In non-commutative algebra, the distinction between left ...
A type of a decomposition is often used to define or characterize modules: for example, a semisimple module is a module that has a decomposition into simple modules. Given a ring, the types of decomposition of modules over the ring can also be used to define or characterize the ring: a ring is semisimple if and only if every module over it is a ...
Every module over a division ring is a free module (has a basis); consequently, much of linear algebra can be carried out over a division ring instead of a field. The study of conjugacy classes figures prominently in the classical theory of division rings; see, for example, the Cartan–Brauer–Hua theorem.
The category of right modules is defined in a similar way. One can also define the category of bimodules over a ring R but that category is equivalent to the category of left (or right) modules over the enveloping algebra of R (or over the opposite of that). Note: Some authors use the term module category for the category of modules. This term ...
For example, a polynomial ring R[x] is finitely generated by {1, x} as a ring, but not as a module. If A is a commutative algebra (with unity) over R, then the following two statements are equivalent: [5] A is a finitely generated R module. A is both a finitely generated ring over R and an integral extension of R.
Noncommutative rings and associative algebras (rings that are also vector spaces) are often studied via their categories of modules. A module over a ring is an abelian group that the ring acts on as a ring of endomorphisms , very much akin to the way fields (integral domains in which every non-zero element is invertible) act on vector spaces.
If R is a ring, then any R-module is an R-semimodule. Conversely, it follows from the second, fourth, and last axioms that (-1)m is an additive inverse of m for all , so any semimodule over a ring is in fact a module. Any semiring is a left and right semimodule over itself in the same way that a ring is a left and right module over itself.
Let : be a homomorphism between two rings, and let be a module over .Consider the tensor product =, where is regarded as a left -module via .Since is also a right module over itself, and the two actions commute, that is (′) = ′ for , , ′ (in a more formal language, is a (,)-bimodule), inherits a right action of .