Is There Beauty in Mathematical Theories?

This is the second part of the article originally published in 2013 by the University of Notre Dame, and is republished here with permission. The first part was published in the January 2019 issue of Bhāvanā, and the third part will be published in a subsequent issue.

One of the most appealing presentations of basic elements of number theory appears in Plato’s dialogue Theaetetus, another in Book VII of Euclid. Both deal, the first only incidentally, with primes; the first also deals with the notion of irrational number, although in the guise of incommensurability.¹ These two notions, of prime number and irrational number, are linked to this day and lie at the foundation of number theory. Both are familiar to many laymen; both can be readily explained to an attentive, reasonably intelligent auditor.

The modern theory of numbers is very abstruse. Even among its practitioners and in spite of the occasionally elementary nature of its conclusions, it is fragmented. Because of the often fortuitous composition of the faculty of the more popular graduate schools, some extremely technical aspects are familiar to many people, others known to almost none. This is inevitable. One can already see in the Xth book of Euclid how quickly the examination of the simplest irrationalities leads to what appear to be uselessly arcane reflections.

These reflections are closely related to the considerations of the modern Galois theory created by the very young mathematician Évariste Galois early in the nineteenth century.² This theory, which analyses in a brief and incisive way, with the aid of the notion of a group of symmetries, the essential nature of algebraic irrationalities, is a part of the current undergraduate curriculum and modern pure mathematics would be unthinkable without it or without the notion of a group, which, as we shall see, penetrates mathematics far more broadly, far more deeply than Galois theory itself.

It is useful, as an introduction to Galois theory and to symmetries, but also to acquire some insight into the genesis of mathematical theories, to recall briefly the lengthy, but little read, Book X of Euclid’s Elements. It begins by a careful analysis of incommensurability and thus of the irrational, a word that it is best to use here in its modern mathematical sense and not in that of Euclid, or rather that of the English translation. Rational numbers are common fractions. Irrational numbers are the remaining numbers. Euclid and Galois are concerned by and large with irrational numbers that are also algebraic, thus they satisfy an algebraic equation of the form (1.1) in which all the coeffcients katex is not defined are ordinary fractions, thus rational numbers.¹ We have already emphasized that it is central to all of algebra and to a good deal of geometry that, whether or not the coeffcients are rational, the left-hand side of this equation may be written in exactly one way as

$$\begin{align} X^n +a_{n-1}1X^{n-1}+a_{n-2}X^{n-2}+\cdots+ a_1 X+ a_0\nonumber =(X-\alpha_1)(X-\alpha_2)\cdots (X-\alpha_n)\tag{2.1} \end{align}$$

As we observed, this statement, known as the fundamental theorem of algebra, is basic to the integral calculus. It also seems, in some obscure way, to be the source of Descartes’s prophetic insistence in Sur la géométrie, 1637, on the notion of the degree of a curve but was proved only much later, as a consequence of profound reflections on the nature of what are known today as real numbers. This geometrical or topological aspect of the fundamental theorem is quite unrelated to the distinction (2.1) allows between algebraic numbers and the remaining numbers in our number system.

The notion of a group penetrates mathematics far more broadly, far more deeply than Galois theory itself

The integers katex is not defined form a familiar collection of numbers. The division of a unit into a number of parts of equal length leads quickly to rational fractions, katex is not defined or katex is not defined, katex is not defined, and so on, but the transition to algebraic numbers, for example, katex is not defined as a root of katex is not defined, was a major conceptual step beyond them. There are important numbers, like katex is not defined, one-half the circumference of a circle of radius katex is not defined, that are not algebraic, but they are not our concern here. It is not immediately clear, but the sum of two algebraic numbers is algebraic, as is their product. So is their quotient if the denominator is not katex is not defined. A remarkable and fundamental theorem, although from the correct optic not difficult to prove, is that if we admit algebraic numbers as coefficients katex is not defined of the equation (1.1), the roots are still algebraic.

It is not easy for a modern reader to understand the later books—for example Book X, a major contribution to the study of algebraic numbers in antiquity—of Euclid without a commentator, although I would guess that it is quite likely that much of the commentary places the mathematics in a false modern context. It already requires a great deal of imagination to penetrate the conceptual predilections of mathematicians of the previous century. For those of two thousand or more years ago an almost impossible effort is required to which, perhaps, the rewards are, for most of us, not commensurable.

As the English translator and editor Thomas Heath explains in the notes to his famous English translation, we are dealing in Book X with roots of the equations

$$\begin{align} X^{2}\pm 2\alpha X\pm\beta=0\tag{2.1} \end{align}$$

and

$$\begin{align} X^{4}\pm 2\alpha X^{2}\pm\beta=0\tag{2.2} \end{align}$$

The roots of the second equation are the square roots of those of the first, which are katex is not defined, only those for which katex is not defined having a meaning for Euclid. The coefficients katex is not defined and katex is not defined are allowed by Euclid to be rational numbers katex is not defined, katex is not defined and katex is not defined positive integers, or simple surds katex is not defined. Such equations arose in various geometric problems of Euclid’s time and later. Book X is to some extent a classification, very elaborate, of the solutions and a discussion of their nature, rational or irrational. A quite sophisticated possibility, expressed in modern terms, thus algebraically, is

$$\begin{align} \frac{\lambda^{1/4}}{\sqrt{2}}\sqrt{1+\frac{k}{\sqrt{1+k^2}}}\pm \frac{\lambda^{1/4}}{\sqrt{2}}\sqrt{1-\frac{k}{\sqrt{1+k^2}}}\tag{2.3} \end{align}$$

in which katex is not defined and katex is not defined are simple fractions. The nature of this number depends on the nature of katex is not defined and katex is not defined.

This number is the solution to Proposition 78 of Book X, given in Heath’s translation as the following problem:

If from a straight line there be subtracted a straight line which is incommensurable in square with the whole and which with the whole makes the sum of the squares on them medial, twice the rectangle contained by them medial, and further the squares on them incommensurable with twice the rectangle contained by them, the remainder is irrational; …

I have omitted a brief phrase at the end because it is irrelevant. This is a complicated statement that needs explanation. Even after its meaning is clear, one is at first astonished that any rational individual could find the statement of interest. This was also the response of the eminent sixteenth century Flemish mathematician Simon Stevin, reported by Heath as writing, “La diffculté du dixiesme Livre d’Euclide est à plusieurs devenu en horreur, matière trop dure à digérer, et en la quelle n’aperçoivent aucune utilité.” In fact, again according to Heath’s commentary, a great deal of attention was given to the book by the early algebraists, who studied in the later Middle Ages and the early Renaissance the nature of the solutions of equations of the third and fourth degree, thus equation (1.1) with katex is not defined. The theory of Galois, which cannot be considered a complete theory, appeared only after several more centuries of reflection on equations of higher degree by major mathematicians. It is probably the principal source of the notion of a group, an indispensable ingredient, for reasons not always transparent, perhaps not even yet understood, not only of many branches of mathematics but also of much of physics, both relativity and in quantum theory. So, in spite of the explanation to follow, there is no question of dismissing Euclid’s Proposition 78 or any of the large number of similar propositions in Book X as frivolous distractions of misguided savants. There is no need to examine the explanation in detail. Enough can be learned for the present purposes simply by glancing at the formulas.

