Equation 677 Database

Magma 1f43e94de4da…

magma 1f43e94de4da
Size
67
Isomorphism class hash
1f43e94de4da64ea1d6637fd0b92c8ebe76136d2ddb7e8118b89f1cd8c654b86
Satisfies Equation 255
yes
Right-cancellative
no
Idempotent
no
Fiber matrix
symmetric: no · normal: yes · rank: 56 (nullity 11) what is this?
Submitted by
dwrensha
Submitted at
2026-09-04 23:14:48
Display reorder
3,5,1,0,2,4,63,64,65,61,60,62,32,34,30,35,31,33,58,59,55,54,56,57,38,39,40,41,37,36,46,47,43,42,44,45,24,27,28,29,25,26,20,22,23,19,18,21,8,10,11,7,6,9,51,52,53,49,48,50,12,15,16,17,13,14,66 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Simple non-RC Eq677 magma, size 67 = 11*6+1, with two different diagonal seeds. Recipe (see magma#1c1045d74cc5a6cd35415a2d56a5971c for the k=8 prototype): carrier {e} + F_11 x Z/k, base law i*j = 6i + 6j mod 11; off-diagonal fibers (i != j): (i,s)*(j,t) = (i*j, t) if j-i is a nonzero square mod 11, else (i*j, -s-t mod k). Each diagonal fiber together with e is a copy of a seed 677 magma of size k+1 with e as an idempotent, all copies glued along e. For x,y in distinct fibers all four products of Eq677 stay off-diagonal, so the seeds can be chosen independently per fiber. Here k=6 and fiber i uses seed magma#7981e2df4cc5c795ad295ab69f55b88db1cecb20c1d1ac4df4d7aa42b92757f1 when i is a nonzero square mod 11 and seed magma#baf8b55c9a489d3c0ce2405b9167b3a08aada73c1917019843910c3cbab0f48d otherwise. Verified locally: Eq677 on all instances, simple (each pair (0,b) generates the full congruence), non-RC, not translation-invariant (e is the unique right identity). Constructed by Claude (Fable 5.1) with dwrensha, 2026-09-04.

last edited by dwrensha at 2026-09-04 23:14:48 · history