#grupo finitamente presentado