Dado un semigrupo abeliano, cancelativo,finitamente generado y con elemento neutro, S, y un cuerpo k,podemos considerar ...