Namespaces
Variants
Actions

Bimodule

From Encyclopedia of Mathematics
Revision as of 22:29, 30 November 2014 by Richard Pinch (talk | contribs) (link)
Jump to: navigation, search

double module

An Abelian group that is a left module over a ring and a right module over a ring , and is such that for all , , . One says that this is the situation , or that is an -bimodule. The bimodule may be regarded as a left -module, where is the opposite ring (dually isomorphic, anti-isomorphic) to , while denotes the tensor product over the ring of integers, and . For every left -module one has the situation , where is the ring of endomorphisms of . Any ring can be given the natural structure of an -bimodule.


Comments

A bimodule morphism is a mapping from a bimodule into a bimodule that is left -linear and right -linear. The category of -bimodules with bimodule morphisms is a Grothendieck category.

The centre of an -bimodule (also called an -bimodule) is defined to be the set . Clearly is a two-sided -module.

How to Cite This Entry:
Bimodule. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bimodule&oldid=35238
This article was adapted from an original article by L.A. Skornyakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article