בתרגול האחרון היה להראות ש Aut של s4 איזומרפי ל-S4. האם יש אפשרות להסביר שוב מה עשינו שם?
::הראינו תחילה שחבורת האוטומורפיזמים הפנימיים איזומורפית ל<math>S_4</math>. אח"כ ראינו שאין עוד אוטומורפיזמים. כלומר כל האוטומורפיזמים היו אוטו' פנימיים. את זה עשינו ע"י כך שהראינו שיש לכל היותר 24 אוטומורפיזמים (המספר 24 הוא בדיוק הסדר של <math>S_4</math>. זה אומר שחבורת האוטומורפיזמים מתלכדת עם תת החבורה של האוטו' הפנימיים והיא איזו' ל<math>S_4</math>. החסימה מלמעלה ע"י 24 בוצעה ע"י העובדות הבאות:1. אם נתון אוטומורפיזם אז כל הערכים שלו נקבעים בצורה יחידה ע"י הערכים על קבוצת יוצרים.
2. איזו' שומר על סדר של איברים, מעביר מחלקת צמידות למחלקת צמידות מאותו הגודל ושומר על יחסים כגון:איברים מתחלפים עוברים לאיברים מתחלפים. --[[משתמש:מני ש.|מני]] 16:34, 27 בדצמבר 2012 (IST)