# Questions tagged [boolean-ring]

Use this tag for questions related to Boolean rings such as the ring of integers modulo 2.

34 questions
0answers
22 views

### How is it possible for a set of (algebraic normal form) monomials to have disjoint support?

We call $supp(F) = \{v \in V : F(v) = 1\}$ the support of F. Neumann, 2006, page 5. (http://www.mathematik.uni-kl.de/~dempw/Thesis/neumann.pdf) This is the standard definition of "support of a ...
1answer
56 views

2answers
244 views

### An $m$-ary function that represents all $n$-ary functions

Motivation It is well-known that any binary operator $*$ on the boolean ring $\{0,1\}$ can be represented using only one of the $\operatorname{NAND}$ and $\operatorname{NOR}$ operators. For example,...
1answer
58 views

### GRE 9768 #60 Boolean non-commutative rings: Prove $(-s)^2=s^2$ without commutativity.

GRE 9768 #60 Ian Coley's approach is to prove $(I)$ and $(I) \implies (II) \implies (III)$ In proving $(I)$, how do we prove $$(-s)^2=s^2$$ without commutativity (but with $s=s^2$, if need ...
1answer
87 views

2answers
473 views

### Boolean algebra/ring: Compute product of sum of combinations of variables

Let's say I have a set of variables $a_1, ... ,a_n \in \{0, 1\}$ and a boolean algebra where multiplication is $\land$ and sum is $\oplus$ (exclusive or). This is like in bit operations in computers. ...
2answers
35 views

### On Boolean algebras and Atoms

I know plenety of questions have been made around this topics, but i've got an specific one. If $\mathfrak A$ Is an infinite boolean algebra, and $C$ is a finite subset of atoms in $\mathfrak A$, then ...
1answer
41 views

### Are these boolean rings integral domains?

Let X be a set and let P(X) denote the Boolean ring whose elements are the subsets of X, with addition being symmetric diﬀerence and multiplication being intersection. Is P({1}) an integral domain? ...
1answer
249 views

### Show that a Boolean ring is a commutative ring. [closed]

I have a question about (https://math.stackexchange.com/q/10279)'s proof to this. I also asked as a comment but I am unsure whether it will be replied to since the post was made 8 years ago? My ...
1answer
51 views

### How to prove convergence of a sequence of binary numbers

I have a boolean expression with 4 inputs and 1 output, that when iterated onto itself(output->input(s)), the function converges to 1. How do I go about proving the convergence of a sequence of binary ...
1answer
89 views

2answers
115 views

### Understanding boolean rings

I'm reading a book "Introduction to Abstract Algebra" by Neal McCoy. I've come across a few exercises which discuss "Boolean rings". The text defines Boolean rings as: A ring $R$ is a Boolean ...
2answers
72 views

### A Boolean ring in which if $2a=0$ then $a=0$

In every Boolean ring we have $a^2=a$ for every $a$ in the ring. In some Boolean rings, if $2a=0$ then $a=0$. How to show this ring has just one member? Thanks in advance
1answer
84 views

### What algebraic structure best fits the Cantor set?

Let $2^{\Bbb N}$ be the set of infinite binary sequences $\{x_n\}$ where $x_n\in \{0,1\}$ for every $n\in \Bbb N$. I want it to fit the axioms of a known algebraic structure such that the following ...
1answer
79 views

### Is the Cantor set (binary sequences) with logical operations a ring?

Can a Boolean ring be somehow extended to infinite binary sequences? If $2^{\Bbb N}$ is the Cantor space (the set of all infinite binary sequences), is it a ring if the operations are defined term by ...
1answer
131 views

### Stone duality for sets

Let $X$ be a set. Then, $\operatorname{Mor}_{\mathbf{Set}}(X,\{ 0,1\} )$ is a Boolean ring. In fact, it is a complete atomic Boolean ring and this, together with the the cofunctor from complete ...
0answers
63 views

### Calculating Walsh Hadamard Transform

Can anyone say me the steps involved in calculating Walsh Hadamard Transform $(W_f(a))$ for a Boolean function $f(x)=x^3$ in a finite field $GF=F_4$?
1answer
88 views

### How to find the probability of truth of the following boolean expression?

$a_1(a_4+a_8a_5+a_8a_7a_6)+a_2(a_8a_4+a_5+a_7a_6)+a_3(a_6+a_7a_5+a_7a_8a_4)$ Take the above boolean expression, a function of $a_1$ to $a_8$, each of which are independent and is zero by probability ....
3answers
154 views

### A finite subset of a Boolean algebra, generates a finite subalgebra.

Let $\mathscr{B}$ be a Boolean algebra and let $F$ be a finite subset of $\mathscr{B}$. Is $\left<F\right>$, the subalgebra generated by $F$, necessarily a finite subalgebra of $\mathscr{B}$? I ...
1answer
110 views

### why is the set of intersections and symmetric differences of a fixed set finite

I have a question very similar to Finite ring of sets For a given set U, the set R of subsets is a ring under the operations of symmetric difference ($\bigtriangleup$) and intersection ($\cap$). ...
2answers
467 views

### Ring of Sets vs Ring in Universal Algebra

I actually want to continue this post. I believe the naming convention in Mathematics is consistent, such that there are no clearly distinguish objects have the same name. However, I'm not sure how to ...
1answer
45 views

### Is there a program which shows set equality in steps?

To show: $(P(M),+,\cdot)$ is a commutative ring. $A+B:= (A\cup B) \backslash (A\cap B)$ (or XOR) $A\cdot B:=A\cap B$ First Ring axiom: Addition is assiociative $(A+B)+C=A+(B+C)$ for ...
2answers
3k views

### Power Set of $X$ is a Ring with Symmetric Difference, and Intersection

I'm studying for an abstract algebra exam and one of the review questions was this: Let $X$ be a set, and $\mathcal P(X)$ be the power set of $X$. Consider the operations $\Delta$ = symmetric ...