Un sous-groupe est un objet mathématique décrit par la théorie des groupes. Dans cet article, (G, ∗) désigne un groupe d'élément neutre e.