סדרה מדויקת – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
MathKnight (שיחה | תרומות) מ ←דוגמה: עיצוב |
MathKnight (שיחה | תרומות) |
||
שורה 24:
:<math>\,0 \rightarrow H \rightarrow G \rightarrow N \rightarrow 0</math>
תיקרא '''סדרה קצרה מדויקת'''.
* הגרעין של ההעתקה מ-H ל-G הוא טריוויאלי לפי ההנחה
* תמונת ההעתקה מ-G ל-N שווה לגרעין של ההעתקה הטריוויאלית מ-N לחבורה הטריוויאלית (כלומר: <math>\forall n \in N : n \mapsto 0</math> ולכן הגרעין הוא כל N), ולפיכך ההעתקה מ-G ל-N היא [[פונקציה על|על]].
* לבסוף, התמונה של H ב-G שווה לגרעין של ההעתקה מ-G ל-N. לפיכך, אם נזהה את H עם תמונתה בתוך G, הרי שמ[[משפטי האיזומורפיזם (אלגברה)|משפט האיזומורפיזם]] נקבל איזומורפיזם <math>G/H \cong N</math>
==פונקטור מדויק==
|