אידיאל (אלגברה) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
רועי.ס (שיחה | תרומות)
שורה 8:
 
== הגדרה פורמלית ==
יהא <math>\ R</math> היא חוג. נגיד על תת-קבוצה אמיתית <math>\ I \subsetneqq R</math> שהיא '''אידאל שמאלי''' אם יתקיימו שתי הדרישות הבאות:
 
# <math>\ (I,+)</math> היא תת-חבורה של <math>\ (R,+)</math>.