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

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

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

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

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

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

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

אומרים כי לחבורה יש הצגה מהצורה אם G איזומורפית לחבורה .

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

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

תכונות[עריכת קוד מקור | עריכה]

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

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

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

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

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

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

.

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

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