In my previous post I posed the following question: suppose you are given a table for a binary operation such that there is a two-sided identity, every element has a two-sided inverse, and the table is a Latin square (that is, each symbol occurs exactly once in each row and each column). Is it the Cayley table of a…