Seja A = {e, a, b, c} um anel com unidade 1A = a (...) e ab = e, (...)
Deve haver aí algum engano, se \(a\) é a unidade do anel então \(ab=b\).
Quanto à tabela da adição os dados \(a+a=e\) e \(b+b=e\) mais o facto de \(e\) ser o elemento neutro da adição (i.e. \(e+x=x+e=x\)) permitem construir a tabela parcialmente:
\(\begin{tabular}{c|cccc}+&e&a&b&c\\ \hline
e&e&a&b&c\\
a&a&e& & \\
b&b& &e& \\
c&c& & &
\end{tabular}\)
Para completar basta recordar que a tabela de adição de um anel é um quadrado latino, ou seja, nunca há elementos repetidos numa linha ou numa coluna (é como resolver um sudoku).