ייצוג של חבורה

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

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

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

את איברי  נהוג לכנות יוצרי החבורה, ואילו איברי  הם יחסי החבורה. 

אם לחבורה  יש ייצוג מהצורה  שבו הקבוצה  סופית, אומרים כי  נוצרת סופית. אם קיים ייצוג שבו  שתיהן סופיות, נאמר כי  מוצגת סופית.

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

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

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

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

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

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

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

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

 לחבורת הצמות ישנו הייצוג הבא:
.

חבורת הקווטרניונים מיוצגת על ידי .

לחבורת הייזנברג ייצוג .

ראו גם
חבורה חופשית
חבורה מוצגת סופית
ייצוג של אלגברה

תורת החבורות הקומבינטורית