An example of a finitely defined solvable group without the maximality condition for normal subgroups

There is a finitely defined solvable group which does not satisfy the maximality condition for normal subgroups. This theorem gives a negative answer to one of the questions raised by P. Hall.