a_8-模存在一个左 "R"-模 "V" 以及一个正整数 "n"，使得这个 formula_8-模是由 "V" 通过上述方式得到的。
等价的判据.对任何从左 "R"-模范畴到左 "S"-模范畴的与直和交换的右正合函子 "F"，同调代数的一个定理指出存在一个 "(S,R)"-双模 "E" 使得 "F" 自然等价于 formula_12。这意味着如果 "R" 与 "S" 森田等价等且仅当存在双模 "M" 与 "N" 使得 formula_13 以及 formula_14。此外，form