Let $x$ be a nonzero element in a commutative ring, then $\exists y\neq0(xy=0)$ ($x$ is a zero divisor) iff $\exists y\neq 0(x^2y=0)$. $(\rightarrow)$ part is pretty trivial. How to prove the other way?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top