Knowledge (XXG)

Inverse Galois problem

Source 📝

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

Index

finite group
Galois group
Galois extension
rational numbers
(more unsolved problems in mathematics)
Galois theory
finite group
Galois group
Galois extension
rational numbers
permutation groups
generic polynomials
algebraic extensions
group
order
isomorphic
function field
complex numbers
algebraically closed field
characteristic
Igor Shafarevich
solvable group
sporadic group
Mathieu group
David Hilbert
rationality question
automorphism group
invariant field
purely transcendental
algebraically independent

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