En teoría de grupos, un conjunto generador de un grupo "G" es un subconjunto "S" de "G" tal que todo elemento de "G" puede ser expresado como el producto de un número finito de elementos de "S" y de sus inversos.