כל תת-חבורה של <math>\ \mathbb{Z}_n</math> נוצרת על-ידי איבר המחלק את n; אם a|n, אז הסדר של החבורה הנוצרת על-ידי a הוא n/a, ולכן, אם H תת-חבורה של <math>\ \mathbb{Z}_n</math> מסדר d, היא שווה לחבורה הציקלית <n/d>. כלומר, לחבורות ציקליות יש תת-חבורה יחידה מכל סדר שמשפט לגרנז' מתיר.
מגדירים את המכפלה של תת-חבורות כקבוצה של כל המכפלות האפשריות: <math>\ AB=\{ab | a\in A, b\in B\}$</math>. באופן דומה אפשר להגדיר, לכל קבוצה בחבורה, <math>\ S^{-1}=\{s^{-1} | s\in S\}</math>. הוכחנו שאם A,B תת-חבורות, אז המכפלה AB תת-חבורה אם ורק אם AB=BA.
הגדרנו '''הומומורפיזם''' (העתקה מחבורה G לחבורה H, השומרת על הכפל (ולכן גם על איבר היחידה ועל פעולת ההיפוך)). התמונה של הומומורפיזם היא תת-חבורה של H, והגרעין הוא תת-חבורה של G. הומומורפיזם הוא חד-חד-ערכי אם ורק אם הגרעין שלו טריוויאלי. ראינו שכל תת-חבורה יכולה להיות תמונה של הומומורפיזם כלשהו. מאידך, לא כל תת-חבורה יכולה להיות גרעין של הומומורפיזם: לתת-חבורות כאלה נקרא בשעור הבא "תת-חבורות נורמליות", ובינתיים אנו מגדירים אותן על-פי התכונה <math>\ aH=Ha</math> לכל a, ותכונות השקולות לה.