External Direct Product of Semigroups

Theorem

The external direct product of two semigroups is itself a semigroup.


Proof

The result follows.

$\blacksquare$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.