Two lines of length katex is not defined and katex is not defined are incommensurable in square if their quotient squared is not a rational number. Two areas are commensurable if their quotient is rational, otherwise incommensurable. A line (read length of a line) is medial if its fourth power is rational but its square is not, a definition arising from geometrical considerations, and the area of a square is medial if its side is medial. So the proposition begins with two numbers katex is not defined, the whole, and katex is not defined, the part to be subtracted, such that katex is not defined, katex is not defined, katex is not defined are not rational numbers but katex is not defined and katex is not defined are. The final hypothesis is that the quotient

$$\begin{align} \frac{\tau^2+\sigma^2}{2\tau \sigma}\tag{2.4} \end{align}$$

is irrational. The conclusion of the proposition is, in spite of the language, that katex is not defined is irrational because the word irrational as used in Heath’s translation means not irrational in the current sense but with an irrational, again in the current sense, square. Since

$$\begin{align*} (\tau-\sigma)^2&=\left(\frac{\tau^2+\sigma^2}{2\tau\sigma}-1\right)2\tau\sigma,\\ (\tau-\sigma)^4&=(\tau^2+\sigma^2)^2-4(\tau^2+\sigma^2)\tau\sigma+4\tau^2\sigma^2. \end{align*}$$

The first and the last terms on the right of the second equality are rational and the middle term is the product of katex is not defined and katex is not defined. By hypothesis the first of these numbers is irrational and the second rational. So the sum equal to katex is not defined is irrational and, as a consequence, so is katex is not defined.

For a modern student at least, the geometric arguments of Euclid are far from transparent

We are struck here, on the one hand, by the importance the ancient Greeks attached to the distinction between rational and irrational, on the other, by the simplicity, or rather triviality, of the argument, but that is not evidence for our superior intelligence, but for the advantages of the algebraic formalism. For a modern student at least, the geometric arguments of Euclid are far from transparent. A basic construct in Book X is the apotome (“a cutting off”), expressed algebraically, basically a difference katex is not defined where katex is not defined is rational and katex is not defined is a proper surd katex is not defined, katex is not defined rational, katex is not defined not. An example would be katex is not defined. It is proved in Book X as Proposition 73 that an apotome katex is not defined is necessarily irrational. This seems clear to us because katex is not defined and if katex is not defined and katex is not defined were both rational, katex is not defined would be too. The argument of Euclid is, however, quite long. Namely, as a consequence of the assumptions and of some basic, but for us formal, propositions katex is not defined is commensurable with katex is not defined, katex is not defined is commensurable with katex is not defined and as a consequence of the assumption katex is not defined and katex is not defined not commensurable. Therefore katex is not defined is the difference of two incommensurable quantities, one of which is irrational, and therefore irrational. Proposition 78 is proved as a consequence of Proposition 73 and, like it, is for us astonishingly elaborate.

I find the commentary of Heath somewhat imprecise, but the algebra is clear. Let katex is not defined. It is rational. We suppose with Euclid that it is not a square. It is easy to see that for an katex is not defined, katex is not defined,

$$\begin{align*} \tau=\frac{\lambda^{1/4}}{\sqrt{2}}\sqrt{1+a},\quad \sigma=\frac{\lambda^{1/4}}{\sqrt{2}}\sqrt{1-a}. \end{align*}$$

Since

$$\begin{align*} 4\tau^2\sigma^2=\lambda(1-a^2),\quad \frac{\sigma^2}{\tau^2}=\frac{1+a}{1-a}, \end{align*}$$

katex is not defined is not rational but katex is not defined is. Since katex is not defined, we may write

$$\begin{align*} a^2=\frac{l}{1+l} \end{align*}$$

with katex is not defined rational. Let katex is not defined, so that

$$\begin{align*} \tau=\frac{\lambda^{1/4}}{\sqrt{2}}\sqrt{1+\frac{k}{\sqrt{1+k^2}}},\quad \sigma=\frac{\lambda^{1/4}}{\sqrt{2}}\sqrt{1-\frac{k}{\sqrt{1+k^2}}}. \end{align*}$$

It is the difference

$$\begin{align*} (\tau-\sigma)^2 =\frac{\lambda^{1/2}}{2}\left(\!\!{1+\frac{k}{\sqrt{1+k^2}}}-2\sqrt{1-\frac{k^2}{1+k^2}}+1-\frac{k}{\sqrt{1+k^2}}\!\!\right) = \lambda^{1/2}\left(1-\frac{1}{\sqrt{1+k^2}}\right) \end{align*}$$

that Euclid asserts is irrational. This is so, but Heath’s commentary suggests that katex is not defined will be rational and I see no reason that this is necessarily the case. If it is, then katex is not defined is a number of the form (2.3).

From the point of view of Galois theory, what is being examined is less the particular number (2.3) but rather a collection of numbers, called a field, formed by taking a succession of square roots and then taking all possible sums of all possible quotients of all possible products of these roots, and possibly repeating this process. In equation (2.3), we have taken the square root of katex is not defined to obtain katex is not defined, then the square root of this number divided by katex is not defined to obtain katex is not defined. But we have also taken the square root of katex is not defined, then formed the number katex is not defined, taken its square root, and then taken a sum—as well as a difference—of products of the numbers obtained.

There is another theme in Book X, implicitly emphasized by the equations (2.1) and (2.2) of Heath’s commentary, namely, when for two integers katex is not defined and katex is not defined is the sum katex is not defined or difference katex is not defined also an integer? This question is closely related to the equation katex is not defined appearing in the famous Theorem of Fermat, in fact a problem, proposed in the seventeenth century and solved in the twentieth. It is answered in Book X, where its presence suggests a different optic than that I have stressed: not a structural analysis of the irrationalities generated by geometrical problems as in Galois theory, but simply an analysis of the dichotomy, rational–irrational, for the solutions.

The structural analysis, of the thirteenth to sixteenth century for equations of degrees three and four, of the seventeenth and eighteenth century, with the first attempts by Lagrange and others to reflect on the relations between the roots of any given equation and to stress the importance of these relations and with the sudden, largely unexpected—there were antecedents, but so far as I have been able to understand, there is no reason to think that any of his predecessors were even on the verge of his discoveries—success of a very young Gauss with the equation katex is not defined, whose roots are katex is not defined, was perhaps not in any strong sense implicit in Euclid, nor was the final comprehensive theory of Galois. The problems and the notions of Euclid’s time were modified over the years but the seeds were sown then.

In the theory of Galois, the central issue is the collection of relations between the katex is not defined roots of the equation (1.1) with coefficients taken from some prescribed collection. If, for example, all the coefficients are rational, the interest is in relations with rational coefficients. Consider for example the two equations,

$$X^2-2=0,\qquad X^2-4=0.$$

The first has two irrational solutions katex is not defined. The second has two rational solutions katex is not defined. A relation in both cases is an equality with katex is not defined of a sum of products of powers of katex is not defined and katex is not defined with rational numbers, for example

$$X_1^2-2=0, \qquad X_2^2-2=0,\qquad X_1X_2+2=0$$

are three relations for the first equation, while

$$X_1^2-4=0, \qquad X_2^2-4=0,\qquad X_1X_2+4=0$$

are relations for the second. In addition, for the second equation, we have

$$X_1-2=0,\qquad X_2+2=0.$$

