森田同値とは? わかりやすく解説

森田同値

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/01/05 19:10 UTC 版)

代数学において、森田同値(もりたどうち、: Morita equivalence)とは、環論的な多くの性質を保つの間の関係のことを言う。これはMorita (1958)において同値関係と双対性に関する記号を定義した森田紀一にちなんで名付けられた。

動機

はその環上の加群を通じて研究されることが一般的である。これは加群が環の表現と見做せるからである。すべての環 R は環の積による作用によって自然に R 加群の構造を持つので、加群論的な研究方法はより一般的で有益な情報をもたらす。このような訳で、環についての研究はその環上の加群の成すを研究することによってしばしば為される。

この視点からの自然な帰結として、環が森田同値であるとはその環上の加群の成す圏が圏同値であることと定めた。

この表記方法は非可換環を扱っている場合にのみ興味の対象となる。なぜなら可換環が森田同値である必要十分条件は環同型であるからである。これは一般に森田同値な環の中心が環同型なことから従う。

定義

(結合的で単位元を持つ)環 R, S が(森田同値であるとは、(左)R 加群の成す圏 R-Mod と(左)S 加群の成す圏 S-Mod との間に圏同値があることを言う。左加群の成す圏 R-ModS-Mod とが圏同値である必要十分条件は、右加群の成す圏 Mod-RMod-S とが圏同値であることを示すことができる[1]。さらに圏同値を与えるどんな R-Mod から S-Mod への関手も自動的に加法的であることを示すことができる。

同型な環は森田同値である。

任意の環 R と非負整数 n について R 成分の n正方行列から成る全行列環 Mn(R) は環 R と森田同値である[2]。これはアルティン‐ウェダーバーン理論によって与えられる単純アルティン環の分類の一般化になっていることに注意する。森田同値を確かめるには、もし M が左 R 加群ならば Mn は行ベクトルに対する左から行列の掛け算によって Mn(R) 加群の構造が与えられることに注意すればよい。これは左 R 加群の圏 R-Mod から左 Mn(R) 加群の圏 Mn(R)-Mod への関手を定める。

同値の判定法

森田同値は次のように特徴付けられる[3]。もし F : R-Mod → S-ModG : S-Mod → R-Mod が加法的(共変)関手ならば、F, G が森田同値を定める必要十分条件は、ある平衡 (S, R) 両側加群 P が存在して SPPR有限生成射影的生成素で、 さらに関手の自然同型 F(–) ≅ PRG(–) ≅ Hom(SP, –) が存在することである。有限生成射影的生成素はその加群の圏の射影生成素: progenerators)と呼ばれることもある[4]

R 加群の圏から左 S 加群の圏への直和と可換なすべての右完全関手 F に対して、Eilenberg-Wattsの定理よりある (S, R) 両側加群 E が存在して、関手 F(–) は関手 ER と自然同型である[5]。同値は完全で直和と可換なことが必要なので、このことは RS が森田同値である必要十分条件はある両側加群 RMSSNR が存在して、 (R, R) 両側加群としての同型 MS NR(S, S) 両側加群としての同型 NR MS が成り立つことを示している。さらに NM(S, R) 両側加群としての同型 N ≅ Hom(MS, SS) によって関連づけられる。

同値不変な性質

多くの性質が加群の圏の対象による森田同値を与える関手によって保たれる。一般的に、(台集合の元や環に依らずに)加群とその準同型のみで定義される加群の性質は、森田同値を与える関手によって保たれる圏論的性質である。たとえば F(–)R-Mod から S-Mod への森田同値を与える関手ならば、R 加群 M が次の性質をもつ必要十分条件は S 加群 F(M) がその性質を持つことである:入射的射影的平坦有限生成有限表示的アルティン的ネーター的。森田同値不変とは限らない性質には自由であることや巡回的であることがある。

多くの環論的性質はその環上の加群のことばで述べられるので、これらの性質は森田同値な環の間で保たれる。森田同値な環で共有される性質は森田不変量と呼ばれる。たとえば環 R半単純環である必要十分条件はその環上のすべての加群が半単純加群であることで、加群の半単純性は森田同値で保たれるので、森田同値な環 S 上の加群もすべて半単純であり、したがって S も半単純環である。ある性質がなぜ保たれなければならないのかが明らかではないこともある。たとえば標準的なフォン・ノイマン正則環の定義(すべての R の元 a に対して R の元 x が存在して、a = axa を満たす)の下で森田同値な環もフォン・ノイマン正則環でなければならないことは明らかではない。しかし他の定式化がある:環がフォン・ノイマン正則環である必要十分条件は、その環上の加群がすべて平坦であることである。平坦性は森田同値で保たれるので、フォン・ノイマン正則性が森田不変量であることがわかった。

以下の性質は森田不変量である。

脚注

  1. ^ Anderson & Fuller 1992, Corollary 22.3.
  2. ^ Anderson & Fuller 1992, Colorally 22.6.
  3. ^ Anderson & Fuller 1992, Theorem 22.2.
  4. ^ DeMeyer & Ingraham (1971) p.6
  5. ^ Eilenberg-Watts theorem”. nLab. 2019年4月20日閲覧。
  6. ^ a b c Anderson & Fuller 1992, Corollary 21.9.
  7. ^ a b c Anderson & Fuller 1992, Exercise 21.12.

参考文献


森田同値

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/02 17:14 UTC 版)

非可換環」の記事における「森田同値」の解説

詳細は「森田同値」を参照 森田同値とは、環論的な多く性質を保つ環の間の関係のことを言う。これは1958年同値関係双対性に関する記号定義した森田紀一にちなん名付けられた。 (結合的単位元を持つ)環 R, S が(森田同値であるとは、(左)R 加群の成す圏 R-Mod と(左)S 加群の成す圏 S-Mod との間に圏同値があることを言う。左加群の成す圏 R-Mod と S-Mod とが森田同値である必要十分条件は、右加群の成す圏 Mod-R と Mod-S とが森田同値であることを示すことができる。さらに圏同値与えるどんな R-Mod から S-Mod への関手自動的に加法的であることを示すことができる。

※この「森田同値」の解説は、「非可換環」の解説の一部です。
「森田同値」を含む「非可換環」の記事については、「非可換環」の概要を参照ください。

ウィキペディア小見出し辞書の「森田同値」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「森田同値」の関連用語

森田同値のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



森田同値のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの森田同値 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの非可換環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS