Construction de Présentation

Le processus de description d'un objet algébrique (groupe, anneau, algèbre, module) par un ensemble de générateurs et de relations définissantes, c'est-à-dire produire une surjection à partir d'un objet libre vers l'objet considéré dont le noyau est engendré par les relations listées ; une présentation encode une description combinatoire ou algébrique concrète.