It is clear that there are no such simple relations for the first equation, for otherwise its roots would be rational. Another way of expressing this is that, for the first equation, we may replace in any valid relation—with rational coefficients!—katex is not defined by katex is not defined and katex is not defined by katex is not defined without invalidating it. This is clearly not so for the second. Thus there is a symmetry for the first equation, missing for the second. From the point of view of an observer familiar only with rational numbers, and in some sense that is all of us, the two roots of the first equation may be different but they are also indistinguishable, while the roots of the second equation are different and distinguishable.³ One is katex is not defined; one is katex is not defined. They add nothing new to the collection of rational numbers. For the first equation, however, the numbers katex is not defined are all different and, if katex is not defined, irrational. The number katex is not defined appears among them as katex is not defined. This means that the collection of all numbers generated by katex is not defined and katex is not defined, thus the numbers of the form katex is not defined with katex is not defined and katex is not defined rational, for katex is not defined can be replaced in any expression, no matter how complex, by katex is not defined and katex is not defined by katex is not defined, is a larger domain (field is the better word here) than just that of the rational numbers. To have, at least conceptually, a square root of katex is not defined we have to imagine, introduce, or construct a larger domain or field of numbers and in it, at least if the old norms and customs are maintained, there are necessarily two different roots. In the domain, and again from the point of view of the norms imposed by the customs or formalities of addition and subtraction, there are two different but indistinguishable square roots of katex is not defined. More generally katex is not defined is different from katex is not defined but indistinguishable from it. So there is a symmetry of the domain katex is not defined which entails katex is not defined.

Another example would be

$$X^4-5X^2+6=(X^2-2)(X^2-3)=0.$$

The roots are katex is not defined. We have already observed that there is a simple relation between katex is not defined and katex is not defined. We might ask whether in the domain generated by katex is not defined, thus in the collection of numbers katex is not defined, there is already a square root of katex is not defined. Thus can

$$3=(a+bX_1)^2=a^2+2abX_1+b^2X_1^2.$$

If katex is not defined or katex is not defined such an equation is impossible because of the theorem of Theaetetus. If katex is not defined it entails katex is not defined; if katex is not defined it entails katex is not defined. Both equations are impossible. If katex is not defined, then it implies

$$X_1=\frac{3-2a^2-b^2}{2ab},$$

but that too is impossible for katex is not defined cannot be rational. Thus the introduction of katex is not defined entails the existence of a genuinely new domain larger than the collection of numbers katex is not defined. A little reflection establishes that this number is the domain katex is not defined, which contains the square roots of katex is not defined as katex is not defined. It has three symmetries, even four,

$$X_1\to\alpha X_1;\qquad \beta X_3;\qquad X_1X_3\to \alpha\beta X_1X_3,$$

in which katex is not defined and katex is not defined can be independently taken to be katex is not defined. When they are both taken to be katex is not defined, the symmetry is not of great interest: objects are indistinguishable from themselves. It is useful nevertheless to introduce it for formal reasons.

These symmetries entail a permutation of the roots of the equation. Indeed they are in effect defined by a permutation of the roots, a kind of musical chairs in which the number of chairs is equal to the number of players, and in which the nature of the mixing of players and chairs at each round is circumscribed by perhaps complex rules that may nonetheless allow for madder scrambling than that customarily permitted. Permutations can be composed to form what mathematicians call a group: the result of two different rounds could clearly be the result of a single round. For many centuries equations of the form (1.1) were a puzzle. Could their roots be obtained by successive extractions of surds, thus with the help of numbers of the form katex is not defined, with katex is not defined rational or at least in the field generated by the coefficients and with katex is not defined perhaps greater than katex is not defined, but nevertheless with a result along the lines of equation (2.3), typical for the problems investigated in Book X of Euclid. Galois discovered that the decisive factor in the answer was the nature of the group of symmetries, thus of the rules governing their composition. Have mathematicians abused his discovery? Since one notion appearing in Galois’s brief writings is that of a group, which is of universal importance, not alone for the theory of equations but for mathematics in general, this question may appear frivolous. To understand its sense demands some background.

Algebraic Numbers at the Beginning of the Nineteenth Century

Carl Friedrich Gauss, born in 1777, died in 1855, was a mathematician on whose contributions I have never dared to reflect seriously. He was a prodigy, but in his case the troubling connotations, almost universal among prodigious mathematicians, of early, forced efflorescence, followed by a premature withering were absent. The child of parents in modest circumstances, his talent was early remarked and he was fortunate enough to receive the support of the Duke of Brunswick.⁴ Thanks to the excellent education this permitted and to Gauss’s innate talent, he was at the age of eighteen, when he published in the Allgemeine Literaturzeitung, a journal founded by, among others, Goethe and Schiller and not so dissimilar to the contemporary New York Review of Books, his discovery of the possibility of the construction with only ruler and compass of a regular heptadecagon (a polygon with katex is not defined sides of equal length and with all adjacent sides meeting at the same angle), already a mature mathematician. Whether such a construction was possible was a problem that had remained unsolved for two thousand years, longer than the impossibility of duplicating the cube or trisecting a general angle, both difficult but easier problems to which it is nonetheless similar, and almost as long as the question of the squaring of the circle, which is analyzed by quite different considerations.

I have found over the course of the years, without making any particular effort, that the more one penetrates Gauss’s writings the closer one comes to mathematics

Gauss’s career began on the threshold of the nineteenth century, and it is instructive to begin a discussion of it with a brief description of two key contributions that influenced the mathematics of that century in very different ways. I have found over the course of the years, without making any particular effort, that the more one penetrates Gauss’s writings the closer one comes to mathematics. His early writings manifest youthful force and the pleasure in detail it allows and at the same time a mature, critical understanding of the contributions of his predecessors and the problems they faced. Whether he was always just to them, I cannot say, but his primary concern seems to have been not to seize fame but to grasp the essence of a question.

I observe in passing that attention to detail is not a luxury even when occupied with the most abstruse questions, but contemporary mathematicians, including those of my generation, usually start late and have a great deal to master. So willy-nilly we remain superficial. I see no obvious remedy except too sharp a focus and that is worse.

Gauss’s Disquisitiones Arithmeticae, published in 1801 when he was 23, was the foundation and the inspiration of algebraic number theory, one of the great nineteenth-century achievements of mathematics and was the source not only of Galois’s inspirations but of the quite different contributions of a number of the century’s great number theorists. The seventh and last chapter was the beginning of the theory of cyclotomy, thus of the division of the circumference of a circle into katex is not defined equal parts and, thus, the construction of regular polygons with katex is not defined sides. It is a question whose relation to beauty is immediate and, if one were so inclined and had the necessary competence, it would be appropriate at this conference to devote a full lecture to it, but I introduce it only as one aspect of a much larger question.

The geometric problem, which is to construct these figures with a ruler and compass, had already been considered by the Greeks and is the principal topic of Euclid’s Book IV, where regular polygons of katex is not defined, katex is not defined, katex is not defined, katex is not defined, and katex is not defined sides are treated. The geometric problem is, at its core, algebraic. If we allow ourselves the freedom of using complex numbers, thus numbers katex is not defined represented by points katex is not defined in the plane, then the vertices of a regular polygon of katex is not defined sides inscribed in a circle of radius katex is not defined with center at the origin of coordinates are represented by the complex numbers katex is not defined, katex is not defined. Taking the radius as the unit of length, these are for a triangle katex is not defined, katex is not defined, katex is not defined, because katex is not defined and katex is not defined. As points in the plane these are katex is not defined. For a pentagon, we take again one of the vertices to be katex is not defined, then the others are

$$\begin{align} (\cos(2\pi/5),\sin(2\pi/5))&=\left(\frac{-1+\sqrt{5}}{4},\sqrt{\frac{5}{8}+\frac{\sqrt{5}}{8}}\right)\nonumber \\ (\cos(4\pi/5),\sin(4\pi/5))&=\left(\frac{-1-\sqrt{5}}{4},\sqrt{\frac{5}{8}-\frac{\sqrt{5}}{8}}\right)\nonumber \\ \tag{3.1} \\ (\cos(6\pi/5),\sin(6\pi/5))&=\left(\frac{-1-\sqrt{5}}{4},-\sqrt{\frac{5}{8}-\frac{\sqrt{5}}{8}}\right)\nonumber \\ (\cos(8\pi/5),\sin(8\pi/5))&=\left(\frac{-1+\sqrt{5}}{4},-\sqrt{\frac{5}{8}+\frac{\sqrt{5}}{8}}\right).\nonumber \end{align}$$

These two regular polygons appear in Figures I and II. We see in (3.1) a phenomenon with which we are familiar: with the expressions in which there is a square root appear simultaneously the expressions in which the sign of this square root is reversed. This is a manifestation of the Galois symmetry among the roots of the algebraic equation satisfied by the complex numbers yielding the vertices of the pentagon, namely

$$(X-1)(X^4+X^3+X^2+X+1)=X^5-1=0.$$

The same phenomenon for the triangle is less striking because the equation is

$$(X-1)(X^2+X+1)=X^3-1=0,$$

and we have perhaps seen too many quadratic equations.

Nevertheless it is best when beginning to reflect on the symmetries of the two equations

$$X^4+X^3+X^2+X+1=0,\qquad X^2+X+1=0,$$

to consider them simultaneously. The algebraic symmetries are not the geometric symmetries, thus not the obvious rotational symmetries of the triangle or the pentagon. For the triangle, the algebraic symmetry is the absolute indistinguishability from an algebraic standpoint of the two roots katex is not defined. The symbol katex is not defined is just that, a symbol, thus a convention that we have learned to accept as having a real meaning, as it may have, but in its intrinsic mathematical properties it is indistinguishable from katex is not defined. For the quadratic equation katex is not defined one might dismiss this distinction as pedantic logic-chopping, but for the first equation, that of degree four, the significance is not to be denied. There are five rotational symmetries for the pentagon, those through angles katex is not defined together with the trivial rotation, which is always present. There are also five reflections that preserve the pentagon. There are only four algebraic symmetries and they cannot easily be represented geometrically. The four roots of katex is not defined are listed in (3.1): katex is not defined; katex is not defined; katex is not defined; katex is not defined. These four roots determine a field of numbers, those numbers that can be formed by adding rational multiples of these four,

$$\alpha a+\beta b+\gamma c+\delta d,$$

where the coefficients katex is not defined are rational numbers. As a simple example we could take katex is not defined, but that yields katex is not defined which is easily verified to be katex is not defined. Different coefficients lead to different numbers and it is difficult to gain any geometric insight into their totality. It is however easily verified that the sum or the difference of two such numbers is again such a number, as is the product or a quotient. It is this possibility of forming sums, differences, products and quotients within a given collection of numbers that mathematicians express by referring to the collection as a field, a word that we have used more than once already but without making its meaning precise. The Galois symmetries are symmetries of the field. For example, if katex is not defined is replaced by katex is not defined, then katex is not defined is replaced by katex is not defined, katex is not defined by katex is not defined, and katex is not defined by katex is not defined. All algebraic relations are preserved, katex is not defined entails katex is not defined or katex is not defined entails katex is not defined. The consequences of this are not immediately apparent.

We can guess, if we have any familiarity with complex numbers, that for other possible integers katex is not defined, the equation

$$(X-1)(X^{n-1}+\cdots +X+1)=X^n-1=0$$

is pertinent to the construction of a regular polygon with katex is not defined sides. It is best when first examining the equation to treat prime numbers katex is not defined, thus katex is not defined. There are again katex is not defined solutions, of which the first, katex is not defined, or, in the plane, the point katex is not defined corresponds to the arbitrarily assigned first vertex. The problem is to construct the others once it is given, thus to construct geometrically the angle katex is not defined. That depends on the symmetries, or, as we would now say, the Galois symmetries of the katex is not defined roots, katex is not defined of the equation

$$\begin{align} \tag{3.2} X^{n-1}+\cdots +X+1=0. \end{align}$$

At this point, I have to rely on you to recall from basic trigonometry two identities that are at the core of any treatment of equation (3.2),

$$\begin{align} \cos(2\pi k/n)\cos(2\pi l/n)-\sin(2\pi k/n)\sin(2\pi l/n) &=\cos(2\pi(k+l)/n),\nonumber \\ \tag{3.3} \\ \cos(2\pi k/n)\cos(2\pi l/n)+\sin(2\pi k/n)\cos(2\pi l/n) &=\sin(2\pi(k+l)/n).\nonumber \end{align}$$

As a consequence katex is not defined if katex is not defined. It is katex is not defined if katex is not defined and katex is not defined if katex is not defined. It has to be proven, but from an algebraic point of view, that all the numbers katex is not defined are indistinguishable. In so far as only equations with rational coefficients are admitted, they satisfy exactly the same equations. Moreover all of them can be represented as algebraic expressions of any given one, for example, as a consequence of the identities (3.3), katex is not defined, or if katex is not defined is a multiple of katex is not defined, katex is not defined. So, in principle, we understand the Galois theory of the equation (3.2), as Gauss did before Galois was born. The symmetries, in other words, the permutations of the roots that preserve all relations between them, are determined by katex is not defined. Thus katex is not defined is replaced by katex is not defined, where katex is not defined can be any integer from katex is not defined to katex is not defined, and then katex is not defined is necessarily replaced by katex is not defined, where katex is not defined is divisible by katex is not defined.

We seem to be losing our way. The initial question, a question that presumably confronted the Hellenistic mathematicians but was abandoned by them as too difficult, was whether for other integers than those katex is not defined appearing in Book IV of Euclid, it is possible to construct with ruler and compass, thus by the successive extraction of square roots, regular polygons with katex is not defined sides. For which katex is not defined can katex is not defined be represented as an expression similar to those in (3.1). This imposes some conditions on the possible algebraic symmetries of the equation, which form what came to be called the Galois group.

Each time we add a square root, thus each time we perform a construction with ruler and compass, we enlarge the field generated by the roots, and as a result of the general theory there will be additional symmetries, those already there together with one that replaces the newly adjoined square root by its negative. Thus when concretely expressed the elements of the Galois group will have to appear simply as sign changes. This means, to make a long story short, that the total number of permutations will be a power of katex is not defined. We have seen that for the field of numbers of concern to us the number of permutations is katex is not defined. It does not happen very often, for katex is not defined a prime, that this number is a power of katex is not defined. It is true for katex is not defined, and, as the equations (3.1) make explicitly clear, also for katex is not defined, katex is not defined. The next possibility is katex is not defined, katex is not defined, and the consequences were understood only after two thousand years. As one infers from its publication in the Allgemeine Literaturzeitung, the possibility of constructing a regular heptadecagon was expected to astound not only mathematicians but the entire educated world. It astonishes mathematicians to this day. Much as I admire the achievement and the style of Galois, and troubled as I am by any exaggerated admiration of Gauss, I find that any judgement of the nature of Galois’s achievement has to be preceded by a sober reflection on what Gauss had already accomplished.

Any judgement of the nature of Galois’s achievement has to be preceded by a sober reflection on what Gauss had already accomplished

