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