External Direct Product Closure/General Result

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\displaystyle \struct {S, \circ} = \prod_{k \mathop = 1}^n S_k$ be the external direct product of the algebraic structures $\struct {S_1, \circ_1}, \struct {S_2, \circ_2}, \ldots, \struct {S_n, \circ_n}$.

Let $\struct {S_1, \circ_1}, \struct {S_2, \circ_2}, \ldots, \struct {S_n, \circ_n}$ all be closed algebraic structures.


Then $\struct {S, \circ}$ is also a closed algebraic structure.


Proof

Follows directly from External Direct Product Closure.


$\blacksquare$