מכפלת היתוך

בתורת החבורות, מכפלת היתוך (Free product with amalgamation) היא מושג קרוב למכפלה חופשית של חבורות, בה משתתפות שלוש חבורות  ושתי העתקות . היא מהווה פתרון לבעיה אוניברסלית כפי שיתואר בהמשך. למכפלת היתוך תפקיד מרכזי בטופולוגיה אלגברית במשפט ואן קמפן.

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

כלומר, באובייקט האוניברסלי  תמונות איברי  זהים משתי נקודות ההסתכלות - איברים שבאים מ- או שבאים מ-.

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

כאשר  נתונות על ידי .

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

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

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

אם , אז מתקיים:

משפט ואן קמפן בטופולוגיה אלגברית

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

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

ראו גם
 מכפלה חופשית
 משפט ואן קמפן

תורת החבורות