Equation 677 Database

← all  ·  ← by size  ·  ← size 377

Magma 7ed7c786a76f…

Size

377

Isomorphism class hash

7ed7c786a76f567ef1d14ea95612279f402f0e90ffcca4af648233bfeed66f59

Satisfies Equation 255

yes

Right-cancellative

yes

Idempotent

no

Submitted by

omegaestable

Submitted at

2026-07-21 04:10:43

Display reorder

376,366,350,363,354,375,359,370,368,369,361,351,367,374,355,348,349,353,371,356,364,362,357,352,372,360,358,373,365,344,162,142,158,144,157,151,167,161,154,150,148,160,165,153,149,140,147,155,145,163,164,152,143,166,141,146,156,159,340,194,173,182,168,188,175,192,193,185,181,179,184,190,177,180,172,178,186,169,195,189,176,174,191,171,170,187,183,345,106,86,102,88,101,95,111,105,98,94,92,104,109,97,93,84,91,99,89,107,108,96,87,110,85,90,100,103,347,78,59,74,61,73,67,83,77,70,66,64,76,81,69,65,58,63,71,62,79,80,68,60,82,57,56,72,75,339,250,229,238,225,244,231,248,249,241,237,235,240,246,233,236,228,234,242,224,251,245,232,230,247,227,226,243,239,341,222,201,210,196,216,203,220,221,213,209,207,212,218,205,208,200,206,214,197,223,217,204,202,219,199,198,215,211,336,278,257,266,253,272,259,276,277,269,265,263,268,274,261,264,256,262,270,252,279,273,260,258,275,255,254,271,267,337,306,285,294,281,300,287,304,305,297,293,291,296,302,289,292,284,290,298,280,307,301,288,286,303,283,282,299,295,346,134,114,130,116,129,123,139,133,126,122,120,132,137,125,121,112,119,127,117,135,136,124,115,138,113,118,128,131,343,50,30,46,32,45,39,55,49,42,38,36,48,53,41,37,28,35,43,33,51,52,40,31,54,29,34,44,47,338,334,313,322,309,328,315,332,333,325,321,319,324,330,317,320,312,318,326,308,335,329,316,314,331,311,310,327,323,342,21,2,17,4,16,10,26,20,13,9,7,19,24,12,8,0,6,14,5,22,23,11,3,25,1,27,15,18 history

Raw table

canonical order · displayed order

Equational Theories

Finite Magma Explorer