Una consulta sobre este ejercicio. ¿Qué las operaciones conmutan entre si significa que existe f, tal que f(a*b) = f(a) o f(b) (para todo a,b en M)?
Porque con eso, con la asociatividad y existencia de neutro no sé me ocurre como probar lo que pide el ejercicio.
Capaz me estoy olvidando de algo, pero al ser monoides no hay mucho más.