Una rama especializada la teoría combinatoria de grupos, que estudia a los gruposgrupos desde el punto de vista de sus generadores y restricciones.