Abstract
Let AMB be a QF-bimodule, A a left Artinian ring, B a right Artinian ring, G a semigroup with a unit element (a monoid). Let MG be the set of all functions on G with values in M. Consider MG as an (AG, BG)-bimodule over the semigroup rings AG and BG. It is proved that the annihilator maps I → rMG (I) and R → lAG (R) are mutually inverse bijective Galois correspondences between the set of finitely cogenerated left ideals I ⊆ AG and the set of right BG-submodules R ⊆ MG finitely generated over B. The maps J → lMG (J) and L → rAG (L) are mutually inverse bijective Galois correspondences between the set of finitely cogenerated right ideals J ⊆ AG and the set of left AG-submodules L ⊆ MG finitely generated over A. This result also makes it possible, starting from a given QF-bimodule A MB , to construct new QF-bimodules AG/ISBG/J as bimodules of functions on a semigroup with values in M.