Equation 677 Database

Can we find a finite magma M that satisfies

∀ x y : M,   x = y ◇ (x ◇ ((y ◇ x) ◇ y)) (Equation 677)

but does not satisfy

∀ x : M,   x = ((x ◇ x) ◇ x) ◇ x  ? (Equation 255)

This site collects finite magmas that satisfy Equation 677. So far, every known example also satisfies Equation 255 — finding one that does not (or proving none exists) is the main open question remaining from the Equational Theories Project.

The canonicalization and database are based on memoryleak47/eq677.

Browse the database →

magma 095d4f1c of size 25 magma ba3efc52 of size 397 magma 6a96e164 of size 841 magma b1d541b5 of size 81

(random magmas from the database)

See recent activity →

Try the API →

Submit a candidate magma

Paste a Cayley table: n rows, each with n non-negative integers < n, whitespace- or comma-separated. A JSON array of arrays (e.g. [[0,1],[1,0]]) is also accepted.