Let be a three element set. Equip its power set with two operations and defined as: and , for . Then is a ring. The zero-divisors in this ring are the singleton subsets and the two element subsets.
Recall that an element in a ring is a zero-divisor if and there exists another for which (technically, a left zero-divisor).
The zero element in is obviously the empty set . In addition, any singleton subset has an empty intersection with another singleton subset: (we’ve assumed implicitly that ).
Consider a two element subset, e.g. . We have . Similarly, and . So the two element subsets are also zero-divisors.
The entire set itself, namely is not a zero-divisor.
What is strange about these zero divisors as the title suggests? Nothing.
This concludes today’s snippet. Thanks for visiting!