A complete analysis of the Galois theory of the equation

$$\begin{align*} X^{16}+X^{15}+X^{14}+X^{13}+X^{12}+X^{11}+X^{10}+X^{9}\quad +X^{8}+X^{6}+X^{5}+X^{4}+X^{3}+X^{2}+X+1=0, \end{align*}$$
important because
$$\begin{align*} (X-1)(X^{16}+X^{15}+X^{14}+X^{13}+X^{12}+X^{11}+X^{10} +X^{9}+X^{8}+X^{6}+X^{5}+X^{4}+X^{3}+X^{2}+X+1) \end{align*}$$

is equal to katex is not defined, would be out of place. A basic root is katex is not defined. The symmetries are katex is not defined, katex is not defined. There are sixteen of them. The first, for katex is not defined, is simple, katex is not defined. The second

$$\theta\to\theta^2,\quad \theta^2\to\theta^4,\quad \theta^4\to\theta^8,\quad \theta^8\to\theta^{16},$$

and continuing, because, for example katex is not defined and the square of katex is not defined is katex is not defined,

$$\theta^{16}\to\theta^{15},\quad \theta^{15}\to\theta^{13},\quad \theta^{13}\to\theta^9,\quad \theta^9\to \theta,$$

which gives only eight in all because we return to the initial point. If we had started with katex is not defined, which is missing from this list of eight, we would have

$$\begin{align} \theta\to\theta^3&\to\theta^9\to\theta^{10}\to \theta^{13}\to\theta^5\to \theta^{15}\to\theta^{11}\to\theta^{16}\nonumber \\ \tag{3.4} \\ &\to\theta^{14}\to\theta^8\to\theta^7\to\theta^4\to\theta^{12}\to\theta^2\to\theta^6\to\theta. \nonumber \end{align}$$

We return at the end to the initial point, generating on the way all katex is not defined possible roots. The group of symmetries has katex is not defined elements and is generated by a single one, that which replaces katex is not defined by katex is not defined.

We can construct from these diagrams, step by step, combinations of the roots that are less and less symmetric. A very symmetric combination is obtained by adding together all the roots. It is equal to katex is not defined. If we just add together every second root in (3.4), we obtain
$$\theta+\theta^9+\theta^{13}+\theta^{15}+\theta^{16}+\theta^8+\theta^4+\theta^2$$

or

$$\theta^3+\theta^{10}+\theta^{5}+\theta^{11}+\theta^{14}+\theta^7+\theta^{12}+\theta^6.$$

These numbers look very complicated but a patient calculation and appropriate use of the equation

$$X^{16}+X^{15}+\cdots +X^2+X+1=0$$

satisfied by katex is not defined establish that the first is equal to katex is not defined and the second to katex is not defined. We can continue with the combinations

$$\theta+\theta^{13}+\theta^{16}+\theta^4, \qquad \theta+\theta^{16}, \qquad \theta,$$

each in some sense one-half as symmetric as the previous one, with respect to which it satisfies a quadratic equation, arriving finally at the expression

$$\begin{align*} -\frac1{16}+\frac 1{16}\sqrt{17}+\frac 1{16} \sqrt{34-2\sqrt{17}}\hskip 1.25in{} +\frac18\sqrt{17+3\sqrt{17}-\sqrt{34-2\sqrt{17}}-2\sqrt{34+2\sqrt{17}}}, \end{align*}$$

for katex is not defined. It is complicated with three telescoping square roots. The number

$$\sin(2\pi/17)=\sqrt{1-\cos^2(2\pi/17)}$$

requires one more square root. Thus we need four in all, together with that for katex is not defined, to express katex is not defined. It is worthwhile to ask oneself how an eighteen-year-old might have felt on writing down these equations, the solution of a problem more than two thousand years old.

For reasons of convenience, Gauss wrote a thesis that contained neither this theorem nor any of the other major discoveries from which the modern theory of numbers developed. The central feature of the thesis is a proof of the fundamental theorem of algebra, which we have already encountered. I repeat, with a different emphasis, its enunciation, both in a modern form and in the form for which Gauss offered at the age of 20 a proof, sometimes considered as the first proof, although I think it is fairer to say that Gauss was, even though the initiator, just one of the architects of the proof or proofs, which ultimately rely on a very sophisticated understanding of the nature of a real number that was unavailable at the end of the eighteenth century. Gauss himself published over the course of several years four different proofs.⁵

The notion of a real number has an immediate intuitive basis in our notion of distance. So I take it as undefined, but in fact its formal mathematical definition demands considerable preliminary reflection. The real numbers available, a complex number is taken to be a formal object of the form katex is not defined, where katex is not defined and katex is not defined are arbitrary real numbers. Two equivalent statements of the fundamental theorem of algebra are that any polynomial with complex coefficients, the first being katex is not defined, factors as a product of linear polynomials

$$X^n+aX^{n-1}+\cdots +f X+g=(X-\alpha_1) (X-\alpha_2)\cdots (X-\alpha_n)$$

with complex numbers katex is not defined or that any polynomial with real coefficients factors as a product of linear factors and quadratic linear factors, all coefficients being real,

$$\begin{align*} X^n+aX^{n-1}+\cdots +f X+g=(X-\alpha_1)\cdots \hskip .5in (X-\alpha_k)(X^2-\beta_1 X+\gamma_1)\cdots (X^2-\beta_l X+\gamma_l), \end{align*}$$
katex is not defined. It is the second form that Gauss proved.

His first proof is of interest even today, simply as a mathematical proof taken by itself, regardless of the historical interest or scientific implications of the theorem. Moreover it is preceded by a review of the proofs, or attempts at proofs, by earlier authors. He points out their errors systematically. One observation I find curious. Apparently earlier authors, who are not named, were willing to accept the possibility that a polynomial like

$$X^n+aX^{n-1}+\cdots +fX+g=0$$

had fewer than katex is not defined complex roots, even if they were counted with the correct multiplicities.

They were unwilling to abandon the missing roots and proposed to introduce them—somewhat along the lines, I suppose, of katex is not defined—as impossible roots. Gauss found, for reasons I cannot understand, such a step inadmissible. We know today that if the fundamental theorem of algebra were false it would be possible, and certainly legitimate, to include within the formalism of mathematics a larger collection of “numbers” that permitted the desired factorization of polynomials. The fundamental theorem is true however. So this larger collection is unnecessary. No new numbers are necessary to account for the impossible roots.

What if the fundamental theorem had been false? Although he was, almost two hundred years before Gauss, in no position to express himself clearly, for Descartes the fundamental theorem of algebra is a fundamental theorem of geometry. The number of points at which two curves each of some fixed algebraic form, for example two conics, meet depends only on these forms. This is a consequence of the fundamental theorem of algebra. If the fundamental theorem of algebra were false, there would be the “true” Cartesian geometry, in which there were only complex numbers, but in which Descartes principle was false, and a formal, algebraic one, in which it was valid. The true one would be the one deduced from geometry and from our geometric notions based on the relation between number and distance; the formal one would be one in which the impossible numbers were granted legitimacy. However, Descartes principle,⁶ thus the fundamental theorem of algebra as the fundamental theorem of geometry, is intimately linked to the possibility of introducing topological invariants into geometry. We now know, thanks to an insight of André Weil in 1949 and to the very elaborate theory of algebraic geometry created by many, many practitioners over the nineteenth and twentieth centuries, that their introduction would have also been possible, at least to some extent, in the formal, algebraic theory alone, without reference to the concrete geometry informed by our intuitive notions of distance and number, but this would have been a difficult route to take. Fortunately it was not necessary. Pure mathematicians were permitted for a very long time to rely on their geometric intuition and still are. Some preparation is necessary before we can begin to appreciate the—strange and still mysterious—modern relation between algebra and geometry, much more abstruse than in Euclid.

