707:
513:
165:
371:
566:
While all quadratic fields are monogenic, already among cubic fields there are many that are not monogenic. The first example of a non-monogenic number field that was found is the
442:
283:
233:
623:
317:
560:
391:
185:
91:
748:
447:
683:
652:
103:
767:
772:
741:
129:
734:
339:
25:
400:
238:
194:
573:
675:
292:
188:
518:
679:
648:
328:
689:
658:
626:
376:
118:
36:
693:
662:
644:
69:
718:
170:
761:
714:
394:
706:
99:
567:
17:
508:{\displaystyle \mathbf {Q} (\zeta )^{+}=\mathbf {Q} (\zeta +\zeta ^{-1})}
722:
576:
521:
450:
403:
379:
342:
295:
241:
197:
173:
132:
641:
Elementary and
Analytic Theory of Algebraic Numbers
617:
554:
507:
436:
385:
365:
311:
277:
227:
179:
159:
672:Diophantine Equations and Power Integral Bases
742:
8:
160:{\displaystyle K=\mathbf {Q} ({\sqrt {d}})}
749:
735:
594:
581:
575:
540:
522:
520:
493:
475:
466:
451:
449:
417:
408:
402:
378:
349:
341:
302:
294:
267:
257:
240:
211:
202:
196:
172:
147:
139:
131:
570:generated by a root of the polynomial
366:{\displaystyle K=\mathbf {Q} (\zeta )}
114:Examples of monogenic fields include:
289: ≡ 1 (mod 4) and
7:
703:
701:
515:is monogenic, with ring of integers
437:{\displaystyle O_{K}=\mathbf {Z} .}
278:{\displaystyle a=(1+{\sqrt {d}})/2}
228:{\displaystyle O_{K}=\mathbf {Z} }
31:for which there exists an element
14:
705:
618:{\displaystyle X^{3}-X^{2}-2X-8}
523:
476:
452:
418:
350:
212:
140:
444:Also the maximal real subfield
639:Narkiewicz, Władysław (2004).
549:
527:
502:
480:
463:
456:
428:
422:
360:
354:
264:
248:
222:
216:
154:
144:
1:
312:{\displaystyle a={\sqrt {d}}}
721:. You can help Knowledge by
555:{\displaystyle \mathbf {Z} }
789:
700:
768:Algebraic number theory
717:-related article is a
619:
556:
509:
438:
387:
386:{\displaystyle \zeta }
367:
313:
279:
229:
181:
161:
26:algebraic number field
670:Gaál, István (2002).
620:
557:
510:
439:
388:
368:
314:
280:
230:
182:
162:
86:In a monogenic field
68:is a quotient of the
574:
519:
448:
401:
377:
340:
293:
239:
195:
171:
130:
81:power integral basis
773:Number theory stubs
189:square-free integer
615:
552:
505:
434:
383:
363:
309:
275:
225:
177:
157:
104:minimal polynomial
92:field discriminant
75:and the powers of
730:
729:
685:978-0-8176-4271-6
676:Birkhäuser Verlag
329:Cyclotomic fields
323:≡ 2 or 3 (mod 4).
307:
262:
180:{\displaystyle d}
152:
780:
751:
744:
737:
709:
702:
697:
666:
643:(3rd ed.).
627:Richard Dedekind
624:
622:
621:
616:
599:
598:
586:
585:
561:
559:
558:
553:
548:
547:
526:
514:
512:
511:
506:
501:
500:
479:
471:
470:
455:
443:
441:
440:
435:
421:
413:
412:
392:
390:
389:
384:
372:
370:
369:
364:
353:
318:
316:
315:
310:
308:
303:
284:
282:
281:
276:
271:
263:
258:
234:
232:
231:
226:
215:
207:
206:
186:
184:
183:
178:
166:
164:
163:
158:
153:
148:
143:
119:Quadratic fields
98:is equal to the
37:ring of integers
788:
787:
783:
782:
781:
779:
778:
777:
758:
757:
756:
755:
686:
669:
655:
645:Springer-Verlag
638:
635:
590:
577:
572:
571:
536:
517:
516:
489:
462:
446:
445:
404:
399:
398:
375:
374:
338:
337:
291:
290:
237:
236:
198:
193:
192:
169:
168:
128:
127:
112:
70:polynomial ring
67:
47:is the subring
46:
22:monogenic field
12:
11:
5:
786:
784:
776:
775:
770:
760:
759:
754:
753:
746:
739:
731:
728:
727:
710:
699:
698:
684:
674:. Boston, MA:
667:
653:
647:. p. 64.
634:
631:
614:
611:
608:
605:
602:
597:
593:
589:
584:
580:
564:
563:
551:
546:
543:
539:
535:
532:
529:
525:
504:
499:
496:
492:
488:
485:
482:
478:
474:
469:
465:
461:
458:
454:
433:
430:
427:
424:
420:
416:
411:
407:
382:
362:
359:
356:
352:
348:
345:
333:
332:
325:
324:
306:
301:
298:
274:
270:
266:
261:
256:
253:
250:
247:
244:
224:
221:
218:
214:
210:
205:
201:
176:
156:
151:
146:
142:
138:
135:
123:
122:
111:
108:
63:
42:
35:such that the
13:
10:
9:
6:
4:
3:
2:
785:
774:
771:
769:
766:
765:
763:
752:
747:
745:
740:
738:
733:
732:
726:
724:
720:
716:
715:number theory
711:
708:
704:
695:
691:
687:
681:
677:
673:
668:
664:
660:
656:
654:3-540-21902-1
650:
646:
642:
637:
636:
632:
630:
628:
612:
609:
606:
603:
600:
595:
591:
587:
582:
578:
569:
544:
541:
537:
533:
530:
497:
494:
490:
486:
483:
472:
467:
459:
431:
425:
414:
409:
405:
396:
395:root of unity
380:
357:
346:
343:
335:
334:
330:
327:
326:
322:
304:
299:
296:
288:
272:
268:
259:
254:
251:
245:
242:
219:
208:
203:
199:
190:
174:
149:
136:
133:
125:
124:
120:
117:
116:
115:
109:
107:
105:
101:
97:
93:
89:
84:
82:
79:constitute a
78:
74:
71:
66:
62:
58:
55:generated by
54:
50:
45:
41:
38:
34:
30:
27:
23:
19:
723:expanding it
712:
671:
640:
565:
320:
286:
113:
100:discriminant
95:
87:
85:
80:
76:
72:
64:
60:
56:
52:
48:
43:
39:
32:
28:
21:
15:
568:cubic field
18:mathematics
762:Categories
694:1016.11059
663:1159.11039
633:References
625:, due to
610:−
601:−
588:−
542:−
538:ζ
531:ζ
495:−
491:ζ
484:ζ
460:ζ
426:ζ
381:ζ
358:ζ
110:Examples
397:, then
191:, then
102:of the
59:. Then
692:
682:
661:
651:
235:where
106:of α.
90:, the
24:is an
713:This
373:with
167:with
719:stub
680:ISBN
649:ISBN
20:, a
690:Zbl
659:Zbl
336:if
319:if
285:if
126:if
94:of
51:of
16:In
764::
688:.
678:.
657:.
629:.
393:a
187:a
83:.
750:e
743:t
736:v
725:.
696:.
665:.
613:8
607:X
604:2
596:2
592:X
583:3
579:X
562:.
550:]
545:1
534:+
528:[
524:Z
503:)
498:1
487:+
481:(
477:Q
473:=
468:+
464:)
457:(
453:Q
432:.
429:]
423:[
419:Z
415:=
410:K
406:O
361:)
355:(
351:Q
347:=
344:K
331::
321:d
305:d
300:=
297:a
287:d
273:2
269:/
265:)
260:d
255:+
252:1
249:(
246:=
243:a
223:]
220:a
217:[
213:Z
209:=
204:K
200:O
175:d
155:)
150:d
145:(
141:Q
137:=
134:K
121::
96:K
88:K
77:a
73:Z
65:K
61:O
57:a
53:K
49:Z
44:K
40:O
33:a
29:K
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.