森田同値
代数学において、森田同値（もりたどうち、テンプレート:Lang-en-short）とは、環論的な多くの性質を保つ環の間の関係のことを言う。これはテンプレート:Harvtxtにおいて同値関係と双対性に関する記号を定義した森田紀一にちなんで名付けられた。
動機
環はその環上の加群を通じて研究されることが一般的である。これは加群が環の表現と見做せるからである。すべての環 テンプレート:Mvar は環の積による作用によって自然に テンプレート:Mvar 加群の構造を持つので、加群論的な研究方法はより一般的で有益な情報をもたらす。このような訳で、環についての研究はその環上の加群の成す圏を研究することによってしばしば為される。
この視点からの自然な帰結として、環が森田同値であるとはその環上の加群の成す圏が圏同値であることと定めた。
この表記方法は非可換環を扱っている場合にのみ興味の対象となる。なぜなら可換環が森田同値である必要十分条件は環同型であるからである。これは一般に森田同値な環の中心が環同型なことから従う。
定義
（結合的で単位元を持つ）環 テンプレート:Math が（森田）同値であるとは、（左）テンプレート:Mvar 加群の成す圏 テンプレート:Math と（左）テンプレート:Mvar 加群の成す圏 テンプレート:Math との間に圏同値があることを言う。左加群の成す圏 テンプレート:Math と テンプレート:Math とが森田同値である必要十分条件は、右加群の成す圏 テンプレート:Math と テンプレート:Math とが森田同値であることを示すことができるテンプレート:Sfn。さらに圏同値を与えるどんな テンプレート:Math から テンプレート:Math への関手も自動的に加法的であることを示すことができる。
例
同型な環は森田同値である。
任意の環 テンプレート:Mvar と非負整数 テンプレート:Mvar について テンプレート:Mvar 成分の テンプレート:Mvar 次正方行列から成る全行列環 テンプレート:Math は環 テンプレート:Mvar と森田同値であるテンプレート:Sfn。これはアルティン‐ウェダーバーン理論によって与えられる単純アルティン環の分類の一般化になっていることに注意する。森田同値を確かめるには、もし テンプレート:Mvar が左 テンプレート:Mvar 加群ならば テンプレート:Math は行ベクトルに対する左から行列の掛け算によって テンプレート:Math 加群の構造が与えられることに注意すればよい。これは左 テンプレート:Mvar 加群の圏 テンプレート:Math から左 テンプレート:Math 加群の圏 テンプレート:Math への関手を定める。
同値の判定法
森田同値は次のように特徴付けられるテンプレート:Sfn。もし テンプレート:Math と テンプレート:Math が加法的（共変）関手ならば、テンプレート:Math が森田同値を定める必要十分条件は、ある平衡 テンプレート:Math 両側加群 テンプレート:Mvar が存在して テンプレート:Math と テンプレート:Math が有限生成射影的生成素で、 さらに関手の自然同型 テンプレート:Math と テンプレート:Math が存在することである。有限生成射影的生成素はその加群の圏の射影生成素（テンプレート:Lang-en-short）と呼ばれることもある[1]。
左 テンプレート:Mvar 加群の圏から左 テンプレート:Mvar 加群の圏への直和と可換なすべての右完全関手 テンプレート:Mvar に対して、Eilenberg-Wattsの定理よりある テンプレート:Math 両側加群 テンプレート:Mvar が存在して、関手 テンプレート:Math は関手 テンプレート:Math と自然同型である[2]。同値は完全で直和と可換なことが必要なので、このことは テンプレート:Mvar と テンプレート:Mvar が森田同値である必要十分条件はある両側加群 テンプレート:Math と テンプレート:Math が存在して、 テンプレート:Math 両側加群としての同型 テンプレート:Math と テンプレート:Math 両側加群としての同型 テンプレート:Math が成り立つことを示している。さらに テンプレート:Mvar と テンプレート:Mvar は テンプレート:Math 両側加群としての同型 テンプレート:Math によって関連づけられる。
同値不変な性質
多くの性質が加群の圏の対象による森田同値を与える関手によって保たれる。一般的に、（台集合の元や環に依らずに）加群とその準同型のみで定義される加群の性質は、森田同値を与える関手によって保たれる圏論的性質である。たとえば テンプレート:Math が テンプレート:Math から テンプレート:Math への森田同値を与える関手ならば、テンプレート:Mvar 加群 テンプレート:Mvar が次の性質をもつ必要十分条件は テンプレート:Mvar 加群 テンプレート:Math がその性質を持つことである：入射的・射影的・平坦・有限生成・有限表示的・アルティン的・ネーター的。森田同値不変とは限らない性質には自由であることや巡回的であることがある。
多くの環論的性質はその環上の加群のことばで述べられるので、これらの性質は森田同値な環の間で保たれる。森田同値な環で共有される性質は森田不変量と呼ばれる。たとえば環 テンプレート:Mvar が半単純環である必要十分条件はその環上のすべての加群が半単純加群であることで、加群の半単純性は森田同値で保たれるので、森田同値な環 テンプレート:Mvar 上の加群もすべて半単純であり、したがって テンプレート:Mvar も半単純環である。ある性質がなぜ保たれなければならないのかが明らかではないこともある。たとえば標準的なフォン・ノイマン正則環の定義（すべての テンプレート:Mvar の元 テンプレート:Mvar に対して テンプレート:Mvar の元 テンプレート:Mvar が存在して、テンプレート:Math を満たす）の下で森田同値な環もフォン・ノイマン正則環でなければならないことは明らかではない。しかし他の定式化がある：環がフォン・ノイマン正則環である必要十分条件は、その環上の加群がすべて平坦であることである。平坦性は森田同値で保たれるので、フォン・ノイマン正則性が森田不変量であることがわかった。
以下の性質は森田不変量である。 テンプレート:Div col
- 単純、半単純[3]
- フォン・ノイマン正則性[4]
- 左（あるいは右）ネーター性、左（あるいは右）アルティン性[3]
- 左（あるいは右）自己入射的[4]
- 準フロベニウス的
- 素、左（あるいは右）原始的[3]、半素、半原始的
- 左（あるいは右）遺伝的[4]
- 左（あるいは右）非特異
- 左（あるいは右）連接
- 半準素、左（あるいは右）完全、半完全
- 半局所
脚注
参考文献
- ↑ DeMeyer & Ingraham (1971) p.6
- ↑ テンプレート:Cite web
- ↑ 3.0 3.1 3.2 テンプレート:Harvnb
- ↑ 4.0 4.1 4.2 テンプレート:Harvnb