חבורה חופשית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Omrisegal (שיחה | תרומות)
מ תיקון נוסחאות
Eranb (שיחה | תרומות)
מאין תקציר עריכה
שורה 1:
[[חבורה]] <math>\ F</math> תקרא '''חבורה חופשית''' על [[קבוצה (מתמטיקה)|קבוצה]] <math>\ X</math>, אם קיימת [[העתקה]] <math> \phi :X \rightarrow F</math> בעלת התכונה הכללית:
== הגדרה ==
[[חבורה]] <math>\ F</math> תקרא חבורה חופשית על [[קבוצה (מתמטיקה)|קבוצה]] <math>\ X</math>, אם קיימת [[העתקה]] <math> \phi :X \rightarrow F</math> בעלת התכונה הכללית:
 
לכל חבורה <math>\ G</math> והעתקה <math>f:X\rightarrow G</math> קיים [[הומומורפיזם (אלגברה)|הומומורפיזם]] יחיד <math>\psi :F \rightarrow G</math> המקיים <math>\psi\circ\phi=f</math>.