שינויים

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

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

נוספו 555 בתים, 13:00, 7 בדצמבר 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>G=S_3</math> ובתת החבורה <math>N=<(1\ 2)>=\{(1),(1\ 2)\}</math>.
**אזי <math>(1\ 3)N=\{(1\ 3), (3\ 1\ 2)\}</math> אך <math>N(1\ 3)=\{(1\ 3),(2\ 1\ 3)\} </math> וקל לראות כי <math>(1\ 3)N\neq N(1\ 3)</math>.
תת חבורות נורמליות, חבורות מנה, משפט האיזומורפיזם הראשון.
הדגמה על ידי חבורת המודולו, מותר להפעיל את המודולו בכל שלב שנרצה.
 
===הרצאה 10 קידוד; פרק 8 מ[http://abstract.ups.edu/aata/ הספר]===