Equation 677 Database

← all  ·  ← by size  ·  ← size 21

Magma 38a4f5b57b68…

magma 38a4f5b57b68
Size
21
Isomorphism class hash
38a4f5b57b6853632e1b67f1e8f771ef1f4e13650209bb0982d6fcf17f2c9128
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:17
Display reorder
0,12,4,16,20,10,11,9,7,15,19,3,2,18,14,6,1,17,13,5,8 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 and same-fiber products unrestricted; 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:17 · history