536:
300:
386:
139:
90:
198:
170:
742:
531:{\displaystyle {\sqrt {|D|}}\geq \left({\frac {\pi }{4}}\right)^{r_{2}}{\frac {n^{n}}{n!}}\geq \left({\frac {\pi }{4}}\right)^{n/2}{\frac {n^{n}}{n!}}\ .}
59:
329:
Since the number of integral ideals of given norm is finite, the finiteness of the class number is an immediate consequence, and further, the
679:
644:
610:
636:
747:
671:
20:
566:
554:
95:
704:
73:
726:
295:{\displaystyle M_{K}={\sqrt {|D|}}\left({\frac {4}{\pi }}\right)^{r_{2}}{\frac {n!}{n^{n}}}\ .}
675:
640:
606:
330:
177:
142:
43:
32:
685:
650:
616:
148:
689:
663:
654:
620:
602:
185:
173:
349:
Minkowski's bound may be used to derive a lower bound for the discriminant of a field
736:
718:
545:
at least 2, it is easy to show that the lower bound is greater than 1, so we obtain
16:
Limits ideals to be checked in order to determine the class number of a number field
36:
334:
28:
709:
628:
189:
553:, is non-trivial. This implies that the field of rational numbers has no
670:. Encyclopedia of Mathematics and its Applications. Vol. 30.
601:. Encycl. Math. Sci. Vol. 62 (2nd printing of 1st ed.).
371:. Since an integral ideal has norm at least one, we have 1 ≤
31:
of the norm of ideals to be checked in order to determine the
549:, that the discriminant of every number field, other than
639:. Vol. 110 (second ed.). New York: Springer.
389:
201:
151:
98:
76:
705:"Using Minkowski's Constant To Find A Class Number"
530:
294:
164:
133:
84:
8:
506:
500:
490:
486:
472:
448:
442:
434:
429:
415:
400:
392:
390:
388:
278:
264:
256:
251:
237:
225:
217:
215:
206:
200:
156:
150:
125:
106:
97:
78:
77:
75:
584:
582:
578:
7:
42:. It is named for the mathematician
743:Theorems in algebraic number theory
668:Algorithmic Algebraic Number Theory
588:Pohst & Zassenhaus (1989) p.384
14:
192:not exceeding Minkowski's bound
565:The result is a consequence of
401:
393:
226:
218:
134:{\displaystyle 2r_{2}=n-r_{1}}
1:
637:Graduate Texts in Mathematics
85:{\displaystyle \mathbb {Q} }
764:
729:at Secret Blogging Seminar
672:Cambridge University Press
176:. Then every class in the
633:Algebraic Number Theory
599:Algebraic Number Theory
21:algebraic number theory
532:
296:
166:
135:
86:
597:Koch, Helmut (1997).
533:
297:
167:
165:{\displaystyle r_{1}}
136:
87:
717:Stevenhagen, Peter.
555:unramified extension
387:
333:is generated by the
306:Minkowski's constant
199:
149:
96:
74:
727:The Minkowski Bound
567:Minkowski's theorem
547:Minkowski's Theorem
528:
292:
162:
143:complex embeddings
131:
82:
748:Hermann Minkowski
524:
520:
480:
462:
423:
405:
331:ideal class group
288:
284:
245:
230:
178:ideal class group
172:is the number of
141:be the number of
66:be the degree of
44:Hermann Minkowski
25:Minkowski's bound
755:
714:
693:
658:
624:
589:
586:
537:
535:
534:
529:
522:
521:
519:
511:
510:
501:
499:
498:
494:
485:
481:
473:
463:
461:
453:
452:
443:
441:
440:
439:
438:
428:
424:
416:
406:
404:
396:
391:
337:of norm at most
301:
299:
298:
293:
286:
285:
283:
282:
273:
265:
263:
262:
261:
260:
250:
246:
238:
231:
229:
221:
216:
211:
210:
171:
169:
168:
163:
161:
160:
140:
138:
137:
132:
130:
129:
111:
110:
91:
89:
88:
83:
81:
763:
762:
758:
757:
756:
754:
753:
752:
733:
732:
703:
700:
682:
661:
647:
627:
613:
603:Springer-Verlag
596:
593:
592:
587:
580:
575:
563:
512:
502:
468:
467:
454:
444:
430:
411:
410:
385:
384:
379:
370:
363:
345:
327:
320:
274:
266:
252:
233:
232:
202:
197:
196:
174:real embeddings
152:
147:
146:
121:
102:
94:
93:
72:
71:
52:
17:
12:
11:
5:
761:
759:
751:
750:
745:
735:
734:
731:
730:
724:
715:
699:
698:External links
696:
695:
694:
680:
664:Zassenhaus, H.
659:
645:
625:
611:
591:
590:
577:
576:
574:
571:
562:
559:
539:
538:
527:
518:
515:
509:
505:
497:
493:
489:
484:
479:
476:
471:
466:
460:
457:
451:
447:
437:
433:
427:
422:
419:
414:
409:
403:
399:
395:
375:
368:
361:
341:
326:
323:
316:
312:is this bound
308:for the field
303:
302:
291:
281:
277:
272:
269:
259:
255:
249:
244:
241:
236:
228:
224:
220:
214:
209:
205:
186:integral ideal
159:
155:
128:
124:
120:
117:
114:
109:
105:
101:
80:
62:of the field,
51:
48:
15:
13:
10:
9:
6:
4:
3:
2:
760:
749:
746:
744:
741:
740:
738:
728:
725:
723:
721:
716:
712:
711:
706:
702:
701:
697:
691:
687:
683:
681:0-521-33060-2
677:
673:
669:
665:
660:
656:
652:
648:
646:0-387-94225-4
642:
638:
634:
630:
626:
622:
618:
614:
612:3-540-63003-1
608:
604:
600:
595:
594:
585:
583:
579:
572:
570:
568:
560:
558:
556:
552:
548:
544:
525:
516:
513:
507:
503:
495:
491:
487:
482:
477:
474:
469:
464:
458:
455:
449:
445:
435:
431:
425:
420:
417:
412:
407:
397:
383:
382:
381:
378:
374:
367:
360:
356:
352:
347:
344:
340:
336:
332:
324:
322:
319:
315:
311:
307:
289:
279:
275:
270:
267:
257:
253:
247:
242:
239:
234:
222:
212:
207:
203:
195:
194:
193:
191:
187:
183:
179:
175:
157:
153:
144:
126:
122:
118:
115:
112:
107:
103:
99:
69:
65:
61:
57:
49:
47:
45:
41:
38:
34:
30:
26:
22:
720:Number Rings
719:
708:
667:
632:
598:
564:
550:
546:
542:
540:
376:
372:
365:
358:
354:
350:
348:
342:
338:
335:prime ideals
328:
317:
313:
309:
305:
304:
184:contains an
181:
67:
63:
60:discriminant
55:
53:
39:
37:number field
33:class number
24:
18:
662:Pohst, M.;
629:Lang, Serge
29:upper bound
737:Categories
710:PlanetMath
690:0685.12001
655:0811.11001
621:0819.11044
573:References
380:, so that
325:Properties
50:Definition
475:π
465:≥
418:π
408:≥
243:π
119:−
27:gives an
666:(1989).
631:(1994).
58:be the
688:
678:
653:
643:
619:
609:
523:
353:given
287:
145:where
92:, and
561:Proof
70:over
35:of a
676:ISBN
641:ISBN
607:ISBN
541:For
364:and
190:norm
54:Let
686:Zbl
651:Zbl
617:Zbl
569:.
188:of
180:of
19:In
739::
707:.
684:.
674:.
649:.
635:.
615:.
605:.
581:^
557:.
357:,
346:.
321:.
46:.
23:,
722:.
713:.
692:.
657:.
623:.
551:Q
543:n
526:.
517:!
514:n
508:n
504:n
496:2
492:/
488:n
483:)
478:4
470:(
459:!
456:n
450:n
446:n
436:2
432:r
426:)
421:4
413:(
402:|
398:D
394:|
377:K
373:M
369:2
366:r
362:1
359:r
355:n
351:K
343:K
339:M
318:K
314:M
310:K
290:.
280:n
276:n
271:!
268:n
258:2
254:r
248:)
240:4
235:(
227:|
223:D
219:|
213:=
208:K
204:M
182:K
158:1
154:r
127:1
123:r
116:n
113:=
108:2
104:r
100:2
79:Q
68:K
64:n
56:D
40:K
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.