This is a continuation of an earlier post, which is aimed at explaining what symmetries of numbers are to an elementary audience. The only prerequisite to understanding is a willingness to learn. I’ll begin by summarising the material discussed last time.
Our discussion began by trying to formalize everyone’s natural and intuitive understanding of geometric symmetry. To do this we considered geometric objects living inside of another space, like a plane or three-space. To be concrete, let’s say we’re working in the plane. Then the symmetries of the plane are just the distance preserving maps from the plane to itself. That is, a symmetry is a rule which transforms every point in the plane to another point. This rule must satisfy the property that if two points are at distance from one another before being transformed, then they must also lie at distance from one another after the transformation takes place. For instance, rotation of the plane about a point is distance preserving. Now, given an object living in the plane, say a square, then a symmetry of the square is nothing but a symmetry of the plane which preserves the square. For instance, rotating the plane by degrees about the center of the square gives a symmetry of the square.
After this we described the arithmetic object which plays the role of the plane in what follows. We recalled the notion of a complex number (remember that the set of all complex numbers is denoted ), and defined an algebraic number to be a complex number which is a root of a polynomial with rational numbers as coefficients. For instance is a root of the polynomial , which has rational coefficients, so that is an example of an algebraic number. We denoted the set of all algebraic numbers , although one usually writes this set as (read it as Q-bar). That brings us to the end of the previous post.
Our analogy with the plane above has hopefully made it clear that our next goal is to define symmetries as certain transformations . Just as geometric symmetries preserve geometric properties, ours should preserve arithmetic properties. So before we can touch the question of symmetry, we must first examine what arithmetic structure is possessed by the set of algebraic numbers. Unfortunately I don’t know of any way to prove some of these facts in a completely elementary way, so instead I’ll state some facts and try to illustrate by example. The important points are that algebraic numbers can be added, subtracted, multiplied and divided (as long as the denominator is nonzero). Now, algebraic numbers are complex numbers, and all complex numbers can be added, etc. However, it’s not clear that the sum, product, etc, is not just complex, but is in fact itself algebraic. In other words, if you take two algebraic numbers and add them, it’s not immediately clear that this sum can be expressed as a root of a polynomial with integer coefficients. It turns out to be the case, though, and similarly for subtraction, multiplication and division.
Here’s are some examples. Both and are algebraic numbers, being the roots of and , respectively. Now of course is a root of the polynomial . So in this case the product of these two algebraic numbers is again algebraic. The quotient is also algebraic: is a root of the polynomial . The most “difficult” part is to show that is algebraic. You can check for yourself that it’s a root of . I suggest trying to compute a polynomial with integer coefficients which has as a root. You can proceed by considering a polynomial of degree of the form , where are variables. Then plug in and try to solve for the variables.
Ok, so algebraic numbers can be added, subtracted, etc. We also noted last time that every rational numbers is algebraic. Of these, two play a particularly central role. These are the numbers and . They are special since they are additive and multiplicative identities, respectively. This just means that added to anything does not change it, and also multiplying by does not change things. These are the arithmetic structures that we’ll want our symmetries to preserve.
Let’s be a bit more formal and give a precise definition. A symmetry of the algebraic numbers is a map which satisfies the following properties:
- It preserves zero: .
- It preserves one: .
- It preserves addition: for all algebraic numbers and .
- It preserves multiplication: for all algebraic numbers and .
It’s a formal consequence of these few properties that a symmetry of also preserves subtraction and division. Recall that the symmetries of an object in the plane are those symmetries of the entire plane which preserve the object as well. If is an algebraic number, then in analogy we define the symmetries of to be all those symmetries of which fix . That is, a symmetry of is a map of the ambient space (analogy: map of the plane) preserving all the arithmetic structures discussed above (analogy: distance preserving), and with the added feature that (analogy: it fixes the object in the plane which is under consideration).
I want to end by showing that if is a symmetry of the ambient space, then it fixes every rational number. We’ll start by showing that must fix every positive integer. If is a positive integer, then we can write for some numbers of ones. Then since preserves addition and one, we deduce that
So fixes every positive integer . To see that fixes every negative integer as well, we have to use the fact that respects subtraction. To see that fixes every rational number, let be rational and write for two integers and . Then since respects division we get
This shows that fixes every rational number (although it need not fix every algebraic number). So every symmetry of the ambient space is a symmetry of each rational number. You can thus think of them as symmetries of the rational numbers. The collection of all such symmetries is denoted and called the absolute Galois group of the rational numbers. It is one of the most mysterious and beautiful objects in mathematics.
That’s it for now, but expect one more post on this topic. I’ve sort of left you hanging with a definition of arithmetic symmetry, but I haven’t at all given any indication about its importance. In the next post on this subject I’ll try and explain just why mathematicians care about the absolute Galois group of the rationals, and hence why anyone would care that numbers have symmetries. It’ll take me some time to think about the best way to communicate some of the cool facts about in the most elementary way possible, so expect another pause before I write on this topic again.