S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
It is currently Wed, 19 Jun 2013 04:07:00 UTC

All times are UTC [ DST ]




Post new topic Reply to topic  [ 7 posts ] 
Author Message
 Post subject: the ideal of a variety
PostPosted: Tue, 15 May 2012 16:25:09 UTC 
Offline
Member
User avatar

Joined: Mon, 14 May 2012 20:59:26 UTC
Posts: 35
Can someone explain me how can i find I(V(I)) if I is an ideal?
I know the definition of the ideal of a variety:
For a variety V is I(V)=\{f \in K[x], f(p)=0, \forall p \in V\}

but when I find the points of th set V(I), then, i don't know how find I(V(I)) :confused:


Top
 Profile  
 
 Post subject: Re: the ideal of a variety
PostPosted: Tue, 15 May 2012 16:48:04 UTC 
Offline
Moderator
User avatar

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6066
Location: 127.0.0.1, ::1 (avatar courtesy of UDN)
guachu wrote:
Can someone explain me how can i find I(V(I)) if I is an ideal?
I know the definition of the ideal of a variety:
For a variety V is I(V)=\{f \in K[x], f(p)=0, \forall p \in V\}

but when I find the points of th set V(I), then, i don't know how find I(V(I)) :confused:


Recall Hilbert's Nullstellensatz.

_________________
\begin{aligned}
Spin(1)&=O(1)=\mathbb{Z}/2&\quad&\text{and}\\
Spin(2)&=U(1)=SO(2)&&\text{are obvious}\\
Spin(3)&=Sp(1)=SU(2)&&\text{by }q\mapsto(\mathop{\mathrm{Im}}\mathbb{H}\ni p\mapsto qp\bar{q})\\
Spin(4)&=Sp(1)\times Sp(1)&&\text{by }(q_1,q_2)\mapsto(\mathbb{H}\ni p\mapsto q_1p\bar{q_2})\\
Spin(5)&=Sp(2)&&\text{by }\mathbb{HP}^1\cong S^4_{round}\hookrightarrow\mathbb{R}^5\\
Spin(6)&=SU(4)&&\text{by the irrep }\Lambda_+\mathbb{C}^4
\end{aligned}


Top
 Profile  
 
 Post subject: Re: the ideal of a variety
PostPosted: Tue, 15 May 2012 18:11:29 UTC 
Offline
Member
User avatar

Joined: Mon, 14 May 2012 20:59:26 UTC
Posts: 35
But, for example, you have the ideal I=(x^3+x-y) and you want to find V(I) and I(V(I)).
V(I) is easy i think, because you have to look for the points (x,y) so that x^3+x-y=0 that are the points (x,x^3+x). But what would you do to calculate I(V(I))?


Top
 Profile  
 
 Post subject: Re: the ideal of a variety
PostPosted: Tue, 15 May 2012 21:02:09 UTC 
Online
Moderator
User avatar

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12169
Location: Austin, TX
guachu wrote:
But, for example, you have the ideal I=(x^3+x-y) and you want to find V(I) and I(V(I)).
V(I) is easy i think, because you have to look for the points (x,y) so that x^3+x-y=0 that are the points (x,x^3+x). But what would you do to calculate I(V(I))?


Well certainly I(V(I))\subseteq I, indeed the Nulstellensatz tells you that I(V(I))=\sqrt{I}. Now you just need to compute \sqrt{I} which is...

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination


Top
 Profile  
 
 Post subject: Re: the ideal of a variety
PostPosted: Tue, 15 May 2012 22:39:46 UTC 
Offline
Member
User avatar

Joined: Mon, 14 May 2012 20:59:26 UTC
Posts: 35
I thought it necessary to work in an algebraically closed field to apply Nulstellensatz, and if the ideal is in R[x,y], R isn't algebraically closed field...
And... why you know that I(V(I)) \subset I?? I know that \subset I(V(I)) is true, but the reverse... why?


Top
 Profile  
 
 Post subject: Re: the ideal of a variety
PostPosted: Wed, 16 May 2012 01:07:29 UTC 
Online
Moderator
User avatar

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12169
Location: Austin, TX
guachu wrote:
I thought it necessary to work in an algebraically closed field to apply Nulstellensatz, and if the ideal is in R[x,y], R isn't algebraically closed field...
And... why you know that I(V(I)) \subset I?? I know that \subset I(V(I)) is true, but the reverse... why?



Oops, it seems I accidently wrote those backwards. Aplogies, you are correct.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination


Top
 Profile  
 
 Post subject: Re: the ideal of a variety
PostPosted: Wed, 16 May 2012 05:41:40 UTC 
Offline
Moderator
User avatar

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6066
Location: 127.0.0.1, ::1 (avatar courtesy of UDN)
guachu wrote:
I thought it necessary to work in an algebraically closed field to apply Nulstellensatz, and if the ideal is in R[x,y], R isn't algebraically closed field...
And... why you know that I(V(I)) \subset I?? I know that \subset I(V(I)) is true, but the reverse... why?


Then look at the version of Nullstellensatz over Jacobson rings. Of course, you should know about schemes before you try out the algebraic-geometry equivalent.

_________________
\begin{aligned}
Spin(1)&=O(1)=\mathbb{Z}/2&\quad&\text{and}\\
Spin(2)&=U(1)=SO(2)&&\text{are obvious}\\
Spin(3)&=Sp(1)=SU(2)&&\text{by }q\mapsto(\mathop{\mathrm{Im}}\mathbb{H}\ni p\mapsto qp\bar{q})\\
Spin(4)&=Sp(1)\times Sp(1)&&\text{by }(q_1,q_2)\mapsto(\mathbb{H}\ni p\mapsto q_1p\bar{q_2})\\
Spin(5)&=Sp(2)&&\text{by }\mathbb{HP}^1\cong S^4_{round}\hookrightarrow\mathbb{R}^5\\
Spin(6)&=SU(4)&&\text{by the irrep }\Lambda_+\mathbb{C}^4
\end{aligned}


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 7 posts ] 

All times are UTC [ DST ]


Who is online

Users browsing this forum: No registered users


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Search for:
Jump to:  
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2011 phpBB Group.
Copyright © 1999-2013 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA