> x/0=Infinity would mean that a*0 is not always 0, which also doesn't work.

I don't think infinity counts in the a*0=0 identity anyways, since infinity isn't a number.