Bimodules¶
-
sage.categories.bimodules.
Bimodules
¶ The category of \((R,S)\)-bimodules
For \(R\) and \(S\) rings, a \((R,S)\)-bimodule \(X\) is a left \(R\)-module and right \(S\)-module such that the left and right actions commute: \(r*(x*s) = (r*x)*s\).
EXAMPLES:
sage: Bimodules(QQ, ZZ) Category of bimodules over Rational Field on the left and Integer Ring on the right sage: Bimodules(QQ, ZZ).super_categories() [Category of left modules over Rational Field, Category of right modules over Integer Ring]