What you're saying is that the analogy between subtraction and division is good as far as it goes. So why should "as far as it goes" end at zero not having an inverse, rather than division by zero producing something other than the multiplicative inverse of zero? The two choices end up having different structure, and so they end up being applicable to different things, but there is nothing wrong with either choice.