ABbimodules

An AB-bimodule is a mathematical structure that combines the properties of left A-modules and right B-modules over a ring pair (A, B). Specifically, if M is an abelian group, it is an AB-bimodule if it is simultaneously a left A-module and a right B-module. This means that there are two scalar multiplication operations defined: one from elements of A acting on M from the left, and another from elements of B acting on M from the right. These operations must satisfy the standard module axioms, such as distributivity and associativity.

A crucial condition for an AB-bimodule is that the actions of A and B must be compatible. This compatibility is typically expressed through a relation such as a(mb) = (am)b for all a in A, b in B, and m in M. This condition ensures that the left and right actions "commute" in a certain sense, reflecting the bimodule nature of the structure. AB-bimodules are fundamental in various areas of algebra, particularly in the study of module categories and homological algebra. They play a role in tensor products of modules and in the construction of more complex algebraic structures. The category of AB-bimodules over a pair of rings (A, B) forms a category that has significant implications for understanding the relationship between the categories of left A-modules and right B-modules.