
A Restrictive Assumption
Let F be a field. F its algebraic closure, f F[X] a monic, nonconstant polynomial. In F[X], we may factor f into linear factors:
Suppose that m of the _{i} are distinct. Let us renumber _{1},...,_{n} so that _{1},...,_{m} are all different. Then
f = (X  _{i}) ^{vi}, v _{i} > 1.
The positive integer v_{i} is called the multiplicity of the zero _{i}. If v_{i} = 1, then _{i} is called a simple zero of f; if v_{i} > 1, then _{i} is called a multiple zero of f. A multiplicity > 1 is called a multiple zero.
An irreducible polynomial f F[X] can have multiple zeros. For example, let F = Z_{2}(Y), where Y is transcendental over Z_{2}, and let f = X^{2}  Y F[X]. Then f is irreducible in F[X]. Otherwise, f factors into linear factors in F[X] and there exists Z F such that Z^{2} = Y. But Z is the quotient of two polynomials in Y, so that we get an algebraic equation for Y over Z_{2}, a contradiction to the fact that Y is transcendental over Z_{2}. Thus, f is irreducible in F[X]. In F[X],
f = (X  )(X + ),
where denotes a fixed square root of Y in F. But 1 + 1 = 0 in F, so that
(1 + 1) = 0
Thus,
f = (X  ) ^{2}
and is a multiple zero of f.
In order to avoid this and other pathologies, let us restrict our fields somewhat. Henceforth, unless explicit mention to the contrary is made, we will assume that all fields are extensions of Q. For example. we rule out Z_{2}(Y) since if F is an extension of Q, 1 + 1 0 in F. It is possible to develop field theory somewhat more generally than we will attempt to do here. So we will develop a somewhat specialized Galois theory, for extensions of Q. In the remainder of this section, let us show what this restriction does for us. First we will prove that the phenomenon exhibited above cannot occur.
Theorem 1: Let f F[X] be irreducible and of degree > 1. Then all zeros of f in F are simple.
Before proving Theorem 1, let us introduce a few tools. Let n N, a F. In the chapter on rings we defined n · a or the scalar product as follows:
n · a = 0 if n = 0,
= if n > 0.
If h = a_{0} + a_{1}X + ... + a_{r}X^{r} F[X], let us define the formal derivative Dh of h by
Dh = 1 · a_{1} + 2 · a_{2}X + ... + r · a_{r}X^{r1}.
Then Dh F[X]. It is trivial to verify the following properties of the formal derivative:
(1)
D(ag + bh) = aDg + bDh (a,b F; g,h F[X]),
(2)
D(gh) = hDg + gDh (g,h F[X]),
(3)
D(x  a) ^{v} = v(x  a) ^{v1} (a F, v >1).
(4)
If deg( f ) = n, then deg(D f ) = n  1 (n > 1, f F[X]).
Lemma 2: Suppose that f has a multiple zero. Then f and Df have a nonconstant factor in F[X].
Proof: If is a multiple zero of f, then f = (x  )^{v}g, g F[X], v > 1. By (1)(3), we have,
D f = v(X  ) ^{v1}g + (X  ) ^{v}g.
But since v > 1, is a zero of Df. If f and Df have no nonconstant common factor in F[X], then there exist , F[X] such that 1 = f + Df. Therefore, if we replace X by in this last equation, we get 1 = 0, which is a contradiction. Thus, (f,Df) 1.
Proof of Theorem 1: Without loss of generality, assume that f is monic and assume that f has a multiple zero. Then deg(f ) > 2, and if deg(f ) = n, then deg(Df ) = n  1 > 1. Moreover, by Lemma 2, (f,Df )1, so that f and Df have a nontrivial factor in common. Since f is irreducible, this implies that Df is divisible by f. But this is impossible since 1 < deg(Df ) < deg(f ).
The next result is another extremely useful consequence of our restrictive assumption.
Theorem 3 (Primitive Element Theorem): Let E = F(,) be an algebraic extension of F. Then there exists E such that E = F(). Thus, E is a simple extension of F.
Proof: Let F be the algebraic closure of F and let f = Irr_{F}(,X), g = Irr_{F}(,X). Then in F, we have
f = (X  _{1})...(X  _{n}), _{i} F, _{1} = ,
g = (X  _{1})...(X  _{m}), _{j} F, _{1} = .
Consider the following set of elements of F:
(5)
(1 < i < n, 2 < j < m).
This set is finite and, since F Q, we can choose t F distinct from all the elements of (5). We will prove that E = F() with = + t E, it is clear that E F(). Let us prove the reverse inclusion. Consider the polynomial
Then h() = f(  t) = f() = 0. Therefore, in F[X], h(X) is divisible by X  _{1}. If h(X) is divisible by X  _{j} for some j > 1, then h(_{j}) = 0, which implies that f(  t_{j}) = 0. Therefore,  t_{j} is a zero of f, and thus = t_{j} = _{i} for some i. But since _{1} + t_{1}, this implies that
t = ,
which contradicts the choice of t. Thus h(X) is divisible by X  _{1}, but not by X  _{j} for j > 1. Therefore, in F[X], the g.c.d. of h(X) and g(X) is X  _{1}, and consequently, in F()[X],, the g.c.d. of h(X) and g(X) is either 1 or X  _{1}. If it were 1, then there exists a(X), b(X) F()[X] such that a(X)h(X) + b(X)g(X) = 1. Setting X = _{1}, we then get 0 = 1, a contradiction. Therefore, the g.c.d of h(X) and g(X) in F()[X] is X  _{1}. In particular, _{1} F(). But then = _{1}t = F(), so that F(,) F(). This completes the proof of the theorem.
Corollary 4: Let F(_{1},_{2},...,_{n}) be an algebraic extension of F. Then there exists F(_{1},...,_{n}) such that F(_{1},...,_{n}) = F().
Proof: Induction on n.
