非可換環に対する分離拡大とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 非可換環に対する分離拡大の意味・解説 

非可換環に対する分離拡大

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/06 11:17 UTC 版)

分離多元環」の記事における「非可換環に対する分離拡大」の解説

R を単位元 1 を持つ結合環、S を R の 1 を含む部分環とする。このとき R-両側加群制限によって S-両側加群となることに注意せよ(また以下の議論に関する用語等加群論およびホモロジー代数などの項を参照)。環 S 上の拡大 R が分離拡大であるとは、R-両側加群任意の短完全列が (R, S)-両側加群として分解 (split) するならば R-両側加群としても分解するときにいう。例えば、m(∑i riS ti) = ∑i riti から定まる乗法写像 m: R ⊗S R → R は R-両側加群準同型で、(R, S)-両側加群全準同型となる(その右逆準同型 R → R ⊗S R は r ↦ r ⊗ 1 で与えられる)。R が S 上分離的な拡大環ならば、その乗法写像 m は R-両側加群全準同型として分解し、したがって m の右逆準同型 s が存在して、s(1) := e, re = er (∀r ∈ R, m(e) = 1 を満足する逆にそのような元(これをテンソル平方における分離元と呼ぶ)が存在すれば、それをうまく用いて(マシュケのように、その成分分離写像内外適用し)R が S の分離拡大であることを示せる。 あるいは同じことだが、(R, S) の任意の係数両側加群 M における相対ホッホシルト・コホモロジー(英語版)群 Hn(R, S; M) は、任意の n > 0 に対してである。分離拡大の例には、R を分離多元環、S を 1 × k (k は係数体) となる、一次的な分離多元環多く含む。より興味深いことに、ab = 1 だが ba ≠ 1 となる元 a, b を持つ任意の環 R は {1} ∪ bRa生成される部分環 S 上分離的である。 この分野における、意義深い定理として J. Cuadra は「分離ホップ-ガロワ拡大 R/S は自然な有限生成 S 加群 R を持つ」ことを述べる。分離拡大 R/S に関する基本的な事実として、それが左または右半単純拡大となることが挙げられる: つまり、左または右 R-加群からなる短完全列で S-加群として分解するものは R 加群として分解する(ゲルハルト・ホッホシルト(英語版) の相対ホモロジー代数言葉言えば任意の R-加群相対 (R, S)-射影的と言い表せる)。ふつうは、部分環や(分離拡大概念ような)環拡大相対性質は、上にある環が部分環性質共有することを述べ定理取り上げ役に立つ例えば、半単純多元環 S の分離拡大多元環 R は R-半単純性を持つ(これは先の議論から従う)。 有名な Jans の定理標数 p > 0 の体上の有限群環 A が有限表現型となるための必要十分条件は、そのシロー p-群巡回群となることである」がある。この最も明瞭な証明は、この事実p-群対するものであることに留意して、それからこの群環がその指数標数互いに素シロー p-部分群群環 B の分離拡大であることに着目するのである上記分離性条件任意の有限生成 A-加群 M が、その制限誘導加群適当な直和因子同型となることを導く。しかし B が有限表現型を持つならば、制限加群一意的に有限個の直既約加群定数倍の直和となり、それが M が直和となる有限個の直既約加群成分誘導する。したがって、A が有限表現型となるのは B がそうであるときに限る。逆は、任意の部分群環 B が群環 A の B-両側直和因子加群となることに注意して同様に示される

※この「非可換環に対する分離拡大」の解説は、「分離多元環」の解説の一部です。
「非可換環に対する分離拡大」を含む「分離多元環」の記事については、「分離多元環」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「非可換環に対する分離拡大」の関連用語

非可換環に対する分離拡大のお隣キーワード
検索ランキング

   

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



非可換環に対する分離拡大のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの分離多元環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS