1. The rank problem is decidable for finite groups and for finitely generated abelian groups.

Le problème du rang est décidable pour les groupes finis et pour les groupes abéliens de type fini.