Solvable group

General groups

Definition. A group is solvable if we find a finite sequence of normal subgroups $(A_{0}, \dots, A_{r})$ such that

I = A_{0} ◃ A_{1} ◃ \dots ◃ A_{r} = G

( $◃$ means "is normal subgroup of") and such that

A_{k + 1} / A_{k}

is abelian.
$◼$
Remarks:

The $A_{k + 1} / A_{k}$ are called normal factors.
The sequence $(A_{0}, \dots, A_{r})$ is called normal series. If each term of the series is normal not in the whole group but only in the preceding term, then the series is called subnormal series.
It turns out that it is enough the existence of a subnormal series with abelian normal factors (see here)

Lie groups

In the case of Lie groups we have this slightly different definition:
Definition (@olver86). Let $G$ be a Lie group with Lie algebra $g$ . Then $G$ is solvable if there exists a chain of Lie subgroups

{e} = G_{0} \subseteq G_{1} \subseteq G_{2} \subseteq \dots \subseteq G_{r - 1} \subseteq G_{r} \subseteq G

such that for each $k = 1, \dots, r$ , $G_{k - 1}$ is a $k$ -dimensional subgroup of $G$ and $G_{k - 1}$ is a normal subgroup of $G_{k}$ .

Equivalently, $g$ is a solvable Lie algebra.
$◼$

Taking into account the normal subgroup vs ideal of Lie algebra relationship, it looks intuitive understand the equivalences in the definition above.

On the other hand, a solvable Lie group is solvable like a general group since (I think) every 1-dimensional Lie group is abelian.