¡Todo empieza con los sudokus! En efecto, al elaborar la tabla de un grupo finito, comprobamos que todos los elementos del grupo aparecen una sola vez en cada fila y cada columna. En un grupo se puede simplificar siempre. Si denotamos por \* la operación, tenemos las siguientes propiedades:
x \ y = x \ z implica y = z (propiedad relativa a las filas de la tabla del grupo),
y y \ x = z \ x implica y = z (propiedad relativa a las columnas de la tabla del grupo).
Esto equivale a decir que no puede haber repeticiones en una misma fila de la tabla del grupo, y lo mismo ocurre en cada columna.
Cuadrados latinos
-----------------
