Para esto, se recurre a los grupos libres, a través de los cuales se puede representar una relación entre productos de generadores de un grupo como una palabra en el grupo libre.