(불러오기) (편집 필터 규칙) [[분류:가져온 문서/오메가]] 완전열의 특수한 경우로 [math(\mathcal{C})]가 abelian category고 [math(A,B,C)]가 [math(\mathcal{C})]의 object일 때 [math(0\to A\to B\to C\to 0)]꼴의 exact sequence를 말한다. 이는 [math(A\to B)]쪽의 morphism을 [math(f)]라고 하고 [math(B\to C)]쪽의 morphism을 [math(g)]라고 하면 [math(f)]가 단사이고 [math(g)]가 전사이면서 [math(\text{Im}\,f=\text{Ker}\,g)]인 것과 같다. == 성질 == [math(A,B,C)]가 finite group이고 [math( 0\to A\to B\to C\to 0)]이라는 short exact sequence가 있으면 [math(|B|=|A||C|)]가 성립한다. [math(\mathscr{F})]가 projective scheme [math(X)]에서 sheaf이고 [math(\chi(\mathscr{F}))]가 [math(\chi(\mathscr{F})=\sum^{2n}_{i=0}(-1)^i\dim{H^{i}(X,\mathscr{F})})]라고 정의되는 Euler characteristic이고 [math(X)] 위의 sheaf [math(\mathscr{F}^{\prime},\mathscr{F},\mathscr{F}^{\prime\prime})]에 대해서 [math(0\to \mathscr{F}^{\prime}\to \mathscr{F}\to \mathscr{F}^{\prime \prime}\to 0)]이 short exact sequence라면 [math(\chi(\mathscr{F})=\chi(\mathscr{F}^{\prime})+\chi(\mathscr{F}^{\prime\prime}))]이 성립한다. == Ext functor와의 관계 == [math(A,C)]가 [math(R)]-module일 때 이것들의 Ext functor [math(\text{Ext}^1_{R}(A,C))]와 [math(0\to A\to B\to C\to 0)]가 short exact sequence가 되게 하는 [math(B)]들 사이에는 bijection이 존재한다. == 트리비아 == 호몰로지 대수학에서 기초적이면서도 중요한 개념 중 하나이다. [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])] (임시 저장) (임시 저장 불러오기)기본값모나코 에디터 normalnamumarknamumark_betamacromarkmarkdowncustomraw (↪️) (💎) (🛠️) (추가) [[분류:가져온 문서/오메가]] 완전열의 특수한 경우로 [math(\mathcal{C})]가 abelian category고 [math(A,B,C)]가 [math(\mathcal{C})]의 object일 때 [math(0\to A\to B\to C\to 0)]꼴의 exact sequence를 말한다. 이는 [math(A\to B)]쪽의 morphism을 [math(f)]라고 하고 [math(B\to C)]쪽의 morphism을 [math(g)]라고 하면 [math(f)]가 단사이고 [math(g)]가 전사이면서 [math(\text{Im}\,f=\text{Ker}\,g)]인 것과 같다. == 성질 == [math(A,B,C)]가 finite group이고 [math( 0\to A\to B\to C\to 0)]이라는 short exact sequence가 있으면 [math(|B|=|A||C|)]가 성립한다. [math(\mathscr{F})]가 projective scheme [math(X)]에서 sheaf이고 [math(\chi(\mathscr{F}))]가 [math(\chi(\mathscr{F})=\sum^{2n}_{i=0}(-1)^i\dim{H^{i}(X,\mathscr{F})})]라고 정의되는 Euler characteristic이고 [math(X)] 위의 sheaf [math(\mathscr{F}^{\prime},\mathscr{F},\mathscr{F}^{\prime\prime})]에 대해서 [math(0\to \mathscr{F}^{\prime}\to \mathscr{F}\to \mathscr{F}^{\prime \prime}\to 0)]이 short exact sequence라면 [math(\chi(\mathscr{F})=\chi(\mathscr{F}^{\prime})+\chi(\mathscr{F}^{\prime\prime}))]이 성립한다. == Ext functor와의 관계 == [math(A,C)]가 [math(R)]-module일 때 이것들의 Ext functor [math(\text{Ext}^1_{R}(A,C))]와 [math(0\to A\to B\to C\to 0)]가 short exact sequence가 되게 하는 [math(B)]들 사이에는 bijection이 존재한다. == 트리비아 == 호몰로지 대수학에서 기초적이면서도 중요한 개념 중 하나이다. [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])] 비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다. 편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이 CC BY 4.0에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다. 전송 미리보기
