Math Amateur
Gold Member
MHB
- 3,920
- 48
I am trying to gain an understanding of the basics of elementary algebraic geometry and am reading Dummit and Foote Chapter 15: Commutative Rings and Algebraic Geometry ...
At present I am focused on Section 15.1 Noetherian Rings and Affine Algebraic Sets ... ...
I need help to get started on Exercise 26 of Section 15.1 ...Exercise 26 of Section 15.1 reads as follows:
https://www.physicsforums.com/attachments/4764Help with this exercise will be much appreciated ...
Peter
***EDIT***
Thoughts so far are as follows:
... ...
I am assuming that when Dummit and Foote ask us to show that $$\phi$$ is a morphism that, given the context, they are referring to what they have defined as a morphism or polynomial map between two algebraic sets ... in which case we would have to be sure we were actually dealing with a map between algebraic sets ... now $$V$$ is obviously by its definition, an algebraic set ... but ... how do we show that $$\mathbb{A}^1$$ is an algebraic set ... ?If, however we assume that both $$V$$ and $$\mathbb{A}^1$$ are indeed algebraic sets then we have to show that:
$$\phi \ : \ \mathbb{A}^1 \rightarrow V$$
is a morphism or polynomial map of algebraic sets ... that is we have to show that there exists polynomials $$\phi_1, \phi_2, \phi_3$$ such that:
$$\phi(a) = ( \phi_1 (a) , \phi_2 (a) , \phi_3 (a) )$$
But, this is obviously true with
$$\phi_1 (a) = a^3 \ , \ \phi_2 (a) = a^4 \ , \ \phi_3 (a) = a^5$$ ...
Is that correct so far ... ?
But... not sure of how to show the surjectivity ... even with the hint ...
Further ... I need help to make a significant start on parts (b) and (c) ...Hope someone can help ... particularly with parts (b) and (c) ...
Peter
At present I am focused on Section 15.1 Noetherian Rings and Affine Algebraic Sets ... ...
I need help to get started on Exercise 26 of Section 15.1 ...Exercise 26 of Section 15.1 reads as follows:
https://www.physicsforums.com/attachments/4764Help with this exercise will be much appreciated ...
Peter
***EDIT***
Thoughts so far are as follows:
... ...
I am assuming that when Dummit and Foote ask us to show that $$\phi$$ is a morphism that, given the context, they are referring to what they have defined as a morphism or polynomial map between two algebraic sets ... in which case we would have to be sure we were actually dealing with a map between algebraic sets ... now $$V$$ is obviously by its definition, an algebraic set ... but ... how do we show that $$\mathbb{A}^1$$ is an algebraic set ... ?If, however we assume that both $$V$$ and $$\mathbb{A}^1$$ are indeed algebraic sets then we have to show that:
$$\phi \ : \ \mathbb{A}^1 \rightarrow V$$
is a morphism or polynomial map of algebraic sets ... that is we have to show that there exists polynomials $$\phi_1, \phi_2, \phi_3$$ such that:
$$\phi(a) = ( \phi_1 (a) , \phi_2 (a) , \phi_3 (a) )$$
But, this is obviously true with
$$\phi_1 (a) = a^3 \ , \ \phi_2 (a) = a^4 \ , \ \phi_3 (a) = a^5$$ ...
Is that correct so far ... ?
But... not sure of how to show the surjectivity ... even with the hint ...
Further ... I need help to make a significant start on parts (b) and (c) ...Hope someone can help ... particularly with parts (b) and (c) ...
Peter
Last edited: