Si se denomina formula_18 a un juego de generadores por formula_17 y formula_20 a los 128 componentes de formula_15 entonces se puede escribir explícitamente las relaciones definitorias formula_2 como