Fulton 1.6
Posted on November 15, 20171.30. Let
(a) Show that
Observe for all
Thus
(b) Show every algebraic subset of is equal to
for some
By Corollary 2, it suffices to show points are for some
Let
Define
Observe that
1.31. (a) Find the irreducible components of in
and
Observe that So
Since
and
are irreducible over both
and
these are irreducible components
(b) Do the same for and for
In observe that
and
Therefore
is irreducible in
by Eisenstein’s criterion. Since
has infinitely many solutions over both the real and complex numbers,
is itself irreducible in
and
Observe that Note that
has no solutions in
Thus in
we have
which is irreducible. In
we have
and