Equation 677 Database

← all  ·  ← by size  ·  ← size 485

Magma f374a928231f…

Size

485

Isomorphism class hash

f374a928231f2795859b01fbf41566cb93631dd2f90f7a943e97c3aefe2e2d1e

Satisfies Equation 255

yes

Right-cancellative

yes

Idempotent

no

Submitted by

omegaestable

Submitted at

2026-07-21 05:39:00

Display reorder

476,475,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,441,442,443,444,445,446,334,339,344,349,354,359,364,369,374,379,384,389,394,399,324,325,479,432,433,434,435,436,437,438,439,440,478,447,448,449,450,451,452,453,454,455,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,400,401,402,403,404,405,406,407,408,477,484,163,159,83,87,91,95,99,103,107,111,115,119,123,127,131,135,139,143,147,151,155,9,13,17,4,3,329,333,338,343,348,353,358,363,368,373,378,383,388,393,398,59,63,67,55,43,47,51,39,27,31,35,20,171,175,179,183,187,191,195,71,75,79,231,235,239,243,247,251,255,259,263,267,271,275,279,283,287,291,295,299,303,307,311,315,319,323,199,203,207,211,215,219,223,227,167,482,161,157,81,85,89,93,97,101,105,109,113,117,121,125,129,133,137,141,145,149,153,8,12,16,5,1,327,331,336,341,346,351,356,361,366,371,376,381,386,391,396,57,60,64,52,40,44,48,36,24,28,33,21,169,173,177,181,185,189,193,69,73,77,228,232,236,240,244,248,252,256,260,264,268,272,276,280,285,288,292,296,300,304,308,312,316,320,196,200,204,208,212,216,220,224,165,481,162,158,82,86,90,94,98,102,106,110,114,118,122,126,130,134,138,142,146,150,154,11,15,19,7,2,328,332,337,342,347,352,357,362,367,372,377,382,387,392,397,58,62,66,54,42,46,50,38,26,30,34,23,170,174,178,182,186,190,194,70,74,78,230,234,238,242,246,250,254,258,262,266,270,274,278,282,286,290,294,298,302,306,310,314,318,322,198,202,206,210,214,218,222,226,166,480,160,156,80,84,88,92,96,100,104,108,112,116,120,124,128,132,136,140,144,148,152,10,14,18,6,0,326,330,335,340,345,350,355,360,365,370,375,380,385,390,395,56,61,65,53,41,45,49,37,25,29,32,22,168,172,176,180,184,188,192,68,72,76,229,233,237,241,245,249,253,257,261,265,269,273,277,281,284,289,293,297,301,305,309,313,317,321,197,201,205,209,213,217,221,225,164,483 history

Raw table

canonical order · displayed order

Equational Theories

Finite Magma Explorer