Resumo
Com a definição do invariante homológico Sigma^1(G), sendo G um grupo metabeliano finitamente gerado, foi possível obter uma classificação dos grupos metabelianos finitamente apresentáveis. A descrição de tais grupos pode ser feita através das propriedades geométricas do invariante Sigma^1(G). A conjectura FPm relaciona as propriedades geométricas deste invariante com o tipo homológico FP…