Throughout this paper rings will have identity elements and modules will be unitary. A Morita context between rings R and S consists of two bimodules _RV_S and _SW_R, together with two bimodule homomorphisms (-,-): V directX_s W→R; [-,-]: W directX _RV→S satisfying the following associativity conditions: (v,w)v'=v[w,v'];[w,v]w'=w(v,w') Such a (Morita) context will be denoted by (R,V,W,S). The images of (-,-), and [-,-], denoted by VW and WV respectively are two sided ideals in R and S, and are termed trace ideals of the context. Trace ideals are also denoted by T_R and T_s.
展开▼