אלגברה מדורגת – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות) מ בוט החלפות: \1איברים |
מ הוספת קישור לרדיקל (תורת החוגים) |
||
שורה 33:
[[אידאל (אלגברה)|אידאל]] I של אלגברה מדורגת הוא '''אידאל הומוגני''', אם הוא מתפרק לסכום ישר <math>\ I = \oplus (I \cap A_n)</math>; במלים אחרות, הוא נוצר על ידי איברים הומוגניים. במקרה כזה, גם [[חוג מנה|חוג המנה]] <math>\ A/I</math> הוא מדורג, <math>\ A/I = \oplus A_n/(I \cap A_n)</math>. לכל אידאל ניתן להגדיר את '''הליבה ההומוגנית''' שלו בתור סכום האידאלים ההומוגניים המוכלים בו, או באופן שקול בתור האידאל ההומוגני המקסימלי המוכל בו.
האידאל ההומוגני <math>P</math> נקרא [[אידאל ראשוני|ראשוני]] אם לכל שני אידאלים מדורגים <math>I,J</math> מתקיים <math>I \subseteq P</math> או <math>J\subseteq P</math> אם <math>IJ\subseteq P</math>. אוסף האידאלים הראשוניים המדורגים של החוג <math>Spec^{gr}(R)</math> הוא ה[[ספקטרום של חוג|ספקטרום]] הראשוני של החוג, ומסמנים <math>rad^{gr}(R) = \cap{Spec^{gr}(R)}</math> -
משפט של Bahturin-Sehgal-Zaicev מאפיין את כל הדירוגים האפשריים של [[אלגברה פשוטה]] מממד סופי ביחס לחבורה סופית.
| |||