Algebraic Numbers during the Nineteenth Century

Thanks to the influence not only of his study of cyclotomy but also of the many other varied, but all basic, early contributions of Gauss to the solution of outstanding unsolved problems of late eighteenth-century number theory, a general theory of algebraic numbers was created in the course of the nineteenth century, initially in order to search, in part successfully, for a proof of the famous theorem of Fermat, to the effect that for katex is not defined, there are no integral solutions to the equation

$$\begin{align} X^n+Y^n=Z^n, \qquad XYZ\ne 0. \tag{4.1} \end{align}$$

It was observed, in particular by the German mathematician E.E. Kummer, whose central concern it became, that the problem is related to a notion already appearing in connection with Theaetetus, that of prime and that of the unique decomposition of an arbitrary number into primes, thus katex is not defined. For example, when katex is not defined is a prime the possibility of unique factorization into primes in the domain of numbers

$$\begin{align} a_0+a_1\theta+\cdots +a_{n-2}\theta^{n-2}+a_{n-1}\theta^{n-1},\qquad\nonumber \theta=\cos\left(\frac{2\pi}{n}\right)+i\sin\left(\frac{2\pi}{n}\right), \tag{4.2} \end{align}$$

where the coefficients katex is not defined are taken to be rational, is the key to the impossibility of finding a solution to (4.1). It turns out, however, that for some katex is not defined this is possible, and for some katex is not defined it is not. This entailed complications and decades of effort by some very strong minds.⁷

The mathematical concept of ideal is now commonplace, but it was difficult to arrive at

Rather than continuing with cyclotomic domains, I describe a simple example taken from a presentation of the basic ideas of the theory of algebraic numbers by one of its creators, Richard Dedekind. To study the solution in integers or in rational numbers of an equation like (4.1), referred to for historical reasons as diophantine equations, it is usually imperative to enlarge the possibilities and to study it not only in domains given by algebraic numbers, like that given by the numbers (4.2), or, as a simpler example, by the numbers katex is not defined, katex is not defined rational, katex is not defined. For this one needs to be able to factor them into prime factors, more precisely, just as it is ordinary integers and not fractions that we customarily factor, it is best to consider the factorization of elements in the new domain that can be regarded as analogues of ordinary integers. The appropriate definition is subtle but, in the present case, the result is simple. A number of the form katex is not defined, katex is not defined rational, is to be regarded as integral if katex is not defined and katex is not defined are integers. These factors have now often to be ideal prime factors, but the factorization has still to be unique. Let 𝜊 be the collection of integral elements katex is not defined.

Dedekind considers the question of whether there are primes in this domain and whether every number can be factored in an essentially unique way into a product of primes. As we shall see it cannot. To deal with the consequent difficulties, in particular, to undertake the investigation of Fermat’s theorem along the lines proposed by Kummer, it is necessary to introduce the notion of ideal primes and, to some extent as a terminological convenience, ideal numbers. In spite of the name, usually abbreviated to ideal in the singular and ideals in the plural, these are objects that exist within the accepted mathematical formalism and that are of great use not only in number theory but in other domains as well, in particular in geometry. They are not, however, numbers! The mathematical concept of ideal is now commonplace, but it was difficult to arrive at.

Notice that katex is not defined is a number of the same form. Thus we can, indeed, take products of these numbers. We introduce, as an aid to our reflections the norm of these numbers, katex is not defined, katex is not defined, noting that katex is not defined when katex is not defined and that katex is not defined only for katex is not defined. Just as for ordinary integers, an element katex is not defined of 𝜊 may or may not be decomposable as a product katex is not defined. Such a decomposition is interesting only if neither katex is not defined nor katex is not defined is katex is not defined. At first glance it is tempting to take a number to be prime if it is not decomposable.

Dedekind considers, with this in mind, the following numbers katex is not defined, katex is not defined, katex is not defined, and

$$\begin{align*} b_1&=-2+\theta, & b_2&=-2-\theta; & c_1&=2+3\theta, &\!\!\! c_2&=2-3\theta; \\ d_1&=1+\theta, & d_2&=1-\theta; & e_1&=3+\theta, &\!\!\! e_2&=3-\theta; \\ f_1&=-1+2\theta, & f_2&=-1-2\theta; & g_1&=4+\theta, &\!\!\! g_2&=4-\theta. \end{align*}$$

For these numbers we have katex is not defined, katex is not defined, katex is not defined, and for the norms of the others

$$\begin{array}{llll} 9,&9,&49,&49; \\ 6,&6,&14,&14; \\ 21,&21,&21,&21. \end{array}$$

If any of these numbers factored as a product katex is not defined, with neither katex is not defined nor katex is not defined equal to katex is not defined, then necessarily katex is not defined and katex is not defined, and thus necessarily both of these numbers are equal to one of katex is not defined. These three numbers are clearly not representable as katex is not defined, with katex is not defined and katex is not defined integral. So we have several, namely katex is not defined, indecomposable numbers available, and as the following table indicates, we can find products among them that are equal. So unique factorization is out of the question.

$$\begin{array}{crl} ab=d_1d_2, & b^2=b_1b_2, & ab_1=d_1^2, \\ ac=e_1e_2, & c^2=c_1c_2, & ac_1=e_1^2, \\ bc=f_1f_2=g_1g_2, & af_1=d_1e_1, &ag_1=d_1e_2. \end{array}$$

Dedekind observes, indeed it is evident, that all these equalities are compatible with the existence of factorizations,

$$a=\alpha^2, \qquad b=\beta_1\beta_2, \qquad c=\gamma_1\gamma_2;$$

and

$$\begin{array}{llll} b_1=\beta_1^2,\quad &b_2=\beta_2^2;\quad & c_1=\gamma_1^2, \quad &c_2=\gamma_2^2;\\ d_1=\alpha\beta_1,\quad &d_2=\alpha\beta_2;\quad & e_1=\alpha\gamma_1, \quad &c_2=\alpha\gamma_2; \\ f_1=\beta_1\gamma_1,\quad &f_2=\beta_2\gamma_2;\quad & g_1=\beta_1\gamma_2, \quad &c_2=\beta_2\gamma_1; \end{array}$$

