חוג פרימיטיבי

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

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

הגדרה

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

אפיון פנימי

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

שיכון בחוגי אנדומורפיזמים

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

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

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

דוגמאות 

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

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

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

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

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

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

משפט Kaplansky על חוגי PI קובע שחוג PI פרימיטיבי הוא אלגברה פשוטה בעלת ממד סופי מעל המרכז. לדוגמה, המישור הקוונטי , כאשר  קבוע שאינו שורש יחידה, הוא חוג פרימיטיבי שאינו PI.

אידיאלים פרימיטיביים 

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

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

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

ראו גם 

 חוג פרימיטיבי למחצה

הערות שוליים

פרימיטיבי
תורת המודולים