מאפס

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

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

יהי ${\displaystyle R}$ חוג ותהי ${\displaystyle S\subseteq R}$ תת-קבוצה כלשהי. המאפס (השמאלי) של ${\displaystyle S}$ ב-${\displaystyle R}$ הוא: ${\displaystyle \operatorname {Ann} _{R}(S)=\{r\in R|r\cdot s=0\ \forall s\in S\}}$. ניתן להגדיר את המאפס הימני באופן דומה; כאשר יש צורך להבהיר האם מדובר במאפס ימני או שמאלי, מוסיפים את האות ${\displaystyle l}$ או ${\displaystyle r}$ לסימון המאפס. בהמשך הערך נדון במאפסים שמאליים, אם כי ניתן להגדיר ולהוכיח תכונות מתאימות למקרה של מאפסים ימניים.

• המאפס של תת-קבוצה הוא אידיאל שמאלי, ומדובר באידיאל שמאלי אמיתי אם (ורק אם) תת-הקבוצה מכילה איבר שונה מאפס
• המאפס של אידיאל שמאלי הוא אידיאל דו-צדדי
• המאפס מונוטוני (הפוך) ביחס להכלה: אם ${\displaystyle S\subseteq T}$ תתי-קבוצות של חוג ${\displaystyle R}$ אז ${\displaystyle \operatorname {Ann} _{R}(T)\subseteq \operatorname {Ann} _{R}(S)}$
• בכל חוג ${\displaystyle R}$ מתקיים ${\displaystyle \operatorname {Ann} _{R}(S\cup T)=\operatorname {Ann} _{R}(S)\cap \operatorname {Ann} _{R}(T)}$ לכל שתי תתי-קבוצות ${\displaystyle S,T\subseteq R}$
• תת-חוג של חוג פשוט ארטיני מקיים את תנאי השרשרת העולה על מאפסים של תתי-קבוצות, כלומר כל שרשרת עולה של מאפסים של תתי-קבוצות - מתייצבת. ולהפך, משפט גולדי קובע כי חוג ראשוני למחצה בעל ממד אחיד סופי ומקיים את תנאי השרשרת העולה על מאפסים משוכן בחוג פשוט ארטיני (למעשה, קובע המשפט כי חוגים אלו הם בדיוק אלו שחוג השברים הקלאסי שלהם הוא פשוט ארטיני)

• בתחום אין מחלקי אפס, ולכן אין מאפסים לא-טריוויאליים
• בחוג ${\displaystyle \mathbb {Z} /n\mathbb {Z} }$ המאפס של ${\displaystyle m}$ הוא האידיאל הנוצר על ידי ${\displaystyle {\frac {n}{\operatorname {gcd} (n,m)}}}$ (אכן, האיברים שאינם מחלקי אפס בחוג זה הם בדיוק האיברים ההפיכים, שהם המספרים הזרים ל-${\displaystyle n}$)
• החוג: ${\displaystyle F\times F\times \cdots \ }$ אינו מקיים את תנאי השרשרת העולה על מאפסים