Finitely presented solvable group

Definition
A finitely presented solvable group is a group that is both a finitely presented group and a solvable group.