591:
asks for generalizations of the
Kronecker–Weber theorem to base fields other than the rational numbers, and asks for the analogues of the roots of unity for those fields. A different approach to abelian extensions is given by
252:
335:
89:
413:
974:
1012:
826:
778:
1166:
506:
122:
1085:
1093:
478:
766:
740:
256:
46:
340:
588:
1156:
1161:
923:
873:
570:
670:
20:
1064:, Trudy Mat. Inst. Steklov. (in Russian), vol. 38, Moscow: Izdat. Akad. Nauk SSSR, pp. 382–387,
447:
1077:
878:
530:
442:. Precisely, the Kronecker–Weber theorem states: every finite abelian extension of the rational numbers
423:
32:
435:
1039:
903:
853:
787:
658:
646:
593:
510:
43:
1131:
1089:
1031:
991:
949:
895:
845:
805:
762:
750:
736:
724:
689:
537:) published a proof, but this had some gaps and errors that were pointed out and corrected by
522:
419:
101:
28:
969:
754:
712:
1121:
1112:
1021:
983:
939:
887:
835:
797:
728:
679:
638:
24:
1103:
1069:
1051:
1003:
961:
915:
865:
817:
701:
622:
1099:
1065:
1047:
999:
957:
911:
861:
813:
697:
618:
498:
439:
565:) proved the local Kronecker–Weber theorem which states that any abelian extension of a
502:
1150:
708:
684:
542:
459:
455:
113:
109:
927:
1010:
Rosen, Michael (1981), "An elementary proof of the local
Kronecker-Weber theorem",
713:"Ein neuer Beweis des Kronecker'schen Fundamentalsatzes über Abel'sche Zahlkörper."
105:
39:
566:
529:) though his argument was not complete for extensions of degree a power of 2.
247:{\displaystyle {\sqrt {5}}=e^{2\pi i/5}-e^{4\pi i/5}-e^{6\pi i/5}+e^{8\pi i/5},}
970:"Two proofs of the Kronecker-Weber theorem "according to Kronecker, and Weber""
629:
Greenberg, M. J. (1974). "An
Elementary Proof of the Kronecker-Weber Theorem".
987:
1135:
1035:
995:
953:
899:
849:
809:
693:
607:
16:
Every finite abelian extension of Q is contained within some cyclotomic field
1059:
477:
cyclotomic field that contains it. The theorem allows one to define the
1126:
1043:
944:
907:
857:
662:
650:
1082:
Matériaux pour l'histoire des mathématiques au XX siècle (Nice, 1996)
801:
1026:
891:
840:
642:
792:
1078:"On the history of Hilbert's twelfth problem: a comedy of errors"
100:
is contained within some cyclotomic field. In other words, every
776:
96:
provides a partial converse: every finite abelian extension of
824:
Lubin, Jonathan (1981), "The local
Kronecker-Weber theorem",
458:, the field is a subfield of a field obtained by adjoining a
717:
Nachrichten der
Gesellschaft der Wissenschaften zu Göttingen
613:, in Adhikari, S. D.; Katre, S. A.; Thakur, Dinesh (eds.),
446:
is a subfield of a cyclotomic field. That is, whenever an
876:(1965), "Formal complex multiplication in local fields",
1110:
Weber, H. (1886), "Theorie der Abel'schen Zahlkörper",
617:, Bhaskaracharya Pratishthana, Pune, pp. 135–146,
330:{\displaystyle {\sqrt {-3}}=e^{2\pi i/3}-e^{4\pi i/3},}
434:
The
Kronecker–Weber theorem can be stated in terms of
84:{\displaystyle (\mathbb {Z} /n\mathbb {Z} )^{\times }}
408:{\displaystyle {\sqrt {3}}=e^{\pi i/6}-e^{5\pi i/6}.}
343:
259:
125:
49:
928:"Formal moduli for one-parameter formal Lie groups"
569:can be constructed using cyclotomic extensions and
407:
329:
246:
83:
1013:Transactions of the American Mathematical Society
827:Transactions of the American Mathematical Society
615:Cyclotomic fields and related topics (Pune, 1999)
975:Journal für die reine und angewandte Mathematik
729:"Über die algebraisch auflösbaren Gleichungen"
932:Bulletin de la Société Mathématique de France
8:
1061:A new proof of the Kronecker-Weber theorem
779:Journal de théorie des nombres de Bordeaux
574:
1125:
1025:
943:
839:
791:
683:
562:
558:
526:
392:
382:
365:
358:
344:
342:
314:
304:
287:
277:
260:
258:
231:
221:
204:
194:
177:
167:
150:
140:
126:
124:
116:with rational coefficients. For example,
75:
67:
66:
58:
54:
53:
48:
541:. The first complete proof was given by
546:
538:
493:lies inside the field generated by the
1084:, Sémin. Congr., vol. 3, Paris:
582:
578:
534:
7:
497:-th roots of unity. For example the
1167:Theorems in algebraic number theory
663:"Local class field theory is easy"
14:
521:The theorem was first stated by
1086:Société Mathématique de France
465:For a given abelian extension
72:
50:
1:
1076:Schappacher, Norbert (1998),
631:American Mathematical Monthly
608:"The Kronecker-Weber theorem"
557:Lubin and Tate (
112:can be expressed as a sum of
23:, it can be shown that every
685:10.1016/0001-8708(75)90156-5
755:"Über Abelsche Gleichungen"
430:Field-theoretic formulation
418:The theorem is named after
1183:
771:, Collected works volume 4
745:, Collected works volume 4
1058:Šafarevič, I. R. (1951),
988:10.1515/crll.1981.323.105
589:Hilbert's twelfth problem
462:to the rational numbers.
509:, a fact generalised in
485:as the smallest integer
450:has a Galois group over
671:Advances in Mathematics
94:Kronecker–Weber theorem
21:algebraic number theory
968:Neumann, Olaf (1981),
761:(in German): 845–851,
735:(in German): 365–374,
606:Ghate, Eknath (2000),
501:have as conductor the
448:algebraic number field
409:
331:
248:
85:
879:Annals of Mathematics
759:Berlin K. Akad. Wiss.
733:Berlin K. Akad. Wiss.
585:) gave other proofs.
573:. Hazewinkel (
571:Lubin–Tate extensions
424:Heinrich Martin Weber
410:
332:
249:
86:
33:rational number field
1088:, pp. 243–273,
341:
257:
123:
47:
659:Hazewinkel, Michiel
1157:Class field theory
1127:10.1007/BF02417089
945:10.24033/bsmf.1633
751:Kronecker, Leopold
725:Kronecker, Leopold
719:(in German): 29–39
594:class field theory
581:) and Lubin (
511:class field theory
405:
327:
244:
81:
1162:Cyclotomic fields
1095:978-2-85629-065-1
922:Lubin, Jonathan;
882:, Second Series,
872:Lubin, Jonathan;
420:Leopold Kronecker
349:
268:
131:
102:algebraic integer
29:abelian extension
1174:
1138:
1129:
1113:Acta Mathematica
1106:
1072:
1054:
1029:
1006:
982:(323): 105–126,
964:
947:
918:
868:
843:
820:
802:10.5802/jtnb.507
795:
772:
746:
720:
704:
687:
667:
654:
625:
612:
499:quadratic fields
440:field extensions
414:
412:
411:
406:
401:
400:
396:
374:
373:
369:
350:
345:
336:
334:
333:
328:
323:
322:
318:
296:
295:
291:
269:
261:
253:
251:
250:
245:
240:
239:
235:
213:
212:
208:
186:
185:
181:
159:
158:
154:
132:
127:
90:
88:
87:
82:
80:
79:
70:
62:
57:
25:cyclotomic field
1182:
1181:
1177:
1176:
1175:
1173:
1172:
1171:
1147:
1146:
1145:
1109:
1096:
1075:
1057:
1027:10.2307/1999753
1009:
967:
921:
892:10.2307/1970622
871:
841:10.2307/1998574
823:
775:
769:
749:
743:
723:
707:
665:
657:
643:10.2307/2319208
628:
610:
605:
602:
577:), Rosen (
555:
553:Generalizations
519:
432:
378:
354:
339:
338:
300:
273:
255:
254:
217:
190:
163:
136:
121:
120:
71:
45:
44:
17:
12:
11:
5:
1180:
1178:
1170:
1169:
1164:
1159:
1149:
1148:
1144:
1143:External links
1141:
1140:
1139:
1107:
1094:
1073:
1055:
1020:(2): 599–605,
1007:
965:
919:
886:(2): 380–387,
869:
834:(1): 133–138,
821:
786:(2): 555–558,
773:
767:
747:
741:
721:
709:Hilbert, David
705:
678:(2): 148–181,
655:
637:(6): 601–607.
626:
601:
598:
554:
551:
539:Neumann (1981)
518:
515:
503:absolute value
431:
428:
416:
415:
404:
399:
395:
391:
388:
385:
381:
377:
372:
368:
364:
361:
357:
353:
348:
326:
321:
317:
313:
310:
307:
303:
299:
294:
290:
286:
283:
280:
276:
272:
267:
264:
243:
238:
234:
230:
227:
224:
220:
216:
211:
207:
203:
200:
197:
193:
189:
184:
180:
176:
173:
170:
166:
162:
157:
153:
149:
146:
143:
139:
135:
130:
114:roots of unity
78:
74:
69:
65:
61:
56:
52:
15:
13:
10:
9:
6:
4:
3:
2:
1179:
1168:
1165:
1163:
1160:
1158:
1155:
1154:
1152:
1142:
1137:
1133:
1128:
1123:
1119:
1116:(in German),
1115:
1114:
1108:
1105:
1101:
1097:
1091:
1087:
1083:
1079:
1074:
1071:
1067:
1063:
1062:
1056:
1053:
1049:
1045:
1041:
1037:
1033:
1028:
1023:
1019:
1015:
1014:
1008:
1005:
1001:
997:
993:
989:
985:
981:
977:
976:
971:
966:
963:
959:
955:
951:
946:
941:
937:
933:
929:
925:
920:
917:
913:
909:
905:
901:
897:
893:
889:
885:
881:
880:
875:
870:
867:
863:
859:
855:
851:
847:
842:
837:
833:
829:
828:
822:
819:
815:
811:
807:
803:
799:
794:
789:
785:
781:
780:
774:
770:
768:9780821849828
764:
760:
756:
752:
748:
744:
742:9780821849828
738:
734:
730:
726:
722:
718:
714:
710:
706:
703:
699:
695:
691:
686:
681:
677:
673:
672:
664:
660:
656:
652:
648:
644:
640:
636:
632:
627:
624:
620:
616:
609:
604:
603:
599:
597:
595:
590:
586:
584:
580:
576:
572:
568:
564:
560:
552:
550:
548:
544:
540:
536:
532:
528:
524:
516:
514:
512:
508:
504:
500:
496:
492:
488:
484:
480:
476:
472:
468:
463:
461:
460:root of unity
457:
456:abelian group
453:
449:
445:
441:
437:
429:
427:
425:
421:
402:
397:
393:
389:
386:
383:
379:
375:
370:
366:
362:
359:
355:
351:
346:
324:
319:
315:
311:
308:
305:
301:
297:
292:
288:
284:
281:
278:
274:
270:
265:
262:
241:
236:
232:
228:
225:
222:
218:
214:
209:
205:
201:
198:
195:
191:
187:
182:
178:
174:
171:
168:
164:
160:
155:
151:
147:
144:
141:
137:
133:
128:
119:
118:
117:
115:
111:
107:
103:
99:
95:
91:
76:
63:
59:
41:
37:
34:
30:
26:
22:
1117:
1111:
1081:
1060:
1017:
1011:
979:
973:
935:
931:
883:
877:
831:
825:
783:
777:
758:
732:
716:
675:
669:
634:
630:
614:
587:
556:
520:
507:discriminant
494:
490:
486:
482:
474:
473:there is a
470:
466:
464:
451:
443:
433:
417:
106:Galois group
97:
93:
42:of the form
40:Galois group
35:
18:
1120:: 193–263,
567:local field
454:that is an
1151:Categories
924:Tate, John
874:Tate, John
600:References
489:such that
1136:0001-5962
1036:0002-9947
996:0075-4102
954:0037-9484
938:: 49–59,
900:0003-486X
850:0002-9947
810:1246-7405
793:1108.5671
694:0001-8708
523:Kronecker
505:of their
479:conductor
387:π
376:−
360:π
309:π
298:−
282:π
263:−
226:π
199:π
188:−
172:π
161:−
145:π
77:×
38:, having
926:(1966),
753:(1877),
727:(1853),
711:(1896),
661:(1975),
1104:1640262
1070:0049233
1052:0610968
1044:1999753
1004:0611446
962:0238854
916:0172878
908:1970622
866:0621978
858:1998574
818:2211307
702:0389858
651:2319208
623:1802379
545: (
543:Hilbert
533: (
525: (
517:History
475:minimal
110:abelian
31:of the
1134:
1102:
1092:
1068:
1050:
1042:
1034:
1002:
994:
960:
952:
914:
906:
898:
864:
856:
848:
816:
808:
765:
739:
700:
692:
649:
621:
436:fields
104:whose
92:. The
27:is an
1040:JSTOR
904:JSTOR
854:JSTOR
788:arXiv
666:(PDF)
647:JSTOR
611:(PDF)
531:Weber
1132:ISSN
1090:ISBN
1032:ISSN
992:ISSN
950:ISSN
896:ISSN
846:ISSN
806:ISSN
763:ISBN
737:ISBN
690:ISSN
583:1981
579:1981
575:1975
563:1966
559:1965
547:1896
535:1886
527:1853
438:and
422:and
337:and
1122:doi
1022:doi
1018:265
984:doi
980:323
940:doi
888:doi
836:doi
832:267
798:doi
680:doi
639:doi
549:).
481:of
469:of
108:is
19:In
1153::
1130:,
1100:MR
1098:,
1080:,
1066:MR
1048:MR
1046:,
1038:,
1030:,
1016:,
1000:MR
998:,
990:,
978:,
972:,
958:MR
956:,
948:,
936:94
934:,
930:,
912:MR
910:,
902:,
894:,
884:81
862:MR
860:,
852:,
844:,
830:,
814:MR
812:,
804:,
796:,
784:17
782:,
757:,
731:,
715:,
698:MR
696:,
688:,
676:18
674:,
668:,
645:.
635:81
633:.
619:MR
596:.
561:,
513:.
426:.
1124::
1118:8
1024::
986::
942::
890::
838::
800::
790::
682::
653:.
641::
495:n
491:K
487:n
483:K
471:Q
467:K
452:Q
444:Q
403:.
398:6
394:/
390:i
384:5
380:e
371:6
367:/
363:i
356:e
352:=
347:3
325:,
320:3
316:/
312:i
306:4
302:e
293:3
289:/
285:i
279:2
275:e
271:=
266:3
242:,
237:5
233:/
229:i
223:8
219:e
215:+
210:5
206:/
202:i
196:6
192:e
183:5
179:/
175:i
169:4
165:e
156:5
152:/
148:i
142:2
138:e
134:=
129:5
98:Q
73:)
68:Z
64:n
60:/
55:Z
51:(
36:Q
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.