正合範疇是一種特殊的範疇。
基本介紹
- 中文名:正合範疇
- 外文名:exact category
- 所屬學科:範疇論
正合範疇是一種特殊的範疇。
正合範疇是一種特殊的範疇。定義若範疇為某阿貝爾範疇的全子範疇,且在某些擴張下是閉的,即若為中的正合序列,且 與均為的對象,則也是的對象。例子任意阿貝爾範疇都是正合範疇。阿貝爾群範疇的由無撓子群組成的全子範疇為正合範疇,但...
本項目擬研究箭圖在範疇上的表示, 包括一般有限無圈箭圖的單態射表示範疇中的相對內射對象的構造和穩定單態射表示範疇;A_n箭圖在投射模範疇上的正合表示範疇;加法範疇(Abel 範疇,三角範疇)的自同態範疇。.這些研究極大豐富了箭圖...
是右正合函子。正合性等價於左正合性+右正合性。一般範疇中的正合函子 考慮一個函子 。若 里存在任意的有限射影極限,且與有限射影極限交換(即:),則稱 為左正合。若 里存在任意的有限歸納極限,且 與有限歸納極限交換(...
正合對 正合對(exact pair)是1993年公布的數學名詞。公布時間 1993年,經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
由於三角範疇和導出範疇理論在現代表示論中所起到的重要作用,本項目還將在函子範疇中討論Gorenstein導出範疇,刻畫這一類導出範疇的基本性質。結題摘要 在本項目中,我們在正合範疇的框架下提出和發展了理想逼近理論。設A是一個具有足夠...
為某個環上的模範疇,對任一 ,存在 使得 ,定義 為 在 中的像。一般而言,可利用 Mitchell 嵌入定理構造態射 。可以驗證 構成正合偶。對應到譜序列的 項。續行此法,可以得到一族正合偶 。相應的譜序列定義為 ,。收斂與退化 ...
N(M為右R模,N為左R模)都是右正合函子(它們正合的充分必要條件是M(N)為平坦R模);阿貝爾範疇中正向極限函子 (反向極限函子 )為右(左)正合函子。對二元函子F,若F關於它的兩個變元都是正合的(或左正合的、右正合的)...
2)正合函子:保存有限極限的函子。在阿貝爾範疇中相當於保存正合序列。3)忠實函子:使得對任意對象 ,為單射的函子。4)完全函子:使得對任意對象 ,為滿射的函子。5)完全忠實函子:既完全且忠實的函子稱為完全忠實函子。是完全...
在同調代數中,蛇引理是構造長正合序列的關鍵工具,此引理在任何阿貝爾範疇中皆成立。依此構造的同態通常稱作連結同態。敘述 考慮一阿貝爾範疇 (例如阿貝爾群或模的範疇)中的交換圖(如圖1):使得每一橫列均為正合序列。此時存在一個...
在同調代數中,短五引理是五引理的一個特例,它斷言:在任何阿貝爾範疇或群範疇中,若以下交換圖的橫行正合,而g,h皆為同構,則f也是同構。簡介 在同調代數中,短五引理是五引理的一個特例,它斷言:在任何阿貝爾範疇或群範疇中,...
在同調代數中,阿貝爾範疇間的某類函子可以“求導”,以獲得相應的導出函子。此概念可以融貫數學中許多領域裡的具體構造。考慮導出函子的原始目的是從一個短正合序列造出一個長正合序列。具體言之:給定兩個阿貝爾範疇 ,及其間的...
態射核是一個數學術語。態射核(kernel of a morphism)群論中同態核概念的推廣(不過在群論中同態核是一個正規子群,而在群範疇中則是指此正規子群及其在群中的嵌入同態).態射的核是態射的上核之對偶概念.設範疇留有零對象(因而有零...
這裡所述的形式,分裂引理在全群範疇中不成立,它不是一個阿貝爾範疇。部分真 它是部分真的:如果一個群短正合序列是左分裂或是直和(條件 1 或 3),則所有條件成立。對直和這是清楚的,因為直和給出的內射與投影。對一個左...