アーベル圏とは何？わかりやすく解説 Weblio辞書

アーベル圏

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/10 23:32 UTC 版)

アーベル圏（アーベルけん、英: abelian category^{[注 1]}）とは（コ）チェイン複体のホモロジー/コホモロジーと層のコホモロジーの双方を展開するのに十分な構造を備えた圏である。

^ #MacLane p.205.
^ Grothendieck (1957)
^ ^a ^b David Eisenbud and Jerzy Weyman. “MEMORIAL TRIBUTE Remembering David Buchsbaum”. American Mathematical Society. 2023年12月22日閲覧。
^ “David Buchsbaum”. nLab. 2023年12月22日閲覧。
^ Buchsbaum (1955)
^ #MacLane p.28, 194.
^ #MacLane p.194.
^ #河田 p.177.
^ “additive category”. nLab. 2023年12月19日閲覧。
^ “additive category”. Encyclopedia of Mathematics. 2023年12月19日閲覧。
^ #Rotman p.303.
^ #MacLane p.194.
^ ^a ^b ^c #河田 p.178.
^ #河田 p,168,
^ ^a ^b ^c ^d ^e ^f ^g #Rotman p. 308.
^ ^a ^b #Rotman p.309
^ ^a ^b #河田 pp.174-177.
^ ^a ^b ^c ^d “12.5 Abelian categories”. The Stacks project. Columbia University. 2024年1月9日閲覧。
^ #河田 p.180.
^ ^a ^b ^c ^d #河田 pp.193-194.
^ #河田 p.193
^ #河田 p.189
^ “12.13 Complexes”. The Stacks project. Columbia University. 2024年1月9日閲覧。
^ #Rotman p.349.
^ #玉木
^ #Mitchell p.151.
^ #Rotman p.315.
^ #Mitchell p.151.
^ #Rotman p. 307.
^ #Rotman p.319.
^ #Rotman pp. 309-311.
^ #Rotman p.310.

^ アーベルの名にちなむが、「abelian」の語頭は小文字を用いる。本項執筆者が確認した範囲では、#Rotman p.303、#Mitchell p.33. #MacLane p.198で小文字であった。
^ #河田のみ２番めの条件が「２つの対象の積」ではなく単に「積」になっているが、「２つの対象の積」の意味であると判断。実際その直後に２つの積が余積や複積と等しいことを示している。
^ $\mathrm {id} _{A}\times \mathrm {id} _{A}$ は対角射、 $\mathrm {id} _{A}\amalg \mathrm {id} _{A}$ は双対対角射である。
^ 本項では#Mitchellに基づいてステートメントを書いたが、#Rotman p.316.では本項の「 $R - Mod$ 」の部分がアーベル群の圏「 $Ab$ 」になっている。これは $R$ -加群をアーベル群と解釈できる事による。

「アーベル圏」の続きの解説一覧

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/30 06:56 UTC 版)

「ホモロジー代数学」の記事における「アーベル圏」の解説

詳細は「アーベル圏」を参照数学において、アーベル圏 (abelian category) は、射や対象を足すことができ、核や余核が存在し望ましい性質をもった圏である。動機付けるプロトタイプのアーベル圏の例はアーベル群の圏 Ab である。理論の起源はアレクサンドル・グロタンディーク (Alexander Grothendieck) によるいくつかのコホモロジー論を統合しようとする試験的な試みである。アーベル圏はとても安定 (stable) である。例えば、正則（英語版）であり、蛇の補題を満たす。アーベル圏のクラスはいくつかの圏論的構成で閉じている。例えば、アーベル圏のチェイン複体の圏や、小さい圏からアーベル圏への関手の圏は、再びアーベル圏である。これらの安定性によってアーベル圏はホモロジー代数学やその先で必要不可欠なものである。理論は代数幾何学、コホモロジー、そして純粋に圏論において、主要な応用をもつ。アーベル圏はニールス・アーベル (Niels Henrik Abel) にちなんで名づけられている。より具体的には、圏がアーベル圏であるとは以下を満たすことである。零対象をもつ。すべて二項の積と二項の余積をもつ。すべて核と余核をもつ。すべてのモノ射とエピ射は正規射（英語版）である。

※この「アーベル圏」の解説は、「ホモロジー代数学」の解説の一部です。
「アーベル圏」を含む「ホモロジー代数学」の記事については、「ホモロジー代数学」の概要を参照ください。

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


	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というライセンスの下で提供されています。