뱀 완전열: 두 판 사이의 차이

== 정의 ==

[[아벨 범주]]에서, 다음과 같은 그림이 가환한다고 하자.

여기에서 각 행은 [[완전열]]이며 0은 [[영 대상]]이다. '''뱀 보조정리'''에 따르면, 다음과 같이 a, b, c의 [[핵 (범주론)|핵]]과 [[여핵]]들로 이루어진 완전열이 존재한다.

:<math>\ker a \; {\color{Gray}\longrightarrow} \ker b \; {\color{Gray}\longrightarrow} \ker c \; \overset{d}{\longrightarrow} \operatorname{coker}a \; {\color{Gray}\longrightarrow} \operatorname{coker}b \; {\color{Gray}\longrightarrow} \operatorname{coker}c</math>

 

위의 두 그림을 아래와 같이 함께 나타내면 '뱀 보조정리'라는 이름이 붙여진 이유를 알 수 있다.

 

== 바깥 고리 ==

* {{매스월드|id=SnakeLemma|title=Snake lemma}}

 

[[분류:호몰로지 대수학]]