the centralizer of every non-identity element is cyclic. For example, must they be solvable?