Actually, this case highlight the really key axiom need to be broken:
"You cannot have division by zero unless you violate distributive law"
Counterexample where violate additive identity does not save this algebraic structure
Suppose 0+e=0
Then e(0+e)=e0=e
e(0+e)=e0+0=e+0=0
Therefore e=0
Suppose 0+e=a (a is in the set)
e(0+e)=ea=e
e(0+e)=e0+0=e+0=a
Therefore e=a
The above conjecture is supported in that all proposed division by zero numebr system so far, the distributive law is always violated. Hope some day I can prove this rigoriously