Size 4

0 isomorphism classes.

No magmas of this size are in the database yet.

Commentary

No magma of size 4 satisfies Equation 677. Proof. Equation 677 forces every row of the Cayley table to be a permutation (the map z ↦ y ◇ z has inverse x ↦ x ◇ ((y ◇ x) ◇ y)), so candidates lie in the (4!)⁴ = 331,776 row-Latin tables. Exhaustive check: none satisfies Eq677. [text written by Claude]

last edited by dwrensha at 2026-05-14 19:45:18 · history