אני ניעזר בלמה של צורן כדי להוכיח שקיים לZ אידיאל מקסימלי, באופן טבעי אני מנסה להוכיח שהאיחוד הוא חסם מילעל של השרשרת, אך אני לא מצליח להוכיח שהוא שונה מZ בהכרח - וזהו תנאי לאידיאל כמו שציינתם. אשמח לעזרה קלה בחלק זה. אגב, אני לא מצליח לחשוב על דוגמא לאדיאל למעט {0}, האם זהו האידיאל היחיד של החוג Z?
:יש איזה איבר שלא יכול להיות באידיאל השונה מZ. מה לגבי הזוגיים? לא אידיאל טוב? --<font size='4'>[[משתמש:ארז שיינר|שיינר]]</font>