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

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