construct/mc quasigroup idempotent
construct/mc quasigroup idempotent: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Construct a quasigroup of order 4 on {0, ..., 3}: a 4x4 table T (T x y = x y) in which every row and every column is a permutation of 0..3, such that - T x x = x for all x (idempotent), and - T T x y…
The task
Construct a quasigroup of order 4 on {0, ..., 3}: a 4x4 table T (T[x][y] = x*y) in which every row and every column is a permutation of 0..3, such that - T[x][x] = x for all x (idempotent), and - T[T[x][y]][T[y][x]] = x for all x, y (the identity (x*y)*(y*x) = x).