Equation 677 Database

Magma e1e19e6c4151…

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