Gracias, Diego. Ya incorporé las sugerencias. Sobre la última, sí, tenés razón, es un abuso de notación. Lo arreglé en la observación 1.4.3 pero luego no, porque en general cuando tenemos un grupo con un solo elemento al elemento le llamaremos 0 y listo, sin recordar si proviene de un clase de equivalencia o de dónde.

Ya está subida la nueva versión.