אנא עזרו לשפר את אמינות הערך באמצעות הבאת מקורות לדברים ושילובם בגוף הערך בצורת קישורים חיצוניים והערות שוליים. אם אתם סבורים כי ניתן להסיר את התבנית, ניתן לציין זאת בדף השיחה.
אנא עזרו לשפר את אמינות הערך באמצעות הבאת מקורות לדברים ושילובם בגוף הערך בצורת קישורים חיצוניים והערות שוליים. אם אתם סבורים כי ניתן להסיר את התבנית, ניתן לציין זאת בדף השיחה.
נתחיל עם בעיה אוניברסלית. יהיו חבורות ויהיו הומומורפיזמים נתונים. נרצה למצוא חבורה והומומורפיזמים שיתחלפו עם (כלומר ), כך שבהינתן חבורה והומומורפיזמים , קיים ויחיד הומומורפיזם כך שהדיאגרמה הבאה מתחלפת:
כלומר, באובייקט האוניברסלי תמונות איברי זהים משתי נקודות ההסתכלות - איברים שבאים מ- או שבאים מ-.
הגדרה מפורשת
נסמן את החבורה הנורמלית המינימלית המכילה קבוצה ב- (זוהי תת-החבורה הנוצרת על ידי הוספת כל המכפלות, צמודים וקומוטטורים באיברי ). כעת, נביט במכפלה החופשית. נגדיר , ואת נגדיר על ידי המנה:
כאשר נתונות על ידי .
החבורה שהתקבלה נקראת מכפלת ההיתוך ומסומנת , או בקיצור נמרץ
. אם היא העתקת המנה הרלוונטית, ההעתקות מוגדרות על ידי .
ההעתקה נתונה על ידי הכלל , ועל שאר האיברים היא מוגדרת בהתאם (שכן איברים אלו יוצרים את החבורה).
אחד השימושים הנפוצים והחשובים של מכפלת ההיתוך הוא במשפט ואן קמפן מטופולוגיה אלגברית. זהו משפט בסיסי וחשוב ביותר, הנותן דרך לחשב את החבורה היסודית של מרחב טופולוגי (ובמיוחד של מרחבי CW) בעזרת תתי מרחבים שלה, המקיימים תכונות מסוימות, ובכך לעשות רדוקציה למקרים פשוטים יותר.
פורמלית, בהינתן מרחב טופולוגי ותתי קבוצות פתוחות כך ש-, איננו ריק, ו-קשירים מסילתית, אזי החבורה היסודית של היא מכפלת ההיתוך של החבורות של ביחס ל-, עם הומומורפיזמי ההכלה היחסיים. מפורשות, ההעתקה שהוגדרה בבניית מכפלת ההיתוך היא איזומורפיזם בין מכפלת ההיתוך לחבורה היסודית של .