Ring theory MOC

Zero-divisor

Let 𝑅 be a ring. A left (right) zero-divisor is an element 𝑧 βˆˆπ‘… which sends some nonzero element to zero when multiplying on the left (right), ring i.e. π‘§π‘Ž =0 (π‘Žπ‘§ =0) for some π‘Ž βˆˆπ‘… with π‘Ž β‰ 0.

As morphisms

Let 𝑅―― denote the multiplicative monoid of a ring 𝑅 viewed as a category. Then π‘Ž βˆˆπ‘… is

  • a left zero-divisor iff it is not monic;
  • a right zero-divisor iff it is not epic.

If we view Ξ›(π‘Ž) and P(π‘Ž) as functions on 𝑅, then π‘Ž βˆˆπ‘… is1

  • a left zero-divisor iff Ξ›(π‘Ž) is not injective;

  • a right zero-divisor iff P(π‘Ž) is not injective.

See also


develop | en | SemBr

Footnotes

  1. 2009. Algebra: Chapter 0,Β§III.1.2, ΒΆ1.9, p. 122 ↩