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

내용 삭제됨 내용 추가됨
편집 요약 없음
Properideal (토론 | 기여)
5번째 줄:
:[[File:Snake lemma origin.svg]]
여기에서 각 행은 [[완전열]]이며 0은 [[영 대상]]이다. '''뱀 보조정리'''에 따르면,<ref name="Weibel">{{서적 인용|성=Weibel|이름= Charles A.|날짜=1994|제목=An introduction to homological algebra|url=http://www.math.rutgers.edu/~weibel/Hbook-corrections.html|총서=Cambridge Studies in Advanced Mathematics |권=38|출판사=Cambridge University Press|isbn=978-0-52143500-0|oclc=36131259|mr=1269324|zbl=0797.18001|doi=10.1017/CBO9781139644136|언어=en}}</ref>{{rp|11, Lemma 1.3.2}} 다음과 같이 a, b, c의 [[핵 (수학)|핵]]과 [[여핵]]들로 이루어진 완전열이 존재한다.
:<math>0\to\ker a\to\ker b\to\ker c\xrightarrow d\operatorname{coker}a\to\operatorname{coker}b\to\operatorname{coker}c\to0</math>
즉, 다음과 같은 그림이 된다.
:[[파일:Snake lemma complete.svg]]
또한, 다음이 성립한다.
* 만약 <math>f</math>가 [[단사 사상]]이라면 <math>\ker a\to\ker b도b</math>도 [[단사 사상]]이다.
* <math>g'</math>이 [[전사 사상]]인 경우 <math>\operatorname{coker }b\to\operatorname{coker c도}c</math>도 [[전사 사상]]이다.
이 정리에서, <math>d</math>를 '''연결 사상'''(連結寫像, {{llang|en|connecting morphism}})이라고 한다.