Equation 677 Database

Magma 57bd0b3c6515…

magma 57bd0b3c6515
Size
151
Isomorphism class hash
57bd0b3c651522438e756116d241d0ddc8b548ff21c6f069877888a71673325c
Satisfies Equation 255
yes
Right-cancellative
yes
Idempotent
yes
Submitted by
b-reinke
Submitted at
2026-05-13 08:10:35
Display reorder
0,1,77,123,66,47,143,32,43,40,2,126,87,115,86,131,128,109,83,81,149,85,27,111,141,12,69,110,137,98,113,17,74,88,46,82,147,70,37,89,20,38,108,121,54,15,48,130,28,9,93,31,114,11,45,107,100,125,132,21,35,139,7,68,33,4,105,24,39,79,146,133,14,44,64,13,95,122,57,22,63,99,41,138,73,112,135,94,36,116,136,3,60,124,56,58,134,103,106,61,140,62,101,26,16,19,8,118,23,91,148,52,25,49,80,72,96,67,129,117,127,84,144,30,34,75,53,90,120,18,76,29,150,5,51,42,145,65,78,50,10,6,119,59,102,142,104,92,71,97,55 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 / 5×δ=92 / 5×δ=132. Per-coset δ values (in the F_151*/H ordering induced by a primitive root): coset0:132, coset1:92, coset2:87, coset3:132, coset4:92, coset5:87, coset6:132, coset7:92, coset8:87, coset9:132, coset10:92, coset11:87, coset12:132, coset13:92, 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:10 · history