איבר יחידה

איבר יחידה (גם: איבר נייטרלי או איבר אדיש) מוגדר עבור פעולה בינארית  במבנה אלגברי. תכונתו היא שהפעלת הפעולה הבינארית על אבר זה ואבר אחר, כלשהו, תמיד יוחזר האבר האחר כתוצאת הפעולה.

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

נניח כי  איברי יחידה, אז  ומכאן שאם ישנו איבר יחידה, אז הוא בהכרח יחיד.

נניח כי איבר יחידה ימיני ואיבר יחידה שמאלי בהתאמה, אז  ומכאן שאם קיימים הן איבר יחידה שמאלי והן איבר יחידה ימני, אז הם אותו איבר.

במבנים אלגבריים רבים, כגון חבורה, חוג ושדה, קיומו של איבר יחידה הוא אחד המאפיינים של המבנה האלגברי.

 דוגמאות 
 בפעולת החיבור המקובלת, איבר היחידה הוא 0, משום שלכל מספר a מתקיים: . איבר יחידה זה קרוי איבר האפס.
 בפעולת הכפל המקובלת, איבר היחידה הוא 1, משום שלכל מספר a מתקיים: .
 בפעולת החזקה המקובלת, איבר היחידה הימני הוא 1, משום שלכל מספר a מתקיים: . 1 אינו איבר היחידה השמאלי, , לא קיים איבר יחידה שמאלי לחזקה.
 בכפל מטריצות איבר היחידה הוא מטריצת היחידה , שהיא המטריצה שרכיבי האלכסון שלה הם 1 ושאר הרכיבים אפס, המקיימת: .
 בפעולת איחוד בין קבוצות, איבר היחידה הוא הקבוצה הריקה.
 בהרכבת פונקציות, איבר היחידה הוא פונקציית הזהות.

קישורים חיצוניים


*
קטגוריה:אלגברה
*1

fa:عمل دوتایی#عضو خنثی