Equation 677 Database

Magma 00430b478aac…

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

Commentary

Direct product of a non-right-cancellative factor and a small linear (right-cancellative) factor: (nRC-49 d50b3565) × F_9.

last edited by dwrensha at 2026-04-29 13:46:13 · history