הומומורפיזם – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
שורה 1:
ב[[אלגברה]], '''הומומורפיזם''' הוא [[פונקציה]] (התאמה) בין [[מבנה אלגברי|מבנים אלגבריים]] מאותו טיפוס, המשמר את כל המבנה (לרבות הפעולות, היחסים והקבועים).
 
* הומומורפיזם שהוא [[חד-חד ערכית|חד-חד ערכי]] נקרא '''מונומורפיזם'''.
* הומומורפיזם שהוא [[התאמה על|על]] נקרא '''אפימורפיזם'''.
* הומומורפיזם שהוא חד-חד ערכי ועל נקרא '''איזומורפיזם'''.
* הומומורפיזם שהוא מהמבנה אל עצמו נקרא '''אנדומורפיזם'''. (אנדו = פנימי)
* איזומורפיזם שהוא מהמבנה על עצמו נקרא '''אוטומורפיזם'''. (אוטו = עצמי)
 
הומומורפיזם שהוא מהווה התאמה שהיא [[חד-חד ערכית|חד-חד ערכיערכית]] [[התאמה על|ועל]] בין טווח של ההתאמה לתחום ההתאמה נקרא [[איזומורפיזם (מתמטיקה)|איזומורפיזם]] ובמובן מסוים הוא [[יחס שקילות]] בין שני מבנים אלגברים. כלומר, אם שני מבנים אלגברים הם איזומורפיים זה לזה (כלומר: קיים איזומורפיזם, חד-ערכיות ועל ביניהם) אז אפשר לומר שהם בעצם אותו מבנה - עד כדי מתן שמות או תוויות שונות לאיברים שבו. מבנים אלגברים שזהים עד כדי איזומורפיזם הם זהים למעשה כמעט בכל מובן שהוא ומתכונות של מבנה אחד אפשר להקיש על תכונותיו של המבנה האחר.
 
==הומומורפיזם בין חבורות==