Nonzerodivisor on a module

From Commalg

Definition

Suppose is a module over a commutative unital ring and is an element. We say that is a nonzerodivisor on if the following equivalent conditions hold:

  • The mapping given by is injective.
  • There does not exist such that

Facts