Subset Product within Semigroup is Associative

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\struct {S, \circ}$ be a semigroup.


Then the operation $\circ_\PP$ induced on the power set of $S$ is also associative.


Corollary

Let $\struct {S, \circ}$ be a semigroup.


Then:

\(\displaystyle x \paren {y S}\) \(=\) \(\displaystyle \paren {x y} S\)
\(\displaystyle x \paren {S y}\) \(=\) \(\displaystyle \paren {x S} y\)
\(\displaystyle \paren {S x} y\) \(=\) \(\displaystyle S \paren {x y}\)


Proof

Let $X, Y, Z \in \powerset S$.


Then:

\(\displaystyle X \circ_\PP \paren {Y \circ_\PP Z}\) \(=\) \(\displaystyle \set {x \circ \paren {y \circ z}: x \in X, y \in Y, z \in Z}\)
\(\displaystyle \) \(=\) \(\displaystyle \set {\paren {x \circ y} \circ z: x \in X, y \in Y, z \in Z}\)
\(\displaystyle \) \(=\) \(\displaystyle \paren {X \circ_\PP Y} \circ_\PP Z\)


demonstrating that $\circ_\PP$ is associative on $\powerset S$.

$\blacksquare$


Also see


Sources