84:
74:
53:
22:
672:
389:
941:
But, as you noticed (which is a good thing), it was not correct if colimit was not interpreted as direct limit; whence, "obvious". As for the "typical", a quick Google search with "colimit direct limit" shows they are frequently used synonymously. Perhaps, that's not a good practice, but then we have
667:{\displaystyle \cdots \to \mathrm {Tor} _{2}^{A}(P,N)\to \mathrm {Tor} _{2}^{A}(M,N)\to \mathrm {Tor} _{1}^{A}(K,N)\to \mathrm {Tor} _{1}^{A}(P,N)\to \mathrm {Tor} _{1}^{A}(M,N)\to K\otimes _{A}N\to P\otimes _{A}N\to M\otimes _{A}N\to 0}
970:
In the prove of
Symmetry of Tor, I support that the resolution of Li(regard all the Li as R-mod) should be ····→Mi(f)→Ki→Li→0. In the way, Tor(Z,1)(L1,L2)=ker(f⊗i)/*, by ···→Mi⊗L2→(f⊗i)→Ki⊗L2→0.
337:
736:
140:
820:
1042:
381:
859:
Not all colimits are filtered, obviously. ("Direct limit" should always be read as "filtered colimit" in old books.) Now would you please stop putting back false information and
1115:
764:
1159:
130:
1154:
837:
I think I'm missing something. But, for example, an exercise in Atiyah-Macdonald asks you to show Tor commutes with colimit (direct limit). See also:
106:
986:
911:
No, it is neither obvious nor typical. For instance, when we say left adjoints preserve colimits, we do in fact mean all colimits. -
97:
58:
1130:
838:
33:
281:
162:
could someone give an indication about where the name comes from ? There seems to be no mathematician named "Tor". —
180:
680:
770:
885:
I know that but "colimit" here was meant "direct limit" obviously (and I think that's a typical practice.) --
249:
1012:
21:
982:
1134:
1118:
947:
890:
846:
342:
263:
234:
978:
258:
I meant associativity; Spanier, for example, has an exercise problem for the associativity of Tor_1. --
197:
183:
39:
83:
1126:
974:
245:
215:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
916:
868:
827:
89:
73:
52:
943:
886:
842:
259:
230:
839:
http://mathoverflow.net/questions/97658/left-derived-functors-commute-with-filtered-colimits
1068:
211:
1148:
912:
864:
823:
167:
741:
210:
Tor(A,B) is the tensor product of the torsion subgroups of A and B respectively. --
193:
102:
79:
163:
1119:
https://webusers.imj-prg.fr/~yongqi.liang/files/mathjeunes/Javan_MJ.pdf
822:
is neither left exact nor right exact, let alone colimit-preserving. -
176:
1138:
990:
951:
920:
894:
872:
850:
831:
267:
253:
238:
219:
200:
186:
170:
1062:
sheafify computing tor to projecitve varieties and intersections
15:
1071:
1015:
773:
745:
683:
392:
383:
with P projective. Then we get a long exact sequence
345:
284:
101:, a collaborative effort to improve the coverage of
278:For the record. Suppose M is an A-module such that
1109:
1036:
814:
757:
730:
666:
375:
331:
332:{\displaystyle \mathrm {Tor} _{2}^{A}(M,N)\neq 0}
244:Do you mean commutativity? If so, I agree... --
339:for some N. Consider any short exact sequence
731:{\displaystyle \mathrm {Tor} _{i}^{A}(P,N)=0}
8:
1051:Have computations including the following:
815:{\displaystyle \mathrm {Tor} _{1}^{A}(-,N)}
19:
1124:
47:
1090:
1070:
1037:{\displaystyle P\otimes ^{\mathbf {L} }Q}
1024:
1023:
1014:
791:
786:
775:
772:
744:
701:
696:
685:
682:
649:
630:
611:
580:
575:
564:
539:
534:
523:
498:
493:
482:
457:
452:
441:
416:
411:
400:
391:
344:
302:
297:
286:
283:
966:Note in the prove of the Symmetry of Tor
1044:by resolving one, or the other, or both
49:
376:{\displaystyle 0\to K\to P\to M\to 0}
7:
95:This article is within the scope of
38:It is of interest to the following
782:
779:
776:
692:
689:
686:
571:
568:
565:
530:
527:
524:
489:
486:
483:
448:
445:
442:
407:
404:
401:
293:
290:
287:
14:
1160:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
1155:Start-Class mathematics articles
1025:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
1104:
1095:
1087:
1075:
1059:derived intersections of rings
809:
797:
719:
707:
658:
639:
620:
601:
598:
586:
560:
557:
545:
519:
516:
504:
478:
475:
463:
437:
434:
422:
396:
367:
361:
355:
349:
320:
308:
1:
991:04:53, 16 February 2016 (UTC)
254:15:14, 23 November 2012 (UTC)
229:This has to be mentioned. --
187:13:43, 21 February 2006 (UTC)
171:12:56, 21 February 2006 (UTC)
109:and see a list of open tasks.
1123:nilpotent artin local ring
952:19:06, 5 November 2013 (UTC)
921:17:33, 4 November 2013 (UTC)
895:11:35, 4 November 2013 (UTC)
873:08:33, 4 November 2013 (UTC)
851:02:32, 4 November 2013 (UTC)
832:01:08, 4 November 2013 (UTC)
268:02:37, 4 November 2013 (UTC)
1009:the argument for computing
220:05:39, 10 August 2008 (UTC)
1176:
1047:Serre intersection formula
239:16:10, 15 April 2012 (UTC)
181:torsion (abstract algebra)
1139:00:58, 21 June 2017 (UTC)
1006:Tor in derived categories
201:17:26, 13 June 2006 (UTC)
179:in abstract algebra; see
134:
67:
46:
1065:non-regular rings, e.g.
141:project's priority scale
1058:koszul complexes =: -->
1002:Mention the following:
98:WikiProject Mathematics
1111:
1110:{\displaystyle k/(xy)}
1038:
816:
760:
732:
668:
377:
333:
28:This article is rated
1112:
1055:finite abelian groups
1039:
863:before you revert? -
817:
761:
758:{\displaystyle i: -->
733:
669:
378:
334:
1069:
1013:
942:fixed that here. --
771:
743:
681:
390:
343:
282:
274:Non-exactness of Tor
225:Associativity of Tor
121:mathematics articles
796:
767:, so in particular
706:
585:
544:
503:
462:
421:
307:
192:Note that there is
1107:
1034:
812:
774:
755:
728:
684:
664:
563:
522:
481:
440:
399:
373:
329:
285:
206:When is this true?
90:Mathematics portal
34:content assessment
1141:
1129:comment added by
994:
977:comment added by
155:
154:
151:
150:
147:
146:
1167:
1116:
1114:
1113:
1108:
1094:
1043:
1041:
1040:
1035:
1030:
1029:
1028:
993:
971:
821:
819:
818:
813:
795:
790:
785:
766:
763:
762:
756:
737:
735:
734:
729:
705:
700:
695:
673:
671:
670:
665:
654:
653:
635:
634:
616:
615:
584:
579:
574:
543:
538:
533:
502:
497:
492:
461:
456:
451:
420:
415:
410:
382:
380:
379:
374:
338:
336:
335:
330:
306:
301:
296:
184:Charles Matthews
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1175:
1174:
1170:
1169:
1168:
1166:
1165:
1164:
1145:
1144:
1067:
1066:
1019:
1011:
1010:
1000:
972:
968:
919:
871:
830:
769:
768:
740:
739:
679:
678:
645:
626:
607:
388:
387:
341:
340:
280:
279:
276:
227:
208:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1173:
1171:
1163:
1162:
1157:
1147:
1146:
1143:
1142:
1121:
1106:
1103:
1100:
1097:
1093:
1089:
1086:
1083:
1080:
1077:
1074:
1063:
1060:
1056:
1049:
1048:
1045:
1033:
1027:
1022:
1018:
1007:
999:
996:
967:
964:
963:
962:
961:
960:
959:
958:
957:
956:
955:
954:
930:
929:
928:
927:
926:
925:
924:
923:
915:
902:
901:
900:
899:
898:
897:
878:
877:
876:
875:
867:
862:
854:
853:
826:
811:
808:
805:
802:
799:
794:
789:
784:
781:
778:
754:
751:
748:
727:
724:
721:
718:
715:
712:
709:
704:
699:
694:
691:
688:
675:
674:
663:
660:
657:
652:
648:
644:
641:
638:
633:
629:
625:
622:
619:
614:
610:
606:
603:
600:
597:
594:
591:
588:
583:
578:
573:
570:
567:
562:
559:
556:
553:
550:
547:
542:
537:
532:
529:
526:
521:
518:
515:
512:
509:
506:
501:
496:
491:
488:
485:
480:
477:
474:
471:
468:
465:
460:
455:
450:
447:
444:
439:
436:
433:
430:
427:
424:
419:
414:
409:
406:
403:
398:
395:
372:
369:
366:
363:
360:
357:
354:
351:
348:
328:
325:
322:
319:
316:
313:
310:
305:
300:
295:
292:
289:
275:
272:
271:
270:
256:
246:Roentgenium111
226:
223:
207:
204:
190:
189:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
1172:
1161:
1158:
1156:
1153:
1152:
1150:
1140:
1136:
1132:
1128:
1122:
1120:
1101:
1098:
1091:
1084:
1081:
1078:
1072:
1064:
1061:
1057:
1054:
1053:
1052:
1046:
1031:
1020:
1016:
1008:
1005:
1004:
1003:
997:
995:
992:
988:
984:
980:
979:Maozhou.Huang
976:
965:
953:
949:
945:
940:
939:
938:
937:
936:
935:
934:
933:
932:
931:
922:
918:
914:
910:
909:
908:
907:
906:
905:
904:
903:
896:
892:
888:
884:
883:
882:
881:
880:
879:
874:
870:
866:
860:
858:
857:
856:
855:
852:
848:
844:
840:
836:
835:
834:
833:
829:
825:
806:
803:
800:
792:
787:
752:
749:
746:
725:
722:
716:
713:
710:
702:
697:
661:
655:
650:
646:
642:
636:
631:
627:
623:
617:
612:
608:
604:
595:
592:
589:
581:
576:
554:
551:
548:
540:
535:
513:
510:
507:
499:
494:
472:
469:
466:
458:
453:
431:
428:
425:
417:
412:
393:
386:
385:
384:
370:
364:
358:
352:
346:
326:
323:
317:
314:
311:
303:
298:
273:
269:
265:
261:
257:
255:
251:
247:
243:
242:
241:
240:
236:
232:
224:
222:
221:
217:
213:
205:
203:
202:
199:
195:
188:
185:
182:
178:
175:
174:
173:
172:
169:
165:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
1125:— Preceding
1050:
1001:
973:— Preceding
969:
676:
277:
228:
209:
194:Tor functors
191:
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
1149:Categories
1131:161.98.8.1
765:0}" /: -->
212:Raijinili
1127:unsigned
987:contribs
975:unsigned
742:0}": -->
738:for all
177:Torsion
139:on the
1117:pg. 7
198:nikita
36:scale.
861:think
750:: -->
196:too.
1135:talk
998:Todo
983:talk
948:talk
944:Taku
891:talk
887:Taku
847:talk
843:Taku
677:but
264:talk
260:Taku
250:talk
235:talk
231:Taku
216:talk
168:Talk
158:name
841:--
164:MFH
131:Mid
1151::
1137:)
1021:⊗
989:)
985:•
950:)
913:振霖
893:)
865:振霖
849:)
824:振霖
801:−
759:0}
659:→
647:⊗
640:→
628:⊗
621:→
609:⊗
602:→
561:→
520:→
479:→
438:→
397:→
394:⋯
368:→
362:→
356:→
350:→
324:≠
266:)
252:)
237:)
218:)
1133:(
1105:)
1102:y
1099:x
1096:(
1092:/
1088:]
1085:y
1082:,
1079:x
1076:[
1073:k
1032:Q
1026:L
1017:P
981:(
946:(
917:T
889:(
869:T
845:(
828:T
810:)
807:N
804:,
798:(
793:A
788:1
783:r
780:o
777:T
753:0
747:i
726:0
723:=
720:)
717:N
714:,
711:P
708:(
703:A
698:i
693:r
690:o
687:T
662:0
656:N
651:A
643:M
637:N
632:A
624:P
618:N
613:A
605:K
599:)
596:N
593:,
590:M
587:(
582:A
577:1
572:r
569:o
566:T
558:)
555:N
552:,
549:P
546:(
541:A
536:1
531:r
528:o
525:T
517:)
514:N
511:,
508:K
505:(
500:A
495:1
490:r
487:o
484:T
476:)
473:N
470:,
467:M
464:(
459:A
454:2
449:r
446:o
443:T
435:)
432:N
429:,
426:P
423:(
418:A
413:2
408:r
405:o
402:T
371:0
365:M
359:P
353:K
347:0
327:0
321:)
318:N
315:,
312:M
309:(
304:A
299:2
294:r
291:o
288:T
262:(
248:(
233:(
214:(
166::
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.