next up previous contents
Next: 2.4.6 Principal ideal Up: 2.4 Applications Previous: 2.4.4 Kernel of a

2.4.5 Radical membership

Lemma 2..17   Let $I\subseteq R=Loc_< K[x_1,\ldots,x_n]$, I generated by F. $f \in \sqrt{I}\\ iff\ \ 1\in std(F+(yf-1) \subseteq R[y]$.


| ZCA Home | Reports |