Hay un par de cosas que creo que están mal:

En la página 5, en el 4to ejemplo de monoides y grupos, aparece el grupo general lineal GL_n como ejemplo de monoide, cuando en realidad ese es el ejemplo de grupo, y para el de monoide no hace falta que sean invertibles.

En la página 8, en el 3er punto de la proposición 1.3.5., dice "para todo x en B" y creo que debería ser en A.

En la página 10, en la observación 1.4.3., creo que G/G = {clase del 0}, y no G/G = 0. Lo mismo en la página siguiente en la demostración de la parte 1 del corolario 1.4.5.