El centralizador formula_95 es, pues, el conjunto de todos los elementos de formula_1 que conmutan con formula_57.