מכפלת היתוך

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

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

כפתרון בעיה אוניברסלית[עריכת קוד מקור | עריכה]

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

AmalgamationProduct.png

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

הגדרה מפורשת[עריכת קוד מקור | עריכה]

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

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

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

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

הצגה על ידי יוצרים ויחסים[עריכת קוד מקור | עריכה]

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

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

משפט ואן קמפן בטופולוגיה אלגברית[עריכת קוד מקור | עריכה]

Postscript-viewer-shaded.png ערך מורחב – משפט ואן קמפן

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

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

ראו גם[עריכת קוד מקור | עריכה]