הבדלים בין גרסאות בדף "איבר יחידה"

הוסרו 4 בתים ,  לפני שנתיים
עריכה
מ (ניסוח)
(עריכה)
 
'''איבר יחידה''' (גם: '''איבר נייטרלי''' או '''איבר אדיש''') הוא איבר בקבוצה שכשאשר מבוצעת עליו פעולה בינארית עם איבר אחר, היא איננה משנה את האיבר האחר.
 
כאשר נתונים קבוצה <math>\ S</math> ופעולה בינארית, שנסמנה <math>\ \star</math>, המוגדרת על איבריה, אזי:
נניח כי<math>e_R,e_L</math> איבר יחידה ימיני ואיבר יחידה שמאלי בהתאמה, אז <math>e_L = e_L \star e_R = e_R</math> ומכאן שאם קיימים הן איבר יחידה שמאלי והן איבר יחידה ימני, אז הם אותו איבר.
 
ב[[מבנה אלגברי|מבנים אלגבריים]] רבים, כגון [[חבורה (מבנה אלגברי)|חבורה]], [[חוג (מבנה אלגברי)|חוג]] ו[[שדה (מבנה אלגברי)|שדה]], קיומו של איבר יחידה הוא אחד המאפיינים של המבנה האלגברי.
 
== דוגמאות ==
 
* בפעולת ה[[חיבור]] המקובלת, איבר היחידה הוא [[0 (מספר)|0]], משום שלכל מספר a מתקיים: <math>a+0 = 0+a = a</math>. איבר יחידה זה קרוי [[איבר האפס]].
* בפעולת ה[[כפל]] המקובלת, איבר היחידה הוא [[1 (מספר)|1]], משום שלכל מספר a מתקיים: <math>a \times 1 = 1 \times a = a</math>.