Definition:Centralizer of Group Element