פעולת חבורה – הבדלי גרסאות

== הגדרה ==

 

 

לחבורה של כל הפונקציות ההפיכות מקבוצה X אל עצמה קוראים 'החבורה הסימטרית של X', ומסמנים ב- <math>\ S_X</math>. זוהי הכללה של המקרה הסופי, בו מקובל לדבר על [[החבורה הסימטרית]] שסימונה <math>\ S_n</math>. אם כך, אפשר להבין פעולה של חבורה G על קבוצה X גם כ[[הומומורפיזם]] של G לתוך החבורה הסימטרית של X. כשההעתקה הזו חד-חד-ערכית רק איבר היחידה של G פועל באופן טריוויאלי על X, והפעולה נקראת '''נאמנה'''.