and then continues to show the existence of ideals (ideal numbers) that yield these identities, but the search for the correct concepts preoccupied Dedekind—and Kronecker—for a lifetime. Although over time, various mathematicians have expressed a preference for Kronecker’s treatment, it appears to me that Dedekind’s resolution of the problem—in which an ideal number is a set in the modern mathematical sense—has prevailed. In the basic theory of algebraic numbers established in the last decades of the nineteenth century, entirely new problems were posed and a new theory proposed, now referred to as class field theory, with decisive suggestions from Kronecker, Weber, and Hilbert, and then solved in the early decades of the twentieth century by Fürtwangler, Takagi and Artin. These were all outstanding mathematicians, but it is probably the name of David Hilbert and his intimate involvement with the theory that offers to non-mathematicians, or even to mathematicians with no special knowledge of algebraic numbers, the most credible guarantee of its interest. The subject was, nevertheless, largely neglected in the early post-war years, partly because it had been sustained principally by German mathematicians and the mathematical strength of Germany did not survive the war, partly because of internal exhaustion. It is instructive to recall the words of Emil Artin, who had emigrated to the USA and who was not only a major contributor to the subject in the 1920s but also, I should think, the mathematician principally responsible for introducing the subject to the new world, to the Princeton Bicentennial Conference on Problems of Mathematics, a gathering of very many, very distinguished mathematicians in 1946. After recalling a theorem of Richard Brauer and stating that it represents a decisive step in the “generalization of class field theory to the non-Abelian case, which is commonly regarded as one of the most diffcult and important problems in modern algebra”, the report of the conference cites Artin, one of the participants, as observing, “My own belief is that we know it already, though no one will believe me—that whatever can be said about non-Abelian class field theory follows from what we know now, since it depends on the behaviour of the broad field over the intermediate fields—and there are sufficiently many Abelian cases.”

In the next few lines, I shall describe the Abelian theory but only very briefly before turning to other domains, less abstruse and known to broader classes of mathematicians and scientists, where the influence of the theory of algebraic numbers has been decisive, but often forgotten, and which have had an essential influence on the beginnings of theories that are expected to contain the sought for non-Abelian theory. It is still premature, however, to attempt to assess the prophetic significance—or lack of it—in Artin’s words. The immediate lesson is the importance or, better, the value in the search for theorems of some profundity or for the theories in which they are implicit of escaping the confines of any particular speciality.

At this point, the reader has perhaps enough experience to appreciate more precisely of what Galois’s ideas consisted. We have introduced domains of numbers, technically referred to as fields, that are obtained by taking some fixed algebraic number katex is not defined, a root of an equation of the form (1.1) with rational coefficients katex is not defined. It will then satisfy a unique such equation of lowest degree, say katex is not defined and the fields are then the collection of numbers of the form katex is not defined. As we have observed, the sum or difference of two numbers with such a representation again has one, as does the product, and the quotient provided the denominator is not katex is not defined. It is very advantageous to assign this domain, which is a collection or set of numbers a label, say katex is not defined or katex is not defined. The first is contained in the second, katex is not defined, if every element of the first is also an element of the second. A simple example of this is to take katex is not defined to be the collection of numbers katex is not defined, katex is not defined, katex is not defined and katex is not defined rational and katex is not defined to be the numbers katex is not defined, where

$$\theta=\cos\pi/4+i\sin \pi/4=1/\sqrt{2}+i/\sqrt{2}.$$

The object of Galois theory is such pairs katex is not defined. There is one kind of pair that is especially important in the context of that theory. katex is not defined is called a Galois extension of katex is not defined if when katex is not defined contains katex is not defined and the element katex is not defined is such that every equation of the form (1.1) with coefficients katex is not defined from katex is not defined that has katex is not defined as a root also has katex is not defined as a root, then katex is not defined also contains katex is not defined. For example, if katex is not defined is the field of rational numbers and katex is not defined is the field of numbers katex is not defined, katex is not defined that plays a central role in the study of the heptadecagon then katex is not defined is a Galois extension. katex is not defined is also a Galois extension of the field katex is not defined formed from the numbers katex is not defined, katex is not defined and katex is not defined rational. This we discovered implicitly when examining Gauss’s construction of the heptadecagon. The number katex is not defined is in general called a conjugate of katex is not defined over katex is not defined.

Whatever beauty the symmetries expressed by these correspondences have, it is not visual

The basic affrmations of Galois theory as created by Galois are that if katex is not defined is a Galois extension then we can find an element katex is not defined of katex is not defined and an integer katex is not defined such that, first of all, every element of katex is not defined can be written uniquely as a sum katex is not defined, secondly that katex is not defined has exactly katex is not defined conjugates katex is not defined, including itself; thirdly that for each of these conjugates katex is not defined the correspondence

$$\begin{align*} \phi: a_0+a_1\eta+a_2\eta^2+\cdots +a_{n-1}\eta^{n-1} \longrightarrow a_0+a_1\mu+a_2\mu^2+\cdots +a_{n-1}\mu^{n-1} \end{align*}$$

preserves all algebraic relations. These correspondences can be composed and form what is called a group, the Galois group. What cannot be sufficiently emphasized in a conference on aesthetics and in a lecture on mathematics and beauty is that whatever beauty the symmetries expressed by these correspondences have, it is not visual. The examples described in the context of cyclotomy will have revealed this.

Galois theory became, together with the theory of ideals, a central guiding feature of the study of algebraic numbers in the nineteenth century and continues to inform a great deal of number theory, especially the theory of diophantine equations.

The Galois groups encountered in the theory of cyclotomy are, as we have seen in the examination of specific cases although without explicitly drawing attention to it, rather special. They are abelian, in the sense that when we compose any two of the correspondences to obtain a third, the order in which the correspondences are applied does not matter. A decisive observation of Leopold Kronecker was that, when katex is not defined is the field of rational numbers itself, abelian Galois groups appear only for cyclotomic fields katex is not defined and for fields katex is not defined lying within them, thus only for those fields that arise in the study of regular polygons. The problem then was posed in various forms, which became increasingly precise, whether it would be possible over any field katex is not defined of algebraic numbers to describe all the abelian Galois extensions. Although I have no intention of presenting it in detail here, this description was achieved and in connection with an apparently unrelated phenomenon, the decomposition of primes in katex is not defined in a larger field katex is not defined, but only for katex is not defined Galois with an abelian Galois group. This is a problem to which over the course of the nineteenth century Gauss, Dirichlet, Dedekind and Frobenius had contributed.

We can already see the phenomenon in Dedekind’s example, for which the field katex is not defined is the field of rational numbers and katex is not defined the field of numbers katex is not defined with katex is not defined and katex is not defined rational, a field that arises in connection with the construction of a regular polygon with katex is not defined sides and that is closely related to the field containing the numbers (3.1). Continuing the calculations of Dedekind, we could ask ourselves what ideals in katex is not defined, thus what prime numbers katex is not defined are the products of two prime ideals in katex is not defined in the sense for which this is true for katex is not defined and katex is not defined in Dedekind’s explanatory calculations and which, like katex is not defined, remain prime, in the sense that such factorizations are not possible. It turns out that, apart from katex is not defined and katex is not defined which are exceptional, the distinction is determined by the remainder left on division by katex is not defined. If it is katex is not defined or katex is not defined such a factorization is possible; if it is katex is not defined or katex is not defined it is not. The core of class field theory and the key to Kronecker’s discovery, striking in its time and striking today, is that these two phenomena are intimately related.

Can the revelation of these arcane properties of numbers, their factorizations, in what-ever sense, and their relation to the structure—abelian or non-abelian—of a group with no apparent visual appeal in any sense be considered beautiful? Of what value is it? It certainly lacks the immediate appeal of elementary geometry and arithmetic or indeed of simple algebra, which can fascinate even a child; it is also a far cry from the sharpening of our sensuous pleasure in fluid flow or other kinds of movement offered by its description in terms of differential equations and their solutions. On the other hand, these matters are less recondite than they at first seem and remain reasonably close to their origins in the reflections of eighteenth century mathematicians like Euler, Legendre and Gauss on more immediate properties of the integers, and are certainly essential for the understanding of Fermat’s theorem, for a long time the favourite puzzle of amateur mathematicians and of many professionals. Class field theory and related matters have become the stock in trade of a very large number of professional mathematicians, so that the question of its value is an existential question, best avoided.

