אני מחפש דוגמא נגדית לטענה דומה עבור חוגים בלי יחידה. כלומר, מבוקשים חוג בלי יחידה R ותת-קבוצה לא ריקה I, הסגורה לחיבור ולכפל מבחוץ, אבל אינה אידיאל (משום שיש בה איבר a שהנגדי לו אינו ב-I). [[משתמש:עוזי ו.|עוזי ו.]] 23:59, 21 באפריל 2012 (IDT)
: Z עם כפל טריוויאלי: a*b=0 לכל a,b. לקחת בתור התת קבוצה את הטבעיים עם 0?