שינויים
/* מחפש דוגמה */
== מחפש דוגמה הערה מוזרה ברשימות ==עמ' 26, "כדי שנוכל לחבר אינסוף קבוצות, יש להניח שכולןחוג חילופי עם כוללות את אפס כאיבר." למה? הרי כתוב שלא סוכמים בכלל אין-סוף, ומה זה משנה אם 0 איבר אידמפוטנטי לא הפיך ולא 0?(הסיבה: תרגיל על האידיאל הנוצר מאיבר אידמפוטנטי שברור בחוגים שהם לא כאלה)פתרון: <math>3 \in Z_3</math> הוא מחלק אפס ובפרט לא הפיך.
