Si G es un grupo y a un elemento de G, el "centralizador" de a en G es el conjunto