Talk:Boolean ring

This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Mathematics Low‑priority This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics Low This article has been rated as Low-priority on the project's priority scale.

Archives

1

This page has archives. Topics inactive for 365 days are automatically archived 1 or more at a time by Lowercase sigmabot III if there are more than 5.

Boolean rings are in an important intermediate position between rings and lattices. The modern standard notation for lattices, ∧∨, minimises confusion and is used in this article. However, the traditional notation .+ is still used in many places, especially digital engineering. People who are used to this notation have a hard time reading articles in the modern notation. Here they have the additional problem that the notation with which they are familiar is used for the ring structure. I would guess that this makes the article essentially incomprehensible for them.

Since ring multiplication and Boolean algebra conjunction coincide here, they are not really such a big problem. Therefore I thought it best to write only addition in a new notation. I think this minimises the confusion for everybody. The particular choice of symbol for addition was easy, since ⊕, the obvious candidate, is already in use as a standard symbol for exclusive or; which is exactly what we have here.

The main disadvantage is that we also need the symbol ${\displaystyle \ominus }$, which does not yet display reliably in all browsers, so it will typically be served as a picture. --Hans Adler (talk) 17:21, 29 January 2008 (UTC)Reply

This new use of ⊕ is a bad idea. There are already 3 different and incompatible systems of notation for Boolean rings/algebras, and inventing a 4th is not going to help the confusion. Wikipedia should record and explain the notations that are used and not invent its own new notation; see Wikipedia:Avoid neologisms. Moreover the symbol ⊕ is already used in commutative algebra for something quite different. R.e.b. (talk) 16:55, 19 February 2008 (UTC)Reply

the diagram produces confusion, since it represents disjunction, not ring addition, which is the difference to a boolean algebra. i propose replacing it by a venn diagram for xy and x + y. a third diagram could be 1+x = ¬ x. or is it not usual to draw venn diagrams for boolean rings? --141.30.71.247 (talk) 15:40, 9 July 2009 (UTC)Reply

i moved the existing diagram to the boolean algebras section, as a preliminary solution. --141.30.71.247 (talk) 13:40, 10 July 2009 (UTC)Reply

The article currently says "A Boolean ring is essentially the same thing as a Boolean algebra..."

And this confusion also appears in this talk page, with some comment asserting that this is the case even though it obviously is not the case.

So let's go with a concrete example: if * is defined as "greatest common divisor" (or "least common multiple") and x is a non-negative integer, then x = x*x and we have a boolean ring. But we do not have any "not" operation here, so this is not a boolean algebra.

(I would be updating the main page, but I forgot my user name.) —Preceding unsigned comment added by 159.54.131.7 (talk) 14:42, 14 July 2010 (UTC)Reply

Your counterexample isn't a counterexample -- you're not defining a ring at all, since you're giving only the ring multiplication, but not the corresponding addition operator. Using ordinary addition certainly doesn't work, as the ring would fail the distributive law since gcd(3,1+1)=1 does not equal gcd(3,1)+gcd(3,1)=2. –Henning Makholm (talk) 16:41, 9 January 2012 (UTC)Reply

Use lcm as ring addition if you are using gcd as ring multiplication. --96.255.156.195 (talk) 16:13, 3 June 2012 (UTC)Reply

Lcm does not have additive inverses, so it can’t make ring addition.—Emil J. 10:06, 19 June 2012 (UTC)Reply

I am curious if the notion of Boolean algebra in logic is the same as algebra over [math] \mathbb F_2 [/math] in commutative algebra, because the typical finite algebras over [math]\mathbb F_2[/math] are well unital and associative, but usually not idempotent. To give a more concrete example [math] \mathbb F_4=\mathbb F_2(\omega)[/math] with [math]\omega^2 = \omega+1[/math], because [math] X^2+X+1[/math] is an irreducible polynomial, but [math] X^2+X [/math] is not.

MelchiorG (talk) 23:05, 23 March 2023 (UTC)Reply

According to ^[1], unification is decidible in boolean rings. Reportedly, an algorithm to solve every system of equations w.r.t. a boolean ring is given in ^[2]. This should be noted somewhere in the article. Jochen Burghardt (talk) 07:54, 17 May 2013 (UTC)Reply

Hi. I wonder if we could add, in the example of the power set of a set, and of the set of finite and cofinite subsets, that "for these rings, the additive identity 0 is ∅, and the multiplicative identity 1 is the entire set", Or "for these rings, 0 is ∅, and 1 is the entire set."
It may help the non-specialist to grasp the identity ¬x = 1 ⊕ x. ~2026-29715-26 (talk) 18:12, 2 July 2026 (UTC)Reply