La construcción formula_5 recibe el nombre de abelianización de "G".