מכפלה חופשית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ ←‏מקורות: יישור לשמאל
מ בוט החלפות: \1על ידי
שורה 26:
 
==הצגה על ידי יוצרים ויחסים==
ניתן לתת הצגה מפורשת ע"יעל ידי [[יוצרים ויחסים|הצגה על ידי יוצרים ויחסים]] של המכפלה החופשית. פורמלית, אם <math>G=\langle S_1 \mid R_1 \rangle, H=\langle S_2 \mid R_2 \rangle</math>, אז מתקיים:
 
<center><math>G*H=\langle S_1,S_2 \mid R_1,R_2 \rangle</math>