Knowledge (XXG)

Quadratic field

Source đź“ť

2368:, and the discriminant of the maximal order is the discriminant of the field. The discriminant of a non-maximal order is the product of the discriminant of the corresponding maximal order by the square of the determinant of the matrix that expresses a basis of the non-maximal order over a basis of the maximal order. All these discriminants may be defined by the formula of 1821: 1697: 1083: 914: 1702: 1581: 4042: 3896: 4731: 4207: 1573: 339: 108: 4921: 5089: 4543: 4375: 3073: 693: 2589: 1167: 997: 727: 5000: 4832: 4628: 4454: 4286: 4104: 3945: 3791: 3622: 3505: 3368: 3253: 3116: 2917: 2780: 2654: 2447: 1904: 600: 1950: 2060: 66: 3700: 624: 5125: 4957: 4767: 4411: 4243: 2177: 2119: 228: 198: 3574: 3437: 3322: 3185: 2986: 2849: 2723: 2516: 1850: 1255: 1005: 839: 3969: 3277: 3140: 3014: 2941: 2804: 2678: 2544: 2471: 2247: 1876: 1136: 966: 805: 750: 5021: 4853: 4649: 4475: 3815: 3646: 3529: 3392: 2270: 2142: 1301: 1278: 532: 485: 442: 5042: 4874: 4670: 4563: 4496: 4328: 4307: 4146: 4125: 3990: 3836: 3720: 3667: 3550: 3413: 3298: 3161: 2962: 2825: 2699: 2492: 2338: 2318: 2298: 2221: 2201: 2084: 2038: 2011: 1991: 1512: 1492: 1472: 1452: 1421: 1401: 1381: 1361: 1341: 1321: 1218: 1198: 1105: 936: 774: 747: 659: 556: 505: 462: 419: 399: 379: 359: 294: 172: 152: 128: 2369: 1576: 297: 844: 5343: 5323: 5366: 5301: 5429: 5150: 5165: 2345: 2341: 5412: 5434: 1953: 1816:{\displaystyle M_{K}={\begin{cases}2{\sqrt {|\Delta |}}/\pi &d<0\\{\sqrt {|\Delta |}}/2&d>0.\end{cases}}} 5407: 5354: 3999: 43: 3842: 5190: 2180: 1424: 5180: 4676: 4152: 1537: 303: 1692:{\displaystyle \Delta _{K}={\begin{cases}d&d\equiv 1{\pmod {4}}\\4d&d\equiv 2,3{\pmod {4}};\end{cases}}} 630: 78: 4880: 1969:
A classical example of the construction of a quadratic field is to take the unique quadratic field inside the
5048: 4502: 4334: 3019: 2223:
is the only prime that can divide the quadratic field discriminant. That rules out the 'other' discriminants
31: 5185: 2727: 2300:-torsion, so contain at least three quadratic fields. In general a quadratic field of field discriminant 39: 664: 2549: 1431: 1141: 971: 701: 250: 4968: 4778: 4574: 4422: 4254: 4050: 3910: 3734: 3587: 3448: 3333: 3196: 3081: 2860: 2740: 2597: 2412: 1881: 561: 5402: 5175: 1523: 254: 1724: 1603: 3901: 2357: 2018: 1909: 131: 2043: 49: 5263: 3673: 605: 5384: 5362: 5339: 5319: 5297: 5170: 5094: 4926: 4736: 4380: 4212: 3725: 3578: 2376: 1531: 1078:{\displaystyle {\mathcal {O}}_{K}/p{\mathcal {O}}_{K}=\mathbf {F} _{p}\times \mathbf {F} _{p}} 508: 266: 2731: 2365: 2147: 2089: 1970: 1527: 1221: 696: 535: 207: 177: 3556: 3419: 3304: 3167: 2968: 2831: 2705: 2498: 1828: 1226: 817: 5293: 5155: 2063: 239: 69: 3951: 3259: 3122: 2993: 2923: 2786: 2660: 2523: 2453: 2226: 1855: 1115: 945: 784: 17: 5006: 4838: 4634: 4460: 3797: 3628: 3511: 3374: 2252: 2124: 1283: 1260: 514: 467: 424: 5286: 5160: 5027: 4859: 4655: 4548: 4481: 4313: 4292: 4131: 4110: 3975: 3821: 3705: 3652: 3535: 3398: 3283: 3146: 2947: 2810: 2684: 2477: 2323: 2303: 2283: 2206: 2186: 2069: 2023: 1996: 1976: 1497: 1477: 1457: 1437: 1406: 1386: 1366: 1346: 1326: 1306: 1203: 1183: 1090: 921: 759: 732: 644: 541: 490: 447: 404: 384: 364: 344: 279: 157: 137: 113: 2344:
of a quadratic field is the absolute value of its discriminant, a special case of the
249:
Quadratic fields have been studied in great depth, initially as part of the theory of
5423: 5311: 5215: 2014: 1825:
Then, the ideal class group is generated by the prime ideals whose norm is less than
1522:
Determining the class group of a quadratic field extension can be accomplished using
5387: 811: 5333: 243: 2280:
If one takes the other cyclotomic fields, they have Galois groups with extra
5392: 1173: 1403:. The first two cases are, in a certain sense, equally likely to occur as 909:{\displaystyle {\mathcal {O}}_{K}/p{\mathcal {O}}_{K}=\mathbf {F} _{p^{2}}} 5318:(Hardcover ed.), Paris / Boston: Hermann / Houghton Mifflin Company, 5245: 629:
The set of discriminants of quadratic fields is exactly the set of
2379:, which measures the failure of unique factorization, is given in 1852:. This can be done by looking at the decomposition of the ideals 5288:
Binary quadratic forms: classical theory and modern computations
27:
Field (mathematics) generated by the square root of an integer
2203:
is the only prime that ramifies in the cyclotomic field, so
1148: 1034: 1012: 978: 873: 851: 708: 674: 2384: 2380: 2370:
Discriminant of an algebraic number field § Definition
1809: 1685: 2013:
an odd prime number. The uniqueness is a consequence of
2352:
Orders of quadratic number fields of small discriminant
2320:
can be obtained as a subfield of a cyclotomic field of
5097: 5051: 5030: 5009: 4971: 4929: 4883: 4862: 4841: 4781: 4739: 4679: 4658: 4637: 4577: 4551: 4505: 4484: 4463: 4425: 4383: 4337: 4316: 4295: 4257: 4215: 4155: 4134: 4113: 4053: 4002: 3978: 3954: 3913: 3845: 3824: 3800: 3737: 3708: 3676: 3655: 3631: 3590: 3559: 3538: 3514: 3451: 3422: 3401: 3377: 3336: 3307: 3286: 3262: 3199: 3170: 3149: 3125: 3084: 3022: 2996: 2971: 2950: 2926: 2863: 2834: 2813: 2789: 2743: 2708: 2687: 2663: 2600: 2552: 2526: 2501: 2480: 2456: 2415: 2340:
th roots of unity. This expresses the fact that the
2326: 2306: 2286: 2255: 2229: 2209: 2189: 2150: 2127: 2092: 2072: 2046: 2026: 1999: 1979: 1912: 1884: 1858: 1831: 1705: 1584: 1540: 1500: 1480: 1460: 1440: 1409: 1389: 1369: 1349: 1329: 1309: 1286: 1263: 1229: 1206: 1186: 1144: 1118: 1093: 1008: 974: 948: 924: 847: 820: 787: 762: 735: 704: 667: 647: 608: 564: 544: 517: 493: 470: 450: 427: 407: 387: 367: 347: 306: 282: 210: 180: 160: 140: 116: 81: 52: 1965:
The quadratic subfield of the prime cyclotomic field
5246:"Algebraic Number Theory, A Computational Approach" 5285: 5119: 5083: 5036: 5015: 4994: 4951: 4915: 4868: 4847: 4826: 4761: 4725: 4664: 4643: 4622: 4557: 4537: 4490: 4469: 4448: 4405: 4369: 4322: 4301: 4280: 4237: 4201: 4140: 4119: 4098: 4036: 3984: 3963: 3939: 3890: 3830: 3809: 3785: 3714: 3694: 3661: 3640: 3616: 3568: 3544: 3523: 3499: 3431: 3407: 3386: 3362: 3316: 3292: 3271: 3247: 3179: 3155: 3134: 3110: 3067: 3008: 2980: 2956: 2935: 2911: 2843: 2819: 2798: 2774: 2717: 2693: 2672: 2648: 2583: 2538: 2510: 2486: 2465: 2441: 2332: 2312: 2292: 2264: 2241: 2215: 2195: 2171: 2136: 2113: 2078: 2054: 2032: 2005: 1985: 1944: 1898: 1870: 1844: 1815: 1691: 1567: 1506: 1486: 1466: 1446: 1415: 1395: 1375: 1355: 1335: 1315: 1295: 1272: 1249: 1212: 1192: 1161: 1130: 1099: 1077: 991: 960: 930: 908: 833: 799: 768: 741: 721: 687: 653: 618: 594: 550: 526: 499: 479: 456: 436: 413: 393: 373: 353: 333: 288: 222: 192: 166: 146: 122: 102: 60: 4037:{\displaystyle (\mathbf {Z} /2\mathbf {Z} )^{2}} 1434:implies that the splitting behaviour of a prime 534:. The reason for such a distinction is that the 200:, the corresponding quadratic field is called a 3891:{\displaystyle \pm 1,(\pm 1\pm {\sqrt {-3}})/2} 2360:of small discriminant of quadratic fields. The 751:splitting of prime ideals in Galois extensions 2066:, the discriminant of the quadratic field is 1220:. The first and second cases occur when the 968:is a product of two distinct prime ideals of 8: 5136:Some of these examples are listed in Artin, 4726:{\displaystyle \pm ((3+{\sqrt {13}})/2)^{n}} 2383:; for the imaginary case, they are given in 1952:These decompositions can be found using the 4202:{\displaystyle \pm ((1+{\sqrt {5}})/2)^{n}} 1568:{\displaystyle K=\mathbf {Q} ({\sqrt {d}})} 334:{\displaystyle K=\mathbf {Q} ({\sqrt {d}})} 253:. There remain some unsolved problems. The 238:, corresponding to whether or not it is a 5111: 5096: 5075: 5058: 5050: 5029: 5008: 4981: 4972: 4970: 4943: 4928: 4907: 4896: 4882: 4861: 4840: 4811: 4801: 4782: 4780: 4753: 4738: 4717: 4705: 4695: 4678: 4657: 4636: 4607: 4597: 4578: 4576: 4550: 4529: 4518: 4504: 4483: 4462: 4435: 4426: 4424: 4397: 4382: 4361: 4350: 4336: 4315: 4294: 4267: 4258: 4256: 4229: 4214: 4193: 4181: 4171: 4154: 4133: 4112: 4083: 4073: 4054: 4052: 4028: 4019: 4011: 4006: 4001: 3977: 3953: 3923: 3914: 3912: 3880: 3867: 3844: 3823: 3799: 3770: 3757: 3738: 3736: 3707: 3675: 3654: 3630: 3600: 3591: 3589: 3558: 3537: 3513: 3484: 3471: 3452: 3450: 3421: 3400: 3376: 3346: 3337: 3335: 3306: 3285: 3261: 3232: 3219: 3200: 3198: 3169: 3148: 3124: 3094: 3085: 3083: 3054: 3041: 3021: 2995: 2970: 2949: 2925: 2896: 2883: 2864: 2862: 2833: 2812: 2788: 2757: 2744: 2742: 2707: 2686: 2662: 2633: 2620: 2601: 2599: 2568: 2551: 2525: 2500: 2479: 2455: 2425: 2416: 2414: 2325: 2305: 2285: 2254: 2228: 2208: 2188: 2179:. This can also be predicted from enough 2149: 2126: 2091: 2071: 2047: 2045: 2025: 1998: 1978: 1933: 1921: 1913: 1911: 1891: 1883: 1857: 1836: 1830: 1787: 1780: 1772: 1770: 1747: 1740: 1732: 1730: 1719: 1710: 1704: 1663: 1620: 1598: 1589: 1583: 1555: 1547: 1539: 1499: 1479: 1459: 1439: 1408: 1388: 1368: 1348: 1328: 1308: 1285: 1262: 1236: 1228: 1205: 1185: 1153: 1147: 1146: 1143: 1117: 1092: 1069: 1064: 1054: 1049: 1039: 1033: 1032: 1023: 1017: 1011: 1010: 1007: 983: 977: 976: 973: 947: 923: 898: 893: 888: 878: 872: 871: 862: 856: 850: 849: 846: 825: 819: 786: 761: 734: 713: 707: 706: 703: 679: 673: 672: 666: 646: 609: 607: 584: 574: 563: 543: 516: 492: 469: 449: 426: 406: 386: 366: 346: 321: 313: 305: 281: 209: 179: 159: 139: 115: 103:{\displaystyle \mathbf {Q} ({\sqrt {d}})} 90: 82: 80: 53: 51: 4916:{\displaystyle \pm (4+{\sqrt {17}})^{n}} 2389: 1960:Quadratic subfields of cyclotomic fields 5203: 5084:{\displaystyle \pm ({\sqrt {5}}+2)^{n}} 4538:{\displaystyle \pm (2+{\sqrt {3}})^{n}} 4370:{\displaystyle \pm (1+{\sqrt {2}})^{n}} 3068:{\displaystyle (1,(1+{\sqrt {-15}})/2)} 5231: 2375:For real quadratic integer rings, the 1180:The third case happens if and only if 1454:in a quadratic field depends only on 7: 5209: 5207: 2364:of an algebraic number field is its 1172:The quotient ring contains non-zero 2017:, there being a unique subgroup of 1671: 1664: 1628: 1621: 688:{\displaystyle p{\mathcal {O}}_{K}} 75:Every such quadratic field is some 2584:{\displaystyle (2,1+{\sqrt {-5}})} 1777: 1737: 1586: 1162:{\displaystyle {\mathcal {O}}_{K}} 1138:is the square of a prime ideal of 992:{\displaystyle {\mathcal {O}}_{K}} 722:{\displaystyle {\mathcal {O}}_{K}} 276:For a nonzero square free integer 25: 4995:{\displaystyle \mathbf {Z} \left} 4827:{\displaystyle \mathbf {Z} \left} 4623:{\displaystyle \mathbf {Z} \left} 4449:{\displaystyle \mathbf {Z} \left} 4281:{\displaystyle \mathbf {Z} \left} 4099:{\displaystyle \mathbf {Z} \left} 3940:{\displaystyle \mathbf {Z} \left} 3786:{\displaystyle \mathbf {Z} \left} 3617:{\displaystyle \mathbf {Z} \left} 3500:{\displaystyle \mathbf {Z} \left} 3363:{\displaystyle \mathbf {Z} \left} 3248:{\displaystyle \mathbf {Z} \left} 3111:{\displaystyle \mathbf {Z} \left} 2912:{\displaystyle \mathbf {Z} \left} 2775:{\displaystyle \mathbf {Z} \left} 2649:{\displaystyle \mathbf {Z} \left} 2442:{\displaystyle \mathbf {Z} \left} 1899:{\displaystyle p\in \mathbf {Z} } 1530:because of the finiteness of the 1002:The quotient ring is the product 749:. In line with general theory of 595:{\displaystyle (1+{\sqrt {d}})/2} 4973: 4783: 4579: 4427: 4259: 4055: 4020: 4007: 3915: 3739: 3592: 3453: 3338: 3201: 3086: 2865: 2745: 2602: 2417: 2048: 1892: 1548: 1383:is congruent to a square modulo 1303:, respectively. For example, if 1065: 1050: 889: 314: 83: 54: 2356:The following table shows some 637:Prime factorization into ideals 5166:Infrastructure (number theory) 5108: 5098: 5072: 5055: 4940: 4930: 4904: 4887: 4808: 4792: 4750: 4740: 4714: 4702: 4686: 4683: 4604: 4588: 4526: 4509: 4394: 4384: 4358: 4341: 4226: 4216: 4190: 4178: 4162: 4159: 4080: 4064: 4025: 4003: 3877: 3855: 3767: 3748: 3481: 3462: 3229: 3210: 3062: 3051: 3032: 3023: 3003: 2997: 2893: 2874: 2630: 2611: 2578: 2553: 2533: 2527: 2346:conductor-discriminant formula 1922: 1914: 1865: 1859: 1781: 1773: 1741: 1733: 1675: 1665: 1632: 1622: 1562: 1552: 1244: 1230: 1125: 1119: 955: 949: 794: 788: 581: 565: 328: 318: 97: 87: 1: 5338:(Paperback ed.), Dover, 1945:{\displaystyle |p|<M_{k}.} 1323:is an odd prime not dividing 2055:{\displaystyle \mathbf {Q} } 1423:runs through the primes—see 61:{\displaystyle \mathbf {Q} } 5408:Encyclopedia of Mathematics 5335:Algebraic Theory of Numbers 5316:Algebraic Theory of Numbers 5151:Eisenstein–Kronecker number 3695:{\displaystyle \pm 1,\pm i} 1514:is the field discriminant. 619:{\displaystyle {\sqrt {d}}} 257:is particularly important. 5451: 5264:"CLASS GROUP CALCULATIONS" 5191:Quadratically closed field 1425:Chebotarev density theorem 264: 2272:in the respective cases. 2040:in the Galois group over 1973:generated by a primitive 1699:so the Minkowski bound is 1200:divides the discriminant 810:The quotient ring is the 631:fundamental discriminants 602:in the first case and by 232:imaginary quadratic field 18:Imaginary quadratic field 5120:{\displaystyle (-1)^{n}} 4952:{\displaystyle (-1)^{n}} 4762:{\displaystyle (-1)^{n}} 4406:{\displaystyle (-1)^{n}} 4238:{\displaystyle (-1)^{n}} 3996:Class group non-cyclic: 511:and the discriminant is 130:is a (uniquely defined) 5430:Algebraic number theory 5359:Algebraic number theory 5332:Samuel, Pierre (2008), 2276:Other cyclotomic fields 1993:th root of unity, with 1954:Dedekind–Kummer theorem 661:gives rise to an ideal 300:of the quadratic field 236:complex quadratic field 32:algebraic number theory 5357:; Tall, D. O. (1979), 5284:Buell, Duncan (1989), 5186:Dedekind zeta function 5121: 5085: 5038: 5017: 4996: 4953: 4917: 4870: 4849: 4828: 4763: 4727: 4666: 4645: 4624: 4559: 4539: 4492: 4471: 4450: 4407: 4371: 4324: 4303: 4282: 4239: 4203: 4142: 4121: 4100: 4038: 3986: 3965: 3941: 3892: 3832: 3811: 3787: 3716: 3696: 3663: 3642: 3618: 3570: 3546: 3525: 3501: 3433: 3409: 3388: 3364: 3318: 3294: 3273: 3249: 3181: 3157: 3136: 3112: 3069: 3010: 2982: 2958: 2937: 2913: 2845: 2821: 2800: 2776: 2728:Principal ideal domain 2719: 2695: 2674: 2650: 2585: 2540: 2512: 2488: 2467: 2443: 2334: 2314: 2294: 2266: 2243: 2217: 2197: 2173: 2172:{\displaystyle p=4n+3} 2138: 2115: 2114:{\displaystyle p=4n+1} 2080: 2056: 2034: 2007: 1987: 1946: 1900: 1872: 1846: 1817: 1693: 1569: 1508: 1488: 1468: 1448: 1417: 1397: 1377: 1363:splits if and only if 1357: 1337: 1317: 1297: 1274: 1251: 1214: 1194: 1163: 1132: 1101: 1079: 993: 962: 932: 910: 835: 801: 770: 743: 723: 689: 655: 620: 596: 552: 528: 501: 481: 458: 438: 415: 395: 375: 355: 335: 290: 251:binary quadratic forms 224: 223:{\displaystyle d<0} 194: 193:{\displaystyle d>0} 168: 148: 124: 104: 62: 40:algebraic number field 5181:Stark–Heegner theorem 5122: 5086: 5039: 5018: 4997: 4954: 4918: 4871: 4850: 4829: 4764: 4728: 4667: 4646: 4625: 4560: 4540: 4493: 4472: 4451: 4408: 4372: 4325: 4304: 4283: 4240: 4204: 4143: 4122: 4101: 4039: 3987: 3966: 3942: 3893: 3833: 3812: 3788: 3717: 3697: 3664: 3643: 3619: 3571: 3569:{\displaystyle \pm 1} 3547: 3526: 3502: 3434: 3432:{\displaystyle \pm 1} 3410: 3389: 3365: 3319: 3317:{\displaystyle \pm 1} 3295: 3274: 3250: 3182: 3180:{\displaystyle \pm 1} 3158: 3137: 3113: 3070: 3011: 2983: 2981:{\displaystyle \pm 1} 2959: 2938: 2914: 2846: 2844:{\displaystyle \pm 1} 2822: 2801: 2777: 2720: 2718:{\displaystyle \pm 1} 2696: 2675: 2651: 2586: 2541: 2513: 2511:{\displaystyle \pm 1} 2489: 2468: 2444: 2335: 2315: 2295: 2267: 2244: 2218: 2198: 2174: 2139: 2116: 2081: 2057: 2035: 2008: 1988: 1947: 1901: 1873: 1847: 1845:{\displaystyle M_{K}} 1818: 1694: 1570: 1509: 1489: 1469: 1449: 1432:quadratic reciprocity 1418: 1398: 1378: 1358: 1338: 1318: 1298: 1275: 1252: 1250:{\displaystyle (D/p)} 1215: 1195: 1164: 1133: 1102: 1080: 994: 963: 933: 911: 836: 834:{\displaystyle p^{2}} 802: 771: 744: 729:of a quadratic field 724: 690: 656: 621: 597: 553: 529: 502: 482: 459: 439: 416: 396: 376: 356: 336: 291: 225: 195: 169: 149: 125: 105: 63: 5361:, Chapman and Hall, 5176:Quadratic irrational 5095: 5049: 5028: 5007: 4969: 4927: 4881: 4860: 4839: 4779: 4737: 4677: 4656: 4635: 4575: 4549: 4503: 4482: 4461: 4423: 4381: 4335: 4314: 4293: 4255: 4213: 4153: 4132: 4111: 4051: 4000: 3976: 3952: 3911: 3843: 3822: 3798: 3735: 3706: 3674: 3653: 3629: 3588: 3557: 3536: 3512: 3449: 3420: 3399: 3375: 3334: 3305: 3284: 3260: 3197: 3168: 3147: 3123: 3082: 3020: 2994: 2969: 2948: 2924: 2861: 2832: 2811: 2787: 2741: 2706: 2685: 2661: 2598: 2550: 2524: 2499: 2478: 2454: 2413: 2324: 2304: 2284: 2253: 2227: 2207: 2187: 2148: 2125: 2090: 2070: 2044: 2024: 1997: 1977: 1910: 1882: 1856: 1829: 1703: 1582: 1538: 1534:. A quadratic field 1498: 1478: 1458: 1438: 1407: 1387: 1367: 1347: 1327: 1307: 1284: 1261: 1227: 1204: 1184: 1142: 1116: 1091: 1006: 972: 946: 922: 845: 818: 785: 760: 733: 702: 665: 645: 626:in the second case. 606: 562: 542: 515: 491: 468: 448: 425: 405: 385: 365: 345: 304: 280: 255:class number problem 242:of the field of the 208: 202:real quadratic field 178: 158: 138: 114: 79: 50: 5435:Field (mathematics) 3964:{\displaystyle -84} 3902:Eisenstein integers 3272:{\displaystyle -11} 3135:{\displaystyle -12} 3009:{\displaystyle (1)} 2936:{\displaystyle -15} 2799:{\displaystyle -16} 2673:{\displaystyle -19} 2539:{\displaystyle (1)} 2466:{\displaystyle -20} 2242:{\displaystyle -4p} 1871:{\displaystyle (p)} 1131:{\displaystyle (p)} 961:{\displaystyle (p)} 800:{\displaystyle (p)} 132:square-free integer 5385:Weisstein, Eric W. 5140:(2nd ed.), §13.8. 5130:Non-maximal order 5117: 5081: 5034: 5016:{\displaystyle 20} 5013: 4992: 4949: 4913: 4866: 4848:{\displaystyle 17} 4845: 4824: 4759: 4723: 4662: 4644:{\displaystyle 13} 4641: 4620: 4555: 4535: 4488: 4470:{\displaystyle 12} 4467: 4446: 4403: 4367: 4320: 4299: 4278: 4235: 4199: 4138: 4117: 4096: 4034: 3982: 3961: 3937: 3888: 3828: 3810:{\displaystyle -3} 3807: 3783: 3712: 3692: 3659: 3641:{\displaystyle -4} 3638: 3614: 3566: 3542: 3524:{\displaystyle -7} 3521: 3497: 3429: 3405: 3387:{\displaystyle -8} 3384: 3360: 3314: 3290: 3269: 3245: 3189:Non-maximal order 3177: 3153: 3132: 3108: 3065: 3006: 2978: 2954: 2933: 2909: 2853:Non-maximal order 2841: 2817: 2796: 2772: 2715: 2691: 2670: 2646: 2581: 2536: 2508: 2484: 2463: 2439: 2377:ideal class number 2330: 2310: 2290: 2265:{\displaystyle 4p} 2262: 2239: 2213: 2193: 2169: 2137:{\displaystyle -p} 2134: 2111: 2076: 2062:. As explained at 2052: 2030: 2003: 1983: 1942: 1896: 1868: 1842: 1813: 1808: 1689: 1684: 1565: 1504: 1484: 1464: 1444: 1413: 1393: 1373: 1353: 1333: 1313: 1296:{\displaystyle +1} 1293: 1273:{\displaystyle -1} 1270: 1247: 1210: 1190: 1159: 1128: 1097: 1075: 989: 958: 928: 906: 831: 797: 766: 739: 719: 685: 651: 616: 592: 548: 527:{\displaystyle -4} 524: 509:Gaussian rationals 497: 480:{\displaystyle -1} 477: 454: 444:. For example, if 437:{\displaystyle 4d} 434: 411: 391: 371: 351: 331: 286: 230:, it is called an 220: 190: 164: 144: 120: 100: 58: 5403:"Quadratic field" 5388:"Quadratic Field" 5345:978-0-486-46666-8 5325:978-0-901-66506-5 5251:. pp. 77–86. 5171:Quadratic integer 5134: 5133: 5063: 5037:{\displaystyle 1} 4986: 4901: 4869:{\displaystyle 1} 4806: 4700: 4665:{\displaystyle 1} 4602: 4558:{\displaystyle 1} 4523: 4491:{\displaystyle 1} 4440: 4355: 4323:{\displaystyle 1} 4302:{\displaystyle 8} 4272: 4176: 4141:{\displaystyle 1} 4120:{\displaystyle 5} 4078: 3985:{\displaystyle 4} 3931: 3875: 3831:{\displaystyle 1} 3765: 3726:Gaussian integers 3715:{\displaystyle 4} 3702:(cyclic of order 3662:{\displaystyle 1} 3608: 3579:Kleinian integers 3545:{\displaystyle 1} 3479: 3408:{\displaystyle 1} 3354: 3293:{\displaystyle 1} 3227: 3156:{\displaystyle 1} 3102: 3049: 2957:{\displaystyle 2} 2891: 2820:{\displaystyle 1} 2765: 2694:{\displaystyle 1} 2628: 2576: 2487:{\displaystyle 2} 2433: 2333:{\displaystyle D} 2313:{\displaystyle D} 2293:{\displaystyle 2} 2216:{\displaystyle p} 2196:{\displaystyle p} 2183:theory. In fact, 2079:{\displaystyle p} 2033:{\displaystyle 2} 2006:{\displaystyle p} 1986:{\displaystyle p} 1785: 1745: 1560: 1524:Minkowski's bound 1507:{\displaystyle D} 1487:{\displaystyle D} 1467:{\displaystyle p} 1447:{\displaystyle p} 1416:{\displaystyle p} 1396:{\displaystyle p} 1376:{\displaystyle D} 1356:{\displaystyle p} 1336:{\displaystyle D} 1316:{\displaystyle p} 1213:{\displaystyle D} 1193:{\displaystyle p} 1100:{\displaystyle p} 931:{\displaystyle p} 807:is a prime ideal. 769:{\displaystyle p} 742:{\displaystyle K} 654:{\displaystyle p} 641:Any prime number 614: 579: 551:{\displaystyle K} 500:{\displaystyle K} 457:{\displaystyle d} 414:{\displaystyle 4} 394:{\displaystyle 1} 374:{\displaystyle d} 354:{\displaystyle d} 326: 289:{\displaystyle d} 267:Quadratic integer 167:{\displaystyle 1} 147:{\displaystyle 0} 123:{\displaystyle d} 95: 16:(Redirected from 5442: 5416: 5398: 5397: 5371: 5348: 5328: 5306: 5291: 5271: 5270: 5268: 5259: 5253: 5252: 5250: 5244:Stein, William. 5241: 5235: 5229: 5223: 5222: 5220: 5211: 5126: 5124: 5123: 5118: 5116: 5115: 5090: 5088: 5087: 5082: 5080: 5079: 5064: 5059: 5043: 5041: 5040: 5035: 5022: 5020: 5019: 5014: 5001: 4999: 4998: 4993: 4991: 4987: 4982: 4976: 4958: 4956: 4955: 4950: 4948: 4947: 4922: 4920: 4919: 4914: 4912: 4911: 4902: 4897: 4875: 4873: 4872: 4867: 4854: 4852: 4851: 4846: 4833: 4831: 4830: 4825: 4823: 4819: 4815: 4807: 4802: 4786: 4768: 4766: 4765: 4760: 4758: 4757: 4732: 4730: 4729: 4724: 4722: 4721: 4709: 4701: 4696: 4671: 4669: 4668: 4663: 4650: 4648: 4647: 4642: 4629: 4627: 4626: 4621: 4619: 4615: 4611: 4603: 4598: 4582: 4564: 4562: 4561: 4556: 4544: 4542: 4541: 4536: 4534: 4533: 4524: 4519: 4497: 4495: 4494: 4489: 4476: 4474: 4473: 4468: 4455: 4453: 4452: 4447: 4445: 4441: 4436: 4430: 4412: 4410: 4409: 4404: 4402: 4401: 4376: 4374: 4373: 4368: 4366: 4365: 4356: 4351: 4329: 4327: 4326: 4321: 4308: 4306: 4305: 4300: 4287: 4285: 4284: 4279: 4277: 4273: 4268: 4262: 4244: 4242: 4241: 4236: 4234: 4233: 4208: 4206: 4205: 4200: 4198: 4197: 4185: 4177: 4172: 4147: 4145: 4144: 4139: 4126: 4124: 4123: 4118: 4105: 4103: 4102: 4097: 4095: 4091: 4087: 4079: 4074: 4058: 4043: 4041: 4040: 4035: 4033: 4032: 4023: 4015: 4010: 3991: 3989: 3988: 3983: 3970: 3968: 3967: 3962: 3946: 3944: 3943: 3938: 3936: 3932: 3924: 3918: 3897: 3895: 3894: 3889: 3884: 3876: 3868: 3837: 3835: 3834: 3829: 3816: 3814: 3813: 3808: 3792: 3790: 3789: 3784: 3782: 3778: 3774: 3766: 3758: 3742: 3721: 3719: 3718: 3713: 3701: 3699: 3698: 3693: 3668: 3666: 3665: 3660: 3647: 3645: 3644: 3639: 3623: 3621: 3620: 3615: 3613: 3609: 3601: 3595: 3575: 3573: 3572: 3567: 3551: 3549: 3548: 3543: 3530: 3528: 3527: 3522: 3506: 3504: 3503: 3498: 3496: 3492: 3488: 3480: 3472: 3456: 3438: 3436: 3435: 3430: 3414: 3412: 3411: 3406: 3393: 3391: 3390: 3385: 3369: 3367: 3366: 3361: 3359: 3355: 3347: 3341: 3323: 3321: 3320: 3315: 3299: 3297: 3296: 3291: 3278: 3276: 3275: 3270: 3254: 3252: 3251: 3246: 3244: 3240: 3236: 3228: 3220: 3204: 3186: 3184: 3183: 3178: 3162: 3160: 3159: 3154: 3141: 3139: 3138: 3133: 3117: 3115: 3114: 3109: 3107: 3103: 3095: 3089: 3074: 3072: 3071: 3066: 3058: 3050: 3042: 3015: 3013: 3012: 3007: 2987: 2985: 2984: 2979: 2963: 2961: 2960: 2955: 2942: 2940: 2939: 2934: 2918: 2916: 2915: 2910: 2908: 2904: 2900: 2892: 2884: 2868: 2850: 2848: 2847: 2842: 2826: 2824: 2823: 2818: 2805: 2803: 2802: 2797: 2781: 2779: 2778: 2773: 2771: 2767: 2766: 2758: 2748: 2724: 2722: 2721: 2716: 2700: 2698: 2697: 2692: 2679: 2677: 2676: 2671: 2655: 2653: 2652: 2647: 2645: 2641: 2637: 2629: 2621: 2605: 2590: 2588: 2587: 2582: 2577: 2569: 2545: 2543: 2542: 2537: 2517: 2515: 2514: 2509: 2493: 2491: 2490: 2485: 2472: 2470: 2469: 2464: 2448: 2446: 2445: 2440: 2438: 2434: 2426: 2420: 2390: 2366:ring of integers 2339: 2337: 2336: 2331: 2319: 2317: 2316: 2311: 2299: 2297: 2296: 2291: 2271: 2269: 2268: 2263: 2248: 2246: 2245: 2240: 2222: 2220: 2219: 2214: 2202: 2200: 2199: 2194: 2178: 2176: 2175: 2170: 2143: 2141: 2140: 2135: 2120: 2118: 2117: 2112: 2085: 2083: 2082: 2077: 2061: 2059: 2058: 2053: 2051: 2039: 2037: 2036: 2031: 2012: 2010: 2009: 2004: 1992: 1990: 1989: 1984: 1971:cyclotomic field 1951: 1949: 1948: 1943: 1938: 1937: 1925: 1917: 1905: 1903: 1902: 1897: 1895: 1877: 1875: 1874: 1869: 1851: 1849: 1848: 1843: 1841: 1840: 1822: 1820: 1819: 1814: 1812: 1811: 1791: 1786: 1784: 1776: 1771: 1751: 1746: 1744: 1736: 1731: 1715: 1714: 1698: 1696: 1695: 1690: 1688: 1687: 1678: 1635: 1594: 1593: 1574: 1572: 1571: 1566: 1561: 1556: 1551: 1528:Kronecker symbol 1513: 1511: 1510: 1505: 1493: 1491: 1490: 1485: 1473: 1471: 1470: 1465: 1453: 1451: 1450: 1445: 1422: 1420: 1419: 1414: 1402: 1400: 1399: 1394: 1382: 1380: 1379: 1374: 1362: 1360: 1359: 1354: 1342: 1340: 1339: 1334: 1322: 1320: 1319: 1314: 1302: 1300: 1299: 1294: 1279: 1277: 1276: 1271: 1256: 1254: 1253: 1248: 1240: 1222:Kronecker symbol 1219: 1217: 1216: 1211: 1199: 1197: 1196: 1191: 1168: 1166: 1165: 1160: 1158: 1157: 1152: 1151: 1137: 1135: 1134: 1129: 1106: 1104: 1103: 1098: 1084: 1082: 1081: 1076: 1074: 1073: 1068: 1059: 1058: 1053: 1044: 1043: 1038: 1037: 1027: 1022: 1021: 1016: 1015: 998: 996: 995: 990: 988: 987: 982: 981: 967: 965: 964: 959: 937: 935: 934: 929: 915: 913: 912: 907: 905: 904: 903: 902: 892: 883: 882: 877: 876: 866: 861: 860: 855: 854: 840: 838: 837: 832: 830: 829: 806: 804: 803: 798: 775: 773: 772: 767: 748: 746: 745: 740: 728: 726: 725: 720: 718: 717: 712: 711: 697:ring of integers 694: 692: 691: 686: 684: 683: 678: 677: 660: 658: 657: 652: 625: 623: 622: 617: 615: 610: 601: 599: 598: 593: 588: 580: 575: 558:is generated by 557: 555: 554: 549: 536:ring of integers 533: 531: 530: 525: 507:is the field of 506: 504: 503: 498: 486: 484: 483: 478: 463: 461: 460: 455: 443: 441: 440: 435: 421:, and otherwise 420: 418: 417: 412: 400: 398: 397: 392: 381:is congruent to 380: 378: 377: 372: 360: 358: 357: 352: 340: 338: 337: 332: 327: 322: 317: 295: 293: 292: 287: 261:Ring of integers 229: 227: 226: 221: 199: 197: 196: 191: 173: 171: 170: 165: 153: 151: 150: 145: 129: 127: 126: 121: 109: 107: 106: 101: 96: 91: 86: 70:rational numbers 67: 65: 64: 59: 57: 21: 5450: 5449: 5445: 5444: 5443: 5441: 5440: 5439: 5420: 5419: 5401: 5383: 5382: 5379: 5369: 5353: 5346: 5331: 5326: 5310: 5304: 5294:Springer-Verlag 5283: 5280: 5275: 5274: 5266: 5262:Conrad, Keith. 5261: 5260: 5256: 5248: 5243: 5242: 5238: 5230: 5226: 5218: 5213: 5212: 5205: 5200: 5195: 5156:Genus character 5146: 5107: 5093: 5092: 5071: 5047: 5046: 5026: 5025: 5005: 5004: 4977: 4967: 4966: 4939: 4925: 4924: 4903: 4879: 4878: 4858: 4857: 4837: 4836: 4791: 4787: 4777: 4776: 4749: 4735: 4734: 4713: 4675: 4674: 4654: 4653: 4633: 4632: 4587: 4583: 4573: 4572: 4547: 4546: 4525: 4501: 4500: 4480: 4479: 4459: 4458: 4431: 4421: 4420: 4393: 4379: 4378: 4357: 4333: 4332: 4312: 4311: 4291: 4290: 4263: 4253: 4252: 4225: 4211: 4210: 4189: 4151: 4150: 4130: 4129: 4109: 4108: 4063: 4059: 4049: 4048: 4024: 3998: 3997: 3974: 3973: 3950: 3949: 3919: 3909: 3908: 3841: 3840: 3820: 3819: 3796: 3795: 3747: 3743: 3733: 3732: 3704: 3703: 3672: 3671: 3651: 3650: 3627: 3626: 3596: 3586: 3585: 3555: 3554: 3534: 3533: 3510: 3509: 3461: 3457: 3447: 3446: 3418: 3417: 3397: 3396: 3373: 3372: 3342: 3332: 3331: 3303: 3302: 3282: 3281: 3258: 3257: 3209: 3205: 3195: 3194: 3166: 3165: 3145: 3144: 3121: 3120: 3090: 3080: 3079: 3018: 3017: 2992: 2991: 2967: 2966: 2946: 2945: 2922: 2921: 2873: 2869: 2859: 2858: 2830: 2829: 2809: 2808: 2785: 2784: 2753: 2749: 2739: 2738: 2704: 2703: 2683: 2682: 2659: 2658: 2610: 2606: 2596: 2595: 2548: 2547: 2522: 2521: 2497: 2496: 2476: 2475: 2452: 2451: 2421: 2411: 2410: 2354: 2322: 2321: 2302: 2301: 2282: 2281: 2278: 2251: 2250: 2225: 2224: 2205: 2204: 2185: 2184: 2146: 2145: 2123: 2122: 2088: 2087: 2068: 2067: 2064:Gaussian period 2042: 2041: 2022: 2021: 1995: 1994: 1975: 1974: 1967: 1962: 1929: 1908: 1907: 1880: 1879: 1854: 1853: 1832: 1827: 1826: 1807: 1806: 1795: 1767: 1766: 1755: 1720: 1706: 1701: 1700: 1683: 1682: 1646: 1637: 1636: 1609: 1599: 1585: 1580: 1579: 1536: 1535: 1520: 1496: 1495: 1476: 1475: 1456: 1455: 1436: 1435: 1405: 1404: 1385: 1384: 1365: 1364: 1345: 1344: 1325: 1324: 1305: 1304: 1282: 1281: 1259: 1258: 1225: 1224: 1202: 1201: 1182: 1181: 1145: 1140: 1139: 1114: 1113: 1089: 1088: 1063: 1048: 1031: 1009: 1004: 1003: 975: 970: 969: 944: 943: 920: 919: 894: 887: 870: 848: 843: 842: 821: 816: 815: 783: 782: 758: 757: 731: 730: 705: 700: 699: 671: 663: 662: 643: 642: 639: 604: 603: 560: 559: 540: 539: 513: 512: 489: 488: 466: 465: 446: 445: 423: 422: 403: 402: 383: 382: 363: 362: 343: 342: 302: 301: 278: 277: 274: 269: 263: 206: 205: 176: 175: 156: 155: 136: 135: 134:different from 112: 111: 77: 76: 48: 47: 36:quadratic field 28: 23: 22: 15: 12: 11: 5: 5448: 5446: 5438: 5437: 5432: 5422: 5421: 5418: 5417: 5399: 5378: 5377:External links 5375: 5374: 5373: 5367: 5355:Stewart, I. N. 5351: 5350: 5349: 5344: 5324: 5312:Samuel, Pierre 5308: 5302: 5279: 5276: 5273: 5272: 5254: 5236: 5234:, pp. 76f 5224: 5216:"Number Rings" 5202: 5201: 5199: 5196: 5194: 5193: 5188: 5183: 5178: 5173: 5168: 5163: 5161:Heegner number 5158: 5153: 5147: 5145: 5142: 5132: 5131: 5128: 5114: 5110: 5106: 5103: 5100: 5078: 5074: 5070: 5067: 5062: 5057: 5054: 5044: 5033: 5023: 5012: 5002: 4990: 4985: 4980: 4975: 4963: 4962: 4960: 4946: 4942: 4938: 4935: 4932: 4910: 4906: 4900: 4895: 4892: 4889: 4886: 4876: 4865: 4855: 4844: 4834: 4822: 4818: 4814: 4810: 4805: 4800: 4797: 4794: 4790: 4785: 4773: 4772: 4770: 4756: 4752: 4748: 4745: 4742: 4720: 4716: 4712: 4708: 4704: 4699: 4694: 4691: 4688: 4685: 4682: 4672: 4661: 4651: 4640: 4630: 4618: 4614: 4610: 4606: 4601: 4596: 4593: 4590: 4586: 4581: 4569: 4568: 4566: 4554: 4532: 4528: 4522: 4517: 4514: 4511: 4508: 4498: 4487: 4477: 4466: 4456: 4444: 4439: 4434: 4429: 4417: 4416: 4414: 4400: 4396: 4392: 4389: 4386: 4364: 4360: 4354: 4349: 4346: 4343: 4340: 4330: 4319: 4309: 4298: 4288: 4276: 4271: 4266: 4261: 4249: 4248: 4246: 4232: 4228: 4224: 4221: 4218: 4196: 4192: 4188: 4184: 4180: 4175: 4170: 4167: 4164: 4161: 4158: 4148: 4137: 4127: 4116: 4106: 4094: 4090: 4086: 4082: 4077: 4072: 4069: 4066: 4062: 4057: 4045: 4044: 4031: 4027: 4022: 4018: 4014: 4009: 4005: 3994: 3992: 3981: 3971: 3960: 3957: 3947: 3935: 3930: 3927: 3922: 3917: 3905: 3904: 3899: 3887: 3883: 3879: 3874: 3871: 3866: 3863: 3860: 3857: 3854: 3851: 3848: 3838: 3827: 3817: 3806: 3803: 3793: 3781: 3777: 3773: 3769: 3764: 3761: 3756: 3753: 3750: 3746: 3741: 3729: 3728: 3723: 3711: 3691: 3688: 3685: 3682: 3679: 3669: 3658: 3648: 3637: 3634: 3624: 3612: 3607: 3604: 3599: 3594: 3582: 3581: 3576: 3565: 3562: 3552: 3541: 3531: 3520: 3517: 3507: 3495: 3491: 3487: 3483: 3478: 3475: 3470: 3467: 3464: 3460: 3455: 3443: 3442: 3439: 3428: 3425: 3415: 3404: 3394: 3383: 3380: 3370: 3358: 3353: 3350: 3345: 3340: 3328: 3327: 3324: 3313: 3310: 3300: 3289: 3279: 3268: 3265: 3255: 3243: 3239: 3235: 3231: 3226: 3223: 3218: 3215: 3212: 3208: 3203: 3191: 3190: 3187: 3176: 3173: 3163: 3152: 3142: 3131: 3128: 3118: 3106: 3101: 3098: 3093: 3088: 3076: 3075: 3064: 3061: 3057: 3053: 3048: 3045: 3040: 3037: 3034: 3031: 3028: 3025: 3005: 3002: 2999: 2990:Ideal classes 2988: 2977: 2974: 2964: 2953: 2943: 2932: 2929: 2919: 2907: 2903: 2899: 2895: 2890: 2887: 2882: 2879: 2876: 2872: 2867: 2855: 2854: 2851: 2840: 2837: 2827: 2816: 2806: 2795: 2792: 2782: 2770: 2764: 2761: 2756: 2752: 2747: 2735: 2734: 2725: 2714: 2711: 2701: 2690: 2680: 2669: 2666: 2656: 2644: 2640: 2636: 2632: 2627: 2624: 2619: 2616: 2613: 2609: 2604: 2592: 2591: 2580: 2575: 2572: 2567: 2564: 2561: 2558: 2555: 2535: 2532: 2529: 2520:Ideal classes 2518: 2507: 2504: 2494: 2483: 2473: 2462: 2459: 2449: 2437: 2432: 2429: 2424: 2419: 2407: 2406: 2403: 2400: 2397: 2394: 2353: 2350: 2329: 2309: 2289: 2277: 2274: 2261: 2258: 2238: 2235: 2232: 2212: 2192: 2168: 2165: 2162: 2159: 2156: 2153: 2133: 2130: 2110: 2107: 2104: 2101: 2098: 2095: 2075: 2050: 2029: 2002: 1982: 1966: 1963: 1961: 1958: 1941: 1936: 1932: 1928: 1924: 1920: 1916: 1894: 1890: 1887: 1867: 1864: 1861: 1839: 1835: 1810: 1805: 1802: 1799: 1796: 1794: 1790: 1783: 1779: 1775: 1769: 1768: 1765: 1762: 1759: 1756: 1754: 1750: 1743: 1739: 1735: 1729: 1726: 1725: 1723: 1718: 1713: 1709: 1686: 1681: 1677: 1674: 1670: 1667: 1662: 1659: 1656: 1653: 1650: 1647: 1645: 1642: 1639: 1638: 1634: 1631: 1627: 1624: 1619: 1616: 1613: 1610: 1608: 1605: 1604: 1602: 1597: 1592: 1588: 1564: 1559: 1554: 1550: 1546: 1543: 1519: 1516: 1503: 1483: 1463: 1443: 1412: 1392: 1372: 1352: 1332: 1312: 1292: 1289: 1269: 1266: 1246: 1243: 1239: 1235: 1232: 1209: 1189: 1178: 1177: 1170: 1156: 1150: 1127: 1124: 1121: 1111: 1096: 1086: 1072: 1067: 1062: 1057: 1052: 1047: 1042: 1036: 1030: 1026: 1020: 1014: 1000: 986: 980: 957: 954: 951: 941: 927: 917: 901: 897: 891: 886: 881: 875: 869: 865: 859: 853: 828: 824: 808: 796: 793: 790: 780: 765: 753:, this may be 738: 716: 710: 682: 676: 670: 650: 638: 635: 613: 591: 587: 583: 578: 573: 570: 567: 547: 523: 520: 496: 476: 473: 453: 433: 430: 410: 390: 370: 350: 330: 325: 320: 316: 312: 309: 285: 273: 270: 265:Main article: 262: 259: 219: 216: 213: 189: 186: 183: 163: 143: 119: 99: 94: 89: 85: 56: 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 5447: 5436: 5433: 5431: 5428: 5427: 5425: 5414: 5410: 5409: 5404: 5400: 5395: 5394: 5389: 5386: 5381: 5380: 5376: 5370: 5368:0-412-13840-9 5364: 5360: 5356: 5352: 5347: 5341: 5337: 5336: 5330: 5329: 5327: 5321: 5317: 5313: 5309: 5305: 5303:0-387-97037-1 5299: 5295: 5290: 5289: 5282: 5281: 5277: 5265: 5258: 5255: 5247: 5240: 5237: 5233: 5228: 5225: 5221:. p. 36. 5217: 5214:Stevenhagen. 5210: 5208: 5204: 5197: 5192: 5189: 5187: 5184: 5182: 5179: 5177: 5174: 5172: 5169: 5167: 5164: 5162: 5159: 5157: 5154: 5152: 5149: 5148: 5143: 5141: 5139: 5129: 5112: 5104: 5101: 5076: 5068: 5065: 5060: 5052: 5045: 5031: 5024: 5010: 5003: 4988: 4983: 4978: 4965: 4964: 4961: 4944: 4936: 4933: 4908: 4898: 4893: 4890: 4884: 4877: 4863: 4856: 4842: 4835: 4820: 4816: 4812: 4803: 4798: 4795: 4788: 4775: 4774: 4771: 4754: 4746: 4743: 4718: 4710: 4706: 4697: 4692: 4689: 4680: 4673: 4659: 4652: 4638: 4631: 4616: 4612: 4608: 4599: 4594: 4591: 4584: 4571: 4570: 4567: 4552: 4530: 4520: 4515: 4512: 4506: 4499: 4485: 4478: 4464: 4457: 4442: 4437: 4432: 4419: 4418: 4415: 4398: 4390: 4387: 4362: 4352: 4347: 4344: 4338: 4331: 4317: 4310: 4296: 4289: 4274: 4269: 4264: 4251: 4250: 4247: 4230: 4222: 4219: 4194: 4186: 4182: 4173: 4168: 4165: 4156: 4149: 4135: 4128: 4114: 4107: 4092: 4088: 4084: 4075: 4070: 4067: 4060: 4047: 4046: 4029: 4016: 4012: 3995: 3993: 3979: 3972: 3958: 3955: 3948: 3933: 3928: 3925: 3920: 3907: 3906: 3903: 3900: 3885: 3881: 3872: 3869: 3864: 3861: 3858: 3852: 3849: 3846: 3839: 3825: 3818: 3804: 3801: 3794: 3779: 3775: 3771: 3762: 3759: 3754: 3751: 3744: 3731: 3730: 3727: 3724: 3709: 3689: 3686: 3683: 3680: 3677: 3670: 3656: 3649: 3635: 3632: 3625: 3610: 3605: 3602: 3597: 3584: 3583: 3580: 3577: 3563: 3560: 3553: 3539: 3532: 3518: 3515: 3508: 3493: 3489: 3485: 3476: 3473: 3468: 3465: 3458: 3445: 3444: 3440: 3426: 3423: 3416: 3402: 3395: 3381: 3378: 3371: 3356: 3351: 3348: 3343: 3330: 3329: 3325: 3311: 3308: 3301: 3287: 3280: 3266: 3263: 3256: 3241: 3237: 3233: 3224: 3221: 3216: 3213: 3206: 3193: 3192: 3188: 3174: 3171: 3164: 3150: 3143: 3129: 3126: 3119: 3104: 3099: 3096: 3091: 3078: 3077: 3059: 3055: 3046: 3043: 3038: 3035: 3029: 3026: 3000: 2989: 2975: 2972: 2965: 2951: 2944: 2930: 2927: 2920: 2905: 2901: 2897: 2888: 2885: 2880: 2877: 2870: 2857: 2856: 2852: 2838: 2835: 2828: 2814: 2807: 2793: 2790: 2783: 2768: 2762: 2759: 2754: 2750: 2737: 2736: 2733: 2729: 2726: 2712: 2709: 2702: 2688: 2681: 2667: 2664: 2657: 2642: 2638: 2634: 2625: 2622: 2617: 2614: 2607: 2594: 2593: 2573: 2570: 2565: 2562: 2559: 2556: 2530: 2519: 2505: 2502: 2495: 2481: 2474: 2460: 2457: 2450: 2435: 2430: 2427: 2422: 2409: 2408: 2404: 2401: 2399:Class number 2398: 2396:Discriminant 2395: 2392: 2391: 2388: 2386: 2382: 2378: 2373: 2371: 2367: 2363: 2362:maximal order 2359: 2351: 2349: 2347: 2343: 2327: 2307: 2287: 2275: 2273: 2259: 2256: 2236: 2233: 2230: 2210: 2190: 2182: 2166: 2163: 2160: 2157: 2154: 2151: 2131: 2128: 2108: 2105: 2102: 2099: 2096: 2093: 2073: 2065: 2027: 2020: 2016: 2015:Galois theory 2000: 1980: 1972: 1964: 1959: 1957: 1955: 1939: 1934: 1930: 1926: 1918: 1888: 1885: 1862: 1837: 1833: 1823: 1803: 1800: 1797: 1792: 1788: 1763: 1760: 1757: 1752: 1748: 1727: 1721: 1716: 1711: 1707: 1679: 1672: 1668: 1660: 1657: 1654: 1651: 1648: 1643: 1640: 1629: 1625: 1617: 1614: 1611: 1606: 1600: 1595: 1590: 1578: 1557: 1544: 1541: 1533: 1529: 1525: 1517: 1515: 1501: 1481: 1461: 1441: 1433: 1428: 1426: 1410: 1390: 1370: 1350: 1330: 1310: 1290: 1287: 1267: 1264: 1241: 1237: 1233: 1223: 1207: 1187: 1175: 1171: 1154: 1122: 1112: 1110: 1094: 1087: 1070: 1060: 1055: 1045: 1040: 1028: 1024: 1018: 1001: 984: 952: 942: 940: 925: 918: 899: 895: 884: 879: 867: 863: 857: 826: 822: 813: 809: 791: 781: 779: 763: 756: 755: 754: 752: 736: 714: 698: 680: 668: 648: 636: 634: 632: 627: 611: 589: 585: 576: 571: 568: 545: 537: 521: 518: 510: 494: 474: 471: 451: 431: 428: 408: 388: 368: 348: 323: 310: 307: 299: 283: 271: 268: 260: 258: 256: 252: 247: 245: 241: 237: 233: 217: 214: 211: 203: 187: 184: 181: 161: 141: 133: 117: 92: 73: 71: 45: 41: 37: 33: 19: 5406: 5391: 5372:Chapter 3.1. 5358: 5334: 5315: 5287: 5257: 5239: 5227: 5137: 5135: 2385:OEIS A000924 2381:OEIS A003649 2374: 2361: 2355: 2279: 2181:ramification 1968: 1906:prime where 1824: 1577:discriminant 1521: 1429: 1179: 1108: 938: 812:finite field 777: 640: 628: 298:discriminant 275: 272:Discriminant 248: 244:real numbers 235: 231: 201: 74: 35: 29: 5232:Samuel 1972 1532:class group 1518:Class group 1430:The law of 5424:Categories 5307:Chapter 6. 5278:References 3441:Euclidean 3326:Euclidean 841:elements: 204:, and, if 5413:EMS Press 5393:MathWorld 5102:− 5053:± 4934:− 4885:± 4744:− 4681:± 4507:± 4388:− 4339:± 4220:− 4157:± 3956:− 3926:− 3870:− 3865:± 3859:± 3847:± 3802:− 3760:− 3687:± 3678:± 3633:− 3603:− 3561:± 3516:− 3474:− 3424:± 3379:− 3349:− 3309:± 3264:− 3222:− 3172:± 3127:− 3097:− 3044:− 2973:± 2928:− 2886:− 2836:± 2791:− 2760:− 2732:Euclidean 2710:± 2665:− 2623:− 2571:− 2503:± 2458:− 2428:− 2405:Comments 2342:conductor 2231:− 2129:− 1889:∈ 1778:Δ 1753:π 1738:Δ 1652:≡ 1615:≡ 1587:Δ 1265:− 1176:elements. 1174:nilpotent 1061:× 519:− 472:− 46:two over 5314:(1972), 5144:See also 1526:and the 1494:, where 1109:ramified 240:subfield 5415:, 2001 5138:Algebra 1474:modulo 1343:, then 1257:equals 695:in the 487:, then 401:modulo 5365:  5342:  5322:  5300:  5091:(norm 4923:(norm 4733:(norm 4545:(norm 4377:(norm 4209:(norm 2730:, not 2402:Units 2393:Order 2358:orders 939:splits 296:, the 110:where 68:, the 44:degree 38:is an 5267:(PDF) 5249:(PDF) 5219:(PDF) 5198:Notes 2019:index 814:with 778:inert 234:or a 174:. If 5363:ISBN 5340:ISBN 5320:ISBN 5298:ISBN 2249:and 2144:for 2121:and 2086:for 1927:< 1878:for 1801:> 1761:< 1575:has 1280:and 215:< 185:> 154:and 34:, a 1669:mod 1626:mod 1107:is 776:is 538:of 464:is 361:if 341:is 42:of 30:In 5426:: 5411:, 5405:, 5390:. 5296:, 5292:, 5206:^ 5127:) 5011:20 4959:) 4899:17 4843:17 4804:17 4769:) 4698:13 4639:13 4600:13 4565:) 4465:12 4413:) 4245:) 3959:84 3929:21 3898:. 3722:) 3267:11 3225:11 3130:12 3047:15 3016:, 2931:15 2889:15 2794:16 2668:19 2626:19 2546:, 2461:20 2387:. 2372:. 2348:. 1956:. 1804:0. 1427:. 633:. 246:. 72:. 5396:. 5269:. 5113:n 5109:) 5105:1 5099:( 5077:n 5073:) 5069:2 5066:+ 5061:5 5056:( 5032:1 4989:] 4984:5 4979:[ 4974:Z 4945:n 4941:) 4937:1 4931:( 4909:n 4905:) 4894:+ 4891:4 4888:( 4864:1 4821:] 4817:2 4813:/ 4809:) 4799:+ 4796:1 4793:( 4789:[ 4784:Z 4755:n 4751:) 4747:1 4741:( 4719:n 4715:) 4711:2 4707:/ 4703:) 4693:+ 4690:3 4687:( 4684:( 4660:1 4617:] 4613:2 4609:/ 4605:) 4595:+ 4592:1 4589:( 4585:[ 4580:Z 4553:1 4531:n 4527:) 4521:3 4516:+ 4513:2 4510:( 4486:1 4443:] 4438:3 4433:[ 4428:Z 4399:n 4395:) 4391:1 4385:( 4363:n 4359:) 4353:2 4348:+ 4345:1 4342:( 4318:1 4297:8 4275:] 4270:2 4265:[ 4260:Z 4231:n 4227:) 4223:1 4217:( 4195:n 4191:) 4187:2 4183:/ 4179:) 4174:5 4169:+ 4166:1 4163:( 4160:( 4136:1 4115:5 4093:] 4089:2 4085:/ 4081:) 4076:5 4071:+ 4068:1 4065:( 4061:[ 4056:Z 4030:2 4026:) 4021:Z 4017:2 4013:/ 4008:Z 4004:( 3980:4 3934:] 3921:[ 3916:Z 3886:2 3882:/ 3878:) 3873:3 3862:1 3856:( 3853:, 3850:1 3826:1 3805:3 3780:] 3776:2 3772:/ 3768:) 3763:3 3755:+ 3752:1 3749:( 3745:[ 3740:Z 3710:4 3690:i 3684:, 3681:1 3657:1 3636:4 3611:] 3606:1 3598:[ 3593:Z 3564:1 3540:1 3519:7 3494:] 3490:2 3486:/ 3482:) 3477:7 3469:+ 3466:1 3463:( 3459:[ 3454:Z 3427:1 3403:1 3382:8 3357:] 3352:2 3344:[ 3339:Z 3312:1 3288:1 3242:] 3238:2 3234:/ 3230:) 3217:+ 3214:1 3211:( 3207:[ 3202:Z 3175:1 3151:1 3105:] 3100:3 3092:[ 3087:Z 3063:) 3060:2 3056:/ 3052:) 3039:+ 3036:1 3033:( 3030:, 3027:1 3024:( 3004:) 3001:1 2998:( 2976:1 2952:2 2906:] 2902:2 2898:/ 2894:) 2881:+ 2878:1 2875:( 2871:[ 2866:Z 2839:1 2815:1 2769:] 2763:1 2755:2 2751:[ 2746:Z 2713:1 2689:1 2643:] 2639:2 2635:/ 2631:) 2618:+ 2615:1 2612:( 2608:[ 2603:Z 2579:) 2574:5 2566:+ 2563:1 2560:, 2557:2 2554:( 2534:) 2531:1 2528:( 2506:1 2482:2 2436:] 2431:5 2423:[ 2418:Z 2328:D 2308:D 2288:2 2260:p 2257:4 2237:p 2234:4 2211:p 2191:p 2167:3 2164:+ 2161:n 2158:4 2155:= 2152:p 2132:p 2109:1 2106:+ 2103:n 2100:4 2097:= 2094:p 2074:p 2049:Q 2028:2 2001:p 1981:p 1940:. 1935:k 1931:M 1923:| 1919:p 1915:| 1893:Z 1886:p 1866:) 1863:p 1860:( 1838:K 1834:M 1798:d 1793:2 1789:/ 1782:| 1774:| 1764:0 1758:d 1749:/ 1742:| 1734:| 1728:2 1722:{ 1717:= 1712:K 1708:M 1680:; 1676:) 1673:4 1666:( 1661:3 1658:, 1655:2 1649:d 1644:d 1641:4 1633:) 1630:4 1623:( 1618:1 1612:d 1607:d 1601:{ 1596:= 1591:K 1563:) 1558:d 1553:( 1549:Q 1545:= 1542:K 1502:D 1482:D 1462:p 1442:p 1411:p 1391:p 1371:D 1351:p 1331:D 1311:p 1291:1 1288:+ 1268:1 1245:) 1242:p 1238:/ 1234:D 1231:( 1208:D 1188:p 1169:. 1155:K 1149:O 1126:) 1123:p 1120:( 1095:p 1085:. 1071:p 1066:F 1056:p 1051:F 1046:= 1041:K 1035:O 1029:p 1025:/ 1019:K 1013:O 999:. 985:K 979:O 956:) 953:p 950:( 926:p 916:. 900:2 896:p 890:F 885:= 880:K 874:O 868:p 864:/ 858:K 852:O 827:2 823:p 795:) 792:p 789:( 764:p 737:K 715:K 709:O 681:K 675:O 669:p 649:p 612:d 590:2 586:/ 582:) 577:d 572:+ 569:1 566:( 546:K 522:4 495:K 475:1 452:d 432:d 429:4 409:4 389:1 369:d 349:d 329:) 324:d 319:( 315:Q 311:= 308:K 284:d 218:0 212:d 188:0 182:d 162:1 142:0 118:d 98:) 93:d 88:( 84:Q 55:Q 20:)

Index

Imaginary quadratic field
algebraic number theory
algebraic number field
degree
rational numbers
square-free integer
subfield
real numbers
binary quadratic forms
class number problem
Quadratic integer
discriminant
Gaussian rationals
ring of integers
fundamental discriminants
ring of integers
splitting of prime ideals in Galois extensions
finite field
nilpotent
Kronecker symbol
Chebotarev density theorem
quadratic reciprocity
Minkowski's bound
Kronecker symbol
class group
discriminant
Dedekind–Kummer theorem
cyclotomic field
Galois theory
index

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

↑