presentación de grupo

En álgebra abstracta, una presentación es una forma de definir un grupo mediante la especificación de dos conjuntos: * S, conjunto de los generadores, de modo que todo elemento del grupo pueda expresarse como producto de elementos de S. * R, conjunto de las relaciones, igualdades entre elementos del grupo. La presentación de un grupo G suele escribirse en la forma . En las relaciones en que el segundo miembro de la igualdad sea el elemento neutro del grupo, suele omitirse la igualdad y el elemento neutro. Por ejemplo: indica que el grupo G está generado por a, b, c, d ; y el conjunto de relaciones nos indica que b9= e, es decir, b es de orden 9, cb es de orden 3, y que c y b conmutan.