拡大のベール和とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 拡大のベール和の意味・解説 

拡大のベール和

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

Ext関手」の記事における「拡大のベール和」の解説

2つ拡大 0 → B → E → A → 0 {\displaystyle 0\rightarrow B\rightarrow E\rightarrow A\rightarrow 0} 0 → B → E ′ → A → 0 {\displaystyle 0\rightarrow B\rightarrow E^{\prime }\rightarrow A\rightarrow 0} が与えられると、ベール和(Baer sum)と呼ばれる A {\displaystyle A} からの引き戻し(pullback) Γ = { ( e , e ′ ) ∈ E ⊕ E ′ | g ( e ) = g ′ ( e ′ ) } . {\displaystyle \Gamma =\left\{(e,e')\in E\oplus E'\;|\;g(e)=g'(e')\right\}.} が得られる関係式 ( f ( b ) + e , e ′ ) ∼ ( e , f ′ ( b ) + e ′ ) {\displaystyle (f(b)+e,e')\sim (e,f'(b)+e')} を与えることと同じであるが、商 Y = Γ / { ( f ( b ) , 0 ) − ( 0 , f ′ ( b ) ) | b ∈ B } {\displaystyle Y=\Gamma /\{(f(b),0)-(0,f'(b))\;|\;b\in B\}} , をとると、拡大 0 → B → Y → A → 0 {\displaystyle 0\rightarrow B\rightarrow Y\rightarrow A\rightarrow 0} が得られる。ここに第一の → は b ↦ [ ( f ( b ) , 0 ) ] = [ ( 0 , f ′ ( b ) ) ] {\displaystyle b\mapsto [(f(b),0)]=[(0,f'(b))]} で、第二の → は ( e , e ′ ) ↦ g ( e ) = g ′ ( e ′ ) {\displaystyle (e,e')\mapsto g(e)=g'(e')} であるので、E と E' の拡大のベール和と呼ばれる和が得られる拡大による同値類同一視すると、ベール和は可換であり、自明な拡大恒等元として持っている拡大 0 → B → E → A → 0 は、射 g を -g に置き換えること反対eg であり、真ん中の矢の逆にした拡大と同じである。 拡大同値類同一視した集合アーベル群であり、関手 E x t R 1 ( A , B ) {\displaystyle Ext_{R}^{1}(A,B)} を実現している。

※この「拡大のベール和」の解説は、「Ext関手」の解説の一部です。
「拡大のベール和」を含む「Ext関手」の記事については、「Ext関手」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「拡大のベール和」の関連用語

拡大のベール和のお隣キーワード
検索ランキング

   

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



拡大のベール和のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS