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

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
13번째 줄:
<div class="mw-collapsible-content">
우선, 임의의 <math>\gamma\in\ker c\subseteq C</math>에 대하여 다음과 같은 원소들을 정의하자.
* <math>g(\beta)=\gamma</math>인 임의의 <math>\beta\in B</math> (이는 <math>g</math>가 [[전사 함수사상]]이므로 가능하다)
** <math>g'(b(\beta))=c(g(\beta))=c(\gamma)=0</math>이므로, <math>b(\beta)\in\ker g'\subseteq B'</math>가 된다.
* <math>0\to A'\to B'\to C'</math>가 완전열이므로, (다시 말해, <math>\operatorname{im}f' = \ker g'</math>이고 <math>f'</math>이 단사함수이므로[[단사 사상]]이므로) <math>f'(\alpha')=b(\beta)</math>인 <math>\alpha'\in A'</math>이 유일하게 존재한다.
그렇다면, 연결 사상 <math>d</math>는 다음과 같다.
:<math>d\colon \gamma\mapsto \alpha'+\operatorname{im}a</math>