In lineaarialgebraa , eli - - bimodule on asetettu kummankin kanssa moduuli rakenteen vasemmalla on rengas ja moduuli rakenne oikealla renkaan , nämä kaksi rakennetta, joilla on sama lisäys ja tarkastaa:
AT{\ displaystyle A}B{\ displaystyle B}M{\ displaystyle M}AT{\ displaystyle A}B{\ displaystyle B}
∀klo∈AT∀x∈M∀b∈Bklo(xb)=(klox)b{\ displaystyle \ forall a \ in A \ quad \ forall x \ in M \ quad \ forall b \ in B \ quad a (xb) = (ax) b}.Esimerkkejä
Mikä tahansa oikealla oleva A- moduuli on myös - A- bimoduuli.Z{\ displaystyle \ mathbb {Z}}
A on bimoduuli A - A.
Jos A on kommutatiivinen , minkä tahansa A- moduulin voidaan nähdä bimodulina A - A.
Viite
(en) N. Bourbaki , Algebra , luvut 1–3 ( lue verkossa ) , luku . II, § 1.14 (”Multimoduulit”).