# 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 difference (a.k.a. "XOR"), and $\bigcap$ = intersection.
a) Does $\Delta$ and $\bigcap$ make $P(X)$ into a ring?
b) If so, is it a ring with unity?
c) Is the ring commutative?
d) Is it a field?

For parts a) and b), I think it does form a ring with unity, but I'm not quite sure how to get started on proving it.

For part c), it is a commutative ring since $\mathcal P(X)$ is closed under symmetric difference and intersection, right?

Not even sure how to get started on d).

I'd really like to understand this question fully, so any kind of input would be tremendously helpful. Thank you!

• Do you know what's a ring? A ring with unity, and so on? For instance, I can show you how to prove that $\cap$ is a commutative operation (which means $a \cap b = b \cap a$ for $a,b \in P(X)$). $\forall x, (x \in a \cap b \longleftrightarrow (x \in a$ and $x \in b) \longleftrightarrow (x \in b$ and $x \in a) \longleftrightarrow x \in b \cap a)$, so $a \cap b = b \cap a$. – nombre Oct 26 '16 at 19:47
• Well, if you know what a ring is, then you can confirm that a set with operations is a ring or not. Do you understand how to confirm that the ring axiom hold? It is a commutative ring since it's closed under... Well no, there are more axioms than just having a binary operation defined. And none of that directly proves the multiplication is commutative, either way. How about you systematically start to verify the axioms? It is all very mechanical. – rschwieb Oct 26 '16 at 20:36

I believe that the best way to study the properties of this structure is to note that $\mathcal P(X)$ with these operations is isomorphic to the set $\mathcal{F}$ of functions $X \to E$, where $E = \{ 0, 1\}$ is the field with two elements, and $\mathcal{F}$ is endowed with pointwise sum and product, that is, for $f, g \in \mathcal{F}$ we have $$(f + g)(x) = f(x) + g(x),\qquad (f \cdot g)(x) = f(x) \cdot g(x).$$ The isomorphism is given by $$X \supseteq A \mapsto \left(f : x \mapsto \begin{cases}1 & \text{if x \in A}\\0 &\text{if x \notin A}\end{cases}\right)$$

• For short, $A\mapsto\chi_A$, the characteristic function of $A$. – user26857 Oct 27 '16 at 20:44
• Wow thanks for this, it illuminated and made it a ton easier. I didn't realize this picture was much bettter. – Santropedro Mar 23 '17 at 2:44
• @Santropedro, you're welcome! – Andreas Caranti Mar 24 '17 at 8:57

Let symmetric difference be correspond to addition and intersection correspond to multiplication. Also let $\varnothing$ be empty set and correspond to $0$, as well as $E$ be universe of set and correspond to $1$. Then we can prove that symmetric difference and intersection of set satisfy each ring axiom.

1. Commutativity of addition: $$X\bigtriangleup Y=(X-Y)\cup (Y-X)=(Y-X)\cup (X-Y)=Y\bigtriangleup X$$
2. Additive identity: $$X\bigtriangleup \varnothing =(X-\varnothing )\cup (\varnothing -X)=X\cup \varnothing =X$$
3. Additive inverse: $$X\bigtriangleup X=(X-X)\cup (X-X)=\varnothing \cup \varnothing =\varnothing$$ So additive inverse of $X$ is $X$ itself.

4. Associativity of addition: By this post Prove that two sets are the same $$(X\bigtriangleup Y)\bigtriangleup Z=X\bigtriangleup (Y\bigtriangleup Z)$$

5. Commutativity and associativity of multiplication are due to fact that intersection is commutative and associative.
6. Multiplication identity is satisfy for $$X\cap E= X$$
7. Multiplication is distributive with respect to addition: \begin{align} (X\bigtriangleup Y)\cap Z&=((X-Y)\cup (Y-X))\cap Z \\ &=((X-Y)\cap Z)\cup ((Y-X)\cap Z) \\ &=(X\cap Z-Y\cap Z)\cup (Y\cap Z-X\cap Z) \\ &=(X\cap Z)\bigtriangleup (Y\cap Z) \end{align}

Hence set under symmetric difference and intersection is commutative ring with unity.

Since it is not true that for any set X, there is a set $Y$ that $X\cap Y=E$, set under symmetric difference and intersection is not field.