330:
283:
812:
380:
151:
822:
180:
96:
1121:
or cohomology of a given object, one typically employs a simpler subobject whose homology/cohomology is known, and arrives at a long exact sequence which involves the unknown homology groups of the original object. This alone is often not sufficient to determine the unknown homology groups, but if
264:, which states that any small abelian category can be represented as a category of modules over some ring. For the category of groups, just turn all additive notation below into multiplicative notation, and note that commutativity of abelian group is never used.
1122:
one can compare the original object and sub object to well-understood ones via morphisms, then a morphism between the respective long exact sequences is induced, and the five lemma can then be used to determine the unknown homology groups.
371:
324:
1220:
1198:
1167:
1243:
261:
1238:
260:
in a function-theoretic sense. The proof will still apply to any (small) abelian category because of
55:
336:
1118:
232:
1188:
289:
1135:
219:
8:
1114:
87:
67:
40:
36:
24:
223:
44:
1216:
1208:
1194:
215:. We shall prove the five lemma by individually proving each of the two four lemmas.
1131:
257:
253:
71:
28:
212:
83:
43:. The five lemma is not only valid for abelian categories but also works in the
241:
103:
1232:
75:
50:
The five lemma can be thought of as a combination of two other theorems, the
282:
237:
230:
of the objects in the diagram and think of the morphisms of the diagram as
131:
79:
1215:, Graduate texts in mathematics, vol. 127 (3rd ed.), Springer,
1140:
123:
115:
20:
811:
1146:
249:
329:
245:
218:
To perform diagram chasing, we assume that we are in a category of
1105:
Combining the two four lemmas now proves the entire five lemma.
379:
150:
821:
179:
240:) acting on those elements. Then a morphism is a monomorphism
211:
The method of proof we shall use is commonly referred to as
95:
339:
292:
252:. Similarly, to deal with exactness, we can think of
16:
Lemma in category theory about commutative diagrams
365:
318:
1230:
248:, and it is an epimorphism if and only if it is
102:The five lemma states that, if the rows are
1143:, another lemma proved by diagram chasing
810:
328:
281:
1134:, a special case of the five lemma for
950:By exactness, there is then an element
402:is surjective, there exists an element
175:If the rows in the commutative diagram
146:If the rows in the commutative diagram
1231:
1207:
1165:
1186:
1213:A basic course in algebraic topology
1169:A basic course in algebraic topology
1113:The five lemma is often applied to
589:is a homomorphism, it follows that
13:
892:By exactness, there is an element
14:
1255:
429:By commutativity of the diagram,
333:A proof of (1) in the case where
286:A proof of (1) in the case where
820:
796:Then, to prove (2), assume that
378:
178:
149:
94:
35:is an important and widely used
1108:
1159:
354:
343:
307:
296:
267:So, to prove (1), assume that
1:
1180:
61:
262:Mitchell's embedding theorem
7:
1125:
659:is surjective, we can find
366:{\displaystyle t(c')\neq 0}
10:
1260:
226:, so that we may speak of
141:The two four-lemmas state:
27:and other applications of
1244:Lemmas in category theory
1082:Since the composition of
74:(such as the category of
1152:
981:is surjective, there is
530:Therefore, there exists
206:
197:is an epimorphism, then
168:is a monomorphism, then
138:is also an isomorphism.
86:) or in the category of
319:{\displaystyle t(c')=0}
66:Consider the following
816:
374:
367:
326:
320:
193:are monomorphisms and
1187:Scott, W.R. (1987) .
1136:short exact sequences
814:
620:) is in the image of
368:
332:
321:
285:
164:are epimorphisms and
1115:long exact sequences
337:
290:
41:commutative diagrams
1239:Homological algebra
725:is a homomorphism,
275:are surjective and
78:or the category of
68:commutative diagram
25:homological algebra
1209:Massey, William S.
1006:By commutativity,
915:By commutativity,
862:By commutativity,
817:
804:are injective and
682:By commutativity,
624:, so there exists
464:by exactness, 0 =
375:
363:
327:
316:
201:is a monomorphism.
172:is an epimorphism.
45:category of groups
1222:978-0-387-97430-9
1200:978-0-486-65377-8
1117:: when computing
391:be an element of
1251:
1225:
1204:
1174:
1173:
1163:
1132:Short five lemma
1040:
1002:
824:
382:
372:
370:
369:
364:
353:
325:
323:
322:
317:
306:
182:
153:
98:
72:abelian category
29:abelian category
1259:
1258:
1254:
1253:
1252:
1250:
1249:
1248:
1229:
1228:
1223:
1201:
1183:
1178:
1177:
1166:Massey (1991).
1164:
1160:
1155:
1128:
1111:
1007:
990:
808:is surjective.
346:
338:
335:
334:
299:
291:
288:
287:
213:diagram chasing
209:
204:
64:
58:to each other.
47:, for example.
17:
12:
11:
5:
1257:
1247:
1246:
1241:
1227:
1226:
1221:
1205:
1199:
1182:
1179:
1176:
1175:
1172:. p. 184.
1157:
1156:
1154:
1151:
1150:
1149:
1144:
1138:
1127:
1124:
1110:
1107:
1103:
1102:
1095:
1080:
1061:
1048:is injective,
1042:
1004:
975:
948:
913:
890:
881:is injective,
875:
860:
846:
826:
825:
815:A proof of (2)
794:
793:
792:is surjective.
786:
719:
680:
653:
608:By exactness,
606:
551:
528:
507:is injective,
501:
454:
427:
396:
384:
383:
362:
359:
356:
352:
349:
345:
342:
315:
312:
309:
305:
302:
298:
295:
279:is injective.
242:if and only if
208:
205:
203:
202:
185:are exact and
184:
183:
173:
156:are exact and
155:
154:
143:
100:
99:
76:abelian groups
63:
60:
15:
9:
6:
4:
3:
2:
1256:
1245:
1242:
1240:
1237:
1236:
1234:
1224:
1218:
1214:
1210:
1206:
1202:
1196:
1192:
1191:
1185:
1184:
1171:
1170:
1162:
1158:
1148:
1145:
1142:
1139:
1137:
1133:
1130:
1129:
1123:
1120:
1116:
1106:
1101:is injective.
1100:
1096:
1093:
1089:
1085:
1081:
1078:
1074:
1070:
1066:
1062:
1059:
1055:
1051:
1047:
1043:
1038:
1034:
1030:
1026:
1022:
1018:
1014:
1010:
1005:
1001:
997:
993:
988:
984:
980:
976:
973:
969:
965:
961:
957:
953:
949:
946:
942:
938:
934:
930:
926:
922:
918:
914:
911:
907:
903:
899:
895:
891:
888:
884:
880:
876:
873:
869:
865:
861:
859:)) is then 0.
858:
854:
850:
847:
844:
840:
837:be such that
836:
832:
828:
827:
823:
819:
818:
813:
809:
807:
803:
799:
791:
787:
784:
780:
776:
772:
768:
764:
760:
756:
752:
748:
744:
740:
736:
732:
728:
724:
720:
717:
713:
709:
705:
701:
697:
693:
689:
685:
681:
678:
674:
670:
666:
662:
658:
654:
651:
647:
643:
639:
635:
631:
627:
623:
619:
615:
611:
607:
604:
600:
596:
592:
588:
584:
580:
576:
572:
568:
564:
560:
556:
552:
549:
545:
541:
537:
533:
529:
526:
522:
518:
514:
510:
506:
502:
499:
495:
491:
487:
483:
479:
475:
471:
467:
463:
459:
455:
452:
448:
444:
440:
436:
432:
428:
425:
421:
417:
413:
409:
405:
401:
397:
394:
390:
386:
385:
381:
377:
376:
360:
357:
350:
347:
340:
331:
313:
310:
303:
300:
293:
284:
280:
278:
274:
270:
265:
263:
259:
255:
251:
247:
243:
239:
238:homomorphisms
235:
234:
229:
225:
221:
216:
214:
200:
196:
192:
188:
181:
177:
176:
174:
171:
167:
163:
159:
152:
148:
147:
145:
144:
142:
139:
137:
133:
129:
125:
121:
117:
113:
109:
105:
97:
93:
92:
91:
89:
85:
82:over a given
81:
80:vector spaces
77:
73:
69:
59:
57:
53:
48:
46:
42:
38:
34:
30:
26:
23:, especially
22:
1212:
1190:Group Theory
1189:
1168:
1161:
1112:
1109:Applications
1104:
1098:
1091:
1090:is trivial,
1087:
1083:
1076:
1072:
1068:
1064:
1057:
1053:
1049:
1045:
1036:
1032:
1028:
1024:
1020:
1016:
1012:
1008:
999:
995:
991:
986:
982:
978:
971:
967:
963:
959:
955:
951:
944:
940:
936:
932:
928:
924:
920:
916:
909:
905:
901:
897:
893:
886:
882:
878:
871:
867:
863:
856:
852:
848:
842:
838:
834:
830:
805:
801:
797:
795:
789:
782:
778:
774:
770:
766:
762:
758:
754:
750:
746:
742:
738:
734:
730:
726:
722:
715:
711:
707:
703:
699:
695:
691:
687:
683:
676:
672:
668:
664:
660:
656:
649:
645:
641:
637:
633:
629:
625:
621:
617:
613:
609:
602:
598:
594:
590:
586:
582:
578:
574:
570:
566:
562:
558:
554:
547:
543:
539:
535:
531:
524:
520:
516:
512:
508:
504:
497:
493:
489:
485:
481:
477:
473:
469:
465:
461:
457:
450:
446:
442:
438:
434:
430:
423:
419:
415:
411:
407:
403:
399:
392:
388:
276:
272:
268:
266:
231:
227:
217:
210:
198:
194:
190:
186:
169:
165:
161:
157:
140:
135:
132:monomorphism
127:
119:
116:isomorphisms
111:
107:
101:
65:
54:, which are
51:
49:
32:
31:theory, the
18:
1141:Snake lemma
1097:Therefore,
788:Therefore,
124:epimorphism
52:four lemmas
21:mathematics
1233:Categories
1181:References
1147:Nine lemma
989:such that
958:such that
900:such that
667:such that
585:). Since
519:is in ker
515:) = 0, so
373:is nonzero
250:surjective
236:(in fact,
222:over some
62:Statements
33:five lemma
1193:. Dover.
456:Since im
358:≠
246:injective
233:functions
1211:(1991),
1126:See also
1119:homology
1000:a′
964:a′
956:A′
952:a′
783:c′
763:c′
708:c′
669:b′
642:c′
638:b′
630:B′
626:b′
610:c′
595:c′
583:c′
474:c′
424:c′
393:C′
389:c′
351:′
304:′
228:elements
874:)) = 0.
605:)) = 0.
254:kernels
220:modules
134:, then
70:in any
1219:
1197:
1044:Since
977:Since
947:) = 0.
889:) = 0.
877:Since
845:) = 0.
721:Since
655:Since
503:Since
460:= ker
398:Since
258:images
244:it is
126:, and
122:is an
88:groups
39:about
1153:Notes
1031:)) =
1019:)) =
939:)) =
927:)) =
753:)) +
706:)) =
694:)) =
632:with
577:)) =
565:)) =
553:Then
538:with
523:= im
488:)) =
476:)) =
441:)) =
418:) =
410:with
207:Proof
130:is a
104:exact
84:field
37:lemma
1217:ISBN
1195:ISBN
1094:= 0.
1086:and
1056:) =
998:) =
966:) =
908:) =
829:Let
800:and
781:) =
773:) +
761:) =
741:) =
737:) +
640:) =
546:) =
387:Let
271:and
256:and
224:ring
189:and
160:and
114:are
110:and
56:dual
1079:)).
1063:So
985:in
954:of
896:of
833:in
663:in
628:in
534:in
500:)).
453:)).
406:in
19:In
1235::
1067:=
974:).
765:−
718:).
710:−
679:).
671:=
652:).
644:−
612:−
597:−
426:).
118:,
106:,
90:.
1203:.
1099:n
1092:c
1088:f
1084:g
1077:a
1075:(
1073:f
1071:(
1069:g
1065:c
1060:.
1058:b
1054:a
1052:(
1050:f
1046:m
1041:.
1039:)
1037:b
1035:(
1033:m
1029:a
1027:(
1025:l
1023:(
1021:r
1017:a
1015:(
1013:f
1011:(
1009:m
1003:.
996:a
994:(
992:l
987:A
983:a
979:l
972:b
970:(
968:m
962:(
960:r
945:c
943:(
941:n
937:b
935:(
933:g
931:(
929:n
925:b
923:(
921:m
919:(
917:s
912:.
910:c
906:b
904:(
902:g
898:B
894:b
887:c
885:(
883:h
879:p
872:c
870:(
868:h
866:(
864:p
857:c
855:(
853:n
851:(
849:t
843:c
841:(
839:n
835:C
831:c
806:l
802:p
798:m
790:n
785:.
779:c
777:(
775:n
771:c
769:(
767:n
759:c
757:(
755:n
751:b
749:(
747:g
745:(
743:n
739:c
735:b
733:(
731:g
729:(
727:n
723:n
716:c
714:(
712:n
704:b
702:(
700:m
698:(
696:s
692:b
690:(
688:g
686:(
684:n
677:b
675:(
673:m
665:B
661:b
657:m
650:c
648:(
646:n
636:(
634:s
622:s
618:c
616:(
614:n
603:c
601:(
599:n
593:(
591:t
587:t
581:(
579:t
575:c
573:(
571:h
569:(
567:p
563:c
561:(
559:n
557:(
555:t
550:.
548:d
544:c
542:(
540:h
536:C
532:c
527:.
525:h
521:j
517:d
513:d
511:(
509:j
505:q
498:d
496:(
494:j
492:(
490:q
486:d
484:(
482:p
480:(
478:u
472:(
470:t
468:(
466:u
462:u
458:t
451:d
449:(
447:j
445:(
443:q
439:d
437:(
435:p
433:(
431:u
422:(
420:t
416:d
414:(
412:p
408:D
404:d
400:p
395:.
361:0
355:)
348:c
344:(
341:t
314:0
311:=
308:)
301:c
297:(
294:t
277:q
273:p
269:m
199:n
195:l
191:p
187:m
170:n
166:q
162:p
158:m
136:n
128:q
120:l
112:p
108:m
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.