Begriff aus der abstrakten Algebra. Die erzeugende Menge einer Gruppe ist eine Untermenge S der Gruppe G, wobei sich jedes Element der Gruppe G als finites Produkt von Elementen der Menge S und deren Inversen dargestellt werden kann.

Allgemeiner formuliert bedeutet dies, dass für eine Untermenge S der Gruppe die kleinste Untergruppe von G ist die jedes Element von S enthält.

Für sagen wir S erzeugt G, und die Elemente in S werden Erzeuger einer Gruppe genannt.