nLab Boolean rig

Boolean rigs

Boolean rigs

Idea

As a Boolean ring is a ring in which multiplication is idempotent, so a Boolean rig is a rig in which multiplication is idempotent; that is, a rig in which x 2=xx^2 = x always holds.

While many further properties follow from the idempotence of multiplication in a ring, most of these require subtraction (or at least cancellation of addition), so these will not necessarily hold for a Boolean rig. As such, it might be proper to add some of them as axioms for a Boolean rig.

Properties

Even without subtraction, we may define the Boolean join operation xyx+xy+yx \vee y \coloneqq x + x y + y; however, it also seems to have no nice properties without additional axioms. In a commutative Boolean rig, however, we can prove that multiplication distributes over join, meaning that multiplication and join together form another rig structure. But we cannot prove that this rig is also Boolean, or that join is a semilattice operation.

Examples

The main examples are probably distributive lattices. In this case, the join operation called \vee above will match the original join/addition operation called ++ above.

Of course, a Boolean ring is a Boolean rig, since any ring is a rig. However, since it's also a distributive lattice, a Boolean ring is actually a Boolean rig in two different ways.

Let see what are the smallest commutative boolean rigs.

  • The only boolean rig of cardinal 11 is the zero ring 00.

There are exactly two boolean rings of cardinal 22. In such a boolean ring, we necessarily have 010 \neq 1, because 0=10=1 would imply that x=1.x=0.x=0x=1.x=0.x=0 for every xx and then the boolean ring would be the zero ring 00. The two elements of the boolean rings are thus 00 and 11. From the axioms of a rig, we have 0+0=00+0=0, 1+0=0+1=11+0=0+1=1, 0.0=00.0=0, 1.0=0.1=01.0=0.1=0 and 1.1=11.1=1. We then have two possibilities for 1+11+1, either 00 or 11. The two possibilities give a boolean rig. The multiplications being commutative, one has only to check the distributivity (a+b).c=a.c+b.c(a+b).c = a.c +b.c.

  • One of the two boolean rigs of cardinal 22 is /2\mathbb{Z}/2\mathbb{Z} (00 can be interpreted as “False”, 11 as “True”, ++ as the exclusive disjunction and .. as the conjunction).
  • One of the two boolean rigs of cardinal 22 is 𝔹={0,1}\mathbb{B}=\{0,1\} where 1+1=11+1=1 (00 can be interpreted as “False”, 11 as “True”, ++ as the disjunction and .. as the conjunction).

References

There seem to be none. The ‘Boolean semirings’ in the literature (by which I mean, what Google found for me that wasn't cloaked) are something much more complicated than what we're looking at here.

Last revised on May 22, 2023 at 17:43:08. See the history of this page for a list of all contributions to it.