# Category:Definitions/Generated Normal Subgroups

The normal subgroup generated by $S$, denoted $\gen {S^G}$, is the intersection of all normal subgroups of $G$ containing $S$.