Generátorhalmaz
- Sablon:Humatek Az absztrakt algebrában egy G csoport S részhalmaza generátorhalmaz, ha G minden eleme előáll S elemeinek és azok inverzeinek véges szorzataként. Egy G csoport S részhalmaza által generált részcsoportot, tehát azt a legkisebb csoportot, amely tartalmazza az S halmazt, így jelöljük: . Ez a legkisebb csoport egyértelműen létezik az S halmazt tartalmazó részcsoportok metszeteként. Az részcsoport pontosan azokat az elemeket tartalmazza, amelyek előállnak S elemeinek és azok inverzeinek véges szorzataként.