A este conjunto se le llama centralizador de formula_1, y lo denotaremos por formula_478.