חבורה חליקה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 53:
# <math>rM=M</math> לכל סקלר <math>r \neq 0</math> (לעתים נדרש גם ש-r אינו [[מחלק אפס|מחלק אפס]], ולעתים נדרש גם R יהיה תחום).
# לכל אידיאל ראשי שמאלי <math>Ra</math>, כל [[הומומורפיזם|הומומורפיזם]] מ-<math>Ra</math> ל-<math>M</math> אפשר להרחיב להומומורפיזם מ-<math>R</math> ל-<math>M</math>.
# לכל אידיאל שמאלי [[נוצר סופית|נוצר סופית]] <math>L</math>, כל הומומורפיזם מ-<math>L</math> ל-<math>M</math> אפשר להרחיב להומומורפיזם מ-<math>R</math> ל-<math>M</math>
| |||