סדרה מדויקת – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
EmausBot (שיחה | תרומות)
מ r2.7.3) (בוט מוסיף: pl:Ciąg dokładny
שורה 15:
בסדרה <math>\,0 \rightarrow H \stackrel{f}{\rightarrow} G</math>, ההעתקה הראשונה היא העתקת האפס, שתמונתה 0, ולכן היא מדויקת אם ורק אם f חד-חד-ערכית. בדומה לזה בסדרה <math>\,H \stackrel{f}{\rightarrow} G \rightarrow 0</math> ההתעתקה האחרונה שולחת את כל האברים של G לאפס, ולכן היא מדויקת אם ורק אם f על.
 
מתכונות אלה נובע שסדרה מדויקת מהצורה <math>\,0 \rightarrow G \rightarrow 0</math> משמעה ש-G=0. באותו אופן, סדרה מדויקת מהצורה <math>\,0 \rightarrow H \rightarrow G \rightarrow 0</math> שקולה לכך שהחץ האמצעי הוא איזומורפיזם. הסדרות הקצרות ביותר המספקות מידע לא טריוויאלי הן, אם כך, סדרות מהצורה
: <math>\,0 \rightarrowlongrightarrow H \rightarrowstackrel{i}{\longrightarrow} G \rightarrowstackrel{p}{\longrightarrow} N \rightarrowlongrightarrow 0</math>.
סדרה כזו, הקרויה '''סדרה מדויקת קצרה''', כוללת שני חצים לא טריוויאליים: שיכון של H ב-G, והטלה מ-G ל-על N, שהגרעיןשה[[גרעין (מתמטיקה)|גרעין]] שלה הוא H. לפי [[משפט האיזומורפיזם הראשון]], אם הסדרה מדויקת ב-G, בהכרח <math>\,G/H \cong N</math>. נציין גם ש-N איזומורפי ל[[קו-גרעין (מתמטיקה)|קו-גרעין]] של <math>i : H \hookrightarrow G</math>, שהוא <math>\mathrm{coker}(i) = G/\mathrm{Im}(i)</math>.
 
===דוגמה===