מחלק אפס
מתוך ויקיפדיה, האנציקלופדיה החופשית
באלגברה, איבר a של חוג נקרא מחלק אפס שמאלי אם הוא שונה מאפס, וקיים איבר b שגם הוא שונה מאפס כך ש-ab = 0. בצורה דומה מוגדר מחלק אפס ימני. מחלק אפס שהוא גם ימני וגם שמאלי נקרא בפשטות מחלק אפס. אם החוג קומוטטיבי, מחלק אפס שמאלי הוא גם ימני. חוג שאין בו מחלקי אפס נקרא תחום, וחוג כזה שהוא גם קומוטטיבי נקרא תחום שלמות.
[עריכה] דוגמה
נביט בחוג המטריצות מסדר
מעל המספרים הרציונליים עם החיבור והכפל הסטנדרטיים. נשים לב כי 
על כן
היא מחלק אפס שמאלי ו
היא מחלק אפס ימני.
[עריכה] משפטים הנוגעים למחלקי אפס
[עריכה] איברי יחידה של תת חוג
משפט
אם
חוג,
תת חוג שלו, בעל איבר יחידה
. אם איבר יחידה זה אינו איבר היחידה של
(אם בגלל שאיבר היחידה של
,
, שונה ממנו, ואם בגלל של
אין איבר יחידה) אז
הוא מחלק אפס ב
.
הוכחה
אם ל
יש איבר יחידה
אז נשים לב שמתקיים
, כי איבר היחידה של החוג כפול כל איבר אחר נותן את האיבר האחר.
כמו כן מתקיים
, כי איבר היחידה של
כפול כל איבר אחר מתוך
(ובפרט הוא עצמו) נותן את האיבר האחר.
לכן קיבלנו
ולאחר העברת אגפים והוצאת גורם משותף נקבל
. מכיוון ש
הרי ש
ולכן בהכרח
הוא מחלק אפס.
אם ל
אין איבר יחידה, בפרט
אינו איבר יחידה של החוג כולו, ולכן בלי הגבלת הכלליות קיים
כך ש
, כלומר:
.
כעת נביט בביטוי
. לאחר פתיחת סוגריים נקבל:
. ובגלל ש
נקבל שבהכרח
מחלק אפס.

