Count of Binary Operations with Identity/Examples/Order 2

From ProofWiki
Jump to navigation Jump to search

Example of Use of Count of Binary Operations with Identity

The Cayley tables for the complete set of magmas of order $2$ which have an identity element are listed below.

The underlying set in all cases is $\set {a, b}$.

$\begin{array}{r|rr}
 & a & b \\

\hline a & a & a \\ b & a & b \\ \end{array}$

$\begin{array}{r|rr}
 & a & b \\

\hline a & a & b \\ b & b & a \\ \end{array} \qquad \begin{array}{r|rr}

 & a & b \\

\hline a & a & b \\ b & b & b \\ \end{array}$

$\begin{array}{r|rr}
 & a & b \\

\hline a & b & a \\ b & a & b \\ \end{array}$


Sources