Equation 677 Database

← all  ·  ← by size  ·  ← size 166

Magma 6fc5dd6ffbf2…

magma 6fc5dd6ffbf2
Size
166
Isomorphism class hash
6fc5dd6ffbf2c04ab7c23187d56a8f6df1b94cd35defe2e9938ab5871b202c80
Satisfies Equation 255
yes
Right-cancellative
no
Idempotent
yes
Submitted by
dwrensha
Submitted at
2026-04-28 21:28:15
Display reorder
4,45,39,18,12,131,49,43,22,16,8,53,35,26,0,14,30,51,33,24,132,10,55,37,28,3,1,47,41,20,40,19,13,29,50,133,23,17,9,54,36,27,2,5,46,159,163,149,154,157,161,148,151,153,156,160,155,150,152,158,25,6,7,44,38,134,11,32,48,42,21,15,31,52,34,59,57,60,65,62,165,58,56,63,70,64,67,68,66,61,92,113,119,103,82,130,109,115,78,77,96,105,123,102,86,147,143,140,138,135,164,144,141,136,162,146,145,139,137,142,107,125,80,88,94,129,121,100,84,90,111,117,76,73,98,74,99,108,126,81,128,95,104,122,101,85,91,112,118,71,79,87,93,114,120,127,83,89,110,116,75,72,97,106,124,69 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Size-166 sporadic magma originally constructed and posted by user 3121 in the Zulip discussion of equation 677 [1]. Decomposes as 11 fibers of 15 plus 1 adjoined right-identity element. [1] https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/FINITE.3A.20677.20-.3E.20255/near/565902285

last edited by dwrensha at 2026-04-29 15:00:52 · history