אידיאל (אלגברה) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
רועי (שיחה | תרומות)
אין תקציר עריכה
רועי (שיחה | תרומות)
שורה 34:
 
=== אידאל נוצר ===
'''אידאל נוצר''' <X> של חוג R על ידי קבוצה X המוכלהמוכלת ב-R הינו האידיאלהאידאל הקטן ביותר של R המכיל את כלX, והוא קבוצת על הסכומים הסופיים מהצורה
<math>\ \langle X\rangle = \{\sum_{i=1}^{n}r_{i}x_{i}{r'}_{i} | \ r_{i}\in R,\ {r'}_{i}\in R,\ x_{i}\in X\}</math>
.
 
בדומה, '''אידאל נוצר שמאלי''' RX של חוג R על ידי קבוצה X המוכלהמוכלת ב-R הינו האידיאלהאידאל השמאלי הקטן ביותר של R המכיל את כלX, והוא קבוצת על הסכומים הסופיים מהצורה
<math>\ RX = \{\sum_{i=1}^{n}r_{i}x_{i} | \ r_{i}\in R,\ x_{i}\in X\}</math>
.
 
ו'''אידאל נוצר ימני''' XR של חוג R על ידי קבוצה X המוכלהמוכלת ב-R הינו האידיאלהאידאל הימני הקטן ביותר של R המכיל את כלX, והוא קבוצת על הסכומים הסופיים מהצורה
<math>\ XR = \{\sum_{i=1}^{n}x_{i}r_{i} | \ r_{i}\in R,\ x_{i}\in X\}</math>
.
 
מוסכם כי האידאל (שמאלי, ימני ודו-צדדי) הנוצר על ידי קבוצה ריקה הוא האידאל המכיל את אפס בלבד.
 
אידאל נוצר (שמאלי, ימני או דו-צדדי) של חוג R על ידי X המוכל ב-R הינו האידאל (שמאלי, ימני או דו-צדדי) הקטן ביותר של R המכיל אותו.
 
=== אידאל ראשי ===