hasZeroDivisors

P27204 predicate

Indicates that within a given algebraic structure, there exist nonzero elements whose product is zero, i.e., the structure contains zero divisors.


Sample triples (1)
Subject Object
Gaussian integers false

Please wait…