3298:
2858:
2351:
1409:
3517:, which it is not. This failure of the Alexander–Whitney map to be a coalgebra map is an example the unavailability of commutative cochain-level models for cohomology over fields of nonzero characteristic, and thus is in a way responsible for much of the subtlety and complication in stable homotopy theory.
497:
3085:
848:
2005:
2632:
2129:
1177:
2584:
2513:
1073:
359:
3293:{\displaystyle \alpha \otimes \beta \mapsto {\Big (}\sigma \mapsto (\alpha \otimes \beta )(F^{*}\Delta ^{*}\sigma )=\sum _{p=0}^{\dim \sigma }\alpha (\sigma |_{\Delta ^{}})\cdot \beta (\sigma |_{\Delta ^{}}){\Big )}}
682:
2947:
1843:
3783:
2853:{\displaystyle C^{*}(X)\otimes C^{*}(X)\ {\overset {i}{\to }}\ {\big (}C_{*}(X)\otimes C_{*}(X){\big )}^{*}\ {\overset {G^{*}}{\leftarrow }}\ C^{*}(X\times X){\overset {C^{*}(\Delta )}{\to }}C^{*}(X)}
3475:
2093:
1759:
2346:{\displaystyle G^{*}\colon C^{*}(X\times Y)\rightarrow {\big (}C_{*}(X)\otimes C_{*}(Y){\big )}^{*},\quad F^{*}\colon {\big (}C_{*}(X)\otimes C_{*}(Y){\big )}^{*}\rightarrow C^{*}(X\times Y)}
3663:. In light of the Eilenberg–Zilber theorem, the content of the Künneth theorem consists in analysing how the homology of the tensor product complex relates to the homologies of the factors.
3366:
1659:
1595:
351:
2383:. The coproduct does not dualize straightforwardly, because dualization does not distribute over tensor products of infinitely-generated modules, but there is a natural injection of
1404:{\displaystyle FG=\mathrm {id} _{C_{*}(X)\otimes C_{*}(Y)},\qquad GF-\mathrm {id} _{C_{*}(X\times Y)}=\partial _{C_{*}(X)\otimes C_{*}(Y)}H+H\partial _{C_{*}(X)\otimes C_{*}(Y)}}
542:
3589:
283:
2518:
596:
569:
62:
3661:
3625:
3511:
3023:
2987:
1795:
668:
632:
241:
205:
2389:
1083:
The original theorem was proven in terms of acyclic models but more mileage was gotten in a phrasing by
Eilenberg and Mac Lane using explicit maps. The standard map
3077:
3050:
2381:
3392:
1541:
1518:
1495:
897:
874:
2624:
2604:
2121:
1835:
1815:
1679:
1472:
1452:
1432:
1169:
1149:
1125:
1101:
945:
925:
162:
142:
102:
82:
492:{\displaystyle \partial _{C_{*}(X)\otimes C_{*}(Y)}(\sigma \otimes \tau )=\partial _{X}\sigma \otimes \tau +(-1)^{p}\sigma \otimes \partial _{Y}\tau }
957:
3824:
843:{\displaystyle F\colon C_{*}(X\times Y)\rightarrow C_{*}(X)\otimes C_{*}(Y),\quad G\colon C_{*}(X)\otimes C_{*}(Y)\rightarrow C_{*}(X\times Y)}
3739:
900:
3751:
2866:
2000:{\displaystyle H_{*}(X)\otimes H_{*}(Y)\to H_{*}{\big (}C_{*}(X)\otimes C_{*}(Y){\big )}\ {\overset {\sim }{\to }}\ H_{*}(X\times Y)}
3529:
case using crossed complexes is given in the paper by Andrew Tonks below. This give full details of a result on the (simplicial)
3690:
105:
3400:
2018:
1684:
3819:
3778:
3534:
2384:
2103:
The
Alexander–Whitney and Eilenberg–Zilber maps dualize (over any choice of commutative coefficient ring
2356:
which are also homotopy equivalences, as witnessed by the duals of the preceding equations, using the dual homotopy
3731:
3307:
2012:
1600:
1562:
298:
3514:
3788:
948:
904:
3477:
of cochain complexes were in fact a map of differential graded algebras, then the cup product would make
505:
2626:
induces an isomorphism in cohomology, so one does have the zig-zag of differential graded algebra maps
2579:{\displaystyle \alpha \otimes \beta \mapsto (\sigma \otimes \tau \mapsto \alpha (\sigma )\beta (\tau ))}
3552:
246:
3079:
so the maps all go the same way, one gets the standard cup product on cochains, given explicitly by
3793:
574:
547:
3703:
24:
3546:
2508:{\displaystyle i\colon C^{*}(X)\otimes C^{*}(Y)\to {\big (}C_{*}(X)\otimes C_{*}(Y){\big )}^{*}}
41:
3735:
3630:
3594:
3530:
3526:
3480:
2992:
2956:
1764:
637:
601:
210:
174:
165:
3798:
3756:
3695:
3685:
109:
36:
3770:
3715:
3055:
3028:
2359:
3766:
3711:
3371:
1523:
1500:
1477:
879:
856:
2609:
2589:
2106:
1820:
1800:
1664:
1457:
1437:
1417:
1154:
1134:
1110:
1086:
930:
910:
291:
147:
127:
87:
67:
32:
3761:
3813:
3723:
3672:
674:
169:
113:
2950:
20:
16:
Links the homology groups of a product space with those of the individual spaces
3749:
Tonks, Andrew (2003), "On the
Eilenberg–Zilber theorem for crossed complexes",
3802:
1068:{\displaystyle H_{*}(C_{*}(X\times Y))\cong H_{*}(C_{*}(X)\otimes C_{*}(Y)).}
3781:; Higgins, Philip J. (1991), "The classifying space of a crossed complex",
3707:
286:
3545:
The
Eilenberg–Zilber theorem is a key ingredient in establishing the
3699:
2942:{\displaystyle \smile \colon H^{*}(X)\otimes H^{*}(X)\to H^{*}(X)}
3784:
Mathematical
Proceedings of the Cambridge Philosophical Society
2011:
also called the
Eilenberg–Zilber map, becomes a map of
112:
and Joseph A. Zilber. One possible route to a proof is the
31:
is an important result in establishing the link between the
3533:
of a crossed complex stated but not proved in the paper by
3688:; Zilber, Joseph A. (1953), "On Products of Complexes",
3633:
3597:
3555:
3483:
3403:
3374:
3310:
3088:
3058:
3031:
2995:
2959:
2869:
2635:
2612:
2592:
2521:
2392:
2362:
2132:
2109:
2021:
1846:
1823:
1803:
1767:
1687:
1667:
1603:
1565:
1526:
1503:
1480:
1460:
1440:
1420:
1180:
1157:
1137:
1113:
1089:
960:
933:
913:
882:
859:
685:
640:
604:
577:
550:
508:
362:
301:
249:
213:
177:
150:
130:
90:
70:
44:
3470:{\displaystyle C^{*}(X)\otimes C^{*}(X)\to C^{*}(X)}
2088:{\displaystyle C_{*}(X)\to C_{*}(X)\otimes C_{*}(X)}
1754:{\displaystyle C_{*}(X)\to C_{*}(X)\otimes C_{*}(X)}
947:. Consequently the two complexes must have the same
104:. The theorem first appeared in a 1953 paper in the
3655:
3619:
3583:
3505:
3469:
3386:
3360:
3292:
3071:
3044:
3017:
2981:
2941:
2852:
2618:
2598:
2586:, the product being taken in the coefficient ring
2578:
2507:
2375:
2345:
2115:
2087:
1999:
1829:
1809:
1789:
1753:
1673:
1653:
1589:
1543:is zero. This is what would come to be known as a
1535:
1512:
1489:
1466:
1446:
1426:
1403:
1163:
1143:
1119:
1095:
1067:
939:
919:
891:
868:
842:
662:
626:
590:
563:
536:
491:
345:
277:
235:
199:
156:
136:
124:The theorem can be formulated as follows. Suppose
96:
76:
56:
3755:, vol. 179, no. 1–2, pp. 199–230,
3285:
3103:
1103:they produce is traditionally referred to as the
1661:which, followed by the Alexander–Whitney
289:or singular chain complexes.) We also have the
3694:, vol. 75, no. 1, pp. 200–204,
3537:and Philip J. Higgins on classifying spaces.
3361:{\displaystyle C^{p}(X)\otimes C_{q}(X)\to k}
2744:
2695:
2494:
2445:
2304:
2255:
2225:
2176:
1951:
1903:
8:
1654:{\displaystyle C_{*}(X)\to C_{*}(X\times X)}
1590:{\displaystyle \Delta \colon X\to X\times X}
3394:, reduces to the more familiar expression.
3792:
3760:
3638:
3632:
3602:
3596:
3560:
3554:
3488:
3482:
3452:
3430:
3408:
3402:
3373:
3337:
3315:
3309:
3284:
3283:
3254:
3249:
3244:
3208:
3203:
3198:
3176:
3165:
3146:
3136:
3102:
3101:
3087:
3063:
3057:
3036:
3030:
3000:
2994:
2964:
2958:
2924:
2902:
2880:
2868:
2835:
2813:
2803:
2782:
2767:
2758:
2749:
2743:
2742:
2726:
2704:
2694:
2693:
2680:
2662:
2640:
2634:
2611:
2591:
2520:
2499:
2493:
2492:
2476:
2454:
2444:
2443:
2425:
2403:
2391:
2367:
2361:
2322:
2309:
2303:
2302:
2286:
2264:
2254:
2253:
2244:
2230:
2224:
2223:
2207:
2185:
2175:
2174:
2150:
2137:
2131:
2108:
2070:
2048:
2026:
2020:
1976:
1959:
1950:
1949:
1934:
1912:
1902:
1901:
1895:
1873:
1851:
1845:
1822:
1802:
1772:
1766:
1736:
1714:
1692:
1686:
1666:
1630:
1608:
1602:
1564:
1525:
1502:
1479:
1459:
1439:
1419:
1384:
1362:
1357:
1327:
1305:
1300:
1270:
1265:
1257:
1226:
1204:
1199:
1191:
1179:
1156:
1136:
1112:
1088:
1044:
1022:
1009:
978:
965:
959:
932:
912:
881:
858:
819:
797:
775:
746:
724:
696:
684:
645:
639:
609:
603:
582:
576:
555:
549:
519:
507:
480:
464:
433:
394:
372:
367:
361:
353:, whose differential is, by definition,
328:
306:
300:
254:
248:
218:
212:
182:
176:
149:
129:
89:
69:
43:
903:to the identity. Moreover, the maps are
346:{\displaystyle C_{*}(X)\otimes C_{*}(Y)}
1797:. With respect to these coproducts on
285:. (The argument applies equally to the
3549:, which expresses the homology groups
7:
1171:and inverse up to homotopy: one has
1079:Statement in terms of composite maps
3752:Journal of Pure and Applied Algebra
3525:An important generalisation to the
2095:itself is not a map of coalgebras.
1761:inducing the standard coproduct on
1597:induces a map of cochain complexes
673:Then the theorem says that we have
537:{\displaystyle \sigma \in C_{p}(X)}
3787:, vol. 110, pp. 95–120,
3251:
3205:
3143:
2822:
1566:
1354:
1297:
1261:
1258:
1195:
1192:
579:
552:
477:
430:
364:
14:
3584:{\displaystyle H_{*}(X\times Y)}
3304:which, since cochain evaluation
278:{\displaystyle C_{*}(X\times Y)}
3691:American Journal of Mathematics
2239:
1246:
1131:. The maps are natural in both
764:
106:American Journal of Mathematics
3825:Theorems in algebraic topology
3650:
3644:
3614:
3608:
3578:
3566:
3500:
3494:
3464:
3458:
3445:
3442:
3436:
3420:
3414:
3352:
3349:
3343:
3327:
3321:
3280:
3273:
3255:
3245:
3237:
3228:
3221:
3209:
3199:
3191:
3155:
3129:
3126:
3114:
3111:
3098:
3012:
3006:
2976:
2970:
2936:
2930:
2917:
2914:
2908:
2892:
2886:
2847:
2841:
2825:
2819:
2805:
2800:
2788:
2760:
2738:
2732:
2716:
2710:
2682:
2674:
2668:
2652:
2646:
2573:
2570:
2564:
2558:
2552:
2546:
2534:
2531:
2488:
2482:
2466:
2460:
2440:
2437:
2431:
2415:
2409:
2340:
2328:
2315:
2298:
2292:
2276:
2270:
2219:
2213:
2197:
2191:
2171:
2168:
2156:
2123:with unity) to a pair of maps
2082:
2076:
2060:
2054:
2041:
2038:
2032:
2013:differential graded coalgebras
1994:
1982:
1961:
1946:
1940:
1924:
1918:
1888:
1885:
1879:
1863:
1857:
1784:
1778:
1748:
1742:
1726:
1720:
1707:
1704:
1698:
1648:
1636:
1623:
1620:
1614:
1575:
1396:
1390:
1374:
1368:
1339:
1333:
1317:
1311:
1288:
1276:
1238:
1232:
1216:
1210:
1059:
1056:
1050:
1034:
1028:
1015:
999:
996:
984:
971:
837:
825:
812:
809:
803:
787:
781:
758:
752:
736:
730:
717:
714:
702:
657:
651:
621:
615:
531:
525:
461:
451:
423:
411:
406:
400:
384:
378:
340:
334:
318:
312:
272:
260:
230:
224:
194:
188:
1:
3762:10.1016/S0022-4049(02)00160-3
3397:Note that if this direct map
591:{\displaystyle \partial _{Y}}
564:{\displaystyle \partial _{X}}
3025:are isomorphisms. Replacing
2949:in cohomology, known as the
2385:differential graded algebras
1474:such that further, each of
1105:Alexander–Whitney map
3841:
3732:Cambridge University Press
3515:commutative graded algebra
1129:Eilenberg–Zilber map
3803:10.1017/S0305004100070158
168:, Then we have the three
57:{\displaystyle X\times Y}
3656:{\displaystyle H_{*}(Y)}
3620:{\displaystyle H_{*}(X)}
3506:{\displaystyle C^{*}(X)}
3018:{\displaystyle H^{*}(G)}
2982:{\displaystyle H^{*}(i)}
1790:{\displaystyle H_{*}(X)}
663:{\displaystyle C_{*}(Y)}
627:{\displaystyle C_{*}(X)}
236:{\displaystyle C_{*}(Y)}
200:{\displaystyle C_{*}(X)}
120:Statement of the theorem
64:and those of the spaces
29:Eilenberg–Zilber theorem
2099:Statement in cohomology
3657:
3621:
3585:
3507:
3471:
3388:
3362:
3294:
3187:
3073:
3046:
3019:
2983:
2943:
2854:
2620:
2600:
2580:
2509:
2377:
2347:
2117:
2089:
2001:
1831:
1811:
1791:
1755:
1675:
1655:
1591:
1549:homotopy retract datum
1537:
1514:
1491:
1468:
1448:
1428:
1405:
1165:
1145:
1121:
1097:
1069:
941:
921:
893:
870:
844:
664:
628:
592:
565:
538:
493:
347:
279:
237:
201:
158:
138:
98:
78:
58:
3658:
3622:
3586:
3508:
3472:
3389:
3363:
3295:
3161:
3074:
3072:{\displaystyle F^{*}}
3047:
3045:{\displaystyle G^{*}}
3020:
2984:
2944:
2855:
2621:
2601:
2581:
2510:
2378:
2376:{\displaystyle H^{*}}
2348:
2118:
2090:
2002:
1832:
1812:
1792:
1756:
1676:
1656:
1592:
1538:
1515:
1492:
1469:
1449:
1429:
1406:
1166:
1146:
1122:
1098:
1070:
942:
922:
894:
871:
845:
665:
629:
598:the differentials on
593:
566:
539:
494:
348:
280:
238:
202:
159:
139:
99:
79:
59:
3631:
3595:
3553:
3481:
3401:
3372:
3308:
3086:
3056:
3029:
2993:
2957:
2867:
2633:
2610:
2590:
2519:
2390:
2360:
2130:
2107:
2019:
1844:
1821:
1801:
1765:
1685:
1665:
1601:
1563:
1524:
1501:
1478:
1458:
1438:
1418:
1178:
1155:
1135:
1111:
1087:
958:
931:
911:
880:
876:is the identity and
857:
683:
638:
602:
575:
548:
506:
360:
299:
247:
211:
175:
148:
128:
88:
68:
42:
3820:Homological algebra
3387:{\displaystyle p=q}
2863:inducing a product
1681:yields a coproduct
3728:Algebraic Topology
3653:
3617:
3581:
3503:
3467:
3384:
3358:
3290:
3069:
3042:
3015:
2979:
2939:
2850:
2616:
2596:
2576:
2505:
2373:
2343:
2113:
2085:
1997:
1827:
1807:
1787:
1751:
1671:
1651:
1587:
1536:{\displaystyle HG}
1533:
1513:{\displaystyle FH}
1510:
1490:{\displaystyle HH}
1487:
1464:
1444:
1424:
1401:
1161:
1141:
1117:
1093:
1065:
937:
917:
892:{\displaystyle GF}
889:
869:{\displaystyle FG}
866:
840:
660:
624:
588:
561:
534:
489:
343:
275:
233:
197:
166:topological spaces
154:
134:
94:
74:
54:
25:algebraic topology
23:, specifically in
3741:978-0-521-79540-1
3686:Eilenberg, Samuel
3531:classifying space
2829:
2777:
2773:
2757:
2692:
2688:
2679:
2619:{\displaystyle i}
2599:{\displaystyle k}
2116:{\displaystyle k}
1971:
1967:
1958:
1830:{\displaystyle Y}
1810:{\displaystyle X}
1674:{\displaystyle F}
1559:The diagonal map
1467:{\displaystyle Y}
1447:{\displaystyle X}
1427:{\displaystyle H}
1164:{\displaystyle Y}
1144:{\displaystyle X}
1120:{\displaystyle G}
1096:{\displaystyle F}
940:{\displaystyle Y}
920:{\displaystyle X}
157:{\displaystyle Y}
137:{\displaystyle X}
97:{\displaystyle Y}
77:{\displaystyle X}
3832:
3805:
3796:
3773:
3764:
3744:
3718:
3662:
3660:
3659:
3654:
3643:
3642:
3626:
3624:
3623:
3618:
3607:
3606:
3590:
3588:
3587:
3582:
3565:
3564:
3512:
3510:
3509:
3504:
3493:
3492:
3476:
3474:
3473:
3468:
3457:
3456:
3435:
3434:
3413:
3412:
3393:
3391:
3390:
3385:
3368:vanishes unless
3367:
3365:
3364:
3359:
3342:
3341:
3320:
3319:
3299:
3297:
3296:
3291:
3289:
3288:
3279:
3278:
3277:
3276:
3248:
3227:
3226:
3225:
3224:
3202:
3186:
3175:
3151:
3150:
3141:
3140:
3107:
3106:
3078:
3076:
3075:
3070:
3068:
3067:
3051:
3049:
3048:
3043:
3041:
3040:
3024:
3022:
3021:
3016:
3005:
3004:
2988:
2986:
2985:
2980:
2969:
2968:
2948:
2946:
2945:
2940:
2929:
2928:
2907:
2906:
2885:
2884:
2859:
2857:
2856:
2851:
2840:
2839:
2830:
2828:
2818:
2817:
2804:
2787:
2786:
2775:
2774:
2772:
2771:
2759:
2755:
2754:
2753:
2748:
2747:
2731:
2730:
2709:
2708:
2699:
2698:
2690:
2689:
2681:
2677:
2667:
2666:
2645:
2644:
2625:
2623:
2622:
2617:
2605:
2603:
2602:
2597:
2585:
2583:
2582:
2577:
2514:
2512:
2511:
2506:
2504:
2503:
2498:
2497:
2481:
2480:
2459:
2458:
2449:
2448:
2430:
2429:
2408:
2407:
2382:
2380:
2379:
2374:
2372:
2371:
2352:
2350:
2349:
2344:
2327:
2326:
2314:
2313:
2308:
2307:
2291:
2290:
2269:
2268:
2259:
2258:
2249:
2248:
2235:
2234:
2229:
2228:
2212:
2211:
2190:
2189:
2180:
2179:
2155:
2154:
2142:
2141:
2122:
2120:
2119:
2114:
2094:
2092:
2091:
2086:
2075:
2074:
2053:
2052:
2031:
2030:
2015:. The composite
2006:
2004:
2003:
1998:
1981:
1980:
1969:
1968:
1960:
1956:
1955:
1954:
1939:
1938:
1917:
1916:
1907:
1906:
1900:
1899:
1878:
1877:
1856:
1855:
1836:
1834:
1833:
1828:
1816:
1814:
1813:
1808:
1796:
1794:
1793:
1788:
1777:
1776:
1760:
1758:
1757:
1752:
1741:
1740:
1719:
1718:
1697:
1696:
1680:
1678:
1677:
1672:
1660:
1658:
1657:
1652:
1635:
1634:
1613:
1612:
1596:
1594:
1593:
1588:
1542:
1540:
1539:
1534:
1519:
1517:
1516:
1511:
1496:
1494:
1493:
1488:
1473:
1471:
1470:
1465:
1453:
1451:
1450:
1445:
1434:natural in both
1433:
1431:
1430:
1425:
1410:
1408:
1407:
1402:
1400:
1399:
1389:
1388:
1367:
1366:
1343:
1342:
1332:
1331:
1310:
1309:
1292:
1291:
1275:
1274:
1264:
1242:
1241:
1231:
1230:
1209:
1208:
1198:
1170:
1168:
1167:
1162:
1150:
1148:
1147:
1142:
1126:
1124:
1123:
1118:
1102:
1100:
1099:
1094:
1074:
1072:
1071:
1066:
1049:
1048:
1027:
1026:
1014:
1013:
983:
982:
970:
969:
946:
944:
943:
938:
926:
924:
923:
918:
898:
896:
895:
890:
875:
873:
872:
867:
849:
847:
846:
841:
824:
823:
802:
801:
780:
779:
751:
750:
729:
728:
701:
700:
669:
667:
666:
661:
650:
649:
633:
631:
630:
625:
614:
613:
597:
595:
594:
589:
587:
586:
570:
568:
567:
562:
560:
559:
543:
541:
540:
535:
524:
523:
498:
496:
495:
490:
485:
484:
469:
468:
438:
437:
410:
409:
399:
398:
377:
376:
352:
350:
349:
344:
333:
332:
311:
310:
284:
282:
281:
276:
259:
258:
242:
240:
239:
234:
223:
222:
206:
204:
203:
198:
187:
186:
163:
161:
160:
155:
143:
141:
140:
135:
110:Samuel Eilenberg
103:
101:
100:
95:
83:
81:
80:
75:
63:
61:
60:
55:
3840:
3839:
3835:
3834:
3833:
3831:
3830:
3829:
3810:
3809:
3794:10.1.1.145.9813
3777:
3748:
3742:
3722:
3700:10.2307/2372629
3684:
3681:
3669:
3634:
3629:
3628:
3598:
3593:
3592:
3556:
3551:
3550:
3547:Künneth theorem
3543:
3523:
3521:Generalizations
3484:
3479:
3478:
3448:
3426:
3404:
3399:
3398:
3370:
3369:
3333:
3311:
3306:
3305:
3250:
3243:
3204:
3197:
3142:
3132:
3084:
3083:
3059:
3054:
3053:
3032:
3027:
3026:
2996:
2991:
2990:
2960:
2955:
2954:
2920:
2898:
2876:
2865:
2864:
2831:
2809:
2808:
2778:
2763:
2741:
2722:
2700:
2658:
2636:
2631:
2630:
2608:
2607:
2588:
2587:
2517:
2516:
2491:
2472:
2450:
2421:
2399:
2388:
2387:
2363:
2358:
2357:
2318:
2301:
2282:
2260:
2240:
2222:
2203:
2181:
2146:
2133:
2128:
2127:
2105:
2104:
2101:
2066:
2044:
2022:
2017:
2016:
1972:
1930:
1908:
1891:
1869:
1847:
1842:
1841:
1819:
1818:
1799:
1798:
1768:
1763:
1762:
1732:
1710:
1688:
1683:
1682:
1663:
1662:
1626:
1604:
1599:
1598:
1561:
1560:
1557:
1522:
1521:
1499:
1498:
1476:
1475:
1456:
1455:
1436:
1435:
1416:
1415:
1414:for a homotopy
1380:
1358:
1353:
1323:
1301:
1296:
1266:
1256:
1222:
1200:
1190:
1176:
1175:
1153:
1152:
1133:
1132:
1109:
1108:
1085:
1084:
1081:
1040:
1018:
1005:
974:
961:
956:
955:
929:
928:
909:
908:
901:chain-homotopic
878:
877:
855:
854:
815:
793:
771:
742:
720:
692:
681:
680:
641:
636:
635:
605:
600:
599:
578:
573:
572:
551:
546:
545:
515:
504:
503:
476:
460:
429:
390:
368:
363:
358:
357:
324:
302:
297:
296:
250:
245:
244:
214:
209:
208:
178:
173:
172:
170:chain complexes
146:
145:
126:
125:
122:
86:
85:
66:
65:
40:
39:
33:homology groups
17:
12:
11:
5:
3838:
3836:
3828:
3827:
3822:
3812:
3811:
3808:
3807:
3775:
3746:
3740:
3724:Hatcher, Allen
3720:
3680:
3677:
3676:
3675:
3668:
3665:
3652:
3649:
3646:
3641:
3637:
3616:
3613:
3610:
3605:
3601:
3580:
3577:
3574:
3571:
3568:
3563:
3559:
3542:
3539:
3522:
3519:
3502:
3499:
3496:
3491:
3487:
3466:
3463:
3460:
3455:
3451:
3447:
3444:
3441:
3438:
3433:
3429:
3425:
3422:
3419:
3416:
3411:
3407:
3383:
3380:
3377:
3357:
3354:
3351:
3348:
3345:
3340:
3336:
3332:
3329:
3326:
3323:
3318:
3314:
3302:
3301:
3287:
3282:
3275:
3272:
3269:
3266:
3263:
3260:
3257:
3253:
3247:
3242:
3239:
3236:
3233:
3230:
3223:
3220:
3217:
3214:
3211:
3207:
3201:
3196:
3193:
3190:
3185:
3182:
3179:
3174:
3171:
3168:
3164:
3160:
3157:
3154:
3149:
3145:
3139:
3135:
3131:
3128:
3125:
3122:
3119:
3116:
3113:
3110:
3105:
3100:
3097:
3094:
3091:
3066:
3062:
3039:
3035:
3014:
3011:
3008:
3003:
2999:
2978:
2975:
2972:
2967:
2963:
2938:
2935:
2932:
2927:
2923:
2919:
2916:
2913:
2910:
2905:
2901:
2897:
2894:
2891:
2888:
2883:
2879:
2875:
2872:
2861:
2860:
2849:
2846:
2843:
2838:
2834:
2827:
2824:
2821:
2816:
2812:
2807:
2802:
2799:
2796:
2793:
2790:
2785:
2781:
2770:
2766:
2762:
2752:
2746:
2740:
2737:
2734:
2729:
2725:
2721:
2718:
2715:
2712:
2707:
2703:
2697:
2687:
2684:
2676:
2673:
2670:
2665:
2661:
2657:
2654:
2651:
2648:
2643:
2639:
2615:
2595:
2575:
2572:
2569:
2566:
2563:
2560:
2557:
2554:
2551:
2548:
2545:
2542:
2539:
2536:
2533:
2530:
2527:
2524:
2502:
2496:
2490:
2487:
2484:
2479:
2475:
2471:
2468:
2465:
2462:
2457:
2453:
2447:
2442:
2439:
2436:
2433:
2428:
2424:
2420:
2417:
2414:
2411:
2406:
2402:
2398:
2395:
2370:
2366:
2354:
2353:
2342:
2339:
2336:
2333:
2330:
2325:
2321:
2317:
2312:
2306:
2300:
2297:
2294:
2289:
2285:
2281:
2278:
2275:
2272:
2267:
2263:
2257:
2252:
2247:
2243:
2238:
2233:
2227:
2221:
2218:
2215:
2210:
2206:
2202:
2199:
2196:
2193:
2188:
2184:
2178:
2173:
2170:
2167:
2164:
2161:
2158:
2153:
2149:
2145:
2140:
2136:
2112:
2100:
2097:
2084:
2081:
2078:
2073:
2069:
2065:
2062:
2059:
2056:
2051:
2047:
2043:
2040:
2037:
2034:
2029:
2025:
2009:
2008:
1996:
1993:
1990:
1987:
1984:
1979:
1975:
1966:
1963:
1953:
1948:
1945:
1942:
1937:
1933:
1929:
1926:
1923:
1920:
1915:
1911:
1905:
1898:
1894:
1890:
1887:
1884:
1881:
1876:
1872:
1868:
1865:
1862:
1859:
1854:
1850:
1826:
1806:
1786:
1783:
1780:
1775:
1771:
1750:
1747:
1744:
1739:
1735:
1731:
1728:
1725:
1722:
1717:
1713:
1709:
1706:
1703:
1700:
1695:
1691:
1670:
1650:
1647:
1644:
1641:
1638:
1633:
1629:
1625:
1622:
1619:
1616:
1611:
1607:
1586:
1583:
1580:
1577:
1574:
1571:
1568:
1556:
1553:
1532:
1529:
1509:
1506:
1486:
1483:
1463:
1443:
1423:
1412:
1411:
1398:
1395:
1392:
1387:
1383:
1379:
1376:
1373:
1370:
1365:
1361:
1356:
1352:
1349:
1346:
1341:
1338:
1335:
1330:
1326:
1322:
1319:
1316:
1313:
1308:
1304:
1299:
1295:
1290:
1287:
1284:
1281:
1278:
1273:
1269:
1263:
1260:
1255:
1252:
1249:
1245:
1240:
1237:
1234:
1229:
1225:
1221:
1218:
1215:
1212:
1207:
1203:
1197:
1194:
1189:
1186:
1183:
1160:
1140:
1116:
1092:
1080:
1077:
1076:
1075:
1064:
1061:
1058:
1055:
1052:
1047:
1043:
1039:
1036:
1033:
1030:
1025:
1021:
1017:
1012:
1008:
1004:
1001:
998:
995:
992:
989:
986:
981:
977:
973:
968:
964:
936:
916:
888:
885:
865:
862:
851:
850:
839:
836:
833:
830:
827:
822:
818:
814:
811:
808:
805:
800:
796:
792:
789:
786:
783:
778:
774:
770:
767:
763:
760:
757:
754:
749:
745:
741:
738:
735:
732:
727:
723:
719:
716:
713:
710:
707:
704:
699:
695:
691:
688:
659:
656:
653:
648:
644:
623:
620:
617:
612:
608:
585:
581:
558:
554:
533:
530:
527:
522:
518:
514:
511:
500:
499:
488:
483:
479:
475:
472:
467:
463:
459:
456:
453:
450:
447:
444:
441:
436:
432:
428:
425:
422:
419:
416:
413:
408:
405:
402:
397:
393:
389:
386:
383:
380:
375:
371:
366:
342:
339:
336:
331:
327:
323:
320:
317:
314:
309:
305:
292:tensor product
274:
271:
268:
265:
262:
257:
253:
232:
229:
226:
221:
217:
196:
193:
190:
185:
181:
153:
133:
121:
118:
93:
73:
53:
50:
47:
15:
13:
10:
9:
6:
4:
3:
2:
3837:
3826:
3823:
3821:
3818:
3817:
3815:
3804:
3800:
3795:
3790:
3786:
3785:
3780:
3779:Brown, Ronald
3776:
3772:
3768:
3763:
3758:
3754:
3753:
3747:
3743:
3737:
3733:
3729:
3725:
3721:
3717:
3713:
3709:
3705:
3701:
3697:
3693:
3692:
3687:
3683:
3682:
3678:
3674:
3673:Acyclic model
3671:
3670:
3666:
3664:
3647:
3639:
3635:
3611:
3603:
3599:
3575:
3572:
3569:
3561:
3557:
3548:
3540:
3538:
3536:
3532:
3528:
3520:
3518:
3516:
3497:
3489:
3485:
3461:
3453:
3449:
3439:
3431:
3427:
3423:
3417:
3409:
3405:
3395:
3381:
3378:
3375:
3355:
3346:
3338:
3334:
3330:
3324:
3316:
3312:
3270:
3267:
3264:
3261:
3258:
3240:
3234:
3231:
3218:
3215:
3212:
3194:
3188:
3183:
3180:
3177:
3172:
3169:
3166:
3162:
3158:
3152:
3147:
3137:
3133:
3123:
3120:
3117:
3108:
3095:
3092:
3089:
3082:
3081:
3080:
3064:
3060:
3037:
3033:
3009:
3001:
2997:
2973:
2965:
2961:
2952:
2933:
2925:
2921:
2911:
2903:
2899:
2895:
2889:
2881:
2877:
2873:
2870:
2844:
2836:
2832:
2814:
2810:
2797:
2794:
2791:
2783:
2779:
2768:
2764:
2750:
2735:
2727:
2723:
2719:
2713:
2705:
2701:
2685:
2671:
2663:
2659:
2655:
2649:
2641:
2637:
2629:
2628:
2627:
2613:
2593:
2567:
2561:
2555:
2549:
2543:
2540:
2537:
2528:
2525:
2522:
2500:
2485:
2477:
2473:
2469:
2463:
2455:
2451:
2434:
2426:
2422:
2418:
2412:
2404:
2400:
2396:
2393:
2386:
2368:
2364:
2337:
2334:
2331:
2323:
2319:
2310:
2295:
2287:
2283:
2279:
2273:
2265:
2261:
2250:
2245:
2241:
2236:
2231:
2216:
2208:
2204:
2200:
2194:
2186:
2182:
2165:
2162:
2159:
2151:
2147:
2143:
2138:
2134:
2126:
2125:
2124:
2110:
2098:
2096:
2079:
2071:
2067:
2063:
2057:
2049:
2045:
2035:
2027:
2023:
2014:
1991:
1988:
1985:
1977:
1973:
1964:
1943:
1935:
1931:
1927:
1921:
1913:
1909:
1896:
1892:
1882:
1874:
1870:
1866:
1860:
1852:
1848:
1840:
1839:
1838:
1824:
1804:
1781:
1773:
1769:
1745:
1737:
1733:
1729:
1723:
1715:
1711:
1701:
1693:
1689:
1668:
1645:
1642:
1639:
1631:
1627:
1617:
1609:
1605:
1584:
1581:
1578:
1572:
1569:
1555:The coproduct
1554:
1552:
1550:
1546:
1530:
1527:
1507:
1504:
1484:
1481:
1461:
1441:
1421:
1393:
1385:
1381:
1377:
1371:
1363:
1359:
1350:
1347:
1344:
1336:
1328:
1324:
1320:
1314:
1306:
1302:
1293:
1285:
1282:
1279:
1271:
1267:
1253:
1250:
1247:
1243:
1235:
1227:
1223:
1219:
1213:
1205:
1201:
1187:
1184:
1181:
1174:
1173:
1172:
1158:
1138:
1130:
1114:
1106:
1090:
1078:
1062:
1053:
1045:
1041:
1037:
1031:
1023:
1019:
1010:
1006:
1002:
993:
990:
987:
979:
975:
966:
962:
954:
953:
952:
950:
934:
914:
906:
902:
886:
883:
863:
860:
834:
831:
828:
820:
816:
806:
798:
794:
790:
784:
776:
772:
768:
765:
761:
755:
747:
743:
739:
733:
725:
721:
711:
708:
705:
697:
693:
689:
686:
679:
678:
677:
676:
671:
654:
646:
642:
618:
610:
606:
583:
556:
528:
520:
516:
512:
509:
486:
481:
473:
470:
465:
457:
454:
448:
445:
442:
439:
434:
426:
420:
417:
414:
403:
395:
391:
387:
381:
373:
369:
356:
355:
354:
337:
329:
325:
321:
315:
307:
303:
295:
293:
288:
269:
266:
263:
255:
251:
227:
219:
215:
191:
183:
179:
171:
167:
151:
131:
119:
117:
115:
114:acyclic model
111:
107:
91:
71:
51:
48:
45:
38:
37:product space
34:
30:
26:
22:
3782:
3750:
3727:
3689:
3591:in terms of
3544:
3541:Consequences
3535:Ronald Brown
3524:
3396:
3303:
2862:
2355:
2102:
2010:
1558:
1548:
1544:
1413:
1128:
1104:
1082:
852:
672:
501:
290:
123:
28:
18:
3527:non-abelian
2951:cup product
1837:, the map
1545:contraction
21:mathematics
3814:Categories
3679:References
2953:, because
853:such that
675:chain maps
287:simplicial
3789:CiteSeerX
3640:∗
3604:∗
3573:×
3562:∗
3490:∗
3454:∗
3446:→
3432:∗
3424:⊗
3410:∗
3353:→
3331:⊗
3271:σ
3268:
3252:Δ
3241:σ
3235:β
3232:⋅
3206:Δ
3195:σ
3189:α
3184:σ
3181:
3163:∑
3153:σ
3148:∗
3144:Δ
3138:∗
3124:β
3121:⊗
3118:α
3112:↦
3109:σ
3099:↦
3096:β
3093:⊗
3090:α
3065:∗
3038:∗
3002:∗
2966:∗
2926:∗
2918:→
2904:∗
2896:⊗
2882:∗
2874::
2871:⌣
2837:∗
2823:Δ
2815:∗
2806:→
2795:×
2784:∗
2769:∗
2761:←
2751:∗
2728:∗
2720:⊗
2706:∗
2683:→
2664:∗
2656:⊗
2642:∗
2568:τ
2562:β
2556:σ
2550:α
2547:↦
2544:τ
2541:⊗
2538:σ
2532:↦
2529:β
2526:⊗
2523:α
2515:given by
2501:∗
2478:∗
2470:⊗
2456:∗
2441:→
2427:∗
2419:⊗
2405:∗
2397::
2369:∗
2335:×
2324:∗
2316:→
2311:∗
2288:∗
2280:⊗
2266:∗
2251::
2246:∗
2232:∗
2209:∗
2201:⊗
2187:∗
2172:→
2163:×
2152:∗
2144::
2139:∗
2072:∗
2064:⊗
2050:∗
2042:→
2028:∗
1989:×
1978:∗
1965:∼
1962:→
1936:∗
1928:⊗
1914:∗
1897:∗
1889:→
1875:∗
1867:⊗
1853:∗
1774:∗
1738:∗
1730:⊗
1716:∗
1708:→
1694:∗
1643:×
1632:∗
1624:→
1610:∗
1582:×
1576:→
1570::
1567:Δ
1386:∗
1378:⊗
1364:∗
1355:∂
1329:∗
1321:⊗
1307:∗
1298:∂
1283:×
1272:∗
1254:−
1228:∗
1220:⊗
1206:∗
1046:∗
1038:⊗
1024:∗
1011:∗
1003:≅
991:×
980:∗
967:∗
832:×
821:∗
813:→
799:∗
791:⊗
777:∗
769::
748:∗
740:⊗
726:∗
718:→
709:×
698:∗
690::
647:∗
611:∗
580:∂
553:∂
513:∈
510:σ
487:τ
478:∂
474:⊗
471:σ
455:−
446:τ
443:⊗
440:σ
431:∂
421:τ
418:⊗
415:σ
396:∗
388:⊗
374:∗
365:∂
330:∗
322:⊗
308:∗
267:×
256:∗
220:∗
184:∗
116:theorem.
49:×
3726:(2002),
3667:See also
949:homology
3771:1958384
3716:0052767
3708:2372629
2606:. This
905:natural
294:complex
3791:
3769:
3738:
3714:
3706:
2776:
2756:
2691:
2678:
1970:
1957:
1520:, and
243:, and
27:, the
3704:JSTOR
3052:with
1547:or a
35:of a
3736:ISBN
3627:and
2989:and
1817:and
1454:and
1151:and
1127:the
1107:and
927:and
544:and
502:for
164:are
144:and
84:and
3799:doi
3757:doi
3696:doi
3265:dim
3178:dim
907:in
899:is
108:by
19:In
3816::
3797:,
3767:MR
3765:,
3734:,
3730:,
3712:MR
3710:,
3702:,
3513:a
1551:.
1497:,
951::
670:.
571:,
207:,
3806:.
3801::
3774:.
3759::
3745:.
3719:.
3698::
3651:)
3648:Y
3645:(
3636:H
3615:)
3612:X
3609:(
3600:H
3579:)
3576:Y
3570:X
3567:(
3558:H
3501:)
3498:X
3495:(
3486:C
3465:)
3462:X
3459:(
3450:C
3443:)
3440:X
3437:(
3428:C
3421:)
3418:X
3415:(
3406:C
3382:q
3379:=
3376:p
3356:k
3350:)
3347:X
3344:(
3339:q
3335:C
3328:)
3325:X
3322:(
3317:p
3313:C
3300:,
3286:)
3281:)
3274:]
3262:,
3259:p
3256:[
3246:|
3238:(
3229:)
3222:]
3219:p
3216:,
3213:0
3210:[
3200:|
3192:(
3173:0
3170:=
3167:p
3159:=
3156:)
3134:F
3130:(
3127:)
3115:(
3104:(
3061:F
3034:G
3013:)
3010:G
3007:(
2998:H
2977:)
2974:i
2971:(
2962:H
2937:)
2934:X
2931:(
2922:H
2915:)
2912:X
2909:(
2900:H
2893:)
2890:X
2887:(
2878:H
2848:)
2845:X
2842:(
2833:C
2826:)
2820:(
2811:C
2801:)
2798:X
2792:X
2789:(
2780:C
2765:G
2745:)
2739:)
2736:X
2733:(
2724:C
2717:)
2714:X
2711:(
2702:C
2696:(
2686:i
2675:)
2672:X
2669:(
2660:C
2653:)
2650:X
2647:(
2638:C
2614:i
2594:k
2574:)
2571:)
2565:(
2559:)
2553:(
2535:(
2495:)
2489:)
2486:Y
2483:(
2474:C
2467:)
2464:X
2461:(
2452:C
2446:(
2438:)
2435:Y
2432:(
2423:C
2416:)
2413:X
2410:(
2401:C
2394:i
2365:H
2341:)
2338:Y
2332:X
2329:(
2320:C
2305:)
2299:)
2296:Y
2293:(
2284:C
2277:)
2274:X
2271:(
2262:C
2256:(
2242:F
2237:,
2226:)
2220:)
2217:Y
2214:(
2205:C
2198:)
2195:X
2192:(
2183:C
2177:(
2169:)
2166:Y
2160:X
2157:(
2148:C
2135:G
2111:k
2083:)
2080:X
2077:(
2068:C
2061:)
2058:X
2055:(
2046:C
2039:)
2036:X
2033:(
2024:C
2007:,
1995:)
1992:Y
1986:X
1983:(
1974:H
1952:)
1947:)
1944:Y
1941:(
1932:C
1925:)
1922:X
1919:(
1910:C
1904:(
1893:H
1886:)
1883:Y
1880:(
1871:H
1864:)
1861:X
1858:(
1849:H
1825:Y
1805:X
1785:)
1782:X
1779:(
1770:H
1749:)
1746:X
1743:(
1734:C
1727:)
1724:X
1721:(
1712:C
1705:)
1702:X
1699:(
1690:C
1669:F
1649:)
1646:X
1640:X
1637:(
1628:C
1621:)
1618:X
1615:(
1606:C
1585:X
1579:X
1573:X
1531:G
1528:H
1508:H
1505:F
1485:H
1482:H
1462:Y
1442:X
1422:H
1397:)
1394:Y
1391:(
1382:C
1375:)
1372:X
1369:(
1360:C
1351:H
1348:+
1345:H
1340:)
1337:Y
1334:(
1325:C
1318:)
1315:X
1312:(
1303:C
1294:=
1289:)
1286:Y
1280:X
1277:(
1268:C
1262:d
1259:i
1251:F
1248:G
1244:,
1239:)
1236:Y
1233:(
1224:C
1217:)
1214:X
1211:(
1202:C
1196:d
1193:i
1188:=
1185:G
1182:F
1159:Y
1139:X
1115:G
1091:F
1063:.
1060:)
1057:)
1054:Y
1051:(
1042:C
1035:)
1032:X
1029:(
1020:C
1016:(
1007:H
1000:)
997:)
994:Y
988:X
985:(
976:C
972:(
963:H
935:Y
915:X
887:F
884:G
864:G
861:F
838:)
835:Y
829:X
826:(
817:C
810:)
807:Y
804:(
795:C
788:)
785:X
782:(
773:C
766:G
762:,
759:)
756:Y
753:(
744:C
737:)
734:X
731:(
722:C
715:)
712:Y
706:X
703:(
694:C
687:F
658:)
655:Y
652:(
643:C
634:,
622:)
619:X
616:(
607:C
584:Y
557:X
532:)
529:X
526:(
521:p
517:C
482:Y
466:p
462:)
458:1
452:(
449:+
435:X
427:=
424:)
412:(
407:)
404:Y
401:(
392:C
385:)
382:X
379:(
370:C
341:)
338:Y
335:(
326:C
319:)
316:X
313:(
304:C
273:)
270:Y
264:X
261:(
252:C
231:)
228:Y
225:(
216:C
195:)
192:X
189:(
180:C
152:Y
132:X
92:Y
72:X
52:Y
46:X
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.