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

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

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

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

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

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