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

תוכן שנמחק תוכן שנוסף
מ בוט החלפות: \1תת-, דוגמה\1
שורה 27:
* קיים <math>r:G \to H</math> כך ש-<math>r \circ i = id_H</math>.
* קיים <math>q:N \to G</math> כך ש-<math>p \circ q = id_N</math>
* קיימת תת -חבורה <math>J \subseteq G</math> כך ש-<math>G = im(i) \oplus J</math>.
 
המקרה הזה ודאי חזק יותר מסדרה מדויקת רגילה. בעוד שהמקרה הקודם תיאר מנה, המקרה הזה מתאר [[סכום ישר]]. כלומר, מסדרה כזו ניתן להסיק <math>G=H \oplus N</math>.
שורה 39:
 
כאשר ההעתקה מ <math>\mathbb{Z}</math> ל <math>\mathbb{Z}</math> היא הכפלה ב-2 וההעתקה מ <math>\mathbb{Z}</math> ל <math>\mathbb{Z}/2\mathbb{Z}</math> היא העתקת המנה.
התמונה של ההעתקה הראשונה היא ה[[תת חבורה]] של המספרים הזוגיים, וזהו בדיוק הגרעין של ההעתקה השנייה. לפיכך הסדרה הנ"ל היא סדרה מדויקת של חבורות אבליות. סדרה זו איננה מתפצלת, שכן התמונה <math>2 \mathbb{Z}</math> איננה מחובר ישר של אף תת -חבורה. דוגמאדוגמה זו שימושית במיוחד בהוכחה שה[[שפה (טופולוגיה)|שפה]] של [[טבעת מביוס]] איננה [[נסג]] שלה.
 
==פונקטור מדויק==