חבורה (מבנה אלגברי) – הבדלי גרסאות

כל חבורה פועלת על עצמה בשתי דרכים חשובות: על ידי פעולת הכפל (משמאל או מימין), ועל ידי פעולת ההצמדהה[[הצמדה (מתמטיקה)|הצמדה]]. פעולת הכפל משמאל מוגדרת באופן שאיבר x שולח את האיבר y לאיבר xy. בדרך זו הופך האיבר x ל[[תמורה (מתמטיקה)|תמורה]] על אברי החבורה, וכך מתקבלת הוכחה של [[משפט קיילי]]: כל חבורה היא תת-חבורה של חבורת תמורות. בפעולת ההצמדה, האיבר x שולח את y ל- <math>\ xyx^{-1}</math>; פעולה זו מחלקת את החבורה G ל[[מחלקת שקילות|מחלקות שקילות]] מן הצורה <math>\ \{xyx^{-1}: x\in G\}</math>, הקרויות "מחלקות צמידות". פעולת ההצמדה היא גם [[אוטומורפיזם]] של החבורה עצמה, ולכן היא יוצרת [[הצגה (מתמטיקה)|הצגה]] של החבורה, כתת-חבורה של חבורת האוטומורפיזמים של עצמה. הצגה זו היא נאמנה [[אם ורק אם]] לחבורה יש [[מרכז (תורת החבורות)|מרכז]] טריוויאלי.