Álgebras de Lie finitamente apresentáveis