טיוטה:משפט ההתאמה

שגיאות פרמטריות בתבנית:מקורות
פרמטרי חובה [ נושא ] חסרים

שגיאות פרמטריות בתבנית:להשלים
פרמטרי חובה [ נושא ] חסרים

משפט ההתאמה הוא משפט בתורת החבורות, יש שכוללים אותו במשפטי איזומורפיזם ואף קוראים לו משפט איזו 4.

הנוסח הפורמלי

תהינה G, K חבורות ו-$\phi :G\to K$ הומומורפיזם. אז קיימת התאמה בין הקבוצה $\{ker\phi \leq H\leq G\}$ לבין $\{L\leq Im\phi \}$.

התאמה זו שומרת על נורמליות והעתקות מנה.

בנוסף על כך עבור $H\vartriangleleft G$ ,מתקיימת התכונה הבאה: $G\diagup H\cong \phi (G)\diagup \phi (H)$

קטגוריה:משפטים בתורת החבורות