חבורת אוטומורפיזמים

ויקיפדיה האנציקלופדיה החופשית

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

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

אם G בעלת מרכז טריוויאלי, אז יש שיכון . אם השיכון הזה הוא על, החבורה שלמה. כאשר G בעלת מרכז טריוויאלי, גם חבורת האוטומורפיזמים בעלת מרכז טריוויאלי. עובדה זו מגדירה את "מגדל חבורות האוטומורפיזמים" . לפי משפט של Wielandt, המגדל הזה סופי לכל חבורה סופית (בעלת מרכז טריוויאלי).

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