A Nonzero element of a Ring for which , where is some other Nonzero element and the
vector multiplication is assumed to be Bilinear. A Ring with no zero divisors is known as an
Integral Domain. Let denote an -algebra, so that is a Vector Space over and
References
Finch, S. ``Zero Structures in Real Algebras.''
http://www.mathsoft.com/asolve/zerodiv/zerodiv.html.