Equation 677 Database

Magma 3f8367e97c9b…

magma 3f8367e97c9b
Size
121
Isomorphism class hash
3f8367e97c9b882f7d98f5659f4b8a1ee5bbea26f3d1a603df5f2afcb76cac2d
Satisfies Equation 255
yes
Right-cancellative
no
Idempotent
yes
Submitted by
b-reinke
Submitted at
2026-05-13 08:24:39
Display reorder
0,2,103,77,57,18,87,94,56,109,76,1,60,84,12,96,108,120,48,36,72,24,62,59,16,49,116,34,27,78,117,17,43,37,5,104,31,22,50,15,47,66,4,105,20,21,83,58,41,40,51,67,73,102,86,19,112,10,93,38,25,3,113,35,92,54,30,106,118,11,115,69,99,68,88,14,89,46,90,29,74,28,8,39,9,55,71,61,52,79,114,32,95,53,63,85,98,33,70,81,80,26,42,13,7,111,100,101,119,23,65,97,45,64,6,107,75,110,82,91,44 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Size-121 NON-right-cancellative idempotent outlier at sub-11 = 0. Size 121, fully idempotent, NOT right-cancellative — the only sub-11=0 magma in the DB that fails RC. NO size-11 sub-magmas. Left-multiplication L_0 is a permutation (cycle structure 1 + 2·60: 1 fixed point + 2 cycles of length 60), but right-multiplication R_0 is NOT a permutation (only 81 distinct values out of 121), confirming the non-RC failure. The image of R_0 has 81 elements; 40 elements appear as repeated outputs. The asymmetric L_0/R_0 structure (L_0 cycle 1+2·60 vs. R_0 only 81-element image) is distinctive — for an RC magma at size 121 we'd expect L_0 and R_0 to have matching cycle structures. Here L_0 has cycles of length 60 (= order of multiplier in F_121*? F_121* has order 120, and 60 | 120, so order-60 elements exist). The additive structure is still F_11² (the magma admits a Z_11 × Z_11 regular sub-action). The suggested reorder uses two commuting order-11 fix-free auts as grid generators, displaying the magma as an 11×11 grid of 11×11 sub-blocks (positions 11·a + b = t1^a(t2^b(0))). This is the only non-RC sub-11=0 magma at size 121. Companion non-RC magmas at size 121 sit in other sub-11 buckets: magma#ee53a960 at sub-11=12 (fiber bundle), the 4-class and 8-class twisted AG(2, 11) families at sub-11 ∈ {44, 88}. [text written by Claude]

last edited by dwrensha at 2026-05-19 16:58:59 · history