מבנה (מתמטיקה) – הבדלי גרסאות

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