Notes

1. The mathematician Theaetetus is famous for his understanding that the square roots of numbers like katex is not defined, katex is not defined and katex is not defined are irrational, but this, although briefly mentioned at the beginning of the lengthy epistemological dialogue, is not particularly relevant to its discussion of the nature of knowledge. Presumably Plato chose a well-known mathematician as Socrates’s interlocutor and mentioned his principal accomplishment in part for a reason not so dissimilar to one of mine for introducing a Platonic dialogue: to provide a little colour!

   These lines were in the text prepared in connection with the lecture at Notre Dame even before I came to the conference, although I did not reach them in the talk itself. At Notre Dame, I had a brief conversation with Kenneth Sayre, from whom I learned that the introduction of Theaetetus not only into the dialogue that bears his name but into the next dialogue, the Sophist, had more serious literary purposes than I, in my innocence and ignorance, had imagined. These are clarified in his book Plato’s Literary Garden.

   It would be presumptous for me to comment on the force of Plato’s use of quadratic surds as epistemological metaphors. I do not have the experience to say with any confidence that I have an inkling of how they might have been understood by Plato; nor do I have the courage to pursue the metaphor in a modern context, although that would not be ridiculous, for the study of quadratic and higher surds continues to be of fundamental importance for the theory—class field theory, that occupies a central position in Diagram A—and in pure mathematics. One of the first appearances of quadratic surds in a novel, modern way is in Gauss’s theory of binary quadratic forms, which was followed a hundred years later by a similar theory for higher surds that, according to the once very familiar, but now little read although still important, 1925 report of Helmut Hasse den Kernpunkt des ganzen Gedankenganges (of class field theory) bildet. There are, I believe, in this connection still critical issues to be resolved. I shall return to them in a later section.

2. Galois died in 1832 at the age of twenty-one in what is often considered to be a duel with a ruffian but looks very much to me as though it could have been an assassination by agents of Louis-Philippe. So far as I know the circumstances of his death have never been examined critically by any one familiar with the methods of the secret police in the July Monarchy or with the government’s stand with regard to uncompromising revolutionary elements.These lines, too, were in the text before I came to the conference, although, again, I did not reach them in the talk itself. During the course of the conference, Mario Livio drew my attention to his book The Equation That Couldn’t Be Solved, to the wealth of biographical material, new and old, on Galois that it contains, and to his own reflections on the material and its import. Even without the appeal of Galois’s reputation as a mathematician, it would be instructive, I believe, to have the comments on his political activities and his death of someone thoroughly familiar with social conditions in France at the time of the July revolution and with a detailed understanding of internal security under Louis-Philippe.
3. Those familiar with the square root katex is not defined of katex is not defined and its role in complex analysis are perhaps accustomed to distinguishing between katex is not defined and katex is not defined, because in the customary geometric representation, katex is not defined is above the axis of real numbers and katex is not defined below it. This is an illusory distinction, although mnemonically of great convenience in geometric arguments.
4. The Duchy was very small. It is fascinating, but no doubt idle, to reflect on the extent to which Gauss’s native ability was favored by fortuitous circumstances. He was remarkably fortunate, for he drew himself in the Duchy’s schools not only to the attention of his teacher, J.G. Büttner, but also to that of his assistant, Martin Bartels, only eight years older than Gauss himself. It is not clear how much he may have learned from Bartels, but in such circumstances a little goes a long way and the early acquaintance with Bartels, who went on to a distinguished career as professor of mathematics in Reichenau, Dorpat and Kazan, was likely to have been decisive in Gauss’s intellectual development. Both G.W. Dunnington, the author of Gauss, Titan of Science (1954) and W.K. Bühler, the author of Gauss, A Biographical Study (1981), perhaps the two best known Gauss biographies, seem to me singularly insensitive to the value to an adolescent of even a very brief introduction to intellectual possibilities, let alone that of sustained intercourse over a period of years. I am also taken aback by Bühler’s suggestion that someone of Gauss’s mathematical distinction might have difficulty learning Latin or Greek. It is instructive to compare Gauss’s early career with that of his near contemporary, the geographer Karl Friedrich von Klöden, born in 1786 in Berlin, who describes his own genuinely impoverished childhood and early career in his once fairly widely read Jugenderinnerungen, but this is a matter of social history.

   In descriptions of Gauss’s achievement, his excellent early education and his early introduction to serious mathematics by highly competent teachers is obscured, in hopes, perhaps, of dazzling innocent readers. Gauss himself, with the occasional convenient reticence, may—or may not—have been complicit in the deception, but not in any very troubling way. Unfortunately, an exaggerated emphasis on his prodigiousness rather than on his education, industry, and good fortune deprives his early biography of a number of its important lessons.

5. Three of the proofs were published in Latin, the fourth in German.² Thanks to the kindness of Ahmet Feyzioǧlu, who presented me with a recently published collection, “Cebirin Temel Teoremi için dört İspat”, of translations by Gülnihal Yücel, I had also the pleasure of reading the first proof, the one that concerns me here, as well as Gauss’s comments on the attempts of his predecessors in an elegant contemporary Turkish. The refusal of the vernacular not only by mathematicians in countries to which modern mathematics came late but also by those in countries like France, Germany, Russia in which it was once vigorous and in which the older, vernacular mathematical literature is still extremely important has cost mathematics and mathematicians more than they have gained and more than they imagine—even if it is just the leisure to reflect undisturbed on our own ideas. So it is a joy to see even modest efforts to counter it.
6. I am very likely reading more into Descartes’s explanations than is present there. I have made no effort to discover what precisely he could have had in mind with the notion of degree of a curve when writing the supplement on geometry that is attached to the Discours. In some sense, but I suppose it has to be a very weak sense, he anticipates the theorem of Bézout, first formulated by the French mathematician Étienne Bézout in the eighteenth century. It affirms that the intersection of two plane curves defined respectively by an equation of degree katex is not defined and one of degree katex is not defined has in general katex is not defined points. Bézout was the author of textbooks on algebra used in French lycées of the period. He has also acquired an extremely modest extra-mathematical notoriety. The novelist Stendhal, who as Henri Beyle began his career as a student of mathematics, flaunts in his memoirs his knowledge—not substantial—of mathematics and, in particular, is given to mocking Bézout.
7. Whether the effort was worthwhile is a fair question, especially for those concerned not with mathematics as such but the beauty of mathematics. Does mathematical beauty or pleasure require such an accumulation of concepts and detail? Does music? Does architecture? Does literature? The answer is certainly “no” in all cases. On the other hand, the answer to the question whether mathematical beauty or pleasure admits such an accumulation and whether the beauty achieved is then of a different nature is, in my view, “yes”. This response is open to dispute, as it would be for the other domains. My purpose here is to make the case for a mathematical beauty that transcends neither the simple mathematical pleasures of arithmetic and geometry nor the fascination of difficult problems but that integrates them with the quite different intellectual pleasure of creating order from seeming chaos, even in an inconsequential—but not for me—realm. One man’s order is sometimes another’s chaos. So I do not expect everyone to be persuaded. I myself am haunted by Rudyard Kipling’s familiar conundrum,

   And each man hears as the twilight nears, to the beat of his dying heart,
   The Devil drum on the darkened pane: “You did it, but was it Art?”

Footnotes

1. Equation (1.1) is: katex is not defined
2. All are available in German, online at http://www.archive.org/details/dieviergausssche00gausuoft