Equation 677 Database

← all  ·  ← by size  ·  ← size 21

Magma 1fa42ddd3816…

magma 1fa42ddd3816
Size
21
Isomorphism class hash
1fa42ddd3816420d88360ec09927a7ea93021e69bfba9655700b52030a4ccfd0
Satisfies Equation 255
yes
Right-cancellative
yes
Idempotent
yes
Fiber matrix
symmetric: yes · normal: yes · rank: 1 (nullity 20) what is this?
Submitted by
dwrensha
Submitted at
2026-09-05 00:30:16
Display reorder
20,2,1,3,10,17,6,13,16,9,12,5,14,11,7,18,4,8,19,15,0 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Size-21 Eq677 magma found by SAT (CaDiCaL via pysat) inside the ansatz 'bundle over the size-5 base magma#e549b5f8 with fibers Z/4 plus one special element e', e-products restricted to fibers i and 1*i; off-diagonal fiber products constrained to the base law's fiber, everything else chosen by the solver. Found while testing whether this ansatz admits a 255 violation (it does not: the seeded instances are UNSAT at sizes 21, 29, 31, 36, 37, 45). Local invariants: simple=True, RC=True, idempotents=21, fiber matrix normal=True, rank=1. Claude (Fable 5.1) with dwrensha, 2026-09-04.

last edited by dwrensha at 2026-09-05 00:30:16 · history