2. LINEAR DISJOINTNESS AND SEPARABILITY 323
1.5 shows that f(x) = d-I(t v;x') with 0 � dE K[s1, ... , sr], Vi = hi(St, ..• , Sr)
1.=1
m
and hi E K[x�, •. 0 , Xr]-Thus h = L hi(Xt, ... 'Xr)x;+l E K[x�, . 0 • ' Xr+I] and
i=O
Ji(s1, 0 . 0 , snsr+t) = 0. It follows that there exists a polynomial g e K[x., ... , Xr+I] of
least positive degree such that g(st, ... , sr+t) = 0. Clearly g is irreducible in
Klx�, ... , xr+t]. Recall that xi is said to occur in g(x,, ... , x71) if some nonzero term
of g contains a factor xi
m
with m > 1.
We claim that some Xi occurs in g with an exponent that is not divisible by p.
Otherwise g = c0 + cimt(Xt, ... , Xr+I)P + · · · + ckmk(x�, . 0 • , Xr+t)
P
, where c1 E K,
the ci are not all zero, and each mi(x1, ... , Xr+I) is a monomial in Xt, 0 .. , Xr+I· Let
mo(Xt, .. 0, Xr+I) = 1 K and for each j > 0 choose die K111' such that d1P = ci. Then
( k
)p
g = l: d1mi(x�, ... , Xr+I) and g(s., . 0 0 , Sr+t) = 0 imply that
J=O
k
L dim ;(st, .. o , Sr+I) = 0,
i=O
whence the subset { mi(s., 0 .. , sr+I) I j > 0} ofF is linearly dependent over K
11P. But
{mj(s�, 0 0 • , sr+t) I j > 0} is necessarily linearly independent over K (otherwise there
would exist a g. E K[xt, ... , Xr+t] with deg g, < deg g and gt(St, .•. , sr+t) = 0). This
fact contradicts the linear disjointness of F and K11P. Therefore some Xi, say x1,
occurs in g with an exponent that is not divisible by p.
The polynomial g(x,s2, ... , sr+t) E K(s2, ••• , sr+I)[x] is necessarily nonzero.
Otherwise, since Xt occurs in g(x�, . 0 • , Xr+1) by the previous paragraph, we could
obtain a polynomial K2 E K[x�, ... , x r+I] such that 0 < deg g2 < deg g and
g-i_s1,s2, ... , sr+t) = 00 Such a g2 would contradict the choice of g. Therefore,
g(x ,s2, 0 0 . , Sr+t) � 0. Since g(s�,s2, ... , Sr+I) = 0, St is algebraic over K(s2, .. 0 , Sr+J).
But s2, 0 •• , Sr+I are obviously algebraic over K(s2, .•. , sr+I) and E is algebraic over
K(s�, .• . , s,+t). By Theorems V.l.l2 and V.1.13 E is algebraic over K(s2, . 0 • , sr+t).
Since tr.d.E/ K = r, { Sz, ... , sr+l l is a transcendence base of E over K (Corollary 107).
The proof of Theorem 102 shows that the assignment Xi� Si determines a K-iso
morphism cp : K[x'2, 0 0 • , Xr+d ,_.._, K[s2, ••• , sr+J]o Clearly cJ> extends to a K-isomor
phisnl K[x�,x2, o • • , Xr+d = K[x2., 0 0 0 , Xr+tHxd r->-1 K[s2, 0 •• , Sr+l][x] such that Xt h x
and g(x�, ... , Xr+t) � g(x ,s2, ... , sr+l ). Since cp is an isomorphism, g(x ,s2, 0 o • , sr+t)
must be irreducible in K[s2,
.. 0 , sr+t][x)o Consequently g(x ,s2, ... , sr+t) is primitive
in K[s2, 0 0 • , sr+ tHx] and hence irreducible in K(s2, 0 •• , sr+1)[x] by Lemma 111.6.13
and Theorem II1.6.140 Since cp is an isomorphism x must occur in g(x,s2., ... , sr+I)
with an exponent not divisible by po Thus the derivative of g(x,s2, 0 0 • , sr-t 1) is non
zero (Exercise 111.6.3), whence g(x ,s'.!, ... , sr+t) is separable by Theorem 111.6010.
Therefore St is separable algebraic over K(s2, .•• , sr+1) and hence over K(s2, ... , sn).
In particular, E = K(s,, ... , s71) is separable algebraic over K(s'l., ... , sn) by
Lemma V06°6° Thus if l s'l.,. 0 0 , sn} is a transcendence base of E ovet K, then E is
separably generated over K. If not, then { .s2, .•• , sn} contains a transcendence base
(Corollary 1.7), which we may assume (after reindexing if necessary) to be
{ s2, .. 0 , sr+t}. A repetition of the preceding argument (with si + 1 in place of Si for
i = 1 ,2, ... , r + 1 and possibly more reindexing) shows that s2 (and hence
K(s2, .•. , sn)) is separable algebraic over K(s3, ... , S71)o Hence E is separable
algebraic over K(sa,. 0 • , sn) by Corollary V.6.8. Continuing this process we must
eventually find s., 0 0 . , St such that E is separable algebraic over K(st+I, ... , sn)