(related to Proposition: Criterions for Equality of Principal Ideals)
In the following proof, (R, + ,\cdot) is an integral domain.
If (a)=(0) then a\sim 0. Therefore, there exist b,c\in R with ab=0 and c0=a. In particular, a=0.
Thank you to the contributors under CC BY-SA 4.0!