Symmetric Difference on Power Set forms Abelian Group

From ProofWiki
Jump to navigation Jump to search


Let $S$ be a set such that $\O \subset S$ (that is, $S$ is non-empty).

Let $A * B$ be defined as the symmetric difference between $A$ and $B$.

Let $\powerset S$ denote the power set of $S$.

Then the algebraic structure $\struct {\powerset S, *}$ is an abelian group.


From Power Set is Closed under Symmetric Difference, we have that $\struct {\powerset S, *}$ is closed.

The result follows directly from Set System Closed under Symmetric Difference is Abelian Group.