שינויים

קפיצה אל: ניווט, חיפוש

מבנים אלגבריים למדעי המחשב - ארז שיינר

נוספו 96 בתים, 19:52, 18 בדצמבר 2017
/* הרצאות 8-9 משפט האיזומורפיזם; פרקים 10,11 מהספר */
===הרצאות הרצאה 8-9 משפט האיזומורפיזםתת חבורות נורמליות, חבורות מנה, גרעין; פרקים 10,11 מ[http://abstract.ups.edu/aata/ הספר]===
*תהי חבורה G ותהי תת חבורה N. תת החבורה N נקראת '''נורמלית''' אם לכל <math>a\in G</math> מתקיים כי <math>aN=Na</math>.
*הוכחה - הכלה דו כיוונית:
**יהי <math>anbk\in (aN)(bN)</math> כיוון ש <math>bN=Nb</math> אזי <math>anbk=abmk\in abN</math>.
**יהי <math>abn\in abN</math> כיוון ש <math>bN=Nb</math> אזי <math>abn=amb=ambeaebn\in (aN)(bN)</math>.
===הרצאה 9 משפט האיזומורפיזם; פרק 11 מ[http://abstract.ups.edu/aata/ הספר]===
*'''משפט האיזומורפיזם הראשון'''. יהי <math>\varphi:G\to H</math> איזומורפיזם בין חבורות. אזי <math>G/\ker(\varphi)\cong im(\varphi) </math>
*הוכחה: