1073:
218:
558:
922:
140:
477:
128:
66:
837:
331:
693:
295:
90:
410:
1114:
611:
1000:
942:
778:
751:
720:
377:
631:
578:
351:
271:
1107:
1046:
1012:
236:
1138:
1100:
485:
213:{\displaystyle \operatorname {ht} ({\mathfrak {r}})\leq \operatorname {ht} ({\mathfrak {p}})+\operatorname {ht} ({\mathfrak {q}}).}
842:
224:
1133:
634:
418:
99:
37:
244:
240:
247:
781:
787:
300:
640:
1072:
276:
71:
382:
1080:
93:
131:
583:
1052:
1042:
1008:
927:
1034:
17:
1022:
756:
729:
698:
333:
is a local ring. Then the inequality is equivalent to the following inequality: for finite
1018:
1004:
356:
1084:
616:
563:
336:
256:
1127:
723:
25:
32:
1038:
1056:
235:
Serre gives the following proof of the inequality, based on the validity of
223:
Without the assumption on regularity, the inequality can fail; see
553:{\displaystyle \dim _{A}M=\dim(A/\operatorname {Ann} _{A}(M))}
1003:. 3. Folge., vol. 2 (2nd ed.), Berlin, New York:
917:{\displaystyle \dim _{A_{1}}M+\dim _{A_{1}}N<\dim A_{1}}
1088:
930:
845:
790:
759:
732:
701:
643:
619:
586:
566:
488:
421:
385:
359:
339:
303:
279:
259:
143:
102:
74:
40:
1033:. Springer Monographs in Mathematics (in German).
936:
916:
831:
772:
745:
714:
687:
625:
605:
572:
552:
471:
404:
371:
345:
325:
289:
265:
212:
122:
84:
60:
726:ring over a complete discrete valuation ring and
225:scheme-theoretic intersection#Proper intersection
1001:Ergebnisse der Mathematik und ihrer Grenzgebiete
472:{\displaystyle \dim _{A}M+\dim _{A}N\leq \dim A}
924:, which in turn gives the asserted inequality.
123:{\displaystyle {\mathfrak {p}}+{\mathfrak {q}}}
61:{\displaystyle {\mathfrak {p}},{\mathfrak {q}}}
613:. To show the above inequality, we can assume
1108:
8:
1115:
1101:
16:In algebra, specifically in the theory of
929:
908:
881:
876:
855:
850:
844:
800:
795:
789:
764:
758:
737:
731:
706:
700:
679:
669:
660:
654:
642:
618:
591:
585:
565:
529:
520:
493:
487:
445:
426:
420:
393:
384:
358:
338:
314:
313:
302:
281:
280:
278:
258:
198:
197:
176:
175:
154:
153:
142:
114:
113:
104:
103:
101:
76:
75:
73:
52:
51:
42:
41:
39:
952:
839:. Then one of Serre's conjectures says
971:
983:
959:
7:
1069:
1067:
832:{\displaystyle \chi ^{A_{1}}(M,N)=0}
326:{\displaystyle (A,{\mathfrak {r}})}
315:
282:
199:
177:
155:
115:
105:
77:
53:
43:
688:{\displaystyle A=A_{1}/a_{1}A_{1}}
560:= the dimension of the support of
14:
1071:
237:Serre's multiplicity conjectures
290:{\displaystyle {\mathfrak {r}}}
85:{\displaystyle {\mathfrak {r}}}
820:
808:
547:
544:
538:
514:
405:{\displaystyle M\otimes _{A}N}
320:
304:
204:
194:
182:
172:
160:
150:
130:, the following inequality on
1:
24:states: given a (Noetherian)
1087:. You can help Knowledge by
780:. Now, an argument with the
68:in it, for each prime ideal
22:Serre's inequality on height
1029:Serre, Jean-Pierre (2000).
1155:
1066:
962:, Ch. V, § B.6, Theorem 3.
606:{\displaystyle \dim _{A}N}
1139:Commutative algebra stubs
1039:10.1007/978-3-662-04203-8
635:Cohen's structure theorem
995:Fulton, William (1998),
937:{\displaystyle \square }
753:is a nonzero element in
241:formal power series ring
273:by the localization at
248:discrete valuation ring
1083:-related article is a
938:
918:
833:
774:
747:
716:
689:
627:
607:
574:
554:
473:
406:
373:
347:
327:
291:
267:
214:
124:
86:
62:
939:
919:
834:
782:Tor spectral sequence
775:
773:{\displaystyle A_{1}}
748:
746:{\displaystyle a_{1}}
717:
715:{\displaystyle A_{1}}
690:
633:is complete. Then by
628:
608:
575:
555:
474:
407:
374:
348:
328:
292:
268:
215:
125:
87:
63:
928:
843:
788:
757:
730:
699:
641:
617:
584:
564:
486:
419:
383:
357:
337:
301:
277:
257:
141:
100:
72:
38:
1134:Commutative algebra
1081:commutative algebra
997:Intersection theory
412:has finite length,
372:{\displaystyle M,N}
94:minimal prime ideal
934:
914:
829:
770:
743:
712:
685:
623:
603:
570:
550:
469:
402:
369:
343:
323:
287:
263:
210:
120:
82:
58:
1096:
1095:
1048:978-3-662-04203-8
1014:978-3-540-62046-4
626:{\displaystyle A}
573:{\displaystyle M}
346:{\displaystyle A}
266:{\displaystyle A}
18:commutative rings
1146:
1117:
1110:
1103:
1075:
1068:
1060:
1025:
987:
986:, Ch. V, § B. 6.
981:
975:
969:
963:
957:
943:
941:
940:
935:
923:
921:
920:
915:
913:
912:
888:
887:
886:
885:
862:
861:
860:
859:
838:
836:
835:
830:
807:
806:
805:
804:
779:
777:
776:
771:
769:
768:
752:
750:
749:
744:
742:
741:
721:
719:
718:
713:
711:
710:
694:
692:
691:
686:
684:
683:
674:
673:
664:
659:
658:
632:
630:
629:
624:
612:
610:
609:
604:
596:
595:
580:and similar for
579:
577:
576:
571:
559:
557:
556:
551:
534:
533:
524:
498:
497:
478:
476:
475:
470:
450:
449:
431:
430:
411:
409:
408:
403:
398:
397:
378:
376:
375:
370:
352:
350:
349:
344:
332:
330:
329:
324:
319:
318:
296:
294:
293:
288:
286:
285:
272:
270:
269:
264:
219:
217:
216:
211:
203:
202:
181:
180:
159:
158:
129:
127:
126:
121:
119:
118:
109:
108:
91:
89:
88:
83:
81:
80:
67:
65:
64:
59:
57:
56:
47:
46:
1154:
1153:
1149:
1148:
1147:
1145:
1144:
1143:
1124:
1123:
1122:
1121:
1064:
1049:
1028:
1015:
1005:Springer-Verlag
994:
991:
990:
982:
978:
970:
966:
958:
954:
949:
926:
925:
904:
877:
872:
851:
846:
841:
840:
796:
791:
786:
785:
760:
755:
754:
733:
728:
727:
702:
697:
696:
675:
665:
650:
639:
638:
637:, we can write
615:
614:
587:
582:
581:
562:
561:
525:
489:
484:
483:
441:
422:
417:
416:
389:
381:
380:
355:
354:
335:
334:
299:
298:
275:
274:
255:
254:
233:
231:Sketch of Proof
139:
138:
98:
97:
70:
69:
36:
35:
12:
11:
5:
1152:
1150:
1142:
1141:
1136:
1126:
1125:
1120:
1119:
1112:
1105:
1097:
1094:
1093:
1076:
1062:
1061:
1047:
1026:
1013:
989:
988:
976:
964:
951:
950:
948:
945:
933:
911:
907:
903:
900:
897:
894:
891:
884:
880:
875:
871:
868:
865:
858:
854:
849:
828:
825:
822:
819:
816:
813:
810:
803:
799:
794:
767:
763:
740:
736:
709:
705:
682:
678:
672:
668:
663:
657:
653:
649:
646:
622:
602:
599:
594:
590:
569:
549:
546:
543:
540:
537:
532:
528:
523:
519:
516:
513:
510:
507:
504:
501:
496:
492:
480:
479:
468:
465:
462:
459:
456:
453:
448:
444:
440:
437:
434:
429:
425:
401:
396:
392:
388:
368:
365:
362:
342:
322:
317:
312:
309:
306:
284:
262:
232:
229:
221:
220:
209:
206:
201:
196:
193:
190:
187:
184:
179:
174:
171:
168:
165:
162:
157:
152:
149:
146:
117:
112:
107:
79:
55:
50:
45:
31:and a pair of
13:
10:
9:
6:
4:
3:
2:
1151:
1140:
1137:
1135:
1132:
1131:
1129:
1118:
1113:
1111:
1106:
1104:
1099:
1098:
1092:
1090:
1086:
1082:
1077:
1074:
1070:
1065:
1058:
1054:
1050:
1044:
1040:
1036:
1032:
1031:Local Algebra
1027:
1024:
1020:
1016:
1010:
1006:
1002:
998:
993:
992:
985:
980:
977:
973:
968:
965:
961:
956:
953:
946:
944:
931:
909:
905:
901:
898:
895:
892:
889:
882:
878:
873:
869:
866:
863:
856:
852:
847:
826:
823:
817:
814:
811:
801:
797:
792:
783:
765:
761:
738:
734:
725:
707:
703:
680:
676:
670:
666:
661:
655:
651:
647:
644:
636:
620:
600:
597:
592:
588:
567:
541:
535:
530:
526:
521:
517:
511:
508:
505:
502:
499:
494:
490:
466:
463:
460:
457:
454:
451:
446:
442:
438:
435:
432:
427:
423:
415:
414:
413:
399:
394:
390:
386:
366:
363:
360:
340:
310:
307:
260:
253:By replacing
251:
249:
246:
242:
238:
230:
228:
226:
207:
191:
188:
185:
169:
166:
163:
147:
144:
137:
136:
135:
133:
110:
96:over the sum
95:
48:
34:
30:
27:
23:
19:
1089:expanding it
1078:
1063:
1030:
996:
979:
967:
955:
724:power series
722:is a formal
481:
297:, we assume
252:
234:
222:
33:prime ideals
28:
26:regular ring
21:
15:
972:Fulton 1998
784:shows that
1128:Categories
984:Serre 2000
960:Serre 2000
947:References
379:such that
92:that is a
1057:864077388
974:, § 20.4.
932:◻
902:
890:
864:
793:χ
598:
536:
512:
500:
464:
458:≤
452:
433:
391:⊗
353:-modules
192:
170:
164:≤
148:
245:complete
1023:1644323
243:over a
134:holds:
132:heights
1055:
1045:
1021:
1011:
695:where
482:where
1079:This
1085:stub
1053:OCLC
1043:ISBN
1009:ISBN
896:<
239:for
1035:doi
899:dim
874:dim
848:dim
589:dim
527:Ann
509:dim
491:dim
461:dim
443:dim
424:dim
1130::
1051:.
1041:.
1019:MR
1017:,
1007:,
999:,
250:.
227:.
189:ht
167:ht
145:ht
20:,
1116:e
1109:t
1102:v
1091:.
1059:.
1037::
910:1
906:A
893:N
883:1
879:A
870:+
867:M
857:1
853:A
827:0
824:=
821:)
818:N
815:,
812:M
809:(
802:1
798:A
766:1
762:A
739:1
735:a
708:1
704:A
681:1
677:A
671:1
667:a
662:/
656:1
652:A
648:=
645:A
621:A
601:N
593:A
568:M
548:)
545:)
542:M
539:(
531:A
522:/
518:A
515:(
506:=
503:M
495:A
467:A
455:N
447:A
439:+
436:M
428:A
400:N
395:A
387:M
367:N
364:,
361:M
341:A
321:)
316:r
311:,
308:A
305:(
283:r
261:A
208:.
205:)
200:q
195:(
186:+
183:)
178:p
173:(
161:)
156:r
151:(
116:q
111:+
106:p
78:r
54:q
49:,
44:p
29:A
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.