finitely presented group

Конечно-определенная группа