חוג ראשוני
ויקיפדיה האנציקלופדיה encyclopedia
בתורת החוגים, חוג ראשוני הוא חוג שבו המכפלה של כל שני אידיאלים שונים מאפס, שונה מאפס. מחלקת החוגים הראשוניים היא בעלת תפקיד מרכזי בתורת החוגים, משום שהיא רחבה מאוד, ואפשר להיעזר בה, דרך מנות ביחס לאידיאלים ראשוניים ומכפלות תת-ישרות, כדי לנתח חוגים כלליים.
בחוג ראשוני כל שני אידיאלים שונים מאפס נחתכים באופן לא טריוויאלי (הטענה נכונה גם כשאחד מהם הוא אידיאל חד-צדדי). לכן אלו הם בדיוק החוגים שאינם ניתנים לפירוק בעזרת משפט השאריות הסיני.
בין החוגים הקומוטטיביים, חוג הוא ראשוני אם ורק אם הוא תחום שלמות. באופן כללי יותר, המרכז של כל חוג ראשוני הוא תחום שלמות.