Tutto comincia con i sudoku! Quando si compila la tavola di un gruppo finito, infatti, si constata che tutti gli elementi del gruppo compaiono una e una sola volta in ogni riga e in ogni colonna. In un gruppo è infatti consentita qualsiasi semplificazione. Indicando con \* l’operazione, si hanno le seguenti proprietà:
x \ y = x \ z implica y = z (proprietà relativa alle righe della tavola del gruppo),
e y \ x = z \ x implica y = z (proprietà relativa alle colonne della tavola del gruppo).
Ciò equivale a dire che non possono esservi ripetizioni in una stessa riga della tavola del gruppo, e lo stesso vale per ogni colonna.
Quadrati latini
-----------------
