Equation 677 Database

← all  ·  ← by size  ·  ← size 155

Magma b9f3f9a00db9…

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

Commentary

Carrier: Z_31 x Z_5. Element encoding: i = 5*x + r, where x in Z_31 and r in Z_5. Base operation on Z_31: x * y = 5*x - 4*y + 1 (mod 31). Cocycle: h = [1, 1, 4, 3, 0, 1, 3, 0, 0, 1, 2, 3, 1, 2, 0, 2, 1, 1, 2, 1, 1, 3, 0, 4, 4, 4, 2, 0, 1, 1, 1] Operation: (x,r) ⋄ (y,s) = ((5*x-4*y+1) mod 31, (2*r-s+h[(y-x) mod 31]) mod 5).

last edited by omegaestable at 2026-07-23 04:24:18 · history