מכפלה חופשית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
MikeIoshpe (שיחה | תרומות) יצירת דף עם התוכן "בתורת החבורות, '''המכפלה החופשית''' (Free product) של שתי חבורות היא החבור..." |
MikeIoshpe (שיחה | תרומות) |
||
שורה 39:
* כאמור לעיל, זוהי החבורה הכללית ביותר המכילה את שתי חבורות הבסיס ונוצרת על ידי איבריהן.
* מכפלה חופשית של שתי חבורות לא טריוויאליות היא בעלת [[מרכז (אלגברה)|מרכז]] טריוויאלי.
* [[חבורה חופשית]] ביוצר אחד היא <math>F_1 \cong \mathbb{Z}</math>, וחבורה חופשית בכמות סופית של יוצרים ניתן לכתוב על ידי <math>F_n = F_{n
* ה[[תת-חבורת הקומוטטורים|אבליניזציה]] כל מכפלה חופשית היא המכפלה הישרה של האבליניזציות,, כלומר <math>Ab(G*H)=Ab(G) \times Ab(H)</math>.
|