מספרים זרים – הבדלי גרסאות

ב[[חוג (מבנה אלגברי)|חוגים]] כלליים, לטענה שאיברים a ו- b זרים יכולה להיות שתי משמעויות: או שאין איבר לא [[איבר הפיך|הפיך]] שמחלק את שניהם, או שאין [[אידאלאידיאל (אלגברה)|אידיאל]] שמחלק את שניהם (ובמלים אחרות, האידיאל <math>\langle a,b\rangle</math> שווה לכל החוג). האפשרות השנייה תמיד חזקה מן הראשונה, וב[[תחום ראשי|תחומי אידיאלים ראשיים]] הן מתלכדות.