A este conjunto se le llama centralizador de formula_46, y lo denotaremos por formula_63.