Versagen der Endlichen Präsentation

Ein Phänomen, bei dem ein algebraisches Objekt (Algebra, Modul, Funktor, Schema o.ä.) nicht durch endlich viele Erzeuger und endlich viele Relationen beschrieben werden kann; mit anderen Worten: Es ist nicht isomorph zu einem Quotienten eines endlich erzeugten freien Objekts durch ein endlich erzeugtes Relationsideal.