Knowledge

Tschirnhaus transformation

Source đź“ť

20: 1841: 1666: 547: 1060: 1185: 1483: 2702: 2088: 1931: 404: 1303: 200: 1671: 284: 2170: 1394: 1973: 136: 785: 1877: 619: 583: 2454: 2013: 2388: 1239: 3262: 3229: 3196: 3093: 3060: 2563: 2477: 78: 3288: 3027: 2806: 2643: 2603: 1488: 907: 724: 680: 439: 3129: 2227: 872: 843: 814: 2523: 310: 3149: 2989: 2965: 2941: 2913: 2893: 2870: 2846: 2826: 2786: 2766: 2746: 2726: 2623: 2583: 2543: 2497: 2416: 2327: 2303: 2267: 2247: 2198: 1205: 912: 1065: 1399: 444: 2875:
Therefore the set of all Tschirnhaus transformations of an irreducible polynomial is to be described as running over all ways of changing
1882: 315: 208: 2093: 1320: 2651: 2018: 1936: 3000: 48: 24: 629: 633: 3491: 1244: 141: 3165:
further expanded Tschirnhaus' work by showing a Tschirnhaus transformation may be used to eliminate the
3299: 2916: 625: 83: 1836:{\displaystyle {\begin{cases}a'_{1}=3a-p\\a'_{2}=3a^{2}-2pa+q\\a'_{3}=a^{3}-pa^{2}+qa-r\end{cases}}.} 1680: 729: 3324: 2424: 3456: 2335: 637: 1846: 588: 552: 3234: 3201: 3168: 3065: 3032: 2548: 2462: 1978: 57: 3267: 3006: 2791: 2628: 2588: 877: 694: 655: 409: 3486: 3309: 3102: 1210: 683: 2203: 848: 819: 790: 8: 3155: 2502: 689: 289: 3425: 3378: 3134: 2974: 2950: 2926: 2898: 2878: 2855: 2831: 2811: 2771: 2751: 2731: 2711: 2608: 2568: 2528: 2482: 2401: 2312: 2279: 2252: 2232: 2183: 1190: 3417: 3370: 641: 3382: 3096: 3409: 3360: 3314: 3304: 2944: 1306: 686: 2395: 2306: 2274: 3162: 3095:
terms have zero coefficients. In his paper, Tschirnhaus referenced a method by
1661:{\displaystyle f'(y;a)=y^{3}+(3a-p)y^{2}+(3a^{2}-2pa+q)y+(a^{3}-pa^{2}+qa-r)=0} 2090:
Tschirnhaus went on to describe how a Tschirnhaus transformation of the form:
3480: 3421: 3374: 3319: 2920: 2270: 1241:, has certain special properties, most commonly such that some coefficients, 3158:
who showed that any generic quintic polynomial could be similarly reduced.
2968: 3365: 3348: 1055:{\displaystyle f(x)=x^{n}+a_{1}x^{n-1}+a_{2}x^{n-2}+...+a_{n-1}x+a_{n}=0} 32: 54:
Simply, it is a method for transforming a polynomial equation of degree
3429: 3397: 44: 138:, such that some or all of the transformed intermediate coefficients, 3413: 3349:"A method for removing all intermediate terms from a given equation" 1312: 2971:
may then be considered as all the Tschirnhaus transformations of
3347:
von Tschirnhaus, Ehrenfried Walter; Green, R. F. (2003-03-01).
1180:{\displaystyle y=k_{1}x^{n-1}+k_{2}x^{n-2}+...+k_{n-1}x+k_{n}} 19: 2172:
may be used to eliminate two coefficients in a similar way.
1826: 1478:{\displaystyle y(x;a)=x-a\longleftrightarrow x(y;a)=x=y+a.} 624:
More generally, it may be defined conveniently by means of
3003:
published a method for rewriting a polynomial of degree
2915:
the same. This concept is used in reducing quintics to
542:{\displaystyle f'(y)=y^{3}+a'_{2}y^{2}+a'_{1}y+a'_{0}} 3270: 3237: 3204: 3171: 3137: 3105: 3068: 3035: 3009: 2977: 2953: 2929: 2901: 2881: 2858: 2834: 2814: 2794: 2774: 2754: 2734: 2714: 2654: 2631: 2611: 2591: 2571: 2551: 2531: 2505: 2485: 2465: 2427: 2404: 2338: 2315: 2282: 2255: 2235: 2206: 2186: 2096: 2021: 1981: 1939: 1885: 1849: 1674: 1491: 1402: 1323: 1247: 1213: 1193: 1068: 915: 880: 851: 822: 793: 732: 697: 658: 591: 555: 447: 412: 318: 292: 211: 144: 86: 60: 3346: 16:
Mathematical term; type of polynomial transformation
2697:{\displaystyle \beta =F(\alpha ),\alpha =G(\beta )} 1317:In Tschirnhaus' 1683 paper, he solved the equation 3282: 3256: 3223: 3190: 3143: 3123: 3087: 3054: 3021: 2983: 2959: 2935: 2907: 2887: 2864: 2840: 2820: 2800: 2780: 2760: 2740: 2720: 2696: 2637: 2617: 2597: 2577: 2557: 2537: 2517: 2491: 2471: 2448: 2410: 2382: 2321: 2297: 2261: 2241: 2221: 2192: 2164: 2082: 2007: 1967: 1926:{\displaystyle 3a-p=0\rightarrow a={\frac {p}{3}}} 1925: 1871: 1835: 1660: 1477: 1388: 1297: 1233: 1199: 1179: 1054: 901: 866: 837: 808: 779: 718: 674: 613: 577: 541: 433: 399:{\displaystyle f(x)=x^{3}+a_{2}x^{2}+a_{1}x+a_{0}} 398: 304: 278: 194: 130: 72: 3478: 1313:Example: Tschirnhaus' method for cubic equations 636:. This is the most general transformation of an 1062:the Tschirnhaus transformation is the function: 80:with some nonzero intermediate coefficients, 1485:Substituting yields the transformed equation 279:{\displaystyle y(x)=k_{1}x^{2}+k_{2}x+k_{3}} 1933:and finally the Tschirnhaus transformation 2919:, for example. There is a connection with 3364: 2165:{\displaystyle x^{2}(y;a,b)=x^{2}=bx+y+a} 1389:{\displaystyle f(x)=x^{3}-px^{2}+qx-r=0} 18: 2565:, which is thus a primitive element of 3479: 3395: 3454: 1396:using the Tschirnhaus transformation 3441: 3439: 3342: 3340: 3264:for a general polynomial of degree 3154:In 1786, this work was expanded by 2083:{\displaystyle f'(y)=y^{3}-q'y-r'.} 1968:{\displaystyle y=x-{\frac {p}{3}},} 1298:{\displaystyle a'_{1},...,a'_{n-1}} 205:For example, finding a substitution 195:{\displaystyle a'_{1},...,a'_{n-1}} 13: 3001:Ehrenfried Walther von Tschirnhaus 2015:to yield an equation of the form: 49:Ehrenfried Walther von Tschirnhaus 25:Ehrenfried Walther von Tschirnhaus 14: 3503: 3436: 3337: 3099:to reduce a quadratic polynomial 2175: 632:implied by a different choice of 131:{\displaystyle a_{1},...,a_{n-1}} 3398:"The Tschirnhaus Transformation" 3449:. Wiley, New York pp. 472-473. 286:for a cubic equation of degree 3457:"Tschirnhausen Transformation" 3389: 3118: 3106: 2788:is the minimal polynomial for 2691: 2685: 2670: 2664: 2585:. There will be other choices 2512: 2506: 2443: 2437: 2371: 2368: 2362: 2356: 2348: 2342: 2292: 2286: 2216: 2210: 2125: 2107: 2036: 2030: 2002: 1990: 1975:which may be substituted into 1904: 1649: 1605: 1596: 1562: 1546: 1531: 1512: 1500: 1451: 1439: 1433: 1418: 1406: 1333: 1327: 1228: 1222: 1187:Such that the new equation in 925: 919: 890: 884: 861: 855: 832: 826: 803: 797: 780:{\displaystyle f(x)=g(x)/h(x)} 774: 768: 757: 751: 742: 736: 707: 701: 462: 456: 428: 422: 328: 322: 221: 215: 1: 3330: 647: 2645:we will have by definition: 2449:{\displaystyle L=K(\alpha )} 41:Tschirnhausen transformation 7: 3293: 3151:term has zero coefficient. 628:, as the transformation on 10: 3508: 3300:Polynomial transformations 2994: 2850:Tschirnhaus transformation 2525:. That is, any element of 2383:{\displaystyle K/(P(t))=L} 640:that takes a root to some 43:, is a type of mapping on 37:Tschirnhaus transformation 2625:: for any such choice of 2269:is irreducible, then the 3447:A History of Mathematics 3396:Garver, Raymond (1927). 2917:Bring–Jerrard form 2605:of primitive element in 1872:{\displaystyle a'_{1}=0} 614:{\displaystyle a'_{2}=0} 578:{\displaystyle a'_{1}=0} 3257:{\displaystyle x^{n-3}} 3224:{\displaystyle x^{n-2}} 3191:{\displaystyle x^{n-1}} 3088:{\displaystyle x^{n-2}} 3055:{\displaystyle x^{n-1}} 2558:{\displaystyle \alpha } 2472:{\displaystyle \alpha } 2008:{\displaystyle f'(y;a)} 406:such that substituting 73:{\displaystyle n\geq 2} 3284: 3283:{\displaystyle n>3} 3258: 3225: 3192: 3145: 3125: 3089: 3056: 3023: 3022:{\displaystyle n>2} 2985: 2961: 2937: 2909: 2889: 2866: 2842: 2822: 2802: 2801:{\displaystyle \beta } 2782: 2762: 2742: 2722: 2698: 2639: 2638:{\displaystyle \beta } 2619: 2599: 2598:{\displaystyle \beta } 2579: 2559: 2539: 2519: 2493: 2473: 2450: 2412: 2384: 2323: 2299: 2263: 2243: 2223: 2194: 2166: 2084: 2009: 1969: 1927: 1873: 1837: 1662: 1479: 1390: 1299: 1235: 1201: 1181: 1056: 903: 902:{\displaystyle f(x)=0} 868: 839: 810: 781: 720: 719:{\displaystyle f(x)=0} 676: 675:{\displaystyle n^{th}} 644:applied to that root. 638:irreducible polynomial 615: 579: 543: 435: 434:{\displaystyle x=x(y)} 400: 306: 280: 196: 132: 74: 28: 3461:mathworld.wolfram.com 3402:Annals of Mathematics 3366:10.1145/844076.844078 3285: 3259: 3226: 3193: 3146: 3126: 3124:{\displaystyle (n=2)} 3090: 3057: 3024: 2986: 2962: 2938: 2910: 2890: 2867: 2843: 2823: 2803: 2783: 2763: 2743: 2723: 2699: 2640: 2620: 2600: 2580: 2560: 2540: 2520: 2494: 2474: 2451: 2413: 2385: 2324: 2300: 2264: 2244: 2224: 2195: 2167: 2085: 2010: 1970: 1928: 1874: 1838: 1663: 1480: 1391: 1300: 1236: 1234:{\displaystyle f'(y)} 1202: 1182: 1057: 904: 869: 840: 811: 782: 721: 677: 616: 580: 544: 441:yields a new equation 436: 401: 307: 281: 197: 133: 75: 22: 3325:Abel-Ruffini theorem 3310:Reducible polynomial 3268: 3235: 3202: 3169: 3135: 3103: 3066: 3033: 3007: 2975: 2951: 2927: 2899: 2879: 2856: 2832: 2812: 2792: 2772: 2752: 2732: 2712: 2652: 2629: 2609: 2589: 2569: 2549: 2529: 2503: 2483: 2463: 2425: 2402: 2336: 2313: 2280: 2253: 2233: 2222:{\displaystyle P(t)} 2204: 2184: 2094: 2019: 1979: 1937: 1883: 1847: 1672: 1489: 1400: 1321: 1245: 1211: 1191: 1066: 913: 878: 867:{\displaystyle h(x)} 849: 845:are polynomials and 838:{\displaystyle h(x)} 820: 809:{\displaystyle g(x)} 791: 730: 695: 656: 589: 553: 445: 410: 316: 290: 209: 202:, are exactly zero. 142: 84: 58: 3492:Field (mathematics) 3455:Weisstein, Eric W. 3445:C. B. Boyer (1968) 3353:ACM SIGSAM Bulletin 3156:Erland Samuel Bring 2545:is a polynomial in 2518:{\displaystyle (P)} 1862: 1778: 1727: 1695: 1294: 1260: 874:does not vanish at 690:polynomial equation 630:minimal polynomials 604: 568: 538: 519: 493: 305:{\displaystyle n=3} 191: 157: 3280: 3254: 3221: 3188: 3141: 3121: 3085: 3052: 3019: 2981: 2957: 2933: 2905: 2885: 2862: 2838: 2818: 2798: 2778: 2758: 2738: 2718: 2694: 2635: 2615: 2595: 2575: 2555: 2535: 2515: 2489: 2469: 2446: 2408: 2380: 2319: 2295: 2259: 2239: 2229:a polynomial over 2219: 2190: 2162: 2080: 2005: 1965: 1923: 1869: 1850: 1833: 1825: 1766: 1715: 1683: 1658: 1475: 1386: 1295: 1276: 1248: 1231: 1197: 1177: 1052: 899: 864: 835: 806: 777: 716: 672: 611: 592: 575: 556: 539: 526: 507: 481: 431: 396: 302: 276: 192: 173: 145: 128: 70: 29: 3144:{\displaystyle x} 2984:{\displaystyle P} 2960:{\displaystyle K} 2936:{\displaystyle L} 2908:{\displaystyle L} 2888:{\displaystyle P} 2865:{\displaystyle P} 2841:{\displaystyle Q} 2821:{\displaystyle K} 2781:{\displaystyle Q} 2761:{\displaystyle K} 2741:{\displaystyle G} 2721:{\displaystyle F} 2708:with polynomials 2618:{\displaystyle L} 2578:{\displaystyle L} 2538:{\displaystyle L} 2492:{\displaystyle t} 2411:{\displaystyle K} 2322:{\displaystyle P} 2298:{\displaystyle K} 2262:{\displaystyle P} 2242:{\displaystyle K} 2193:{\displaystyle K} 1960: 1921: 1200:{\displaystyle y} 642:rational function 634:primitive element 3499: 3471: 3470: 3468: 3467: 3443: 3434: 3433: 3408:(1/4): 319–333. 3393: 3387: 3386: 3368: 3344: 3315:Quintic function 3305:Monic polynomial 3289: 3287: 3286: 3281: 3263: 3261: 3260: 3255: 3253: 3252: 3230: 3228: 3227: 3222: 3220: 3219: 3197: 3195: 3194: 3189: 3187: 3186: 3150: 3148: 3147: 3142: 3130: 3128: 3127: 3122: 3094: 3092: 3091: 3086: 3084: 3083: 3061: 3059: 3058: 3053: 3051: 3050: 3028: 3026: 3025: 3020: 2990: 2988: 2987: 2982: 2966: 2964: 2963: 2958: 2945:Galois extension 2942: 2940: 2939: 2934: 2914: 2912: 2911: 2906: 2894: 2892: 2891: 2886: 2871: 2869: 2868: 2863: 2847: 2845: 2844: 2839: 2827: 2825: 2824: 2819: 2807: 2805: 2804: 2799: 2787: 2785: 2784: 2779: 2767: 2765: 2764: 2759: 2747: 2745: 2744: 2739: 2727: 2725: 2724: 2719: 2703: 2701: 2700: 2695: 2644: 2642: 2641: 2636: 2624: 2622: 2621: 2616: 2604: 2602: 2601: 2596: 2584: 2582: 2581: 2576: 2564: 2562: 2561: 2556: 2544: 2542: 2541: 2536: 2524: 2522: 2521: 2516: 2498: 2496: 2495: 2490: 2478: 2476: 2475: 2470: 2455: 2453: 2452: 2447: 2417: 2415: 2414: 2409: 2389: 2387: 2386: 2381: 2355: 2328: 2326: 2325: 2320: 2304: 2302: 2301: 2296: 2268: 2266: 2265: 2260: 2248: 2246: 2245: 2240: 2228: 2226: 2225: 2220: 2200:be a field, and 2199: 2197: 2196: 2191: 2171: 2169: 2168: 2163: 2140: 2139: 2106: 2105: 2089: 2087: 2086: 2081: 2076: 2062: 2051: 2050: 2029: 2014: 2012: 2011: 2006: 1989: 1974: 1972: 1971: 1966: 1961: 1953: 1932: 1930: 1929: 1924: 1922: 1914: 1878: 1876: 1875: 1870: 1858: 1842: 1840: 1839: 1834: 1829: 1828: 1807: 1806: 1791: 1790: 1774: 1743: 1742: 1723: 1691: 1667: 1665: 1664: 1659: 1633: 1632: 1617: 1616: 1577: 1576: 1558: 1557: 1527: 1526: 1499: 1484: 1482: 1481: 1476: 1395: 1393: 1392: 1387: 1364: 1363: 1348: 1347: 1307:identically zero 1304: 1302: 1301: 1296: 1290: 1256: 1240: 1238: 1237: 1232: 1221: 1206: 1204: 1203: 1198: 1186: 1184: 1183: 1178: 1176: 1175: 1160: 1159: 1129: 1128: 1113: 1112: 1100: 1099: 1084: 1083: 1061: 1059: 1058: 1053: 1045: 1044: 1029: 1028: 998: 997: 982: 981: 969: 968: 953: 952: 940: 939: 908: 906: 905: 900: 873: 871: 870: 865: 844: 842: 841: 836: 815: 813: 812: 807: 786: 784: 783: 778: 764: 725: 723: 722: 717: 681: 679: 678: 673: 671: 670: 620: 618: 617: 612: 600: 584: 582: 581: 576: 564: 548: 546: 545: 540: 534: 515: 503: 502: 489: 477: 476: 455: 440: 438: 437: 432: 405: 403: 402: 397: 395: 394: 379: 378: 366: 365: 356: 355: 343: 342: 311: 309: 308: 303: 285: 283: 282: 277: 275: 274: 259: 258: 246: 245: 236: 235: 201: 199: 198: 193: 187: 153: 137: 135: 134: 129: 127: 126: 96: 95: 79: 77: 76: 71: 39:, also known as 3507: 3506: 3502: 3501: 3500: 3498: 3497: 3496: 3477: 3476: 3475: 3474: 3465: 3463: 3444: 3437: 3414:10.2307/1968002 3394: 3390: 3345: 3338: 3333: 3296: 3269: 3266: 3265: 3242: 3238: 3236: 3233: 3232: 3209: 3205: 3203: 3200: 3199: 3176: 3172: 3170: 3167: 3166: 3136: 3133: 3132: 3104: 3101: 3100: 3073: 3069: 3067: 3064: 3063: 3040: 3036: 3034: 3031: 3030: 3008: 3005: 3004: 2997: 2976: 2973: 2972: 2952: 2949: 2948: 2928: 2925: 2924: 2900: 2897: 2896: 2880: 2877: 2876: 2857: 2854: 2853: 2833: 2830: 2829: 2813: 2810: 2809: 2793: 2790: 2789: 2773: 2770: 2769: 2753: 2750: 2749: 2733: 2730: 2729: 2713: 2710: 2709: 2653: 2650: 2649: 2630: 2627: 2626: 2610: 2607: 2606: 2590: 2587: 2586: 2570: 2567: 2566: 2550: 2547: 2546: 2530: 2527: 2526: 2504: 2501: 2500: 2484: 2481: 2480: 2464: 2461: 2460: 2426: 2423: 2422: 2403: 2400: 2399: 2396:field extension 2351: 2337: 2334: 2333: 2314: 2311: 2310: 2307:principal ideal 2281: 2278: 2277: 2275:polynomial ring 2254: 2251: 2250: 2234: 2231: 2230: 2205: 2202: 2201: 2185: 2182: 2181: 2180:In detail, let 2178: 2135: 2131: 2101: 2097: 2095: 2092: 2091: 2069: 2055: 2046: 2042: 2022: 2020: 2017: 2016: 1982: 1980: 1977: 1976: 1952: 1938: 1935: 1934: 1913: 1884: 1881: 1880: 1854: 1848: 1845: 1844: 1824: 1823: 1802: 1798: 1786: 1782: 1770: 1763: 1762: 1738: 1734: 1719: 1712: 1711: 1687: 1676: 1675: 1673: 1670: 1669: 1628: 1624: 1612: 1608: 1572: 1568: 1553: 1549: 1522: 1518: 1492: 1490: 1487: 1486: 1401: 1398: 1397: 1359: 1355: 1343: 1339: 1322: 1319: 1318: 1315: 1280: 1252: 1246: 1243: 1242: 1214: 1212: 1209: 1208: 1192: 1189: 1188: 1171: 1167: 1149: 1145: 1118: 1114: 1108: 1104: 1089: 1085: 1079: 1075: 1067: 1064: 1063: 1040: 1036: 1018: 1014: 987: 983: 977: 973: 958: 954: 948: 944: 935: 931: 914: 911: 910: 879: 876: 875: 850: 847: 846: 821: 818: 817: 792: 789: 788: 760: 731: 728: 727: 696: 693: 692: 663: 659: 657: 654: 653: 650: 596: 590: 587: 586: 560: 554: 551: 550: 530: 511: 498: 494: 485: 472: 468: 448: 446: 443: 442: 411: 408: 407: 390: 386: 374: 370: 361: 357: 351: 347: 338: 334: 317: 314: 313: 291: 288: 287: 270: 266: 254: 250: 241: 237: 231: 227: 210: 207: 206: 177: 149: 143: 140: 139: 116: 112: 91: 87: 85: 82: 81: 59: 56: 55: 17: 12: 11: 5: 3505: 3495: 3494: 3489: 3473: 3472: 3451:As reported by 3435: 3388: 3335: 3334: 3332: 3329: 3328: 3327: 3322: 3317: 3312: 3307: 3302: 3295: 3292: 3279: 3276: 3273: 3251: 3248: 3245: 3241: 3218: 3215: 3212: 3208: 3185: 3182: 3179: 3175: 3163:George Jerrard 3140: 3131:such that the 3120: 3117: 3114: 3111: 3108: 3097:RenĂ© Descartes 3082: 3079: 3076: 3072: 3049: 3046: 3043: 3039: 3029:such that the 3018: 3015: 3012: 2996: 2993: 2980: 2956: 2932: 2904: 2895:, but leaving 2884: 2861: 2837: 2828:, we can call 2817: 2797: 2777: 2757: 2737: 2717: 2706: 2705: 2693: 2690: 2687: 2684: 2681: 2678: 2675: 2672: 2669: 2666: 2663: 2660: 2657: 2634: 2614: 2594: 2574: 2554: 2534: 2514: 2511: 2508: 2488: 2468: 2457: 2456: 2445: 2442: 2439: 2436: 2433: 2430: 2407: 2392: 2391: 2379: 2376: 2373: 2370: 2367: 2364: 2361: 2358: 2354: 2350: 2347: 2344: 2341: 2318: 2294: 2291: 2288: 2285: 2258: 2238: 2218: 2215: 2212: 2209: 2189: 2177: 2176:Generalization 2174: 2161: 2158: 2155: 2152: 2149: 2146: 2143: 2138: 2134: 2130: 2127: 2124: 2121: 2118: 2115: 2112: 2109: 2104: 2100: 2079: 2075: 2072: 2068: 2065: 2061: 2058: 2054: 2049: 2045: 2041: 2038: 2035: 2032: 2028: 2025: 2004: 2001: 1998: 1995: 1992: 1988: 1985: 1964: 1959: 1956: 1951: 1948: 1945: 1942: 1920: 1917: 1912: 1909: 1906: 1903: 1900: 1897: 1894: 1891: 1888: 1868: 1865: 1861: 1857: 1853: 1832: 1827: 1822: 1819: 1816: 1813: 1810: 1805: 1801: 1797: 1794: 1789: 1785: 1781: 1777: 1773: 1769: 1765: 1764: 1761: 1758: 1755: 1752: 1749: 1746: 1741: 1737: 1733: 1730: 1726: 1722: 1718: 1714: 1713: 1710: 1707: 1704: 1701: 1698: 1694: 1690: 1686: 1682: 1681: 1679: 1657: 1654: 1651: 1648: 1645: 1642: 1639: 1636: 1631: 1627: 1623: 1620: 1615: 1611: 1607: 1604: 1601: 1598: 1595: 1592: 1589: 1586: 1583: 1580: 1575: 1571: 1567: 1564: 1561: 1556: 1552: 1548: 1545: 1542: 1539: 1536: 1533: 1530: 1525: 1521: 1517: 1514: 1511: 1508: 1505: 1502: 1498: 1495: 1474: 1471: 1468: 1465: 1462: 1459: 1456: 1453: 1450: 1447: 1444: 1441: 1438: 1435: 1432: 1429: 1426: 1423: 1420: 1417: 1414: 1411: 1408: 1405: 1385: 1382: 1379: 1376: 1373: 1370: 1367: 1362: 1358: 1354: 1351: 1346: 1342: 1338: 1335: 1332: 1329: 1326: 1314: 1311: 1293: 1289: 1286: 1283: 1279: 1275: 1272: 1269: 1266: 1263: 1259: 1255: 1251: 1230: 1227: 1224: 1220: 1217: 1196: 1174: 1170: 1166: 1163: 1158: 1155: 1152: 1148: 1144: 1141: 1138: 1135: 1132: 1127: 1124: 1121: 1117: 1111: 1107: 1103: 1098: 1095: 1092: 1088: 1082: 1078: 1074: 1071: 1051: 1048: 1043: 1039: 1035: 1032: 1027: 1024: 1021: 1017: 1013: 1010: 1007: 1004: 1001: 996: 993: 990: 986: 980: 976: 972: 967: 964: 961: 957: 951: 947: 943: 938: 934: 930: 927: 924: 921: 918: 898: 895: 892: 889: 886: 883: 863: 860: 857: 854: 834: 831: 828: 825: 805: 802: 799: 796: 776: 773: 770: 767: 763: 759: 756: 753: 750: 747: 744: 741: 738: 735: 715: 712: 709: 706: 703: 700: 669: 666: 662: 652:For a generic 649: 646: 610: 607: 603: 599: 595: 574: 571: 567: 563: 559: 537: 533: 529: 525: 522: 518: 514: 510: 506: 501: 497: 492: 488: 484: 480: 475: 471: 467: 464: 461: 458: 454: 451: 430: 427: 424: 421: 418: 415: 393: 389: 385: 382: 377: 373: 369: 364: 360: 354: 350: 346: 341: 337: 333: 330: 327: 324: 321: 301: 298: 295: 273: 269: 265: 262: 257: 253: 249: 244: 240: 234: 230: 226: 223: 220: 217: 214: 190: 186: 183: 180: 176: 172: 169: 166: 163: 160: 156: 152: 148: 125: 122: 119: 115: 111: 108: 105: 102: 99: 94: 90: 69: 66: 63: 15: 9: 6: 4: 3: 2: 3504: 3493: 3490: 3488: 3485: 3484: 3482: 3462: 3458: 3452: 3448: 3442: 3440: 3431: 3427: 3423: 3419: 3415: 3411: 3407: 3403: 3399: 3392: 3384: 3380: 3376: 3372: 3367: 3362: 3358: 3354: 3350: 3343: 3341: 3336: 3326: 3323: 3321: 3320:Galois theory 3318: 3316: 3313: 3311: 3308: 3306: 3303: 3301: 3298: 3297: 3291: 3277: 3274: 3271: 3249: 3246: 3243: 3239: 3216: 3213: 3210: 3206: 3183: 3180: 3177: 3173: 3164: 3159: 3157: 3152: 3138: 3115: 3112: 3109: 3098: 3080: 3077: 3074: 3070: 3047: 3044: 3041: 3037: 3016: 3013: 3010: 3002: 2992: 2978: 2970: 2954: 2946: 2930: 2922: 2921:Galois theory 2918: 2902: 2882: 2873: 2859: 2851: 2835: 2815: 2795: 2775: 2755: 2735: 2715: 2688: 2682: 2679: 2676: 2673: 2667: 2661: 2658: 2655: 2648: 2647: 2646: 2632: 2612: 2592: 2572: 2552: 2532: 2509: 2486: 2466: 2440: 2434: 2431: 2428: 2421: 2420: 2419: 2405: 2397: 2377: 2374: 2365: 2359: 2352: 2345: 2339: 2332: 2331: 2330: 2316: 2309:generated by 2308: 2289: 2283: 2276: 2272: 2271:quotient ring 2256: 2236: 2213: 2207: 2187: 2173: 2159: 2156: 2153: 2150: 2147: 2144: 2141: 2136: 2132: 2128: 2122: 2119: 2116: 2113: 2110: 2102: 2098: 2077: 2073: 2070: 2066: 2063: 2059: 2056: 2052: 2047: 2043: 2039: 2033: 2026: 2023: 1999: 1996: 1993: 1986: 1983: 1962: 1957: 1954: 1949: 1946: 1943: 1940: 1918: 1915: 1910: 1907: 1901: 1898: 1895: 1892: 1889: 1886: 1866: 1863: 1859: 1855: 1851: 1830: 1820: 1817: 1814: 1811: 1808: 1803: 1799: 1795: 1792: 1787: 1783: 1779: 1775: 1771: 1767: 1759: 1756: 1753: 1750: 1747: 1744: 1739: 1735: 1731: 1728: 1724: 1720: 1716: 1708: 1705: 1702: 1699: 1696: 1692: 1688: 1684: 1677: 1655: 1652: 1646: 1643: 1640: 1637: 1634: 1629: 1625: 1621: 1618: 1613: 1609: 1602: 1599: 1593: 1590: 1587: 1584: 1581: 1578: 1573: 1569: 1565: 1559: 1554: 1550: 1543: 1540: 1537: 1534: 1528: 1523: 1519: 1515: 1509: 1506: 1503: 1496: 1493: 1472: 1469: 1466: 1463: 1460: 1457: 1454: 1448: 1445: 1442: 1436: 1430: 1427: 1424: 1421: 1415: 1412: 1409: 1403: 1383: 1380: 1377: 1374: 1371: 1368: 1365: 1360: 1356: 1352: 1349: 1344: 1340: 1336: 1330: 1324: 1310: 1308: 1291: 1287: 1284: 1281: 1277: 1273: 1270: 1267: 1264: 1261: 1257: 1253: 1249: 1225: 1218: 1215: 1194: 1172: 1168: 1164: 1161: 1156: 1153: 1150: 1146: 1142: 1139: 1136: 1133: 1130: 1125: 1122: 1119: 1115: 1109: 1105: 1101: 1096: 1093: 1090: 1086: 1080: 1076: 1072: 1069: 1049: 1046: 1041: 1037: 1033: 1030: 1025: 1022: 1019: 1015: 1011: 1008: 1005: 1002: 999: 994: 991: 988: 984: 978: 974: 970: 965: 962: 959: 955: 949: 945: 941: 936: 932: 928: 922: 916: 896: 893: 887: 881: 858: 852: 829: 823: 800: 794: 771: 765: 761: 754: 748: 745: 739: 733: 713: 710: 704: 698: 691: 688: 685: 667: 664: 660: 645: 643: 639: 635: 631: 627: 622: 608: 605: 601: 597: 593: 572: 569: 565: 561: 557: 535: 531: 527: 523: 520: 516: 512: 508: 504: 499: 495: 490: 486: 482: 478: 473: 469: 465: 459: 452: 449: 425: 419: 416: 413: 391: 387: 383: 380: 375: 371: 367: 362: 358: 352: 348: 344: 339: 335: 331: 325: 319: 299: 296: 293: 271: 267: 263: 260: 255: 251: 247: 242: 238: 232: 228: 224: 218: 212: 203: 188: 184: 181: 178: 174: 170: 167: 164: 161: 158: 154: 150: 146: 123: 120: 117: 113: 109: 106: 103: 100: 97: 92: 88: 67: 64: 61: 52: 50: 47:developed by 46: 42: 38: 34: 27: 26: 21: 3464:. Retrieved 3460: 3450: 3446: 3405: 3401: 3391: 3356: 3352: 3160: 3153: 2998: 2969:Galois group 2874: 2849: 2707: 2458: 2393: 2179: 1316: 726:of the form 651: 626:field theory 623: 204: 53: 40: 36: 30: 23: 3487:Polynomials 2991:to itself. 621:, or both. 45:polynomials 33:mathematics 3481:Categories 3466:2022-02-02 3359:(1): 1–3. 3331:References 2418:. We have 648:Definition 549:such that 3422:0003-486X 3375:0163-5824 3247:− 3214:− 3181:− 3161:In 1834, 3078:− 3045:− 2999:In 1683, 2796:β 2768:. Now if 2689:β 2677:α 2668:α 2656:β 2633:β 2593:β 2553:α 2467:α 2441:α 2067:− 2053:− 1950:− 1905:→ 1893:− 1818:− 1793:− 1745:− 1706:− 1644:− 1619:− 1579:− 1541:− 1434:⟷ 1428:− 1375:− 1350:− 1285:− 1154:− 1123:− 1094:− 1023:− 992:− 963:− 684:reducible 182:− 121:− 65:≥ 51:in 1683. 3383:18911887 3294:See also 2074:′ 2060:′ 2027:′ 1987:′ 1879:yields, 1860:′ 1843:Setting 1776:′ 1725:′ 1693:′ 1497:′ 1292:′ 1258:′ 1219:′ 787:, where 602:′ 566:′ 536:′ 517:′ 491:′ 453:′ 189:′ 155:′ 3430:1968002 2995:History 2923:, when 2499:modulo 2305:by the 2273:of the 682:degree 3428:  3420:  3381:  3373:  3231:, and 2967:. The 2459:where 1305:, are 3426:JSTOR 3379:S2CID 2943:is a 2808:over 2748:over 2394:is a 2249:. If 687:monic 3418:ISSN 3371:ISSN 3275:> 3062:and 3014:> 2728:and 816:and 35:, a 3410:doi 3361:doi 2947:of 2852:of 2479:is 2398:of 1668:or 31:In 3483:: 3459:. 3453:: 3438:^ 3424:. 3416:. 3406:29 3404:. 3400:. 3377:. 3369:. 3357:37 3355:. 3351:. 3339:^ 3290:. 3198:, 2872:. 2848:a 2329:, 1309:. 1207:, 585:, 3469:. 3432:. 3412:: 3385:. 3363:: 3278:3 3272:n 3250:3 3244:n 3240:x 3217:2 3211:n 3207:x 3184:1 3178:n 3174:x 3139:x 3119:) 3116:2 3113:= 3110:n 3107:( 3081:2 3075:n 3071:x 3048:1 3042:n 3038:x 3017:2 3011:n 2979:P 2955:K 2931:L 2903:L 2883:P 2860:P 2836:Q 2816:K 2776:Q 2756:K 2736:G 2716:F 2704:, 2692:) 2686:( 2683:G 2680:= 2674:, 2671:) 2665:( 2662:F 2659:= 2613:L 2573:L 2533:L 2513:) 2510:P 2507:( 2487:t 2444:) 2438:( 2435:K 2432:= 2429:L 2406:K 2390:, 2378:L 2375:= 2372:) 2369:) 2366:t 2363:( 2360:P 2357:( 2353:/ 2349:] 2346:t 2343:[ 2340:K 2317:P 2293:] 2290:t 2287:[ 2284:K 2257:P 2237:K 2217:) 2214:t 2211:( 2208:P 2188:K 2160:a 2157:+ 2154:y 2151:+ 2148:x 2145:b 2142:= 2137:2 2133:x 2129:= 2126:) 2123:b 2120:, 2117:a 2114:; 2111:y 2108:( 2103:2 2099:x 2078:. 2071:r 2064:y 2057:q 2048:3 2044:y 2040:= 2037:) 2034:y 2031:( 2024:f 2003:) 2000:a 1997:; 1994:y 1991:( 1984:f 1963:, 1958:3 1955:p 1947:x 1944:= 1941:y 1919:3 1916:p 1911:= 1908:a 1902:0 1899:= 1896:p 1890:a 1887:3 1867:0 1864:= 1856:1 1852:a 1831:. 1821:r 1815:a 1812:q 1809:+ 1804:2 1800:a 1796:p 1788:3 1784:a 1780:= 1772:3 1768:a 1760:q 1757:+ 1754:a 1751:p 1748:2 1740:2 1736:a 1732:3 1729:= 1721:2 1717:a 1709:p 1703:a 1700:3 1697:= 1689:1 1685:a 1678:{ 1656:0 1653:= 1650:) 1647:r 1641:a 1638:q 1635:+ 1630:2 1626:a 1622:p 1614:3 1610:a 1606:( 1603:+ 1600:y 1597:) 1594:q 1591:+ 1588:a 1585:p 1582:2 1574:2 1570:a 1566:3 1563:( 1560:+ 1555:2 1551:y 1547:) 1544:p 1538:a 1535:3 1532:( 1529:+ 1524:3 1520:y 1516:= 1513:) 1510:a 1507:; 1504:y 1501:( 1494:f 1473:. 1470:a 1467:+ 1464:y 1461:= 1458:x 1455:= 1452:) 1449:a 1446:; 1443:y 1440:( 1437:x 1431:a 1425:x 1422:= 1419:) 1416:a 1413:; 1410:x 1407:( 1404:y 1384:0 1381:= 1378:r 1372:x 1369:q 1366:+ 1361:2 1357:x 1353:p 1345:3 1341:x 1337:= 1334:) 1331:x 1328:( 1325:f 1288:1 1282:n 1278:a 1274:, 1271:. 1268:. 1265:. 1262:, 1254:1 1250:a 1229:) 1226:y 1223:( 1216:f 1195:y 1173:n 1169:k 1165:+ 1162:x 1157:1 1151:n 1147:k 1143:+ 1140:. 1137:. 1134:. 1131:+ 1126:2 1120:n 1116:x 1110:2 1106:k 1102:+ 1097:1 1091:n 1087:x 1081:1 1077:k 1073:= 1070:y 1050:0 1047:= 1042:n 1038:a 1034:+ 1031:x 1026:1 1020:n 1016:a 1012:+ 1009:. 1006:. 1003:. 1000:+ 995:2 989:n 985:x 979:2 975:a 971:+ 966:1 960:n 956:x 950:1 946:a 942:+ 937:n 933:x 929:= 926:) 923:x 920:( 917:f 909:, 897:0 894:= 891:) 888:x 885:( 882:f 862:) 859:x 856:( 853:h 833:) 830:x 827:( 824:h 804:) 801:x 798:( 795:g 775:) 772:x 769:( 766:h 762:/ 758:) 755:x 752:( 749:g 746:= 743:) 740:x 737:( 734:f 714:0 711:= 708:) 705:x 702:( 699:f 668:h 665:t 661:n 609:0 606:= 598:2 594:a 573:0 570:= 562:1 558:a 532:0 528:a 524:+ 521:y 513:1 509:a 505:+ 500:2 496:y 487:2 483:a 479:+ 474:3 470:y 466:= 463:) 460:y 457:( 450:f 429:) 426:y 423:( 420:x 417:= 414:x 392:0 388:a 384:+ 381:x 376:1 372:a 368:+ 363:2 359:x 353:2 349:a 345:+ 340:3 336:x 332:= 329:) 326:x 323:( 320:f 312:, 300:3 297:= 294:n 272:3 268:k 264:+ 261:x 256:2 252:k 248:+ 243:2 239:x 233:1 229:k 225:= 222:) 219:x 216:( 213:y 185:1 179:n 175:a 171:, 168:. 165:. 162:. 159:, 151:1 147:a 124:1 118:n 114:a 110:, 107:. 104:. 101:. 98:, 93:1 89:a 68:2 62:n

Index


Ehrenfried Walther von Tschirnhaus
mathematics
polynomials
Ehrenfried Walther von Tschirnhaus
field theory
minimal polynomials
primitive element
irreducible polynomial
rational function
reducible
monic
polynomial equation
identically zero
quotient ring
polynomial ring
principal ideal
field extension
Bring–Jerrard form
Galois theory
Galois extension
Galois group
Ehrenfried Walther von Tschirnhaus
René Descartes
Erland Samuel Bring
George Jerrard
Polynomial transformations
Monic polynomial
Reducible polynomial
Quintic function

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

↑