Equation 677 Database

← all  ·  ← by size  ·  ← size 469

Magma bebf1fb31338…

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

Commentary

A singly generated, NON-IDEMPOTENT Eq677 magma with a NONNORMAL fiber matrix, of order 469=7*67. It has exactly one idempotent and still satisfies Eq255. In particular, restricting attention to singly generated magmas does not restore normality of the fiber matrix. Let C be the canonical table of the existing simple order-67 source magma#52769e419ce32f9a2e93e259fd91c2b1173a5fac43fe38951783213649d3de1a. Let p swap its labels 0 and 1 and fix every other label. Set D(s,t)=p(C(p(s),p(t))); thus D is just a relabeled copy of C. On F_7 x {0,...,66}, define (i,s)*(j,t) = (4i+3j mod 7, H_ij(s,t)), H_00 = D, and H_ij = C for every other pair. Why Eq677 holds: the base F7(4,3) satisfies Eq677. For its instance with y=i and x=j, the four base pairs, inside out, are (i,j), (4i+3j,i), (j,5i+5j), and (i,i+5j). Each is an invertible linear function of (i,j). Therefore all four pairs are (0,0) when i=j=0, and none is (0,0) otherwise. Every fiber instance consequently uses either D four times or C four times. Both satisfy Eq677. In construction labels (i,s)->67i+s, the element 67=(1,0) generates all 469 elements. This was checked both by iterative set closure and by an independent scalar checker that records a multiplication derivation for each of the other 468 elements. The unique idempotent is 66=(0,66); 0*0=56 witnesses non-idempotence. The square image has 67 elements; the magma is not unipotent. Matrix explanation: write FC and FD for the fiber matrices of C and D, and E for the 7x7 matrix with E[0,0]=1 and all other entries zero. Then F = J_7 tensor FC + E tensor (FD-FC). Although FC and FD are both normal, their relative placement breaks normality of F. An exact witness in construction labels is (FF^T)[0,68]=979 and (F^TF)[0,68]=954. Corresponding rows and columns still have identical multisets of entries. All 219,961 Eq677 instances, all Eq255 instances, the unique idempotent, generation by element 67, and the integer nonnormality witness were independently checked before submission. Server canonical labels may differ. This is not a counterexample to finite Eq677=>Eq255. Constructed and verified with OpenAI Codex, 2026-09-05, using the existing order-67 source credited above.

last edited by dwrensha at 2026-09-05 21:02:11 · history