שינויים
/* אידיאלים בחוג הפולינומים בשני משתנים */
בחוגי פולינומים *מעל שדה* קל לטפל (כפי שעוד נלמד בהמשך), וגם במקרה שלנו כדאי להתחיל את התשובה בהכלה <math>\ \mathbb{C}[X][Y] \subset \mathbb{C}(X)[Y]</math>. היתרון הוא שעכשיו מדובר בפולינומים ב-Y, עם מקדמים מה*שדה* של הפונקציות הרציונליות ב-X. הפולינום שלנו אי-פריק מעל השדה הזה (אין לו שורשים שם: <math>\ \sqrt{1-X^2}</math> אינו פולינום), ולכן המנה <math>\ \mathbb{C}(X)[Y]/\langle Y^2+X^2-1\rangle</math> היא שדה. מכיוון שחוג המנה
<math>\ \mathbb{C}[X,Y]/\langle Y^2+X^2-1\rangle</math> מוכל בחוג הקודם, הוא תחום שלמות, ולכן האידיאל שלנו ראשוני. אבל המנה אינה שדה, משום שהאידיאל הזה אינו מקסימלי: הוא מוכל למשל באידיאל המקסימלי <math>\ \langle X, Y-1\rangle</math> או ב-<math>\ \langle X-1, Y\rangle</math> (ובאינסוף אידיאלים מקסימליים אחרים). 23[[משתמש:עוזי ו.|עוזי ו.]] 23:24, 21 באפריל 2012 (IDT)
