הצגת המקור של הדף "אידיאל (אלגברה)"

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

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

בחוגים לא קומוטטיביים, מגדירים באופן דומה גם '''אידיאל ימני''' ו'''אידיאל שמאלי''', הנקראים אידיאלים חד-צדדיים. אידיאל חד-צדדי הוא [[מודול (מבנה אלגברי)|מודול]] (ימני או שמאלי) מעל החוג.

== הגדרה פורמלית ==
יהא <math>R</math> חוג. תת-קבוצה ממש <math>I \subsetneqq R</math> שעבורה <math>(I,+)</math> היא [[חבורה (מבנה אלגברי)|תת-חבורה]] של <math>(R,+)</math> נקראת '''אידיאל שמאלי''' אם לכל <math>r\isin R</math> ולכל <math>i\isin I</math> מתקיים <math>r\cdot i\isin I</math>; ו'''אידיאל ימני''' אם לכל <math>r\isin R</math> ולכל <math>i\isin I</math> מתקיים <math>i\cdot r\isin I</math>. קבוצה שהיא גם אידיאל שמאלי וגם אידיאל ימני נקראת '''אידיאל דו-צדדי''' או סתם '''אידיאל'''.

אידיאל אמיתי (בחוג עם יחידה) איננו יכול להכיל את איבר היחידה <math>1</math> של החוג, משום שאז ההגדרה תאלץ אותו להכיל את החוג כולו. מכאן נובע שאידיאל שמאלי אינו יכול להכיל איברים הפיכים משמאל, בעוד שאידיאל ימני אינו יכול להכיל איברים הפיכים מימין.

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

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

בדומה, '''אידיאל נוצר שמאלי''' <math>RX</math> של חוג <math>R</math> על ידי קבוצה <math>X</math> המוכלת ב-<math>R</math> הוא האידיאל השמאלי הקטן ביותר של <math>R</math> המכיל את <math>X</math>, והוא קבוצת הסכומים הסופיים מהצורה
<math>RX = \left\{ \sum_{i=1}^{n}r_{i}x_{i} : r_{i}\in R,\ x_{i}\in X \right\}</math>
.

ו'''אידיאל נוצר ימני''' <math>XR</math> של חוג <math>R</math> על ידי קבוצה <math>X</math> המוכלת ב-<math>R</math> הוא האידיאל הימני הקטן ביותר של <math>R</math> המכיל את <math>X</math>, והוא קבוצת הסכומים הסופיים מהצורה
<math>XR = \left\{ \sum_{i=1}^{n}x_{i}r_{i} : r_{i}\in R,\ x_{i}\in X \right\}</math>
.

מוסכם כי האידיאל (שמאלי, ימני ודו-צדדי) הנוצר על ידי [[הקבוצה הריקה|קבוצה ריקה]] הוא האידיאל המכיל את אפס בלבד.

=== אידיאל ראשי ===
אידיאל הנוצר על ידי איבר אחד נקרא '''אידיאל ראשי'''. לאידיאל שמאלי ראשי יש הצורה <math>Ra=\{ra \mid 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' | n \in \mathbb{N}, \ r_i, r'_i \in R\}</math>, הכוללת את כל המכפלות <math>rar'</math> וכל הסכומים שלהן. כל אידיאל הוא סכום (לאו דווקא סופי) של אידיאלים כאלה.

[[תחום שלמות]] שבו כל האידיאלים הם ראשיים נקרא [[תחום ראשי]]. לדוגמה, ב[[חוג המספרים השלמים]], הקבוצה <math>3\mathbb{Z}</math>, קבוצת כל המספרים השלמים המתחלקים בשלוש, היא אידיאל ראשי. קל לוודא שמדובר באידיאל (כיוון שסכום שתי כפולות של שלוש הוא כפולה של שלוש, [[מספר נגדי]] לכפולה של שלוש הוא כפולה של שלוש ומכפלת מספר המתחלק בשלוש בכל [[מספר שלם]] אחר תתחלק גם היא בשלוש). חוג המספרים השלמים הוא תחום ראשי.

=== [[הומומורפיזם (אלגברה)#תמונה וגרעין|גרעין של הומומורפיזם]] ===
לכל [[הומומורפיזם (אלגברה)|הומומורפיזם]] <math>\varphi :R\rarr S</math> בין שני חוגים <math>R,S</math>, הגרעין <math>\mbox{Ker}(\varphi) = \{x \in R : \varphi(x)=0\}</math> הוא אידיאל דו-צדדי של <math>R</math>.
{{עץ מיון של אידיאלים}}

==הגדרות ומשפטים הנוגעים לאידיאלים==
ישנם כמה סוגים חשובים במיוחד של אידיאלים, המוגדרים על-פי תכונות של חוג המנה. [[אידיאל ראשוני]] הוא אידיאל <math>P</math> של החוג, שעבורו החוג <math>R/P</math> הוא [[חוג ראשוני]]. אפשר לנסח תכונה זו גם כך: לכל שני אידיאלים <math>A,B</math>, אם המכפלה <math>AB</math> מוכלת ב-<math>P</math>, אז אחד מן האידיאלים מוכרח להיות מוכל ב-<math>P</math>. בחוג חילופי, אידיאל הוא ראשוני [[אם ורק אם]] אינו יכול להכיל מכפלה <math>ab</math> של איברים, בלי להכיל אחד מן האיברים.

'''דוגמה''': ב[[חוג המספרים השלמים]] <math>\mathbb{Z}</math>, כל אידיאל הוא מהצורה <math>\mathbb{Z}n</math>. אידיאל כזה הוא ראשוני אם ורק אם המספר <math>n</math> הוא [[מספר ראשוני]], או אפס. אכן, אם מספר ראשוני <math>p</math> מחלק מכפלה <math>ab</math> של מספרים שלמים, אז הוא חייב לחלק אחד מהם.

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

בניסוח שקול, <math>M</math> הוא אידיאל מקסימלי אם ורק אם חוג המנה <math>R/M</math> הוא [[חוג פשוט]]. (כלומר, חוג שאין בו אידיאלים [[טריוויאלי (מתמטיקה)|לא טריוויאליים]]) מכאן שלכל חוג קיימים חוגי מנה פשוטים; תכונה זו הופכת את החוגים הפשוטים לאבני הבניין של תורת החוגים. כל חוג חילופי פשוט הוא [[שדה (מבנה אלגברי)|שדה]].

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

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}
* {{בריטניקה}}
* {{דף שער בספרייה הלאומית|987007538412305171|אידאלים (אלגברה)}}

{{אלגברה מופשטת}}
{{חוגים}}
{{בקרת זהויות}}

[[קטגוריה:אלגברה]]
[[קטגוריה:תורת החוגים]]