Equation 677 Database

Magma a7daa0c95fac…

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

Commentary

Size-151 idempotent right-cancellative translation-invariant magma on F_151 (= Z/151 additively). The operation has the form x ◇ y = x + δ_i · (y - x) where δ_i depends on which coset of the order-10 subgroup H ⊂ F_151* the difference (y - x) lies in (15 cosets total). δ-distribution across the 15 cosets: 5×δ=87 / 10×δ=143. Per-coset δ values (in the F_151*/H ordering induced by a primitive root): coset0:143, coset1:143, coset2:87, coset3:143, coset4:143, coset5:87, coset6:143, coset7:143, coset8:87, coset9:143, coset10:143, coset11:87, coset12:143, coset13:143, coset14:87. Each δ_i is one of the 4 primitive 10th roots of unity in F_151* — namely {87, 92, 132, 143} — exactly the roots of the 10th cyclotomic polynomial Φ_10(x) = x⁴ - x³ + x² - x + 1 mod 151. eq677 follows from the per-coset identity α⁴ - α³ + α² - α + 1 ≡ 0. The magma is globally NOT medial. Display reorder relabels points by the cyclic translation group: original index 0 stays at 0, and successive indices follow a fixed magma automorphism of order 151. Under this reorder the Cayley table is Z/151-translation-invariant: T[i+1][j+1] ≡ T[i][j] + 1 (mod 151). [text written by Claude]

last edited by dwrensha at 2026-05-13 12:48:09 · history