20/08/19 11:36:54.14 bglsLP4c.net
>>432
つづき
例
同型な環は森田同値である。
任意の環 R と非負整数 n について R 成分の n 次正方行列から成る全行列環 Mn(R) は環 R と森田同値である[2]。これはアルティン‐ウェダーバーン理論によって与えられる単純アルティン環の分類の一般化になっていることに注意する。森田同値を確かめるには、もし M が左 R 加群ならば Mn は行ベクトルに対する左から行列の掛け算によって Mn(R) 加群の構造が与えられることに注意すればよい。これは左 R 加群の圏 R-Mod から左 Mn(R) 加群の圏 Mn(R)-Mod への関手を定める。
(引用終り)
以上