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

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

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

תהינה G, K חבורות ו- $ϕ : G \to K$ הומומורפיזם. אז קיימת התאמה בין הקבוצה ${k e r ϕ \leq H \leq G}$ לבין ${L \leq I m ϕ}$ .

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

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