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