Défaillance de la Présentation Finie

Phénomène où un objet algébrique (algèbre, module, foncteur, schéma ou similaire) ne peut pas être décrit par un nombre fini de générateurs et un nombre fini de relations ; autrement dit, il n’est pas isomorphe à un quotient d’un objet libre de type fini par un idéal de relations de type fini.