Bimodule

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.

Definition

If "R" and "S" are two rings, then an "R"-"S"-bimodule is an abelian group "M" 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"::: ("rm")"s" = "r"("ms").

An "R"-"R"-bimodule is also known as an "R"-bimodule.

Examples

* For positive integers "n" and "m", the set "M"_"n","m"(R) of "n" × "m" matrices of real numbers is an "R"-"S" bimodule, where "R" is the ring "M"_"n"(R) of "n" × "n" matrices, and "S" is the ring "M"_"m"(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 "M"_"n","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.
* If "R" is a ring, then "R" itself is an "R"-bimodule, and so is "R"^"n" (the "n"-fold direct product of "R").
* Any two-sided ideal of a ring "R" is an "R"-bimodule.
* Any module over a commutative ring "R" is automatically 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. (However, not all "R"-bimodules arise this way.)
* If "M" is a left "R"-module, then "M" is an "R"-Z bimodule, where Z is the ring of integers. Similarly, right "R"-modules may be interpreted as Z-"R" bimodules, and indeed an abelian group may be treated as a Z-Z bimodule.
* If "R" is a subring of "S", then "S" is an "R"-bimodule. It is also an "R"-"S" and an "S"-"R" bimodule.

Further notions and facts

If "M" and "N" are "R"-"S" bimodules, then a map "f" : "M" → "N" is a "bimodule homomorphism" if it is both a homomorphism of left "R"-modules and of right "S"-modules.

An "R"-"S" bimodule is actually the same thing as a left module over the ring $R otimes_mathbb{Z} S^{op}$ , where "S"^op is the "opposite" ring of "S" (with the multiplication turned around). Bimodule homomorphisms are the same as homomorphisms of left $R otimes_mathbb{Z} S^{op}$ modules. Using these facts, many definitions and statements about modules can be immediately translated into definitions and statements about bimodules. For example, the category of all "R"-"S" bimodules is abelian, and the standard isomorphism theorems are valid for bimodules. There are however some new effects in the world of bimodules, especially when it comes to the tensor product: if "M" is an "R"-"S" bimodule and "N" is an "S"-"T" bimodule, then the tensor product of "M" and "N" (taken over the ring "S") is an "R"-"T" bimodule in a natural fashion. This tensor product of bimodules is associative (up to a unique canonical isomorphism), and one can hence construct a category whose objects are the rings and whose morphisms are the bimodules.Furthermore, if "M" is an "R"-"S" bimodule and "L" is an "T"-"S" bimodule, then the set Hom_"S"("M","L") of all "S"-module homomorphisms from "M" to "L" becomes a "T"-"R" module in a natural fashion. These statements extend to the derived functors Ext and Tor.

Profunctors can be seen as a categorical generalization of bimodules.

Note that bimodules are not at all related to bialgebras.

See also

* profunctor

References

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

Bimodule — Un A1 A2 bimodule est un ensemble M muni à la fois d une structure de module à gauche sur un anneau A1 et d une structure de module à droite sur un anneau A2 vérifiant . Exemples Tout A module à droite est aussi un A bimodule A es … Wikipédia en Français
bimodule — noun An abelian group that is both a left and a right module, such that the left and right multiplications are compatible … Wiktionary
Tensor product of modules — In mathematics, the tensor product of modules is a construction that allows arguments about bilinear maps (roughly speaking, multiplication ) to be carried out in terms of linear maps (module homomorphisms). The module construction is analogous… … Wikipedia
Noetherian module — In abstract algebra, an Noetherian module is a module that satisfies the ascending chain condition on its submodules, where the submodules are partially ordered by inclusion. Historically, Hilbert was the first mathematician to work with the… … Wikipedia
Subfactor — In the theory of von Neumann algebras, a subfactor of a factor M is a subalgebra that is a factor and contains 1. The theory of subfactors led to the discovery of the Jones polynomial in knot theory.Index of a subfactorUsually M is taken to be a… … Wikipedia
Von Neumann algebra — In mathematics, a von Neumann algebra or W* algebra is a * algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. They were originally introduced by John von Neumann,… … Wikipedia
Morita equivalence — In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring theoretic properties. It is named after Japanese mathematician Kiiti Morita who defined equivalence and a similar notion of duality in 1958.… … Wikipedia
Hochschild homology — In mathematics, Hochschild homology is a homology theory for associative algebras over rings. There is also a theory for Hochschild homology of certain functors. Definition of Hochschild homology of algebras Let k be a ring, A an associative k… … Wikipedia
Connection (algebraic framework) — Geometry of quantum systems (e.g., noncommutative geometry and supergeometry) is mainly phrased in algebraic terms of modules and algebras. Connections on modules are generalization of a linear connection on a smooth vector bundle written as a… … Wikipedia
Dual d'un module — En algèbre commutative et plus généralement en théorie des anneaux, le dual d un module A par rapport à un module B (sur un anneau R) est l ensemble des homomorphismes de A dans B. Il est noté Hom(A,B). Si le module B n est pas spécifié, par… … Wikipédia en Français

Academic Dictionaries and Encyclopedias

Bimodule

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Bimodule

Look at other dictionaries:

Share the article and excerpts

Direct link