Entonces su producto libre es el grupo formula_1 que consiste en un nuevo grupo cuyos elementos tienen la forma canónica