態射的余核(cokernel of a morphism)是1993年發布的數學名詞。
基本介紹
- 中文名:態射的余核
- 外文名:cokernel of a morphism
- 所屬學科:數學
- 公布時間:1993年
態射的余核(cokernel of a morphism)是1993年發布的數學名詞。
態射的余核(cokernel of a morphism)是1993年發布的數學名詞。公布時間1993年經全國科學技術名詞審定委員會審定發布。1出處《數學名詞》第一版。...
余核是範疇論的一個概念。簡介 在很多範疇中,余核相當於商對象。定義 直接定義 設範疇C有零對象。則C的態射f:a→b的余核為態射u:b→e,滿足 (i) uf=0:a→e;(ii) 若h:b→c滿足hf=0,則存在唯一態射h':e→c滿足h=h'...
態射核是一個數學術語。態射核(kernel of a morphism)群論中同態核概念的推廣(不過在群論中同態核是一個正規子群,而在群範疇中則是指此正規子群及其在群中的嵌入同態).態射的核是態射的上核之對偶概念.設範疇留有零對象(因而有零...
態射的核 態射的核(kernel of a morphism)是1993年公布的數學名詞。公布時間 1993年經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
在數學中,阿貝爾範疇(或稱交換範疇)是一個能對態射與對象取和,而且核與余核存在且滿足一定性質的範疇。阿貝爾範疇是同調代數的基本框架。定義 阿貝爾範疇(或稱交換範疇)是一個加性範疇,且滿足以下條件:1.每個態射都有核與余核;...
如果更進一步地,所有態射都有核和余核,並且每個滿態射都是余核而每個單態射都是核,那么我們稱之為阿貝爾範疇。阿貝爾範疇的典型例子是交換群範疇。2.範疇是完備的當其保持所有極限。集合、交換群、拓撲空間的範疇都是完備的。3.範疇是...
1.任何態射f都有核ker(f)與余核coker(f).2.任何單(滿)態射都是其餘核(核)的核(余核).3.任何態射σ都可分解為一個單態射η與一個滿態射π的合成σ=ηπ(稱為σ的標準分解式).阿貝爾群範疇、環R上的R模範疇都是阿貝爾範疇...
有核疇 有核疇是2019年公布的物理學名詞。 公布時間 2019年全國科學技術名詞審定委員會審定公布的物理學名詞。出處 《物理學名詞》。
對偶性將所有概念對換過來:它們將始對象變成終對象,單態射變成滿態射,核變成余核,投射極限變成歸納極限,等等。如果F:C→D是一個範疇等價,而G₁與G₂是兩個逆,則G₁與G₂是自然同構的。如果F:C→D是一個範疇等價,若...
21section、retraction與同構態射21 22單態射、外態射與雙態射23 23初始對象、終止對象與零對象26 24常態射、余常態射與零態射29 第3章範疇中的極限33 31等子和余等子33 32積和余積39 33回拉和外推46 34核和余核51 35極限和余...
模層 模層是代數幾何中的一個概念。定義 設 是戴環空間。模層是X上的層 ,使得對每個開子集U⊆X,群 是 模,對每個開子集的包含映射V⊆U,限制同態 通過環同態 和模結構相容。性質 模的態射的核、余核、像均為 模。
中,零態射 正是通常的零同態映射。在 及 中都可得到此類似結果,這正是將 稱為零態射的一個原因。相關定理 下面介紹關於零對象和零態射的兩個簡單結果。定理1 在一個範疇 中,一切初始對象是同構的,一切末端對象是同構的;如果 ...