Construcción de Presentación

El proceso de describir un objeto algebraico (grupo, anillo, álgebra, módulo) por un conjunto de generadores junto con relaciones definitorias, es decir, producir una sobreyección desde un objeto libre sobre el objeto objetivo cuyo núcleo está generado por las relaciones listadas; una presentación codifica una descripción combinatoria o algebraica concreta.