1819:
1250:
1500:
287:
1092:
142:
1081:
811:
1323:
518:
161:
1245:{\displaystyle 0\longrightarrow \operatorname {Tor} _{1}^{\mathbb {Z} }(D_{n}^{r},\mathbb {Z} /p)\longrightarrow D_{n}^{r}{\overset {p}{\longrightarrow }}D_{n}^{r}\longrightarrow D_{n}^{r}\otimes \mathbb {Z} /p\longrightarrow 0}
66:
1762:
1311:
1018:
720:
602:
884:
1495:{\displaystyle 0\longrightarrow (p^{r-1}H_{n}(C))\otimes \mathbb {Z} /p\longrightarrow E_{n,0}^{r}\longrightarrow \operatorname {Tor} (p^{r-1}H_{n-1}(C),\mathbb {Z} /p)\longrightarrow 0}
964:
367:
712:
1610:
1010:
643:
1672:
1699:
1646:
1573:
1530:
282:{\displaystyle H_{*}(C){\overset {i=p}{\longrightarrow }}H_{*}(C){\overset {j}{\longrightarrow }}H_{*}(C\otimes \mathbb {Z} /p){\overset {k}{\longrightarrow }}.}
372:
137:{\displaystyle 0\longrightarrow C{\overset {p}{\longrightarrow }}C{\overset {{\text{mod}}p}{\longrightarrow }}C\otimes \mathbb {Z} /p\longrightarrow 0.}
1860:
1787:
1704:
1076:{\displaystyle 0\longrightarrow \mathbb {Z} {\overset {p}{\longrightarrow }}\mathbb {Z} \longrightarrow \mathbb {Z} /p\longrightarrow 0,}
1259:
806:{\displaystyle D^{r}{\overset {i=p}{\longrightarrow }}D^{r}{\overset {{}^{r}j}{\longrightarrow }}E^{r}{\overset {k}{\longrightarrow }}}
525:
819:
1533:
1879:
1853:
1779:
49:
889:
295:
1884:
652:
1846:
1578:
977:
607:
1651:
1677:
1783:
1615:
1542:
21:
1804:
1797:
1793:
33:
1509:
513:{\displaystyle H_{*}(C\otimes \mathbb {Z} /p),\deg i=(1,-1),\deg j=(0,0),\deg k=(-1,0).}
1830:
649:
of the above exact couple then gives the second page and so forth. Explicitly, we have
646:
1873:
1575:
is finitely generated; in particular, only finitely many cyclic modules of the form
152:
57:
1818:
1778:, Cambridge Studies in Advanced Mathematics, vol. 58 (2nd ed.),
1826:
1313:. Expanding the exact couple into a long exact sequence, we get: for any
1757:{\displaystyle ({\text{free part of }}H_{*}(C))\otimes \mathbb {Z} /p}
1306:{\displaystyle D_{n}^{r}{\overset {p}{\longrightarrow }}D_{n}^{r}}
597:{\displaystyle E_{s,t}^{1}=H_{s+t}(C\otimes \mathbb {Z} /p)}
522:
This gives the first page of the spectral sequence: we take
879:{\displaystyle {}^{r}j=({\text{mod }}p)\circ p^{-{r+1}}}
1834:
1707:
1680:
1654:
1618:
1581:
1545:
1512:
1326:
1262:
1095:
1021:
980:
892:
822:
723:
655:
610:
528:
375:
298:
164:
69:
1756:
1693:
1666:
1640:
1604:
1567:
1524:
1494:
1305:
1244:
1075:
1004:
958:
878:
805:
706:
637:
596:
512:
361:
281:
136:
28:coefficients and the homology reduced mod
1854:
8:
1861:
1847:
959:{\displaystyle \deg({}^{r}j)=(-(r-1),r-1)}
1746:
1742:
1741:
1720:
1711:
1706:
1685:
1679:
1653:
1623:
1617:
1596:
1587:
1583:
1582:
1580:
1550:
1544:
1511:
1475:
1471:
1470:
1446:
1430:
1408:
1397:
1382:
1378:
1377:
1356:
1340:
1325:
1297:
1292:
1278:
1272:
1267:
1261:
1228:
1224:
1223:
1214:
1209:
1196:
1191:
1177:
1171:
1166:
1148:
1144:
1143:
1134:
1129:
1113:
1112:
1111:
1106:
1094:
1056:
1052:
1051:
1044:
1043:
1033:
1029:
1028:
1020:
990:
985:
979:
905:
903:
891:
863:
859:
841:
826:
824:
821:
793:
787:
771:
769:
762:
756:
734:
728:
722:
689:
673:
660:
654:
614:
612:
609:
583:
579:
578:
557:
544:
533:
527:
400:
396:
395:
380:
374:
362:{\displaystyle H_{*}(C)_{s,t}=H_{s+t}(C)}
338:
319:
303:
297:
266:
255:
251:
250:
235:
221:
206:
184:
169:
163:
120:
116:
115:
98:
92:
79:
68:
1256:This tells the kernel and cokernel of
974:are the same as before). Now, taking
707:{\displaystyle D^{r}=p^{r-1}H_{*}(C)}
7:
1815:
1813:
1776:A User's Guide to Spectral Sequences
24:relating the homology with mod
155:of "doubly graded" abelian groups:
60:. Then we have the exact sequence:
1686:
1661:
1612:can appear as a direct summand of
1605:{\displaystyle \mathbb {Z} /p^{s}}
1005:{\displaystyle D_{n}^{r}\otimes -}
14:
714:that fits into the exact couple:
1817:
1532:, this is the same thing as the
638:{\displaystyle {}^{1}d=j\circ k}
1805:A primer on spectral sequences
1735:
1732:
1726:
1708:
1658:
1635:
1629:
1562:
1556:
1486:
1483:
1464:
1458:
1423:
1414:
1390:
1371:
1368:
1362:
1333:
1330:
1280:
1236:
1202:
1179:
1159:
1156:
1122:
1099:
1064:
1048:
1035:
1025:
953:
938:
926:
920:
914:
899:
849:
838:
795:
764:
736:
701:
695:
591:
569:
504:
489:
471:
459:
441:
426:
408:
386:
356:
350:
316:
309:
268:
263:
241:
223:
218:
212:
186:
181:
175:
128:
94:
81:
73:
1:
1534:universal coefficient theorem
1833:. You can help Knowledge by
1667:{\displaystyle r\to \infty }
1694:{\displaystyle E^{\infty }}
50:torsion-free abelian groups
18:Bockstein spectral sequence
1901:
1812:
1780:Cambridge University Press
1539:Assume the abelian group
147:Taking integral homology
1641:{\displaystyle H_{*}(C)}
1568:{\displaystyle H_{*}(C)}
292:where the grading goes:
1774:McCleary, John (2001),
1758:
1695:
1668:
1642:
1606:
1569:
1526:
1496:
1307:
1246:
1077:
1006:
960:
880:
807:
708:
639:
604:with the differential
598:
514:
363:
283:
138:
48:be a chain complex of
1759:
1696:
1669:
1643:
1607:
1570:
1527:
1497:
1308:
1247:
1078:
1007:
961:
881:
808:
709:
640:
599:
515:
364:
284:
139:
32:. It is named after
1705:
1678:
1652:
1616:
1579:
1543:
1510:
1324:
1260:
1093:
1019:
978:
890:
820:
721:
653:
608:
526:
373:
296:
162:
67:
16:In mathematics, the
1525:{\displaystyle r=1}
1413:
1302:
1277:
1219:
1201:
1176:
1139:
1118:
995:
549:
1880:Spectral sequences
1754:
1713:free part of
1691:
1664:
1638:
1602:
1565:
1522:
1492:
1393:
1303:
1288:
1263:
1242:
1205:
1187:
1162:
1125:
1102:
1073:
1002:
981:
956:
876:
803:
704:
635:
594:
529:
510:
359:
279:
134:
1842:
1841:
1789:978-0-521-56759-6
1714:
1701:is isomorphic to
1286:
1185:
1041:
844:
801:
781:
750:
369:and the same for
274:
229:
200:
107:
101:
87:
22:spectral sequence
1892:
1863:
1856:
1849:
1827:topology-related
1821:
1814:
1800:
1763:
1761:
1760:
1755:
1750:
1745:
1725:
1724:
1715:
1712:
1700:
1698:
1697:
1692:
1690:
1689:
1673:
1671:
1670:
1665:
1647:
1645:
1644:
1639:
1628:
1627:
1611:
1609:
1608:
1603:
1601:
1600:
1591:
1586:
1574:
1572:
1571:
1566:
1555:
1554:
1531:
1529:
1528:
1523:
1501:
1499:
1498:
1493:
1479:
1474:
1457:
1456:
1441:
1440:
1412:
1407:
1386:
1381:
1361:
1360:
1351:
1350:
1312:
1310:
1309:
1304:
1301:
1296:
1287:
1279:
1276:
1271:
1251:
1249:
1248:
1243:
1232:
1227:
1218:
1213:
1200:
1195:
1186:
1178:
1175:
1170:
1152:
1147:
1138:
1133:
1117:
1116:
1110:
1082:
1080:
1079:
1074:
1060:
1055:
1047:
1042:
1034:
1032:
1011:
1009:
1008:
1003:
994:
989:
966:(the degrees of
965:
963:
962:
957:
910:
909:
904:
885:
883:
882:
877:
875:
874:
873:
845:
842:
831:
830:
825:
812:
810:
809:
804:
802:
794:
792:
791:
782:
780:
776:
775:
770:
763:
761:
760:
751:
749:
735:
733:
732:
713:
711:
710:
705:
694:
693:
684:
683:
665:
664:
644:
642:
641:
636:
619:
618:
613:
603:
601:
600:
595:
587:
582:
568:
567:
548:
543:
519:
517:
516:
511:
404:
399:
385:
384:
368:
366:
365:
360:
349:
348:
330:
329:
308:
307:
288:
286:
285:
280:
275:
267:
259:
254:
240:
239:
230:
222:
211:
210:
201:
199:
185:
174:
173:
143:
141:
140:
135:
124:
119:
108:
106:
102:
99:
93:
88:
80:
1900:
1899:
1895:
1894:
1893:
1891:
1890:
1889:
1870:
1869:
1868:
1867:
1810:
1790:
1773:
1770:
1716:
1703:
1702:
1681:
1676:
1675:
1650:
1649:
1619:
1614:
1613:
1592:
1577:
1576:
1546:
1541:
1540:
1508:
1507:
1442:
1426:
1352:
1336:
1322:
1321:
1258:
1257:
1091:
1090:
1017:
1016:
976:
975:
902:
888:
887:
855:
823:
818:
817:
783:
768:
767:
752:
739:
724:
719:
718:
685:
669:
656:
651:
650:
611:
606:
605:
553:
524:
523:
376:
371:
370:
334:
315:
299:
294:
293:
231:
202:
189:
165:
160:
159:
97:
65:
64:
42:
34:Meyer Bockstein
12:
11:
5:
1898:
1896:
1888:
1887:
1885:Topology stubs
1882:
1872:
1871:
1866:
1865:
1858:
1851:
1843:
1840:
1839:
1822:
1808:
1807:
1801:
1788:
1769:
1766:
1753:
1749:
1744:
1740:
1737:
1734:
1731:
1728:
1723:
1719:
1710:
1688:
1684:
1663:
1660:
1657:
1637:
1634:
1631:
1626:
1622:
1599:
1595:
1590:
1585:
1564:
1561:
1558:
1553:
1549:
1536:for homology.
1521:
1518:
1515:
1504:
1503:
1491:
1488:
1485:
1482:
1478:
1473:
1469:
1466:
1463:
1460:
1455:
1452:
1449:
1445:
1439:
1436:
1433:
1429:
1425:
1422:
1419:
1416:
1411:
1406:
1403:
1400:
1396:
1392:
1389:
1385:
1380:
1376:
1373:
1370:
1367:
1364:
1359:
1355:
1349:
1346:
1343:
1339:
1335:
1332:
1329:
1300:
1295:
1291:
1285:
1282:
1275:
1270:
1266:
1254:
1253:
1241:
1238:
1235:
1231:
1226:
1222:
1217:
1212:
1208:
1204:
1199:
1194:
1190:
1184:
1181:
1174:
1169:
1165:
1161:
1158:
1155:
1151:
1146:
1142:
1137:
1132:
1128:
1124:
1121:
1115:
1109:
1105:
1101:
1098:
1084:
1083:
1072:
1069:
1066:
1063:
1059:
1054:
1050:
1046:
1040:
1037:
1031:
1027:
1024:
1001:
998:
993:
988:
984:
955:
952:
949:
946:
943:
940:
937:
934:
931:
928:
925:
922:
919:
916:
913:
908:
901:
898:
895:
872:
869:
866:
862:
858:
854:
851:
848:
840:
837:
834:
829:
814:
813:
800:
797:
790:
786:
779:
774:
766:
759:
755:
748:
745:
742:
738:
731:
727:
703:
700:
697:
692:
688:
682:
679:
676:
672:
668:
663:
659:
647:derived couple
634:
631:
628:
625:
622:
617:
593:
590:
586:
581:
577:
574:
571:
566:
563:
560:
556:
552:
547:
542:
539:
536:
532:
509:
506:
503:
500:
497:
494:
491:
488:
485:
482:
479:
476:
473:
470:
467:
464:
461:
458:
455:
452:
449:
446:
443:
440:
437:
434:
431:
428:
425:
422:
419:
416:
413:
410:
407:
403:
398:
394:
391:
388:
383:
379:
358:
355:
352:
347:
344:
341:
337:
333:
328:
325:
322:
318:
314:
311:
306:
302:
290:
289:
278:
273:
270:
265:
262:
258:
253:
249:
246:
243:
238:
234:
228:
225:
220:
217:
214:
209:
205:
198:
195:
192:
188:
183:
180:
177:
172:
168:
145:
144:
133:
130:
127:
123:
118:
114:
111:
105:
96:
91:
86:
83:
78:
75:
72:
41:
38:
13:
10:
9:
6:
4:
3:
2:
1897:
1886:
1883:
1881:
1878:
1877:
1875:
1864:
1859:
1857:
1852:
1850:
1845:
1844:
1838:
1836:
1832:
1829:article is a
1828:
1823:
1820:
1816:
1811:
1806:
1802:
1799:
1795:
1791:
1785:
1781:
1777:
1772:
1771:
1767:
1765:
1751:
1747:
1738:
1729:
1721:
1717:
1682:
1655:
1632:
1624:
1620:
1597:
1593:
1588:
1559:
1551:
1547:
1537:
1535:
1519:
1516:
1513:
1489:
1480:
1476:
1467:
1461:
1453:
1450:
1447:
1443:
1437:
1434:
1431:
1427:
1420:
1417:
1409:
1404:
1401:
1398:
1394:
1387:
1383:
1374:
1365:
1357:
1353:
1347:
1344:
1341:
1337:
1327:
1320:
1319:
1318:
1316:
1298:
1293:
1289:
1283:
1273:
1268:
1264:
1239:
1233:
1229:
1220:
1215:
1210:
1206:
1197:
1192:
1188:
1182:
1172:
1167:
1163:
1153:
1149:
1140:
1135:
1130:
1126:
1119:
1107:
1103:
1096:
1089:
1088:
1087:
1070:
1067:
1061:
1057:
1038:
1022:
1015:
1014:
1013:
999:
996:
991:
986:
982:
973:
969:
950:
947:
944:
941:
935:
932:
929:
923:
917:
911:
906:
896:
893:
870:
867:
864:
860:
856:
852:
846:
835:
832:
827:
798:
788:
784:
777:
772:
757:
753:
746:
743:
740:
729:
725:
717:
716:
715:
698:
690:
686:
680:
677:
674:
670:
666:
661:
657:
648:
632:
629:
626:
623:
620:
615:
588:
584:
575:
572:
564:
561:
558:
554:
550:
545:
540:
537:
534:
530:
520:
507:
501:
498:
495:
492:
486:
483:
480:
477:
474:
468:
465:
462:
456:
453:
450:
447:
444:
438:
435:
432:
429:
423:
420:
417:
414:
411:
405:
401:
392:
389:
381:
377:
353:
345:
342:
339:
335:
331:
326:
323:
320:
312:
304:
300:
276:
271:
260:
256:
247:
244:
236:
232:
226:
215:
207:
203:
196:
193:
190:
178:
170:
166:
158:
157:
156:
154:
151:, we get the
150:
131:
125:
121:
112:
109:
103:
89:
84:
76:
70:
63:
62:
61:
59:
55:
51:
47:
39:
37:
35:
31:
27:
23:
19:
1835:expanding it
1824:
1809:
1775:
1674:we thus see
1538:
1505:
1314:
1255:
1085:
971:
967:
815:
521:
291:
153:exact couple
148:
146:
58:prime number
53:
45:
43:
29:
25:
17:
15:
1803:J. P. May,
1874:Categories
1768:References
1648:. Letting
40:Definition
1739:⊗
1722:∗
1687:∞
1662:∞
1659:→
1625:∗
1552:∗
1487:⟶
1451:−
1435:−
1421:
1415:⟶
1391:⟶
1375:⊗
1345:−
1331:⟶
1281:⟶
1237:⟶
1221:⊗
1203:⟶
1180:⟶
1160:⟶
1120:
1100:⟶
1065:⟶
1049:⟶
1036:⟶
1026:⟶
1000:−
997:⊗
948:−
933:−
924:−
897:
861:−
853:∘
843:mod
796:⟶
765:⟶
737:⟶
691:∗
678:−
630:∘
576:⊗
493:−
481:
451:
436:−
418:
393:⊗
382:∗
305:∗
269:⟶
248:⊗
237:∗
224:⟶
208:∗
187:⟶
171:∗
129:⟶
113:⊗
95:⟶
82:⟶
74:⟶
1086:we get:
1798:1793722
1796:
1786:
816:where
645:. The
1825:This
1506:When
20:is a
1831:stub
1784:ISBN
1012:of
886:and
52:and
44:Let
1418:Tor
1104:Tor
894:deg
478:deg
448:deg
415:deg
100:mod
1876::
1794:MR
1792:,
1782:,
1764:.
1317:,
970:,
132:0.
56:a
36:.
1862:e
1855:t
1848:v
1837:.
1752:p
1748:/
1743:Z
1736:)
1733:)
1730:C
1727:(
1718:H
1709:(
1683:E
1656:r
1636:)
1633:C
1630:(
1621:H
1598:s
1594:p
1589:/
1584:Z
1563:)
1560:C
1557:(
1548:H
1520:1
1517:=
1514:r
1502:.
1490:0
1484:)
1481:p
1477:/
1472:Z
1468:,
1465:)
1462:C
1459:(
1454:1
1448:n
1444:H
1438:1
1432:r
1428:p
1424:(
1410:r
1405:0
1402:,
1399:n
1395:E
1388:p
1384:/
1379:Z
1372:)
1369:)
1366:C
1363:(
1358:n
1354:H
1348:1
1342:r
1338:p
1334:(
1328:0
1315:r
1299:r
1294:n
1290:D
1284:p
1274:r
1269:n
1265:D
1252:.
1240:0
1234:p
1230:/
1225:Z
1216:r
1211:n
1207:D
1198:r
1193:n
1189:D
1183:p
1173:r
1168:n
1164:D
1157:)
1154:p
1150:/
1145:Z
1141:,
1136:r
1131:n
1127:D
1123:(
1114:Z
1108:1
1097:0
1071:,
1068:0
1062:p
1058:/
1053:Z
1045:Z
1039:p
1030:Z
1023:0
992:r
987:n
983:D
972:k
968:i
954:)
951:1
945:r
942:,
939:)
936:1
930:r
927:(
921:(
918:=
915:)
912:j
907:r
900:(
871:1
868:+
865:r
857:p
850:)
847:p
839:(
836:=
833:j
828:r
799:k
789:r
785:E
778:j
773:r
758:r
754:D
747:p
744:=
741:i
730:r
726:D
702:)
699:C
696:(
687:H
681:1
675:r
671:p
667:=
662:r
658:D
633:k
627:j
624:=
621:d
616:1
592:)
589:p
585:/
580:Z
573:C
570:(
565:t
562:+
559:s
555:H
551:=
546:1
541:t
538:,
535:s
531:E
508:.
505:)
502:0
499:,
496:1
490:(
487:=
484:k
475:,
472:)
469:0
466:,
463:0
460:(
457:=
454:j
445:,
442:)
439:1
433:,
430:1
427:(
424:=
421:i
412:,
409:)
406:p
402:/
397:Z
390:C
387:(
378:H
357:)
354:C
351:(
346:t
343:+
340:s
336:H
332:=
327:t
324:,
321:s
317:)
313:C
310:(
301:H
277:.
272:k
264:)
261:p
257:/
252:Z
245:C
242:(
233:H
227:j
219:)
216:C
213:(
204:H
197:p
194:=
191:i
182:)
179:C
176:(
167:H
149:H
126:p
122:/
117:Z
110:C
104:p
90:C
85:p
77:C
71:0
54:p
46:C
30:p
26:p
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.