I just noticed that all definitions of principal ideal domains exclude the possibility of zero divisors. But why is that?
If we drop this requirement we could say that e.g. $\mathbb Z / 4 \mathbb Z$ is a principal ideal domain. What backdraws are there or what properties would we lose if we dropped the requirement of being an integral domain?