לאחר שהוברר שהצמדה מסוגלת להגדיר אוטומורפיזמים על החבורה, אפשר להשתמש בשיטה הזו גם כדי להגדיר אוטומורפיזמים של תת-חבורות. אם H תת-חבורה נתונה, נסמן ב- <math>\ N_G(H) = \{g\in G: gHg^{-1} =H\}</math> את ה'''מנרמל''' של H. זוהי תת-החבורה הגדולה ביותר של G שבתוכה H נורמלית. שיטת ההצמדה מגדירה הומומורפיזם של המנרמל לתוך חבורת האוטומורפיזמים של H, שהגרעין שלו הוא המרכז <math>\ C_G(H)</math>. כך מתקבל "משפט N/C": המנה <math>\ N_G(H)/C_G(H)</math> איזומורפית לתת-חבורה של חבורת האוטומורפיזמים של H.
== הרצאה עשירית ==
הוכחנו את משפט קושי: בכל חבורה (סופית) שהסדר שלה מתחלק ב-p, יש איברים מסדר p (הוכחנו את התוצאה בכמה שלבים: בחבורות ציקליות זהו תרגיל קל; בחבורות אבליות כלליות עוברים לחבורת מנה ביחס לתת-חבורה ציקלית ומסיימים באינדוקציה; בחבורות כלליות מפעילים את שוויון המחלקות).
מכאן עברנו לנתח חבורות אבליות. הגדרנו את האקספוננט של חבורה אבלית A, שהוא המספר e הקטן ביותר המקיים <math>\ x^e = 1</math> לכל <math>\ x\in A</math>. האקספוננט שווה לכפולה המשותפת המינימלית של כל הסדרים של אברים של A. לפי משפט קושי, הראשוניים המחלקים את סדר החבורה הם אותם ראשוניים המחלקים את האקספוננט שלה.
בכל חבורה אבלית יש איבר מסדר השווה לאקספוננט שלה (בכתה הוכחנו את הטענה רק לחבורת-$p$ אבלית).
מכיוון שהחבורה A אבלית, פעולת ההעלאה בחזקת n היא הומומורפיזם, ואפשר להגדיר את הגרעין <math>\ A_n = \{x: x^n=1\}</math> והתמונה <math>\ A^n = \{x^n\}</math>. הראינו שחבורה אבלית מסדר nm, כאשר n,m זרים, היא מכפלה ישרה של תת-החבורות <math>\ A^n \times A^m</math>, שהאקספוננטים שלהן m ו-n בהתאמה. באינדוקציה, נובע מכאן שכל חבורה אבלית מתפרקת למכפלה ישרה של חבורות מסדר חזקת ראשוני.
המשפט המרכזי על חבורות-p אבליות קובע שאם H תת-חבורה ציקלית של A שסדרה שווה לאקספוננט של A (ותמיד קיימת כזו), אז A מתפרקת למכפלה ישרה של H ותת-חבורה נוספת. מכאן נובע, באינדוקציה, שכל חבורת-p אבלית היא מכפלה ישרה של חבורות ציקליות. בשילוב עם התוצאה הקודמת, קיבלנו שכל חבורה אבלית סופית היא מכפלה ישרה של חבורות ציקליות.