森田等价

两个环 $R,S$ 何时"有相同的表示论"？森田等价用范畴的语言回答：$R$ 与 $S$ 的（左）模范畴作为加法范畴等价。矩阵环 $M_n(R)$ 与 $R$ 正是经典的例子——它们不同构，但模论完全一致。

需先掌握范畴等价、加法范畴与双积（模范畴的加法结构）；对照函子理解模间的对应。

定义

环 $R,S$ 称为森田等价，若存在加法范畴等价 $F:\mathbf{Mod}\text{-}R\to\mathbf{Mod}\text{-}S$。等价地：存在 $(R,S)$-双模 $P$ 与 $(S,R)$-双模 $Q$，使得

$$P\otimes_S Q\cong R\quad\text{（作为 }(R,R)\text{-双模）},\qquad Q\otimes_R P\cong S$$

此时等价由 $F\cong Q\otimes_R-$ 给出。

性质

• 矩阵环：$R$ 与 $M_n(R)$ 森田等价（取 $P=R^n$、$Q=R^n$）
• Morita 不变量：中心、$K_0$（见代数K理论）、幂等元的本原分解、模范畴中的极限/余极限性质都保持不变
• 非不变性质：交换性、单性、Jacobson 根、有限维数不一定是 Morita 不变量
• 森田等价 $\iff$ $S\cong e M_n(R)e$（$e$ 为 $M_n(R)$ 中某个满本原幂等元）

例子

• $R=\mathbb{Z}$ 与 $M_2(\mathbb{Z})$ 森田等价：$\mathbb{Z}$-模与 $2\times 2$ 整矩阵环上的模一一对应
• 除环 $D$ 与 $M_n(D)$ 森田等价，把"向量空间的维数理论"搬到矩阵环上
• $K_0(R)\cong K_0(M_n(R))$：$K_0$ 是 Morita 不变量，见代数K理论

应用

森田等价是环论与表示论的分类工具（Brauer 群、块的 Morita 等价理论），也是 $K$-理论、Hochschild 同调等不变量"为何只依赖模范畴"的范畴论解释；它是范畴等价在代数中的核心实例。