ייצוג של חבורה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
MikeIoshpe (שיחה | תרומות) עריכה קלה |
MikeIoshpe (שיחה | תרומות) מ ←הגדרה |
||
שורה 4:
[[חבורה חופשית]] מעל קבוצה <math>S</math> מוגדרת כקבוצת כל המילים (הסופיות) מחזקות של איברי <math>S</math>, והפעולה היא [[שרשור (מחרוזות)|שרשור]]. נסמנה <math>{F}_{S}</math>. התכונה המיוחדת של חבורה חופשית הוא שאיבריה לא מקיימים אף יחס לא טריוויאלי ביניהם, ומכאן שמה.
בהינתן קבוצה כלשהי של מילים <math>R</math> באיברי <math>S</math>, מגדירים את '''החבורה הנוצרת על ידי <math>S</math> עם היחסים <math>R</math>''' בתור [[חבורת מנה|חבורת המנה]] של <math>{F}_{S}</math> עם ה[[סגור המוצמד]]{{אנ|Conjugate closure
את איברי <math>S</math> נהוג לכנות '''יוצרי החבורה''', ואילו איברי <math>R</math> הם '''יחסי החבורה'''.
|