חוג ראשוני למחצה

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

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

התכונות הבאות מאפיינות חוג ראשוני למחצה:

  • אין בו אידיאלים נילפוטנטיים;
  • אין בו אידיאלים חד-צדדיים נילפוטנטים;
  • לכל אידיאל , גם .

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

חוג ראשוני למחצה עשוי להכיל אידיאלים שמאליים ניליים. בחוג PI ראשוני למחצה אין אידיאלים שמאליים ניליים, ולכן הרדיקל הראשוני של כל חוג PI הוא האידיאל השמאלי הנילי הגדול ביותר שלו[1].


הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ Noncommutative Noetherian Rings, McConnel and Robson, Cor. 13.2.6