Solvable Lie group