Citation de JeanMargiX
jvais tchecker le cas particulier où mon morphisme est aussi surjectif

dcp on en revient bien à ce cas particulier. On peut supposer, sans perte de généralité, que a -> (x -> a*x) est surjectif, puis voir sur quoi ca découle en condition nécessaire