centralizer (Lie algebra)