The theory of equations

Date: 2015-10-07; view: 481.

I. Read the article to yourself. The following words and phrases will help you to understand it better:

carrythrough- доводить до конца, осуществлять

prodigy - одарённый человек

submitanaccount – предоставить отчет

tractable- легко обрабатываемый

normalsubgroup- делитель нормальный

commutativity - коммутативность

Another subject that was transformed in the 19th century was the theory of equations. Ever since Tartaglia and Ferrari in the 16th century had found rules giving the solutions of cubic and quartic equations in terms of the coefficients of the equations, formulas had unsuccessfully been sought for equations of the fifth and higher degrees. At stake was the existence of a formula that expresses the roots of a quintic equation in terms of the coefficients. This formula moreover, must involve only the operations of addition, subtraction, multiplication, and division, together with the extraction of roots, since that was all that had been required for the solution of quadratic, cubic, and quartic equations. If such a formula were to exist, the quintic would accordingly be said to be solvable by radicals.

In 1770 Lagrange had analyzed all the successful methods he knew for equations of degrees 2, 3, and 4, in an attempt to see why they worked and how they could be generalized. His analysis of the problem in terms of permutations of the roots was promising, but he became more and more doubtful as the years went by that his complicated line of attack could be carried through. The first valid proof that the general quintic is not solvable by radicals was offered only after his death, in a startlingly short paper by Abel, written in 1824.

Abel also showed by example that some quintic equations were solvable by radicals and that some equations could be solved unexpectedly easily. For example, the equation x⁵ - 1 = 0 has one root x = 1, but the remaining four roots can be found just by extracting square roots, not fourth roots as might be expected. He therefore raised the question, “What equations of degree higher than 4 are solvable by radicals?”

Abel died in 1829 at the age of 26 and did not resolve the problem he had posed. Almost at once, however, the astonishing prodigy Évariste Galois burst upon the Parisian mathematical scene. He submitted an account of his novel theory of equations to the Academy of Sciences in 1829, but the manuscript was lost. A second version was also lost and was not found among Fourier's papers when Fourier, the secretary of the academy, died in 1830. Galois was killed in a duel in 1832, at the age of 20, and it was not until his papers were published in Joseph Liouville'sJournal de mathématiques in 1846 that his work began to receive the attention it deserved.

His theory eventually. Galois emphasized the group (as he called it) of permutations of the roots of an equation. This move took him away from the equations themselves, instead turning toward the markedly more tractable study of permutations. To any given equation there corresponds a definite group, with a definite collection of subgroups. To explain which equations were solvable by radicals and which were not, Galois analyzed the ways in which these subgroups were related to one another: solvable equations gave rise to what are now called a chain of normal subgroups with cyclic quotients. This technical condition makes it clear how far mathematicians had gone from the familiar questions of 18th-century mathematics, and it marks a transition characteristic of modern mathematics: the replacement of formal calculation by conceptual analysis. This is a luxury available to the pure mathematician that the applied mathematician faced with a concrete problem cannot always afford.

According to this theory, a group is a set of objects that one can combine in pairs in such a way that the resulting object is also in the set. Moreover, this way of combination has to obey the following rules (here objects in the group are denoted a, b, etc., and the combination of a andb is written a * b):

Examples of groups include the integers with * interpreted as addition and the positive rational numbers with * interpreted as multiplication. An important property shared by some groups but not all is commutativity: for every element a andb, a * b = b * a. The rotations of an object in the plane around a fixed point form a commutative group, but the rotations of a three-dimensional object around a fixed point form a noncommutative group.

II. Read the paragraph speaking about how Galois' theory made the theory of equations into a part of the theory of groups and speak about it.

III. Read the last paragraph and speak about a group.