אידיאל (אלגברה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ שוחזר מעריכות של 85.64.64.11 (שיחה) לעריכה האחרונה של Nanoo |
|||
שורה 49:
אידאל הנוצר על ידי איבר אחד נקרא '''אידאל ראשי'''. לאידאל שמאלי ראשי יש הצורה <math>\ Ra=\{ra | r\in R\}</math>, ולאידאל ימני ראשי הצורה הדואלית, <math>\ aR=\{ar | r\in R\}</math>. האידאל (הדו-צדדי) הנוצר על ידי <math>\,a</math> הוא קבוצה גדולה בהרבה: <math>\ RaR = \{r_1 a r_1'+\dots r_n a r_n'\}</math>, הכוללת את כל המכפלות <math>\ rar'</math> וכל הסכומים שלהן. כל אידאל הוא סכום (לאו דווקא סופי) של אידאלים כאלה.
[[תחום שלמות]] שבו כל האידאלים ראשיים נקרא [[תחום ראשי]]. לדוגמה, ב[[חוג המספרים השלמים]], הקבוצה <math>\ 3\mathbb{Z}</math>, קבוצת כל המספרים השלמים המתחלקים בשלוש, היא אידאל ראשי. קל לוודא שמדובר באידאל. (כיוון
=== [[הומומורפיזם (אלגברה)#תמונה וגרעין|גרעין של הומומורפיזם]] ===
|