GALOIS THEORY 101
theorem” that we alluded to above. See chapter 14 for more on this
Why Is G a Group?
Finally, we need to check that the permutations in G form a
group. That is, if g and h are in G, so that they permute the
algebraic numbers Q
, then we must check that their composition
as permutations, g ◦ h, also permutes Q
and satisﬁes the “rules of
the club” (8.3)–(8.6) on page 95. This is not hard to do. We also must
check that if g is in G, then its inverse permutation g
by the rules of the club—which is also not hard to do. Easiest of all,
we must check that the identity permutation e abides by these four
rules. In other words, if g and h are in G,soareg ◦ h, g
, and e.So
G is a group. (The associative property of the group law still holds,
because composition of permutations is always associative.)
We have covered an immense amount of ground in this chapter
in order to describe the Galois group, or symmetry group, of the
algebraic numbers. This is the key object we will be using as the
source of the representations we want to discuss later. Since it is so
key, here is a summary:
is the set of all complex numbers that can appear as
roots of Z-polynomials.
2. The Galois group G is the set of all permutations of Q
that preserve the operations of addition and multiplication.
3. If g is any element of G and f (x)isanyZ-polynomial, then
as g acts as a permutation of Q
, it permutes the roots of
f (x). It never maps some root of f (x) to a nonroot of f (x).
4. G has inﬁnitely many elements.