The general theory of Galois in regard to the solution of equations was completed, and some of the demonstrations supplied by E. Betti (1852). See also J.A. Serret’s Cours d’algèbre supérieure, 2nd ed. (1854); 4th ed. (1877-1878).
25. Returning to quintic equations, George Birch Jerrard (1835) established the theorem that the general quintic equation is by the extraction of only square and cubic roots reducible to the form x5 + ax + b = 0, or what is the same thing, to x5 + x + b = 0. The actual reduction by means of Tschirnhausen’s theorem was effected by Charles Hermite in connexion with his elliptic-function solution of the quintic equation (1858) in a very elegant manner. It was shown by Sir James Cockle and Robert Harley (1858-1859) in connexion with the Jerrardian form, and by Arthur Cayley (1861), that Lagrange’s resolvent equation of the sixth order can be replaced by a more simple sextic equation occupying a like place in the theory.
The theory of the modular equations, more particularly for the case n = 5, has been studied by C. Hermite, L. Kronecker and F. Brioschi. In the case n = 5, the modular equation of the order 6 depends, as already mentioned, on an equation of the order 5; and conversely the general quintic equation may be made to depend upon this modular equation of the order 6; that is, assuming the solution of this modular equation, we can solve (not by radicals) the general quintic equation; this is Hermite’s solution of the general quintic equation by elliptic functions (1858); it is analogous to the before-mentioned trigonometrical solution of the cubic equation. The theory is reproduced and developed in Brioschi’s memoir, “Über die Auflösung der Gleichungen vom fünften Grade,” Math. Annalen, t. xiii. (1877-1878).
26. The modern work, reproducing the theories of Galois, and exhibiting the theory of algebraic equations as a whole, is C. Jordan’s Traité des substitutions et des équations algébriques (Paris, 1870). The work is divided into four books—book i., preliminary, relating to the theory of congruences; book ii. is in two chapters, the first relating to substitutions in general, the second to substitutions defined analytically, and chiefly to linear substitutions; book iii. has four chapters, the first discussing the principles of the general theory, the other three containing applications to algebra, geometry, and the theory of transcendents; lastly, book iv., divided into seven chapters, contains a determination of the general types of equations solvable by radicals, and a complete system of classification of these types. A glance through the index will show the vast extent which the theory has assumed, and the form of general conclusions arrived at; thus, in book iii., the algebraical applications comprise Abelian equations, equations of Galois; the geometrical ones comprise Q. Hesse’s equation, R.F.A. Clebsch’s equations, lines on a quartic surface having a nodal line, singular points of E.E. Kummer’s surface, lines on a cubic surface, problems of contact; the applications to the theory of transcendents comprise circular functions, elliptic functions (including division and the modular equation), hyperelliptic functions, solution of equations by transcendents. And on this last subject, solution of equations by transcendents, we may quote the result—“the solution of the general equation of an order superior to five cannot be made to depend upon that of the equations for the division of the circular or elliptic functions”; and again (but with a reference to a possible case of exception), “the general equation cannot be solved by aid of the equations which give the division of the hyperelliptic functions into an odd number of parts.” (See also [Groups, Theory of].)
(A. Ca.)
Bibliography.—For the general theory see W.S. Burnside and A.W. Panton, The Theory of Equations (4th ed., 1899-1901); the Galoisian theory is treated in G.B. Matthews, Algebraic Equations (1907). See also the Ency. d. math. Wiss. vol. ii.
[1] The coefficients were selected so that the roots might be nearly 1, 2, 3.
[2] The third edition (1826) is a reproduction of that of 1808; the first edition has the date 1798, but a large part of the contents is taken from memoirs of 1767-1768 and 1770-1771.
[3] The earlier demonstrations by Euler, Lagrange, &c, relate to the case of a numerical equation with real coefficients; and they consist in showing that such equation has always a real quadratic divisor, furnishing two roots, which are either real or else conjugate imaginaries α + βi (see Lagrange’s Équations numériques).