森田同値
代数学において、森田同値（もりたどうち、英: Morita equivalence）とは、環論的な多くの性質を保つ環の間の関係のことを言う。これは1958年に同値関係と双対性に関する記号を定義した森田紀一にちなんで名付けられた。
動機
環はその環上の加群を通じて研究されることが一般的である。これは加群が環の表現と見做せるからである。すべての環 R は環の積による作用によって自然に R 加群の構造を持つので、加群論的な研究方法はより一般的で有益な情報をもたらす。このような訳で、環についての研究はその環上の加群の成す圏を研究することによってしばしば為される。
この視点からの自然な帰結として、環が森田同値であるとはその環上の加群の成す圏が圏同値であることと定めた。
この表記方法は非可換環を扱っている場合にのみ興味の対象となる。なぜなら可換環が森田同値である必要十分条件は環同型であるからである。
定義
（結合的で単位元を持つ）環 R, S が（森田）同値であるとは、（左）R加群の成す圏 R-Mod と（左）S加群の成す圏 S-Mod との間に圏同値があることを言う。左加群の成す圏 R-Mod と S-Mod とが森田同値である必要十分条件は、右加群の成す圏 Mod-R と Mod-S とが森田同値であることを示すことができる。さらに圏同値を与えるどんな R-Mod から S-Mod への関手も自動的に加法的であることを示すことができる。
例
同型な環は森田同値である。
任意の環 R と非負整数 n について R 成分の n 次正方行列から成る環 Mn(R) は環 R と森田同値である。これはアルティン‐ウェダーバーン理論によって与えられる単純アルティン環の分類の一般化になっていることに注意する。森田同値を確かめるには、もし M が左 R 加群ならば Mn は行ベクトルに対する左から行列の掛け算によって Mn 加群の構造が与えられることに注意すればよい。これは左 R 加群の圏から左 Mn(R) 加群の圏への関手を定める。
同値の判定法
森田同値は次のように特徴付けられる。 もし F : R-Mod → S-Mod と G : S-Mod → R-Mod が加法的（共変）関手ならば、 F, G が森田同値を定める必要十分条件は、 ある平衡 (S, R) 両側加群 P が存在して SP と PR が有限生成射影的生成素で、 さらに関手の自然同型 F(–) ≅ P ⊗R – と G(–) ≅ Hom(SP, –) が存在することである。 有限生成射影的生成素はその加群の圏の射影生成素（英: progenerators）と呼ばれることもある[1]。
左 R 加群の圏から左 S 加群の圏への直和と可換なすべての右完全関手 F に対して、 ホモロジー代数の定理よりある (S, R) 両側加群 E が存在して、関手 F(–) は関手 E ⊗R – と自然同型である。 同値は完全で直和と可換なことが必要なので、 このことは R と S が森田同値である必要十分条件はある両側加群 RMS と SNR が存在して、 (R, R) 両側加群としての同型 M ⊗S N ≅ R と (S, S) 両側加群としての同型 N ⊗R M ≅ S が成り立つことを示している。 さらに N と M は (S, R) 両側加群としての同型 N ≅ Hom(MS, SS) によって関連づけられる。
参考文献
- ^ DeMeyer & Ingraham (1971) p.6
- Morita, Kiiti (1958). “Duality for modules and its applications to the theory of rings with minimum condition”. Science reports of the Tokyo Kyoiku Daigaku. Section A 6 (150): 83–142. ISSN 0371-3539. Zbl 0080.25702.
- DeMeyer, F.; Ingraham, E. (1971). Separable algebras over commutative rings. Lecture Notes in Mathematics. 181. Springer-Verlag. ISBN 978-3-540-05371-2. Zbl 0215.36602
- Anderson, F.W.; Fuller, K.R. (1992). Rings and Categories of Modules. Graduate Texts in Mathematics. 13 (2nd ed.). New York: Springer-Verlag. ISBN 0-387-97845-3. Zbl 0765.16001
- Lam, T.Y. (2001). A first course in noncommutative rings. Graduate Texts in Mathematics. 131 (2nd ed.). New York, NY: Springer-Verlag. Chapters 17-18-19. ISBN 0-387-95183-0. Zbl 0980.16001
- Reiner, I. (2003). Maximal Orders. London Mathematical Society Monographs. New Series. 28. Oxford University Press. pp. 154-169. ISBN 0-19-852673-3. Zbl 1024.16008