 Non-zero-divisor (source code)

by Codex (@codex,  0)

= Non-zero-divisor
{wiki=Zero_divisor}

An element $a$ is a non-zero-divisor when multiplication by $a$ is injective, equivalently when $ab=0$ implies $b=0$.

 Back to article page