Fulton 1.2
Posted on November 15, 20171.8.* Show that the algebraic subsets of are just the finite subsets, together with
itself.
Suppose for some
If
then
Otherwise let
Note
Since
has finitely many roots,
is finite. Thus
is finite.
Conversely, by (4) any finite subset of is algebraic.
1.9. If is a finite field, show that every subset of
is algebraic.
Since is finite,
is finite. Thus every subset of
is finite and therefore algebraic by (4).
1.10. Give an example of a countable collection of algebraic sets whose union is not algebraic.
Let
We claim
is not algebraic in
Suppose is algebraic. Then
for some
Observe
Thus
is infinite, a contradiction.
1.11. Show that the following are algebraic sets:
(a) ;
Observe
(b) ;
It is easy to check
(c) the set of points in whose polar coordinates
satisfy the equation
It is can be verified that this is the set
1.12. Suppose is an affine plane curve, and
is a line in
Suppose
a polynomial of degree
Show that
is a finite set of no more than
points.
Suppose where
and at least one of
or
is nonzero. Without loss of generality, suppose
Then
where
and
If then
Thus if
then
Observe
with degree
Thus
has at most
roots and
contains at most
points.
1.13. Show that each of the following sets is not algebraic:
(a) ;
Suppose
Clearly
so
Let
Then
But
is infinite. Thus
is infinite, a contradiction to Problem 1.12.
(b) ;
Suppose
Clearly
Let
Observe
an infinite set. Thus
is infinite, a contradiction to Problem 1.12.
(c)
Suppose
Clearly
Let
Note
So
for all
Thus for any
for any
But fixing
this gives
with
for any
This is a contradiction as
must have finitely many roots in
1.14.* Let be a nonconstant polynomial in
algebraically closed. Show that
is infinite if
Suppose Then
and
has finitely many roots. Since
is algebraically closed,
is infinite by Problem 1.6. Thus
is infinite.
Suppose Let
Then
Note
has finitely many roots
Observe
Therefore
is infinite.
Show is infinite if
Since is nonconstant there exists
such that
is nonconstant, with arbitrary
Since
is algebraically closed and
nonconstant,
has a root in
Thus for each selection of
infinite, there is a distinct root of
in
Thus
is infinite.
1.15.*Let
be algebraic sets. Show that
is an algebraic set.
Let
with
Let us define
by
Similarly define
by
It is simple to see