Knowledge

Monogenic field

Source đź“ť

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

Index

mathematics
algebraic number field
ring of integers
polynomial ring
field discriminant
discriminant
minimal polynomial
Quadratic fields
square-free integer
Cyclotomic fields
root of unity
cubic field
Richard Dedekind
Springer-Verlag
ISBN
3-540-21902-1
Zbl
1159.11039
Birkhäuser Verlag
ISBN
978-0-8176-4271-6
Zbl
1016.11059
Stub icon
number theory
stub
expanding it
v
t
e

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