ערך ללא מקורות
	בערך זה אין מקורות ביבליוגרפיים כלל, לא ברור על מה מסתמך הכתוב וייתכן שמדובר במחקר מקורי. אנא עזרו לשפר את אמינות הערך באמצעות הבאת מקורות לדברים ושילובם בגוף הערך בצורת קישורים חיצוניים והערות שוליים. אם אתם סבורים כי ניתן להסיר את התבנית, ניתן לציין זאת בדף השיחה.

בתורת החבורות, מכפלת היתוך (Free product with amalgamation) היא מושג קרוב למכפלה חופשית של חבורות, בה משתתפות שלוש חבורות ${\displaystyle P,G,H}$ ושתי העתקות ${\displaystyle \alpha :P\to G,\beta :P\to H}$. היא מהווה פתרון לבעיה אוניברסלית כפי שיתואר בהמשך. למכפלת היתוך תפקיד מרכזי בטופולוגיה אלגברית במשפט ואן קמפן.

נתחיל עם בעיה אוניברסלית. יהיו ${\displaystyle P,G,H}$ חבורות ויהיו ${\displaystyle \alpha :P\to G,\beta :P\to H}$ הומומורפיזמים נתונים. נרצה למצוא חבורה ${\displaystyle U}$ והומומורפיזמים ${\displaystyle i':G\to U,j':H\to U}$ שיתחלפו עם ${\displaystyle \alpha ,\beta }$ (כלומר ${\displaystyle i'\circ \alpha =j'\circ \beta }$), כך שבהינתן חבורה ${\displaystyle K}$ והומומורפיזמים ${\displaystyle \phi :G\to K,\psi :H\to K}$, קיים ויחיד הומומורפיזם ${\displaystyle L:U\to K}$ כך שהדיאגרמה הבאה מתחלפת:

כלומר, באובייקט האוניברסלי ${\displaystyle U}$ תמונות איברי ${\displaystyle P}$ זהים משתי נקודות ההסתכלות - איברים שבאים מ-${\displaystyle G}$ או שבאים מ-${\displaystyle H}$.

נסמן את החבורה הנורמלית המינימלית המכילה קבוצה ${\displaystyle A\subseteq G}$ ב-${\displaystyle N(A)}$ (זוהי תת-החבורה הנוצרת על ידי הוספת כל המכפלות, צמודים וקומוטטורים באיברי ${\displaystyle A}$). כעת, נביט במכפלה החופשית ${\displaystyle G*H}$. נגדיר ${\displaystyle A=\{i(\alpha (x))j(\beta (x))^{-1}:x\in P\}\subseteq G*H}$, ואת ${\displaystyle U}$ נגדיר על ידי המנה:

${\displaystyle U=(G*H)/N(A)}$

כאשר ${\displaystyle i:G\to G*H,j:H\to G*H}$ נתונות על ידי ${\displaystyle i(g)=(g),j(h)=(h)}$.

החבורה שהתקבלה נקראת מכפלת ההיתוך ומסומנת ${\displaystyle G{\underset {\overset {\alpha \nwarrow \nearrow \beta }{P}}{*}}H}$, או בקיצור נמרץ ${\displaystyle G{\underset {P}{*}}H}$. אם ${\displaystyle p}$ היא העתקת המנה הרלוונטית, ההעתקות ${\displaystyle i',j'}$ מוגדרות על ידי ${\displaystyle i'=p\circ i,j'=p\circ j}$.

ההעתקה ${\displaystyle L:G{\underset {P}{*}}H\to K}$ נתונה על ידי הכלל ${\displaystyle L([(g)])=\phi (g),L([(h)])=\psi (h)}$, ועל שאר האיברים היא מוגדרת בהתאם (שכן איברים אלו יוצרים את החבורה).

למכפלת ההיתוך הצגה על ידי יוצרים ויחסים התלויה בהצגות של החבורות ${\displaystyle P,G,H}$, העוזרת לחשב את החבורה בפועל.

אם ${\displaystyle G=\langle S_{1}\mid R_{1}\rangle ,H=\langle S_{2}\mid R_{2}\rangle ,P=\langle S_{3}\mid R_{3}\rangle }$, אז מתקיים:

${\displaystyle G{\underset {\overset {\alpha \nwarrow \nearrow \beta }{P}}{*}}H=\langle S_{1},S_{2}\mid R_{1},R_{2},\forall s_{3}\in S_{3}:\alpha (s_{3})\beta (s_{3})^{-1}\rangle }$

ערך מורחב – משפט ואן קמפן

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

פורמלית, בהינתן מרחב טופולוגי ${\displaystyle X}$ ותתי קבוצות פתוחות ${\displaystyle U,V}$ כך ש-${\displaystyle X=U\cup V}$,${\displaystyle U\cap V}$ איננו ריק, ו-${\displaystyle U,V,U\cap V}$ קשירים מסילתית, אזי החבורה היסודית של ${\displaystyle X}$ היא מכפלת ההיתוך של החבורות של ${\displaystyle U,V}$ ביחס ל-${\displaystyle U\cap V}$, עם הומומורפיזמי ההכלה היחסיים. מפורשות, ההעתקה ${\displaystyle L}$ שהוגדרה בבניית מכפלת ההיתוך היא איזומורפיזם בין מכפלת ההיתוך לחבורה היסודית של ${\displaystyle X}$.

• מכפלה חופשית
• משפט ואן קמפן