Equation 677 Database

Magma 643d39f249b3…

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