In abstract algebra, a bimodule is an abelian group that is both a left and a right module, such that the left and right multiplications are compatible. Besides appearing naturally in many parts of mathematics, bimodules play a clarifying role, in the sense that many of the relationships between left and right modules become simpler when they are expressed in terms of bimodules.
If R and S are two rings, then an R-S-bimodule is an abelian group such that:
M is a left R-module and a right S-module.
For all r in R, s in S and m in M:
An R-R-bimodule is also known as an R-bimodule.
For positive integers n and m, the set Mn,m(R) of n × m matrices of real numbers is an R-S-bimodule, where R is the ring Mn(R) of n × n matrices, and S is the ring Mm(R) of m × m matrices. Addition and multiplication are carried out using the usual rules of matrix addition and matrix multiplication; the heights and widths of the matrices have been chosen so that multiplication is defined. Note that Mn,m(R) itself is not a ring (unless n = m), because multiplying an n × m matrix by another n × m matrix is not defined. The crucial bimodule property, that (r.x).s = r.(x.s), is the statement that multiplication of matrices is associative (which, in the case of a matrix ring, corresponds to associativity).
Any algebra A over a ring R has the natural structure of an R-bimodule, with left and right multiplication defined by and respectively, where is the canonical embedding of R into A.
If R is a ring, then R itself can be considered to be an R-R-bimodule by taking the left and right actions to be multiplication—the actions commute by associativity. This can be extended to Rn (the n-fold direct product of R).
Any two-sided ideal of a ring R is an R-R-bimodule, with the ring multiplication both as the left and as the right multiplication.
Any module over a commutative ring R has the natural structure of a bimodule. For example, if M is a left module, we can define multiplication on the right to be the same as multiplication on the left.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In mathematics, the tensor product of modules is a construction that allows arguments about bilinear maps (e.g. multiplication) to be carried out in terms of linear maps. The module construction is analogous to the construction of the tensor product of vector spaces, but can be carried out for a pair of modules over a commutative ring resulting in a third module, and also for a pair of a right-module and a left-module over any ring, with result an abelian group.
In mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central concepts of homological algebra, in which ideas from algebraic topology are used to construct invariants of algebraic structures. The homology of groups, Lie algebras, and associative algebras can all be defined in terms of Tor. The name comes from a relation between the first Tor group Tor1 and the torsion subgroup of an abelian group.
In algebra, given a ring R, the category of left modules over R is the whose are all left modules over R and whose morphisms are all module homomorphisms between left R-modules. For example, when R is the ring of integers Z, it is the same thing as the . 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).
Algebraic geometry is the common language for many branches of modern research in mathematics. This course gives an introduction to this field by studying algebraic curves and their intersection theor
We provide a new description of the complex computing the Hochschild homology of an -unitary -algebra as a derived tensor product such that: (1) there is a canonical morphism from it to the complex computing the cyclic homology of that was introduced by Ko ...
The aim of this article is to provide explicit formulas for the cup product on the Hochschild cohomology of any nonnegatively graded connected algebra and for the cap products on the Hochschild homology of with coefficients in any graded bimodule at the le ...
Let k be a field of characteristic /=2 and let W(k) be the Witt ring of k and L a finite extension of k. If L/k is a Galois extension, then the image of rL/k is contained in W(L)Gal(L/k) where rL/k:W(k)→W(L) is the canonical ring homomorphism. Rosenberg an ...