Así una descomposición donde "todos" los grupo-arista son finitos se dice que descompone sobre grupos finitos.