תחום ראשי

במתמטיקה, ובמיוחד באלגברה, תחום ראשי (או תחום אידיאלים ראשיים) הוא תחום שלמות שכל האידיאלים שלו הם ראשיים (אידיאל ראשי של חוג קומוטטיבי  הוא אידיאל מהצורה ). בתחומים ראשיים יש התאמה הדוקה בין אידיאלים לאיברים, ולכן קל יחסית לחשב בהם. 

תחומים ראשיים מקיימים תכונה של חוג המספרים השלמים שהיא מהותית לתורת המספרים האלמנטרית: לכל זוג איברים מחלק משותף מקסימלי שאפשר להציג כצירוף שלהם.

דוגמאות

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

חוג השלמים  אינו ראשי; לדוגמה, האידיאל  אינו ראשי.

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

כל תחום הערכה דיסקרטית הוא תחום ראשי.

זיהוי של חוגים ראשיים 

פונקציה  היא "נורמת הסה-דדקינד" אם לכל  שונים מאפס כך ש- אינו מחלק את , קיים צירוף ליניארי  שונה מאפס, עבורו . בחוג אוקלידי פונקציית הדרגה מקיימת דרישות חזקות יותר. מתברר שתחום שלמות הוא ראשי אם ורק אם יש לו נורמת הסה-דדקינד.

כאשר החוג הוא חוג השלמים של שדה מספרים, אפשר לבדוק אם הוא חוג ראשי באמצעות שדה המחלקה של הילברט.

תכונות של תחומים ראשיים

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

ברמה האלמנטרית, של תכונות האיברים, התכונה הבולטת של תחומים ראשיים היא עובדת קיומו של פירוק יחיד לגורמים; בפרט, לכל שני איברים יש מחלק משותף מקסימלי. 

כל חוג ראשי הוא תחום דדקינד. בפרט, לחוג יש ממד קרול 1 (כלומר, כל אידיאל ראשוני לא טריוויאלי הוא מקסימלי). המנה של תחום ראשי ביחס לאידיאל ראשוני, גם היא תחום ראשי.

תחום ראשי מקומי הוא רגולרי. 
כל חוג מקומי סופי, שבו כל האידיאלים ראשיים, הוא חוג מנה של חוג שלמים בשדה מקומי.

מודולים מעל תחום ראשי 

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

המקרה הלא קומוטטיבי 

חוג (לא קומוטטיבי) שבו כל אידיאל שמאלי נוצר על ידי איבר אחד נקרא "חוג אידיאלים שמאליים ראשי" (PLID). גולדי הוכיח שכל PLID ראשוני הוא חוג מטריצות מעל תחום אור שמאלי.

קישורים חיצוניים

הערות שוליים

טיפוסי חוגים
תחומי שלמות

de:Hauptideal